Teorema di Fréchet-Kuratowski
In matematica, il teorema di Kuratowski-Wojdysławski o teorema di Fréchet-Kuratowski, che prende il nome da Kazimierz Kuratowski e Maurice René Fréchet, stabilisce che ogni spazio metrico può essere incluso in un particolare spazio di Banach. Questa inclusione permette di vedere ogni spazio metrico come sottoinsieme di uno spazio di Banach, consentendo così di sfruttare le proprietà degli spazi di Banach che non sono condivise da tutti gli spazi metrici (come la completezza).
Introdotta da Kuratowski,[1] una variante molto simile si ritrovava già in una pubblicazione di Fréchet dove viene introdotta per la prima volta l'idea di spazio metrico.[2]
Il teorema
Se è uno spazio metrico, è un punto in e denota lo spazio di Banach delle funzioni limitate e continue a valori reali su munito della norma uniforme, allora la mappa definita da:
è una isometria.[3] Si noti che questa inclusione, talvolta nota come inclusione di Kuratowski, dipende dalla scelta del punto , e non è quindi del tutto canonica.
Il teorema di Fréchet-Kuratowski afferma che ogni spazio metrico limitato è isometrico ad un sottoinsieme chiuso di un sottoinsieme convesso di un qualche spazio di Banach. Si nota che l'immagine di questa inclusione è chiusa in un sottoinsieme convesso, non necessariamente in uno spazio di Banach. Qui si usa l'isometria definita da:
Il convesso menzionato sopra è l'inviluppo convesso di .
Note
- ^ Kuratowski, C. (1935) "Quelques problèmes concernant les espaces métriques non-separables", Fundamenta Mathematica 25: 534-545.
- ^ Fréchet M. (1906) "Sur quelques points du calcul fonctionnel", Rendiconti del Circolo Matematico di Palermo 22: 1—74.
- ^ Juha Heinonen, Geometric embeddings of metric spaces (ps), gennaio 2003. URL consultato il 6 gennaio 2009.
Voci correlate
- Immersione (matematica)
- Insieme convesso
- Isometria
- Norma uniforme
- Spazio di Banach
- Spazio metrico
Collegamenti esterni
- (EN) Kuratowski's embedding theorem, in PlanetMath.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)