Twierdzenie Krejna-Szmuljana

Twierdzenie Krejna-Szmuljana – twierdzenie udowonione w 1940 przez Krejna i Szmuljana, które charakteryzuje wypukłe podzbiory przestrzeni sprzężonych przestrzeni Banacha w topologii *-słabej. Twierdzenie uogólnia się na przypadek przestrzeni Frécheta.

Twierdzenie

Niech X będzie przestrzenią Banacha oraz niech B_X* oznacza domkniętą kulę jednostkową w przestrzeni sprzężonej X. Jeśli C jest wypukłym podzbiorem X*, to jest on *-słabo domknięty wtedy i tylko wtedy, gdy dla każdej liczby t > 0 zbiór

$C\cap t{B}_{X^{*}}=\{f\in C:\Vert f\Vert ⩽t\}$

jest *-słabo domknięty.Szablon:Odn

Bezpośrednim wnioskiem z powyższego twierdzenia jest następujące kryterium na *-słabą domkniętość w X*: podprzestrzeń liniowa Y przestrzeni X* jest domknięta w *-słabej topologii wtedy i tylko wtedy, gdy jej kula jednostkowa jest *-słabo domknięta.Szablon:Odn Założenia zupełności przestrzeni X w twierdzeniu Krejna-Šmuliana nie można pominąćSzablon:Odn.

Wersja twierdzenia dla przestrzeni Frécheta

Powyższe twierdzenie można wypowiedzieć nieco ogólniej, w języku półnorm w przestrzeniach Frécheta.

Nich X będzie jest przestrzenią Frécheta. Jeśli C jest wypukłym podzbiorem X*, to jest on *-słabo domknięty wtedy i tylko wtedy, gdy dla każdej ciągłej półnormy

$p:X\to [0,\mathrm{\infty })$

zbiór

$\{f\in C:|⟨f,x⟩|⩽p(x),x\in X\}$

jest *-słabo domknięty.

Bibliografia

• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• B. Rodrigues, S. Simons: A minimax proof of the Krein-Smulian Theorem, Archiv der Mathematik, Birkhäuser Basel, Volume 51, Number 6, 1988.