66 Propedeuticità topologiche Def<strong>in</strong>izione A.29 (Residuale). Se X è uno spazio topologico e S è un sotto<strong>in</strong>sieme <strong>di</strong> X, allora S è detto residuale o comagro se il suo complementare X \ S è magro. Teorema A.30 (Baire, spazi metrici). Ogni spazio metrico completo è uno spazio <strong>di</strong> Baire. Il teorema si può enunciare <strong>di</strong>cendo che <strong>in</strong> uno spazio metrico completo il complementare <strong>di</strong> un <strong>in</strong>sieme magro è denso. In particolare ogni sottospazio aperto <strong>di</strong> uno spazio <strong>di</strong> Baire è uno spazio <strong>di</strong> Baire e ogni spazio metrico completo è <strong>di</strong> seconda categoria. Una ottima referenza <strong>in</strong> cui approfon<strong>di</strong>re la teoria riguardante gli spazi <strong>di</strong> Baire è [Mun 00]. IMMERSIONI APERTE IN DIMENSIONE INFINITA
Appen<strong>di</strong>ce B Mappe <strong>di</strong> Fredholm: teoria l<strong>in</strong>eare Siano E ed F spazi <strong>di</strong> Banach reali. Denoteremo con L(E, F ) lo spazio <strong>di</strong> Banach degli operatori l<strong>in</strong>eari e limitati T : E → F . Un operatore T ∈ L(X, Y ) è detto semi-Fredholm se la sua immag<strong>in</strong>e è chiusa, ed almeno uno degli spazi vettoriali ker T e coker T := Y/rk T ha <strong><strong>di</strong>mensione</strong> f<strong>in</strong>ita. In questo caso è ben def<strong>in</strong>ito l’<strong>in</strong><strong>di</strong>ce <strong>di</strong> Fredholm <strong>di</strong> T , <strong>in</strong>d T = <strong>di</strong>m ker T − <strong>di</strong>m coker T ∈ Z = Z ∪ {−∞, +∞}. Un operatore T ∈ L(E, F ) è detto <strong>di</strong> Fredholm se è semi-Fredholm e se <strong>in</strong>d T ∈ Z, quest’ultima con<strong>di</strong>zione equivalente alla richiesta che il nucleo ed il conucleo <strong>di</strong> T siano f<strong>in</strong>ito <strong>di</strong>mensionali. Osservazione B.1. Se T ∈ L(E, F ) ha nucleo e conucleo <strong>di</strong> <strong><strong>di</strong>mensione</strong> f<strong>in</strong>ita allora è Fredholm, <strong>in</strong> altri term<strong>in</strong>i la chiusura dell’immag<strong>in</strong>e segue da queste ipotesi. Infatti, per il corollario G.7, essendo <strong>in</strong> particolare <strong>di</strong>m coker T < ∞, T (E) è chiusa <strong>in</strong> F . Se X e Y hanno <strong><strong>di</strong>mensione</strong> f<strong>in</strong>ita, ogni T ∈ L(X, Y ) è Fredholm <strong>di</strong> <strong>in</strong><strong>di</strong>ce <strong>di</strong>m X − <strong>di</strong>m Y . È semplice esibire molti esempi <strong>di</strong> operatori <strong>di</strong> Fredholm nello spazio <strong>di</strong> Hilbert ℓ 2 = {x ∈ N → R : |x| 2 < ∞} |x| 2 = +∞ 〈x, y〉 2 , 〈x, y〉 2 = x(n) y(n). Sia k ∈ N. L’operatore L ∈ End(ℓ 2 ), (Lx)(n) = x(n + k) ha nucleo <strong>di</strong> <strong><strong>di</strong>mensione</strong> k ed è surgettivo, qu<strong>in</strong><strong>di</strong> è Fredholm <strong>di</strong> <strong>in</strong><strong>di</strong>ce k. L’operatore R ∈ L(ℓ 2 ), Rx(n) = x(n − k) per n ≥ k e Rx(n) = 0 per n < k, è <strong>in</strong>iettivo ed ha immag<strong>in</strong>e chiusa <strong>di</strong> co<strong><strong>di</strong>mensione</strong> k, qu<strong>in</strong><strong>di</strong> è Fredholm <strong>di</strong> <strong>in</strong><strong>di</strong>ce −k. In effetti, LR = I. L’operatore L ∈ End(ℓ 2 ), (Lx)(n) = x(2n) ha nucleo <strong>in</strong>f<strong>in</strong>ito <strong>di</strong>mensionale ed è surgettivo, qu<strong>in</strong><strong>di</strong> è semi-Fredholm <strong>di</strong> <strong>in</strong><strong>di</strong>ce +∞. L’operatore R ∈ L(ℓ 2 ), (Rx)(n) = x(n/2) per n pari e (Rx)(n) = 0 per n <strong>di</strong>spari, è <strong>in</strong>iettivo ed ha immag<strong>in</strong>e chiusa <strong>di</strong> co<strong><strong>di</strong>mensione</strong> <strong>in</strong>f<strong>in</strong>ita, qu<strong>in</strong><strong>di</strong> è semi-Fredholm <strong>di</strong> <strong>in</strong><strong>di</strong>ce −∞. Anche qui, LR = I. Sia ˜ Φ(X, Y ) il sotto<strong>in</strong>sieme <strong>di</strong> L(X, Y ) costituito dagli operatori semi-Fredholm, Φ(X, Y ) il sotto<strong>in</strong>sieme dei Fredholm, e Φn(E, F ) il sotto<strong>in</strong>sieme dei Φn-operatori, i.e., il sotto<strong>in</strong>sieme degli operatori l<strong>in</strong>eari e cont<strong>in</strong>ui da E a F Fredholm <strong>di</strong> <strong>in</strong><strong>di</strong>ce n. Teorema B.2 ([Lan 83] 2.3, pag. 224). Gli <strong>in</strong>siemi ˜ Φ(X, Y ) e Φ(X, Y ) sono aperti <strong>in</strong> L(X, Y ), e la funzione <strong>in</strong><strong>di</strong>ce <strong>in</strong>d : ˜ Φ(X, Y ) → Z è localmente costante, qu<strong>in</strong><strong>di</strong> è costante su ogni componente connessa. Ricor<strong>di</strong>amo che un operatore K ∈ L(X, Y ) si <strong>di</strong>ce compatto o completamente cont<strong>in</strong>uo se K manda <strong>in</strong>siemi limitati <strong>in</strong> <strong>in</strong>siemi pre-compatti, ove, si ricor<strong>di</strong>, un sotto<strong>in</strong>sieme <strong>di</strong> uno spazio 67 n=0