Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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).
Indice
Definizione
Completamento di uno spazio metrico
Esistenza e unicità
Dimostrazione
Esempi
Razionali e reali
Spazi di dimensione infinita
Note
Bibliografia
Voci correlate
Collegamenti esterni
Definizione
Una successione è una successione di Cauchy se per ogni esiste un numero tale che:
per ogni .[2] 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]
Esistenza e unicità
Dato uno spazio metrico , è sempre possibile trovare un completamento. Se inoltre e sono due
completamenti di , allora è isometrico a .
Dimostrazione
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 .
è 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:
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:
Esempi
Razionali e reali
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.
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
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
È 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.
Note
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
(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) Kreyszig, Erwin, Introductory functional analysis with applications (Wiley, New York, 1978). ISBN 0-
471-03729-X
(EN) Lang, Serge, "Real and Functional Analysis" ISBN 0-387-94001-4
(EN) Reinhold Meise, Vogt, Dietmar; translated by Ramanujan, M.S., Introduction to functional analysis,
Oxford: Clarendon Press; New York: Oxford University Press, 1997, ISBN = 0-19-851485-9.
Voci correlate
Convergenza
Limite di una successione
Spazio di Banach
Successione (matematica)
Successione di Cauchy
Collegamenti esterni
(EN) A.V. Arkhangel'skii, Complete space, in Encyclopaedia of Mathematics, Springer e European
Mathematical Society, 2002.
Estratto da "https://it.wikipedia.org/w/index.php?title=Spazio_metrico_completo&oldid=112746531"
Questa pagina è stata modificata per l'ultima volta il 3 mag 2020 alle 21:58.
Il testo è disponibile secondo la licenza Creative Commons Attribuzione-Condividi allo stesso modo; possono applicarsi condizioni
ulteriori. Vedi le condizioni d'uso per i dettagli.