Twierdzenie Rainwatera

Twierdzenie Rainwatera – w analizie funkcjonalnej, twierdzenie mówiące, że ciąg ograniczony $(x_n{)}_{n=1}^{\mathrm{\infty }}$ w przestrzeni Banacha $X$ jest słabo zbieżny do pewnego elementu $x\in X$ wtedy i tylko wtedy, gdy dla każdego punktu ekstremalnego $f$ kuli jednostkowej przestrzeni sprzężonej $X^{*}$ zachodzi warunek

$\underset{n\to \mathrm{\infty }}{\lim }⟨f,x_n⟩=⟨f,x⟩$Szablon:OdnSzablon:Odn.

Innymi słowy, twierdzenie Rainwatera mówi, że w celu badania słabej zbieżności ciągu w przestrzeni Banacha wystarczy ograniczyć się do sprawdzania słabej zbieżności na punktach ekstremalnych kuli dualnej. Twierdzenie zostało udowodnione przez grupę matematyków publikujących pod wspólnym pseudonimem John Rainwater.

Zastosowanie do przestrzeni funkcji ciągłych

Niech $K$ będzie zwartą przestrzenią Hausdorffa oraz niech $C(K)$ oznacza przestrzeń Banacha rzeczywistych funkcji ciągłych na $K$ z normą supremum. Punkty ekstremalne kuli jednostkowej przestrzeni sprzężonej $C(K{)}^{*}$ są postaci $\pm {\delta }_x,$ gdzie $⟨{\delta }_x,f⟩=f(x)$ $(x\in K,f\in C(K)).$ Z twierdzenia Rainwatera wynika, że jeżeli ograniczony ciąg $(f_n{)}_{n=1}^{\mathrm{\infty }}$ elementów przestrzeni $C(K)$ jest zbieżny punktowo do pewnej funkcji ciągłej $f,$ to jest on zbieżny do $f$ w słabej topologii przestrzeni $C(K)$Szablon:Odn.

Bibliografia

• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj