Insieme infinito

Da Wikipedia, l'enciclopedia libera.

Un insieme infinito è intuitivamente un insieme che non contiene un numero finito di elementi.

Definizioni matematicamente rigorose si possono dare nella teoria degli insiemi. In particolare esistono due tipi di caratterizzazione degli insiemi infiniti:

Le due definizioni si possono dimostrare equivalenti assumendo l'assioma della scelta e tale assioma si rivela in effetti indispensabile: si può dimostrare che gli altri assiomi di Zermelo-Fraenkel da soli non possono provare l'equivalenza delle due caratterizzazioni poiché ammettono un modello in cui ci sono insiemi che sono infiniti (rispetto alla seconda accezione) ma finiti rispetto all'accezione di Dedekind.

Voci correlate[modifica | modifica wikitesto]


matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica