Assioma della scelta: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
+autore dell'esempio |
+fix, +altra conseguenza dell'assioma |
||
Riga 6:
In termini non formali, l'assioma assicura che, quando viene data una collezione di insiemi non vuoti si può sempre costruire un nuovo insieme "scegliendo" un singolo elemento da ciascuno di quelli di partenza. Se il numero di insiemi di partenza è finito, l'assioma della scelta non è necessario poiché gli altri assiomi della [[teoria degli insiemi]] sono sufficienti a garantire la possibilità di questa scelta; nel caso di un numero infinito di insiemi invece occorre introdurre nella teoria un assioma specifico, l'assioma della scelta appunto.
Un tipico esempio con cui si spiega il senso dell'assioma è quello di [[Bertrand Russell
L'assioma della scelta viene talvolta indicato con l'acronimo '''AC''' (dall'inglese ''Axiom of Choice''), soprattutto nell'ambito della [[logica matematica]].
Riga 15:
Alcuni risultati per i quali è indispensabile l'assioma della scelta:
* Ogni [[spazio vettoriale]] non nullo ammette una [[Base (algebra lineare)|base]]
*Ogni [[funzione suriettiva]] ha un'[[Funzione inversa|inversa destra]]
* Ogni [[Campo (matematica)|
* Ogni [[Anello (algebra)|anello unitario]] ammette [[Ideale massimale|ideali massimali]]
* Il [[Teorema di compattezza (logica matematica)|teorema di compattezza per la logica dei predicati]]
|