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).

Una successione ${\displaystyle \{x_{n}\}}$ è una successione di Cauchy se per ogni ${\displaystyle \varepsilon >0}$ esiste un numero ${\displaystyle N(\varepsilon )>0}$ tale che:

${\displaystyle d(x_{n},x_{m})<\varepsilon }$

per ogni ${\displaystyle n,m>N(\varepsilon )}$^[2], dove ${\displaystyle d}$ è 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 ${\displaystyle X}$, un completamento di ${\displaystyle X}$ è una coppia ${\displaystyle (Y,\phi )}$, dove ${\displaystyle Y}$ è uno spazio metrico completo e ${\displaystyle \phi }$ una isometria da ${\displaystyle X}$ in ${\displaystyle Y}$ tale che ${\displaystyle \phi (X)}$ è denso in ${\displaystyle Y}$.

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 ${\displaystyle \mathbb {R} ^{n}}$ è 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]

Dato uno spazio metrico ${\displaystyle X}$, un completamento di ${\displaystyle X}$ è una coppia ${\displaystyle (Y,\phi )}$, dove ${\displaystyle Y}$ è uno spazio metrico completo e ${\displaystyle \phi }$ una isometria da ${\displaystyle X}$ in ${\displaystyle Y}$ tale che ${\displaystyle \phi (X)}$ è denso in ${\displaystyle Y}$.

Dato uno spazio metrico ${\displaystyle X}$, è sempre possibile trovare un completamento. Se inoltre ${\displaystyle (Y,\phi )}$ e ${\displaystyle (Z,\psi )}$ sono due completamenti di ${\displaystyle X}$, allora ${\displaystyle Y}$ è isometrico a ${\displaystyle Z}$.

Definizione di Y

Sia ${\displaystyle C}$ l'insieme delle successioni di Cauchy in ${\displaystyle X}$. La relazione ${\displaystyle \sim }$ su ${\displaystyle C}$ definita nel seguente modo:

${\displaystyle \ (x_{n})\sim (y_{n})\ \Leftrightarrow \ \lim _{n}d(x_{n},y_{n})=0}$

è una relazione di equivalenza (la transitività è conseguenza immediata della disuguaglianza triangolare). Si indica con ${\displaystyle Y}$ l'insieme quoziente e con ${\displaystyle [x_{n}]}$ la classe di equivalenza della successione ${\displaystyle (x_{n})\in C}$.

Definizione di una metrica su Y

Per mostrare che la funzione ${\displaystyle \delta :Y\times Y\to \mathbb {R} }$ tale che:

${\displaystyle \delta ([x_{n}],[y_{n}])=\lim _{n}d(x_{n},y_{n})}$

è ben definita, bisogna dimostrare che il limite di destra converge, e che non dipende dai rappresentanti scelti. Per la convergenza basti notare che ${\displaystyle (d(x_{n},y_{n}))}$ è una successione di Cauchy di numeri reali, come emerge dalla relazione:

${\displaystyle |d(x_{n},y_{n})-d(x_{m},y_{m})|\leq |d(x_{n},y_{n})-d(y_{n},x_{m})|+|d(y_{n},x_{m})-d(x_{m},y_{m})|\leq d(x_{n},x_{m})+d(y_{n},y_{m})}$

e quindi è convergente. Per dimostrare che il limite non dipende dai rappresentanti scelti, se ${\displaystyle (u_{n})\in [x_{n}]}$ e ${\displaystyle (v_{n})\in [y_{n}]}$, allora, analogamente alla disuguaglianza precedente:

${\displaystyle |d(u_{n},v_{n})-d(x_{n},y_{n})|\leq d(u_{n},x_{n})+d(v_{n},y_{n})}$

che al limite va a 0, cioè:

${\displaystyle \lim d(u_{n},v_{n})=\lim d(x_{n},y_{n})}$

È immediato verificare che ${\displaystyle \delta }$ ha tutte e tre le proprietà di una metrica.

Immersione di X in Y

Dato ${\displaystyle x\in X}$, sia ${\displaystyle (x)}$ la successione che vale costantemente ${\displaystyle x}$. Sia ${\displaystyle i:X\to Y}$ la funzione che manda ${\displaystyle x}$ nella classe di equivalenza ${\displaystyle [x]}$ di ${\displaystyle (x)}$. È immediato che ${\displaystyle i}$ sia una isometria:

${\displaystyle \delta (i(x),i(y))=\lim _{n}d(x,y)=d(x,y)}$

Lo spazio metrico ${\displaystyle \mathbb {Q} }$ dei numeri razionali con la metrica standard non è completo. Infatti, scrivendo le troncature di ${\displaystyle {\sqrt {2}}}$:

${\displaystyle x_{0}=1\ \ x_{1}=1,4\ \ x_{2}=1,41\ \ x_{3}=1,414\ \ x_{4}=1,4142\ \ldots \ x_{n}={\frac {\lfloor 10^{n}{\sqrt {2}}\rfloor }{10^{n}}}}$

con ${\displaystyle \lfloor x\rfloor }$ la parte intera di ${\displaystyle x\in \mathbb {R} }$, si costruisce una successione di Cauchy di numeri razionali che converge a ${\displaystyle {\sqrt {2}}}$, che però razionale non è.

Gli spazi metrici ${\displaystyle \mathbb {R} }$ dei numeri reali e ${\displaystyle \mathbb {C} }$ dei numeri complessi con la metrica data dal valore assoluto sono invece completi.

Gli insiemi ${\displaystyle \mathbb {R} ^{n}}$ con la norma euclidea standard sono spazi completi. Più generalmente, un qualsiasi sottoinsieme chiuso dello spazio euclideo ${\displaystyle \mathbb {R} ^{n}}$ è completo.

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 ${\displaystyle K}$ uno spazio topologico compatto e ${\displaystyle (Y,\rho )}$ uno spazio metrico completo. L'insieme delle funzioni continue ${\displaystyle C(K,Y)}$ con la metrica uniforme

${\displaystyle d(f,g)=\sup _{x\in K}\rho (f(x),g(x))}$

è 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 ${\displaystyle C([a,b])}$ delle funzioni continue definite su un intervallo chiuso ${\displaystyle [a,b]}$ con la metrica indotta dalla norma uniforme

${\displaystyle \Vert f\Vert _{\infty }=\sup _{x\in [a,b]}|f(x)|}$

è uno spazio di Banach.^[5]

• È di Banach lo spazio l², ovvero l'insieme delle successioni ${\displaystyle x=\{x_{n}\}_{n\geq 1}}$ tali che sia finita la norma

${\displaystyle \Vert x\Vert _{2}=\sum _{n=1}^{\infty }x_{n}^{2}}$

Più in generale tutti gli spazi L^p, con ${\displaystyle 1\leq p\leq \infty }$, sono spazi di Banach.

• (EN) Andrej Nikolaevič Kolmogorov, S.V. Fomin, Elements of the Theory of Function and Functional Analysis, Dover publications, inc., 1957, ISBN 0-486-40683-0.
• (EN) Michael Reed, Barry Simon, Methods of Modern Mathematical Physics, Vol. 1: Functional Analysis, 2ª ed., San Diego, California, Academic press inc., 1980, ISBN 0-12-585050-6.
• (EN) Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1.
• (EN) John L. Kelley, General Topology, Springer, 1975, ISBN 0-387-90125-6.
• (EN) Erwin Kreyszig, Introductory functional analysis with applications, 1978, ISBN 0-471-50731-8, OCLC 2818701.
• (EN) Serge Lang, Real and functional analysis, 3rd ed, Springer-Verlag, 1993, ISBN 0-387-94001-4, OCLC 27144188.
• (EN) Dietmar Vogt, Introduction to functional analysis, Clarendon Press, 1997, ISBN 0-19-851485-9, OCLC 37141072.

• Convergenza
• Limite di una successione
• Spazio di Banach
• Successione (matematica)
• Successione di Cauchy

• (EN) Eric W. Weisstein, Spazio metrico completo, su MathWorld, Wolfram Research.
• (EN) Spazio metrico completo, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

V · D · M Topologia
Concetti di Topologia generale	Spazio topologico · Base · Prebase · Ricoprimento · Assiomi di chiusura di Kuratowski · Invariante topologico · Relazione di finezza · Partizione dell'unità · Proprietà dell'intersezione finita Sottoinsiemi Intervallo · Aperto · Intorno · Chiuso · Insieme localmente chiuso · Insieme chiuso-aperto · Parte interna · Chiusura · Frontiera · Insieme derivato · Insieme limite · Insieme perfetto · Insieme denso · Insieme mai denso Punti Punto isolato · Punto di accumulazione · Punto di aderenza Funzioni Funzione continua · Omeomorfismo · Funzione aperta · Funzione chiusa · Funzione propria · Contrazione · Retrazione · Germe di funzione · Funzione a supporto compatto Successioni Limite · Limite di una successione · Successione · Rete · Convergenza · Successione di Cauchy Teoremi Teorema di Weierstrass · Heine-Borel · Tichonov · Lemma del tubo · Urysohn · Tietze · Baire · Brouwer · punto fisso · Teorema di Borsuk · Teorema di Borsuk-Ulam · Teorema della curva di Jordan · Teorema della mappa di Riemann Applicazioni pratiche Topologia dello spazio-tempo · Teoria quantistica dei campi topologica · K-teoria ritorta · Topologia di rete · Controllo della topologia · Topologia molecolare
Spazi topologici	Topologie classiche Topologia banale · Spazio di Sierpiński · Cofinita · Topologia della semicontinuità inferiore · di Zariski · Euclidea · del limite inferiore o di Sorgenfrey · Discreta · Topologia degli interi equispaziati · Insieme reale esteso · Topologia di ordine · Piano di Moore · Topologia p-adica Costruzioni topologiche Topologia prodotto · Topologia di sottospazio · Topologia quoziente · Compattificazione (di Alexandrov · di Stone-Čech) · Cono · Bouquet · Rosa · Sospensione Topologie in Analisi funzionale Spazio funzionale · Topologia iniziale o debole · Topologia operatoriale · Topologia finale o forte · Topologia di Mackey · Topologia polare · Topologie operatoriali debole e forte Altri oggetti topologici Sfera · Palla · Toro · Corpo con manici · Bottiglia di Klein · Bottiglia di Klein solida · Anello · Nastro di Möbius · Retta proiettiva · Piano proiettivo · Superficie di Riemann · Nodo · Nodo torico · Link Frattali Insieme di Cantor · Spazio di Cantor · Polvere di Cantor · Spugna di Menger · Sfera di Alexander · Curva di Peano · Laghi di Wada Strutture miste Spazio vettoriale topologico · Gruppo topologico · Gruppo di Lie · Spazio uniforme · Algebra di Borel
Proprietà degli spazi topologici	Numerabilità Assioma di numerabilità · Spazio primo-numerabile · Spazio separabile · Spazio sequenziale Separazione Assioma di separazione · Spazio T0 · Spazio T1 · Spazio di Hausdorff · Spazio regolare · Spazio di Tichonov · Spazio normale Compattezza Spazio compatto · Spazio paracompatto · Spazio localmente compatto · Spazio di Lindelöf · Sottospazio relativamente compatto · Immersione compatta Connessione Spazio connesso · Spazio semplicemente connesso Metrizzabilità Spazio metrico · Spazio metrico completo · Spazio metrizzabile · Spazio ultrametrico · Spazio pseudometrico · Spazio polacco · Spazio normato · Spazio totalmente limitato Altre proprietà Spazio di Baire · Spazio topologico noetheriano · Spazio omogeneo · Orientazione
Topologia differenziale	Varietà (differenziabile · parallelizzabile · 3-varietà · 3-varietà irriducibile) · Atlante · Diffeomorfismo (locale · di Anosov) · Immersione · Curva · Superficie · Campo vettoriale · Fibrato (principale · vettoriale · Varietà fibrata) · Fibrato tangente · Spazio tangente · Fibrazione di Hopf · Varietà con bordo · Teorema dell'intorno tubolare · Somma connessa · Teorema di Kneser-Milnor · Congettura di geometrizzazione di Thurston · Cobordismo · Dimensione topologica · Topologia in dimensione bassa · Chirurgia di Dehn · Trasversalità · Eversione della sfera · Teoria delle foliazioni · Decomposizione JSJ
Topologia algebrica	Fondamenti Spazio semplicemente connesso · Gruppo fondamentale Omotopia Arco · Nerbo · Omotopia · Gruppi di omotopia Omologia e coomologia Omologia · Omologia singolare · Omologia ciclica · Algebra omologica · Coomologia di De Rham · Categoria abeliana Sollevamento Sollevamento · Teorema del sollevamento dell'omotopia · Teorema di unicità del sollevamento · Teorema di Van Kampen Topologia algebrica avanzata Grado topologico · Indice di avvolgimento · Indice di un campo vettoriale · Rivestimento · Numero di Betti · Successione di Mayer-Vietoris · Successione esatta · Successione spettrale · Complesso simpliciale · Complesso di celle · Complesso di catene · Schema simpliciale Superfici Caratteristica di Eulero · Formula di Eulero per i poliedri · Genere · Taglio · Superficie incompressibile · Classificazione delle superfici · Mapping class group · Teorema della palla pelosa · Teorema di Poincaré-Hopf · Congettura di Poincaré · Congettura di Hodge
Topologi di rilievo	Henri Poincaré · Felix Hausdorff · Georg Cantor · Eduard Čech · John Milnor · Pierre Samuel · Norman Steenrod · René Thom · Samuel Eilenberg · Andrej Nikolaevič Kolmogorov · Stephen Smale · Michael Atiyah · William Thurston · Marston Morse · Luitzen Brouwer

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