Analisi complessa/Insiemi finiti, numerabili, non numerabili: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
BimBot (discussione | contributi)
m Robot: Changing template: Corso di Analisi Complessa
Nessun oggetto della modifica
Riga 1:
{{Analisi complessa}}
 
==Insiemi finiti, numerabili, non numerabili==
==Spazi di Hilbert==
;Definizione:Due insiemi <math>A</math> e <math>B</math> hanno la stessa cardinalità se esiste una corrispondenza biunivoca tra gli elementi di <math>A</math> e quelli di <math>B</math>.
 
Un insieme si dice di
'''Definizione .'''
*'''infinito''' se ha la stessa cardinalità di un suo sottoinsieme proprio
Due insiemi <math>A</math>
Un insieme si dice di '''infinito''' se ha la stessa cardinalità di un suo sottoinsieme proprio, *'''finito''' se la sua cardinalità non è infinita, '''numerabile''' se ha la stessa cardinalita' di <math>\mathbb{N}</math> , '''al piu' numerabile''' se e' finito o numerabile, e '''non numerabile'''
e <math>B</math> hanno la stessa
*'''al piu' numerabile''' se e' finito o numerabile
cardinalita' se esiste una corrispondenza biunivoca tra gli elementi di
*'''non numerabile'''
<math>A</math> e quelli di
<math>B</math>.
 
Se è infinito allora non è possibile metterlo in corrispondenza biunivoca con <math>\mathbb{N}</math>.
Un insieme si dice di '''infinito''' se ha la stessa cardinalità di un suo sottoinsieme proprio, '''finito''' se la sua cardinalità non è infinita, '''numerabile''' se ha la stessa cardinalita' di <math>\mathbb{N}</math> , '''al piu' numerabile''' se e' finito o numerabile, e '''non numerabile'''
se e' infinito e non e' possibile metterlo
in corrispondenza biunivoca con <math>\mathbb{N}</math>.
 
===TEOREMA 2.1.2===
L'unione di un insieme al piu' numerabile di insiemi al piu' numerabili e' al piu' numerabile.
 
''';Corollario 2.1.3.''':<math>\mathbb{Z}</math> e <math>\mathbb{Q}</math> sono numerabili.
sono numerabili.
 
===TEOREMA 2.1.4===