Numero cardinale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 42:
Questa definizione può essere modificata per renderla una relazione di equivalenza.
Due insiemi <math>X</math> e <math>Y</math> hanno la stessa ''cardinalità'' se esiste una [[corrispondenza biunivoca|funzione biunivoca]] tra <math>X</math> e <math>Y
In tal caso, si scrive <math>|X| = |Y|</math>. Il numero cardinale di <math>X</math> spesso è definito come il minore [[numero ordinale]] <math>a</math> tale che <math>|a| = |X|</math>. Questa procedura viene chiamata [[assegnazione cardinale di von Neumann]]. Perché questa definizione abbia senso, deve essere dimostrato che ogni insieme ha la stessa cardinalità di un qualche ordinale: questa affermazione è il [[teorema del buon ordinamento|principio di buon ordinamento]]. È comunque possibile parlare della cardinalità relativa di insiemi senza assegnare esplicitamente dei nomi agli oggetti in questione.
| |||