Axioma de l'elecció: diferència entre les revisions
Contingut suprimit Contingut afegit
m Robot modifica: ko:선택공리 |
m Correcció ortogràfica menor |
||
Línia 18:
Llavors ''f'' pot ser la funció que escull el menor element de cada conjunt.
Novament, l'axioma d'elecció no és necessari, ja que tenim una regla per escollir.
#Sigui X la col·lecció de tots els sub-
Llavors ''f'' pot ser la funció que escull el [[punt mitjà]] de cada [[
#Sigui X la col·lecció de tots els conjunts no buits dels [[Nombre real|nombres reals]].
Llavors tenim un problema. No existeix cap definició òbvia de ''f'', ja que la resta d'[[axioma|axiomes]] de la teoria de conjunts ZF no ordenen adequadament els nombres reals.
| |||