Bourbaki

Exercice 29, § 5

Étiquette 0384, permanente. À citer comme [Bourbaki, Tag 0384].

Théories spectrales, IV, p. 366

Soit E un espace hilbertien complexe. On note Tb\mathscr{T}_b (resp. Ts,Tf\mathscr{T}_s,\mathscr{T}_f) la topologie d’espace de Banach de L(E)\mathscr{L}(E) (resp. la topologie de la convergence simple, la topologie localement convexe définie par les semi-normes u↦u\mapsto ⟨x∣u(y)⟩\langle x|u(y)\rangle pour (x,y)∈E×E(x, y)\in E\times E).

a) Soit λ0∈C−R\lambda_0\in \mathbf{C}-\mathbf{R}. La topologie Tb\mathscr{T}_b-résolvante (resp. Ts\mathscr{T}_s-résolvante) est la topologie la moins fine sur A(E)\mathscr{A}(E) telle que l’application u↦R(u,λ0)u\mapsto R(u, \lambda_0) de A(E)\mathscr{A}(E) dans L(E)\mathscr{L}(E) muni de la topologie Tb\mathscr{T}_b (resp. Ts\mathscr{T}_s) est continue.

b) La topologie Tf\mathscr{T}_f-résolvante coïncide avec la topologie Ts\mathscr{T}_s-résolvante.

c) Soit X⊂L(E)X\subset \mathscr{L}(E) un ensemble borné d’endomorphismes hermitiens de E. La topologie induite sur X par la topologie Tb\mathscr{T}_b-résolvante (resp. la topologie Ts\mathscr{T}_s-résolvante) coïncide avec la topologie induite par la topologie Tb\mathscr{T}_b ((esp. la topologie Ts\mathscr{T}_s).

d) La propriété de la question a) ne vaut pas pour la topologie Tf\mathscr{T}_f-résolvante. e) Donner un exemple de suite (un)(u_n) d’opérateurs partiels auto-adjoints qui converge pour la topologie Tb\mathscr{T}_b-résolvante et de fonction f∈Cb(R)f\in \mathscr{C}_b(\mathbf{R}) telle que f(un)f(u_n) ne converge pas vers f(u)f(u) dans L(E)\mathscr{L}(E).

f) Soient (un)(u_n) une suite d’opérateurs partiels auto-adjoints sur E et uu un opérateur partiel auto-adjoint sur E. S’il existe un sous-espace dense F de EuE_u, contenu dans dom(unu_n) pour tout nn, tel que un(x)u_n(x) converge vers u(x)u(x) pour tout x∈Fx\in F, alors (un)(u_n) converge vers uu pour la topologie Ts\mathscr{T}_s-résolvante.

Solution

Aucune solution n’a encore été écrite.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.