Axiom závislého výběru

Kategorie: Nezařazeno (celkem: 23162 referátů a seminárek)

Informace o referátu:

Příbuzná témata



Axiom závislého výběru

Axiom závislého výběru (zkráceně (DC) – „dependent choice“) je matematické tvrzení z oblasti teorie množin, které je slabší verzí axiomu výběru.

Obsah

Znění

Axiom závislé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:

Nechť X je množina a R binární relace na X splňující ,(forall ain X) , (exists bin X) , aRb. Pak existuje posloupnost ,(x_n)_{nin omega} prvků X, že ,x_{n}Rx_{n+1} pro všechna ,nin omega.

Důsledky

Z (DC) vyplývá axiom spočetného výběru, a tedy i všechny jeho důsledky. Dále z (DC) plyne například existence neměřitelné množiny nebo množiny reálných čísel, která nemá Bairovu vlastnost.

Vztah k podobným axiomům

(DC) je důsledkem (obyčejného) axiomu výběru (AC), je ostře slabší (tj. (DC) neimplikuje (AC)). Naopak z (DC) vyplývá axiom spočetného výběru, který je ostře slabší než (DC).

Související články



Nový příspěvek


Ochrana proti spamu. Kolik je 2x4?



Na-mobil.cz

Spřátelené weby

Přidat stránku k oblíbeným

Nejnovější v diskusi

Diskusní fórum »

TIP: Chcete zkrátit dlouho chvíli sobě nebo blízkému?
Klikněte na Puzzle-prodej.cz a vyberte si z 5000 motivů skladem!
TIP: Hračky a hry za dobré ceny?
Klikněte na Hračky obchod.cz a vyberte si z tisícovky hraček skladem!