Discussioni su programma di analisi 1 e 2: numeri complessi, calcolo di una o più variabili reali, equazioni differenziali ordinarie.
23/05/2020, 09:48
Ho letto la dimostrazione di questo fatto:
A subset \(\displaystyle K \) of a topological space \(\displaystyle (X,\tau) \) is a compact subset of \(\displaystyle X \) if and only if \(\displaystyle K \) is compact as a subset of itself with the topology induced from \(\displaystyle (X,\tau) \).
e fin qui chiaro, tutto ok.
Successivamente, mi viene proposta la seguente considerazione aggiuntiva: quanto dimostrato fa vedere come la proprietà di compattezza di un insieme è assoluta e non dipende dall'insieme "ambiente".
Non ho ben capito perché. Nonostante la proposizione dimostrata, non potrebbe comunque esistere un altro spazio topologico \(\displaystyle (Y,\tau ') \) (\(\displaystyle K\subset Y \)) in cui da qualunque copertura di \(\displaystyle K \) fatta di elementi di \(\displaystyle \tau ' \) non si riesce mai ad estrarre una sottocopertura finita?
23/05/2020, 15:42
Si. Ma infatti è sottointeso che \(\tau\) è fissata una volta per tutte.
23/05/2020, 15:57
Ottimo, grazie del chiarimento.
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.