Analisi complessa/Insiemi finiti, numerabili, non numerabili
Wikibooks, manuali e libri di testo liberi.
- Definizione
- Due insiemi A e B hanno la stessa cardinalità se esiste una corrispondenza biunivoca tra gli elementi di A e quelli di B.
Un insieme si dice:
- infinito se ha la stessa cardinalità di un suo sottoinsieme proprio
- finito se la sua cardinalità non è infinita
- numerabile se ha la stessa cardinalità di
- al più numerabile se è finito o numerabile
- non numerabile se è infinito allora non è possibile metterlo in corrispondenza biunivoca con .
[modifica] TEOREMA 2.1.2
L'unione di un insieme al più numerabile di insiemi al più numerabili è al più numerabile.
- Corollario 2.1.3
e 
sono numerabili.
[modifica] TEOREMA 2.1.4
è non numerabile.
