Ce résultat a comme conséquence immédiate, dans le cas particulier où E=Hest un espace de Hilbert
complexe :
Proposition 1.1 Soit Hun espace de Hilbert complexe, T∈ L(H)et T∗∈ L(H)l’adjoint hilbertien de
T. Alors
Sp(T∗) = Sp(T)∗:= {λ|λ∈Sp(T)}et ∀λ∈ρ(T), Rλ(T∗) = Rλ(T)∗.
Démonstration (directe) de la proposition — Observons d’abord que, ∀S, T ∈ L(H),
(T S)∗=S∗T∗
(simple) et donc que, si Test inversible, alors
(T−1)∗T∗=T(T−1)∗=Id∗=Id
T∗(T−1)∗=(T−1)T∗=Id∗=Id,
ce qui signifie que T∗est aussi inversible et (T∗)−1= (T−1)∗. Comme T7−→ T∗est une involution, la
réciproque est immédiate, autrement dit : Test inversible ssi T∗est inversible. Donc
λ∈ρ(T)⇐⇒ (λ−T)est inversible ⇐⇒ (λ−T∗)est inversible ⇐⇒ λ∈ρ(T∗).
Et alors (λ−T)−1∗= (λ−T∗)−1.
Une autre propriété nous sera utile par la suite :
Proposition 1.2 Soit Eun espace de Banach complexe et T∈ L(E). Alors
(i) Si λ∈Spp(T), alors Im(λ−T′)n’est pas dense dans E′;
(ii) Si λ∈Cest tel que Im(λ−T)n’est pas dense dans E, alors λ∈Spp(T′);
(iii) Corollaire : si Eest réflexif, i.e. si (E′)′=E, alors λ∈Spp(T)ssi Im(λ−T′)n’est pas dense dans
E′.
Pour démontrer la proposition 1.2, nous utiliserons le résultat suivant (très utile), que nous montrerons
à la fin de ce paragraphe :
Lemme 1.3 Soit Eun espace vectoriel complexe normé et F⊂Eun sous-espace vectoriel complexe.
Alors F6=Essi il existe une forme linéaire Φ∈E′non nulle telle que F⊂KerΦ.
Démonstration de la proposition 1.2 —Preuve de (i) : soit λ∈Spp(T), alors ∃x0∈Enon nul tel que
(λ−T)(x0) = 0. Cela entraîne en particulier que : ∀α∈E′,
[(λ−T′)(α)](x0) = α((λ−T)(x0)) = α(0) = 0,
i.e. (λ−T′)(α)∈x⊥
0:= {β∈E′|β(x0) = 0}. Ainsi Im(λ−T′)⊂x⊥
0. Cela implique bien évidemment
que Im(λ−T′)ne peut pas être dense dans E′, puisque x⊥
0est fermé et est différent de E′.
Preuve de (ii) : soit λ∈Ctel que Im(λ−T)n’est pas dense dans E. D’après le lemme 1.3, il existe
α∈E′non nulle telle que Im(λ−T)⊂Kerα. Donc,
∀x∈E, α [(λ−T)(x)] = 0 ⇐⇒ ∀x∈E, [(λ−T′)(α)] (x) = 0
⇐⇒ (λ−T′)(α) = 0
⇐⇒ α∈Ker(λ−T′).
Donc λ∈Spp(T′).
Preuve de (iii) : le fait que « λ∈Spp(T)implique Im(λ−T′)n’est pas dense dans E′» a été montré
au (i), la réciproque s’obtient en appliquant le (ii) à T′et en utilisant le fait que T′′ =T.
5