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, permettendo così costruzioni che sfruttano le proprietà degli spazi di Banach che non sono condivise da tutti gli spazi metrici (la struttura lineare, la connessione, la completezza).
Introdotta da Kuratowski,Kuratowski, C. (1935) "Quelques problèmes concernant les espaces métriques non-separables", Fundamenta Mathematica 25: 534-545. una variante molto simile si ritrovava già in pubblicazioni precedenti di Fréchet, dove l'inclusione viene usata per esibire come uno spazio separabile "universale" (notando però che non è esso stesso separabile) e per costruire una metrica generale su come immagine reciproca della metrica su una curva di Jordan.
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. 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
Voci correlate Immersione (matematica) Insieme convesso Isometria Norma uniforme Spazio di Banach Spazio metrico
Collegamenti esterni
Categoria:Spazi di Banach Categoria:Geometria metrica