Compatti e ricoprimenti finiti

la.spina.simone
Sarà l'abitudine a lavorare sui reali, ma proprio non riesco a capire questi compatti...
Come faccio, in generale, a stabilire se un insieme è compatto? Ovvero, ok la teoria, ma se ti do l'insieme tale, come si procede?

Risposte
j18eos
"MrJack":
...Come faccio, in generale, a stabilire se un insieme è compatto? Ovvero, ok la teoria, ma se ti do l'insieme tale, come si procede?
Ti scrivo la verità...
O lo si vede "ad occhio" che (non) è compatto oppure bisogna ingegnarsi per verificare o vanificare la definizione di compattezza mediante opportuni teoremi, opportune successioni od opportuni ricoprimenti per aperti; in genere gli ultimi due si utilizzano per dimostrare che non c'è la compattezza!

Se vuoi postare qualche esercizio, giusto per fare pratica!?

la.spina.simone
ad esempio viewtopic.php?f=37&t=111244&p=729252#p729252

o più classico:
Provare che $(R,T_{cof})$ con la top. cofinita è compatto

oppure
Sia $X$ spazio topologico, sia ${A_i}_{i\inI}$ un ricoprimento finito, ovvero $\forall x\inX \exists U$ intorno di $x t.c. U$ interseca un numero finito di $A_i$. Provare che se $X$ è compatto allora $I$ è finito

j18eos
Con la classica topologia cofinita \(\mathcal{T}_{cof}\) ragionerei per insiemi chiusi (tanto sono tutti compatti: perché?).

Per farla breve, giocherei col pifferaio magico! :-D Confesso che è l'unico modo che ricordo per risolvere la faccenda, in questo caso classico.

Dico una parola sul secondo (o terzo) esercizio: stai parlando di ricoprimenti localmente finiti!

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.