Axiom spočetného výběru
Kategorie: Nezařazeno (celkem: 23179 referátů a seminárek)
Informace o referátu:
- Přidal/a: anonymous
- Datum přidání: 12. srpna 2008
- Zobrazeno: 1351×
- Licence: GNU Free Documentation License
- Seznam autorů a změn
- Vyloučení odpovědnosti
Příbuzná témata
Axiom spočetného výběru
Axiom spočetného výběru (zkráceně (
)) je matematické tvrzení z oblasti teorie množin, které je slabší verzí axiomu výběru.
Obsah |
Znění
Axiom spočetného výběru lze vyslovit v kterékoli z běžně používaných axiomatizací teorie množin (ZF, NBG či KM) a to například takto:
Na každém spočetném souboru neprázdných množin 
existuje selektor (tj. zobrazení 
takové, že 
pro všechna 
).
Význam
Axiom spočetného výběru je dostatečně silné tvrzení na to, aby pomocí něj bylo možno dokázat většinu základních poznatků matematické analýzy, které nějakou formu axiomu výběru potřebují. Takovými poznatky jsou například:
- sjednocení spočetného souboru spočetných množin je spočetná množina
- Heineho věta
Vztah k jiným tvrzením
Axiom spočetného výběru vyplývá z (obyčejného) axiomu výběru. Je dokonce důsledkem ještě slabšího tvrzení zvaného axiom závislého výběru. Opačné implikace neplatí, tj. axiom spočetného výběru je ostře slabší než axiom závislého výběru (a tedy než axiom výběru).
Nedokazatelnost axiomu spočetného výběru v ZF prokázal Paul Cohen.
Související články
 |
Související články obsahuje Portál Matematika |