Nsryjdtyk

In matematica, in particolare in topologia, uno spazio compatto è uno spazio topologico tale che ogni suo ricoprimento aperto contiene un sottoricoprimento finito.^[1]

Un insieme contenuto in uno spazio topologico si dice compatto se è uno spazio compatto nella topologia indotta.^[2] Un insieme in uno spazio topologico si dice inoltre σ-compatto se è costituito dall'unione numerabile di insiemi compatti.^[3]

Intuitivamente, i punti di un insieme compatto non possono essere troppo dispersi: per esempio, uno spazio metrico è compatto se e solo se ogni successione di punti possiede una sottosuccessione che converge ad un punto dell'insieme stesso. In generale, ogni sottoinsieme infinito di uno spazio topologico compatto possiede un punto di accumulazione.

Storia e motivazione |

Questa voce o sezione sull'argomento matematica è ritenuta da controllare. Motivo: termini troppo vaghi ed imprecisi, in particolare, ma non solo, i riferimenti temporali Partecipa alla discussione e/o correggi la voce. Segui i suggerimenti del progetto di riferimento.

Il termine "compatto" fu introdotto da Fréchet nel 1906. Era noto da molto tempo che una proprietà come la compattezza era necessaria per dimostrare molti risultati utili. In origine, quando si studiavano principalmente gli spazi metrici, veniva definito "compatto" uno spazio sequenzialmente compatto. La definizione è stata sostituita da quella basata sui ricoprimenti aperti che permette di generalizzare agli spazi topologici generali molti risultati dimostrati per gli spazi metrici.

Uno dei principali motivi per studiare gli spazi compatti è che per certi versi sono molto simili agli insiemi finiti. Infatti, la proprietà del ricoprimento finito di aperti consente sempre di "approssimare" a piacere l'intero spazio con un numero finito di punti, permettendo l'estensione agli spazi compatti di molti risultati dimostrabili negli insiemi finiti. Ad esempio, sia X{displaystyle X} uno spazio di Hausdorff, x{displaystyle x} un suo punto e A{displaystyle A} un suo sottoinsieme finito che non contenga il punto x{displaystyle x}. Allora è possibile separare x{displaystyle x} e A{displaystyle A} con degli insiemi aperti disgiunti. Inoltre, per definizione, nello spazio di Hausdorff esistono per ogni a∈A{displaystyle ain A} degli intorni Va{displaystyle V_{a}} di a{displaystyle a} e Ua{displaystyle U_{a}} di x{displaystyle x} (anch'esso dipendente da a{displaystyle a}, ovvero dalla scelta di Va{displaystyle V_{a}}) tali che Ua{displaystyle U_{a}} e Va{displaystyle V_{a}} siano disgiunti. L'unione V{displaystyle V} di tutti i Va{displaystyle V_{a}} è un intorno dell'insieme A{displaystyle A}, e l'intersezione U{displaystyle U} (finita, dato che A{displaystyle A} è finito) degli Ua{displaystyle U_{a}} è un intorno di x{displaystyle x}, disgiunto da ogni Va{displaystyle V_{a}} e quindi dalla loro unione V{displaystyle V}. Questo ragionamento non funziona se A{displaystyle A} non è finito, dato che l'intersezione di un numero infinito di intorni non è necessariamente un intorno. Se però A{displaystyle A} è compatto, il ragionamento è "salvabile": infatti in questo caso si può estrarre un ricoprimento finito dagli Va{displaystyle V_{a}}, e l'intersezione finita dei relativi Ua{displaystyle U_{a}} è di nuovo un intorno di x{displaystyle x}.

Si vede così che in uno spazio di Hausdorff un punto può essere separato da un insieme compatto che non lo contenga. Un ragionamento analogo mostra che nello spazio di Hausdorff due insiemi compatti disgiunti sono sempre separabili da intorni: in altre parole, l'assioma di Hausdorff vale sostituendo "insieme compatto" a "punto".

Molti argomenti e risultati riguardanti gli spazi compatti seguono questo tipo di ragionamento.

Definizione |

La compattezza è una nozione definita per qualsiasi spazio topologico. Esistono due concetti distinti di compattezza, definiti, rispettivamente, in termini di ricoprimenti e di successioni. Le due definizioni coincidono per molti spazi topologici, ad esempio per gli spazi metrici, e, più in generale, per gli spazi sequenziali. Generalmente, la prima è accettata come definizione generale per gli spazi topologici, mentre la seconda è usata in analisi matematica.

Compattezza per ricoprimenti |

Uno spazio topologico X{displaystyle X} si dice compatto se da ogni suo ricoprimento costituito da una famiglia di insiemi aperti si può estrarre una sottofamiglia finita che è ancora un ricoprimento. In altre parole, per ogni famiglia {Ui}i∈I{displaystyle {U_{i}}_{iin I}} di sottoinsiemi aperti di X{displaystyle X} tale che:

⋃i∈IUi⊇X{displaystyle bigcup _{iin I}U_{i}supseteq X}

esiste un sottoinsieme finito J{displaystyle J} di I{displaystyle I} tale che:^[1]

⋃i∈JUi⊇X{displaystyle bigcup _{iin J}U_{i}supseteq X}

Qualche autore richiede che uno spazio compatto sia di Hausdorff, ed in tal caso uno spazio che soddisfa la definizione precedente che non sia necessariamente di Hausdorff è detto quasi compatto.

In modo equivalente, uno spazio è compatto se da ogni famiglia di chiusi la cui intersezione sia vuota è possibile estrarre una sottofamiglia finita la cui intersezione è vuota. In altre parole, per ogni famiglia {Ci}i∈I{displaystyle {C_{i}}_{iin I}} di sottoinsiemi chiusi di X{displaystyle X} tale che:

⋂i∈ICi=∅{displaystyle bigcap _{iin I}C_{i}=varnothing }

esiste un sottoinsieme finito J{displaystyle J} di I{displaystyle I} tale che:

⋂i∈JCi=∅{displaystyle bigcap _{iin J}C_{i}=varnothing }

L'equivalenza delle definizioni discende dal fatto che gli insiemi chiusi sono i complementari degli aperti, e dalle relazioni di dualità di De Morgan degli operatori di unione e intersezione di insiemi.

Compattezza per successioni |

Uno spazio topologico X{displaystyle X} si dice compatto per successioni, o sequenzialmente compatto, se ogni successione di punti in X{displaystyle X} ammette una sottosuccessione convergente a un punto di X{displaystyle X}. Le due definizioni sono equivalenti negli spazi metrici in virtù del teorema di Bolzano-Weierstrass, ma non negli spazi topologici più in generale.

Un esempio di spazio sequenzialmente compatto ma non compatto è il primo numero ordinale non numerabile ω1{displaystyle omega _{1}}, con la topologia indotta dall'usuale relazione d'ordine di appartenenza ∈{displaystyle in }. Uno spazio che risulta invece compatto (grazie al teorema di Tychonoff) ma non sequenzialmente compatto è l'insieme [0,1][0,1]{displaystyle [0,1]^{[0,1]}} delle funzioni (anche non continue) dall'intervallo [0,1]{displaystyle [0,1]} in sé.

Negli spazi topologici si ha una caratterizzazione che utilizza le reti, dette anche successioni generalizzate: uno spazio topologico X{displaystyle X} è compatto se e solo se ogni rete (xα){displaystyle (x_{alpha })} in X{displaystyle X} ammette una sottorete convergente a un punto x{displaystyle x} in X{displaystyle X}.^[4]

Compattezza di spazi euclidei |

.mw-parser-output .vedi-anche{border:1px solid #CCC;font-size:95%;margin-bottom:.5em}.mw-parser-output .vedi-anche td:first-child{padding:0 .5em}.mw-parser-output .vedi-anche td:last-child{width:100%}

Lo stesso argomento in dettaglio: Teorema di Heine-Borel.

Grazie al teorema di Heine-Borel, un sottoinsieme X{displaystyle X} dello spazio euclideo Rn{displaystyle mathbb {R} ^{n}} è compatto se e solo se è chiuso nella topologia euclidea, cioè contiene tutti i suoi punti di accumulazione, ed è limitato, cioè esiste un numero positivo K>0{displaystyle K>0} tale che la distanza tra due punti qualsiasi in X{displaystyle X} sia sempre minore di K{displaystyle K}.^[5]

L'affermazione non è valida invece per gli spazi ad infinite dimensioni, ad esempio per gli spazi di Hilbert o di Banach. Per il teorema di Weierstrass, inoltre, un sottoinsieme compatto dei numeri reali ha un elemento minimo ed uno massimo.

Proprietà |

Nel seguito le principali proprietà che caratterizzano gli spazi compatti.

Punti di accumulazione |

Per il teorema di Bolzano-Weierstrass, ogni sottoinsieme infinito di uno spazio compatto X{displaystyle X} ammette almeno un punto di accumulazione in X{displaystyle X}.

Funzioni continue |

Una versione del teorema di Weierstrass sostiene che una funzione continua f:X→R{displaystyle fcolon Xto mathbb {R} } definita su uno spazio topologico compatto X{displaystyle X} è limitata, ovvero la sua immagine è contenuta in un insieme limitato della retta reale.

La dimostrazione è la seguente: si considera in X{displaystyle X} la famiglia delle controimmagini degli intervalli aperti e limitati della retta reale. La continuità della funzione assicura che si tratta di una famiglia di aperti, dalla quale, per la compattezza, è possibile estrarre un ricoprimento finito di aperti, ciascuno dei quali proviene da un intervallo aperto e limitato. L'unione di tali intervalli limitati, essendo finita è limitata e include l'immagine dello spazio topologico.

Più in generale, una funzione continua:

f:X→Y{displaystyle fcolon Xto Y}

tra spazi topologici "manda compatti in compatti": se A{displaystyle A} è un sottoinsieme compatto di X{displaystyle X}, la sua immagine f(A){displaystyle f(A)} è anch'essa compatta.

Sottoinsiemi chiusi |

Un sottoinsieme chiuso di un compatto è anch'esso compatto. D'altra parte, un sottoinsieme compatto in uno spazio di Hausdorff, ad esempio un qualsiasi spazio metrico, è chiuso.

Prodotti e quozienti |

Per il teorema di Tychonoff, il prodotto di spazi compatti è compatto.

Il quoziente di un compatto E{displaystyle E} è compatto, perché immagine suriettiva di E{displaystyle E} tramite la proiezione sul quoziente (che manda ogni elemento di E{displaystyle E} nella sua classe di equivalenza), la quale è una funzione continua (incidentalmente, la topologia quoziente è la più fine fra tutte quelle che rendono continua la proiezione).

Spazi metrici |

Uno spazio metrico è compatto se e solo se è completo e totalmente limitato. In particolare, ogni spazio metrico compatto è limitato, nel senso che ha un diametro finito. Ovvero, detto E{displaystyle E} lo spazio metrico compatto, si ha necessariamente che:

diam(E)=supx,y∈Ed(x,y){displaystyle mathrm {diam} (E)=sup _{x,yin E}d(x,y)}

è un valore finito.

Esempi |

Esempi di spazi compatti |

• L'insieme vuoto
  


• Ogni insieme X{displaystyle displaystyle X} con la topologia banale
  


• Ogni insieme X{displaystyle displaystyle X} con la topologia cofinita
  


• Un intervallo chiuso [a,b]⊂R{displaystyle displaystyle [a,b]subset mathbb {R} } con la topologia standard sui reali è compatto.


• La sfera chiusa, così come il toro, sono compatti in R3{displaystyle displaystyle mathbb {R} ^{3}}, essendo insiemi chiusi e limitati.


• L'insieme di Cantor
  


• Ogni spazio topologico finito con una topologia qualsiasi contiene un numero finito di aperti, quindi è compatto.

Esempi di spazi non compatti |

• Per quanto esposto in precedenza, se uno spazio metrico è illimitato (ha diametro infinito) non può essere compatto.
  
  • Ne segue, ad esempio, che la retta R{displaystyle displaystyle mathbb {R} } (ma anche lo spazio euclideo Rn{displaystyle mathbb {R} ^{n}}) con la topologia standard non è compatta. Questo può essere visto direttamente considerando il ricoprimento aperto (−n,n){displaystyle displaystyle (-n,n)} al variare di n∈N{displaystyle displaystyle nin mathbb {N} }, da cui non è possibile estrarre alcun sottoricomprimento finito.
  
  


• La palla chiusa unitaria in uno spazio di dimensione infinita è un classico esempio di insieme limitato e chiuso, ma non compatto.


• Ogni insieme X{displaystyle displaystyle X} infinito con la topologia discreta.

Note |

Bibliografia |

• (EN) Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1.


• (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.

Voci correlate |

• Insieme chiuso


• Insieme finito


• Insieme limitato


• Punto di accumulazione


• Ricoprimento


• Spazio di Hausdorff


• Spazio localmente compatto


• Spazio metrico


• Spazio paracompatto


• Teorema di Bolzano-Weierstrass


• Teorema di Heine-Borel


• Teorema di Weierstrass

.mw-parser-output .navbox{border:1px solid #aaa;clear:both;margin:auto;padding:2px;width:100%}.mw-parser-output .navbox th{padding-left:1em;padding-right:1em;text-align:center}.mw-parser-output .navbox>tbody>tr:first-child>th{background:#ccf;font-size:90%;width:100%}.mw-parser-output .navbox_navbar{float:left;margin:0;padding:0 10px 0 0;text-align:left;width:6em}.mw-parser-output .navbox_title{font-size:110%}.mw-parser-output .navbox_abovebelow{background:#ddf;font-size:90%;font-weight:normal}.mw-parser-output .navbox_group{background:#ddf;font-size:90%;padding:0 10px;white-space:nowrap}.mw-parser-output .navbox_list{font-size:90%;width:100%}.mw-parser-output .navbox_odd{background:#fdfdfd}.mw-parser-output .navbox_even{background:#f7f7f7}.mw-parser-output .navbox_center{text-align:center}.mw-parser-output .navbox .navbox_image{padding-left:7px;vertical-align:middle;width:0}.mw-parser-output .navbox+.navbox{margin-top:-1px}.mw-parser-output .navbox .mw-collapsible-toggle{font-weight:normal;text-align:right;width:7em}.mw-parser-output .subnavbox{margin:-3px;width:100%}.mw-parser-output .subnavbox_group{background:#ddf;padding:0 10px}

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 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 · Tychonoff · 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 Topologia dello spazio-tempo · Topologia di rete · Controllo della topologia · Topologia molecolare
Proprietà	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 Tychonoff · 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 Altro Spazio di Baire · Spazio topologico noetheriano · Spazio omogeneo
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 Topologie indotte Topologia prodotto · Topologia di sottospazio · Topologia quoziente · Compattificazione (di Alexandrov · di Stone-Čech) · Cono · Bouquet · Sospensione Topologie in Analisi funzionale Topologia iniziale o debole · Topologia operatoriale · Topologia finale o forte · Topologia di Mackey · Topologia polare · Topologia operatoriale debole 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 · Link Frattali Insieme di Cantor · Spazio di Cantor · Polvere di Cantor · Sfera di Alexander · Curva di Peano Strutture miste Spazio vettoriale topologico · Gruppo topologico · Gruppo di Lie · Spazio uniforme · Algebra di Borel
Topologia algebrica	Gruppo fondamentale · Arco · Nerbo · Omotopia · Gruppi di omotopia · Omologia · Omologia singolare · Algebra omologica · Coomologia di De Rham · Spazio semplicemente connesso · Rivestimento · Grado topologico · Indice di avvolgimento · Sollevamento · Teorema del sollevamento dell'omotopia · Teorema di unicità del sollevamento · Teorema di Van Kampen · Caratteristica di Eulero · Formula di Eulero per i poliedri · Genere · Taglio · Numero di Betti · Superficie incompressibile · Successione di Mayer-Vietoris · Successione esatta · Successione spettrale · Teorema della palla pelosa · Schema simpliciale · Complesso simpliciale · Complesso di celle · Complesso di catene · Classificazione delle superfici · Mapping class group · Congettura di Hodge · Congettura di Poincaré
Topologia differenziale	Varietà · Varietà differenziabile · Varietà parallelizzabile · 3-varietà · 3-varietà irriducibile · Atlante · Diffeomorfismo · Diffeomorfismo locale · Diffeomorfismo di Anosov · Immersione · Curva · Superficie · Campo vettoriale · Fibrato · Fibrato principale · Fibrato vettoriale · Varietà fibrata · Fibrazione di Hopf · Varietà con bordo · Teorema dell'intorno tubolare · 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

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