Bourbaki

Lemma 1

Tag 032Q, permanent. Cite it as [Bourbaki, Tag 032Q].

Théories spectrales, chapter IV, § 4. Opérateurs partiels

Let E, F and G be topological vector spaces over K. Let uu be a closed operator from E into F.

a) For every v∈L(E;F)v\in \mathscr{L}(E; F), the partial operator u+vu+v is closed.

b) For every v∈L(G;E)v\in \mathscr{L}(G; E), the partial operator u∘vu\circ v is closed.

Let us prove a). Let γ\gamma be the mapping (x,y)↦(x,y−v(x))(x, y)\mapsto (x, y-v(x)) of E×FE\times F into itself; it is continuous. For every (x,y)∈E×F(x, y)\in E\times F, one has γ(x,y)∈Γu\gamma (x, y)\in \Gamma_u if and only if x∈x\in dom(uu) and y=u(x)+v(x)y=u(x) +v(x), that is to say that γ−1(Γu)=Γu+v\overset{-1}{\gamma}(\Gamma_u) = \Gamma_{u+v}. The assertion follows.

Let us prove b). The mapping η=(v,1F)\eta = (v,1_F) of G×FG\times F into E×FE\times F is continuous; for every (z,y)∈G×F(z, y)\in G\times F, one has η(z,y)=(v(z),y)\eta (z, y) = (v(z), y), hence η−1(Γu)=Γu∘v\overset{-1}{\eta}(\Gamma_u) = \Gamma_{u\circ v}. The assertion follows.

Let E and F be topological vector spaces over K, F being separated. Let a∈Ka\in K. If u∈P(E;F)u\in \mathscr{P}(E; F) is closable, the same is true of auau. If a≠0a\not = 0, one has au‾=au\overline{au}=au, and uu is closed if and only if auau is. If a=0a= 0, the closure of auau is 0dom(u)‾0_{\overline{dom(u)}}, and auau is equal to 0dom(u‾)0_{dom(\overline{u})}; it may therefore happen that uu is closed but that auau is not.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.