Ah, a è un ordinale
(lo posto più che altro perchè si enuncia in modo figo)a+1 è compatto
a+1 è compatto
Dimostrare che a+1 è compatto.
Ah, a è un ordinale (lo posto più che altro perchè si enuncia in modo figo)
Ah, a è un ordinale
(lo posto più che altro perchè si enuncia in modo figo)-
Nonno Bassotto
- Site Admin
- Messaggi: 970
- Iscritto il: 14 mag 2006, 17:51
- Località: Paris
- Contatta:
-
Nonno Bassotto
- Site Admin
- Messaggi: 970
- Iscritto il: 14 mag 2006, 17:51
- Località: Paris
- Contatta:
Ah ok, carino. Allora dimostriamolo per induzione su a. La base dell'induzione è ovvia.
Prendiamo un ricoprimento aperto di a+1, e sia U un aperto contenente a. Allora U contiene un aperto della base che contiene a. La base di una topologia d'ordine è formata dagli intervalli aperti e dalle semirette aperte. Nessun intervallo aperto contiene a (perché a è il più grande estremo destro possibile), dunque U contiene una semiretta aperta, ovvero U contiene ogni x > b per qualche b<a. Per ipotesi induttiva b+1 ammette un sottoricoprimento finito; aggiungendo U otteniamo un ricoprimento finito di a+1.
Prendiamo un ricoprimento aperto di a+1, e sia U un aperto contenente a. Allora U contiene un aperto della base che contiene a. La base di una topologia d'ordine è formata dagli intervalli aperti e dalle semirette aperte. Nessun intervallo aperto contiene a (perché a è il più grande estremo destro possibile), dunque U contiene una semiretta aperta, ovvero U contiene ogni x > b per qualche b<a. Per ipotesi induttiva b+1 ammette un sottoricoprimento finito; aggiungendo U otteniamo un ricoprimento finito di a+1.
The best argument against democracy is a five-minute conversation with the average voter. - Winston Churchill