Spazio metrico completo

spazio metrico in cui tutte le successioni di cauchy convergono a un elemento dello spazio
(Reindirizzamento da Completezza (topologia))

In matematica, uno spazio metrico completo è uno spazio metrico in cui tutte le successioni di Cauchy sono convergenti ad un elemento dello spazio. Si tratta di un importante caso particolare di spazio uniforme completo.

Uno spazio metrico non completo è sempre contenuto in uno spazio completo più grande,[1] che può essere costruito a partire dal primo tramite un'operazione di completamento. Ad esempio, l'insieme dei numeri razionali è contenuto nell'insieme dei numeri reali, che si può ottenere dai numeri razionali grazie ad un'operazione di completamento (numeri irrazionali).

Definizione

modifica

Una successione   è una successione di Cauchy se per ogni   esiste un numero   tale che:

 

per ogni  [2], dove   è una funzione di distanza. In uno spazio metrico, ogni successione convergente è di Cauchy.

Uno spazio metrico si dice completo se ogni successione di Cauchy converge ad un elemento dello spazio.[3]

Dato uno spazio metrico  , un completamento di   è una coppia  , dove   è uno spazio metrico completo e   una isometria da   in   tale che   è denso in  .

Ogni spazio metrico compatto è completo, ma non vale il viceversa: uno spazio metrico è compatto se e solo se è completo e totalmente limitato. Un sottospazio di uno spazio metrico completo, fornito della metrica indotta, è completo se e solo se è un sottoinsieme chiuso. Inoltre, il prodotto di spazi metrici completi è completo, e quindi segue che un sottoinsieme di   è completo se e solo se è chiuso.

Una proprietà degli spazi metrici completi è fornita dal teorema di Baire, che afferma che in uno spazio metrico completo l'intersezione di ogni collezione numerabile di suoi sottoinsiemi aperti e densi è densa nello spazio.[4]

Completamento di uno spazio metrico

modifica

Dato uno spazio metrico  , un completamento di   è una coppia  , dove   è uno spazio metrico completo e   una isometria da   in   tale che   è denso in  .

Esistenza e unicità

modifica

Dato uno spazio metrico  , è sempre possibile trovare un completamento. Se inoltre   e   sono due completamenti di  , allora   è isometrico a  .

Dimostrazione

modifica
Definizione di Y

Sia   l'insieme delle successioni di Cauchy in  . La relazione   su   definita nel seguente modo:

 

è una relazione di equivalenza (la transitività è conseguenza immediata della disuguaglianza triangolare). Si indica con   l'insieme quoziente e con   la classe di equivalenza della successione  .

Definizione di una metrica su Y

Per mostrare che la funzione   tale che:

 

è ben definita, bisogna dimostrare che il limite di destra converge, e che non dipende dai rappresentanti scelti. Per la convergenza basti notare che   è una successione di Cauchy di numeri reali, come emerge dalla relazione:

 

e quindi è convergente. Per dimostrare che il limite non dipende dai rappresentanti scelti, se   e  , allora, analogamente alla disuguaglianza precedente:

 

che al limite va a 0, cioè:

 

È immediato verificare che   ha tutte e tre le proprietà di una metrica.

Immersione di X in Y

Dato  , sia   la successione che vale costantemente  . Sia   la funzione che manda   nella classe di equivalenza   di  . È immediato che   sia una isometria:

 

Razionali e reali

modifica

Lo spazio metrico   dei numeri razionali con la metrica standard non è completo. Infatti, scrivendo le troncature di  :

 

con   la parte intera di  , si costruisce una successione di Cauchy di numeri razionali che converge a  , che però razionale non è.

Gli spazi metrici   dei numeri reali e   dei numeri complessi con la metrica data dal valore assoluto sono invece completi.

Gli insiemi   con la norma euclidea standard sono spazi completi. Più generalmente, un qualsiasi sottoinsieme chiuso dello spazio euclideo   è completo.

Spazi di dimensione infinita

modifica

La completezza è una proprietà importante in analisi funzionale. In tale ambito gli spazi metrici studiati sono spazi di funzioni che formano degli spazi vettoriali di dimensione infinita.

Per esempio, siano   uno spazio topologico compatto e   uno spazio metrico completo. L'insieme delle funzioni continue   con la metrica uniforme

 

è uno spazio metrico completo. Un caso particolare di spazi metrici sono gli spazi normati. Gli spazi normati completi si dicono spazi di Banach. Ad esempio:

  • Lo spazio   delle funzioni continue definite su un intervallo chiuso   con la metrica indotta dalla norma uniforme
 

è uno spazio di Banach.[5]

  • È di Banach lo spazio l2, ovvero l'insieme delle successioni   tali che sia finita la norma
 

Più in generale tutti gli spazi Lp, con  , sono spazi di Banach.

  1. ^ A.N. Kolmogorov, Pag. 40.
  2. ^ Reed, Simon, Pag. 5.
  3. ^ Reed, Simon, Pag. 6.
  4. ^ W. Rudin, Pag. 97.
  5. ^ A.N. Kolmogorov, Pag. 36.

Bibliografia

modifica

Voci correlate

modifica

Collegamenti esterni

modifica
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica