Vai al contenuto

Analisi complessa/Insiemi finiti, numerabili, non numerabili

Wikibooks, manuali e libri di testo liberi.
Indice del libro
Definizione
Due insiemi e hanno la stessa cardinalità se esiste una corrispondenza biunivoca tra gli elementi di e quelli di .

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 .

TEOREMA 2.1.2

[modifica | modifica sorgente]

L'unione di un insieme al più numerabile di insiemi al più numerabili è al più numerabile.

Corollario 2.1.3
e sono numerabili.

TEOREMA 2.1.4

[modifica | modifica sorgente]

è non numerabile.