Vés al contingut

Axioma de l'elecció dependent

De la Viquipèdia, l'enciclopèdia lliure

En teoria de conjunts, l'axioma de l'elecció dependent és una forma més dèbil de l'axioma de l'elecció, que permet construir part de les matemàtiques ZFC, mentre que s'eviten problemes tals com la paradoxa de Banach-Tarski. En contrast, algunes demostracions tals com el teorema general de Tychonoff no són possibles (atès que tal teorema, per exemple, és equivalent a l'axioma de l'elecció).

Enunciat formal[modifica]

Per a qualsevol conjunt A i la relació binària