Zermelova–Fraenkelova teorie množin

Technology
12 hours ago
8
4
2
Avatar
Author
Albert Flores

Zermelova-Fraenkelova teorie množin (ZF) je nejrozšířenější axiomatickou soustavou teorie množin, která je sama o sobě nebo v některých mírných modifikacích používána jako základ pro většinu dalších odvětví matematiky včetně algebry a matematické analýzy. ZF teorie může být například doplněna o axiom výběru - v takovém případě je označována jako ZFC (písmeno C značí výběr, z anglického choice).

Principem ZF je postupná konstrukce množin - objektů množinového univerza - z několika základních axiomů tak, aby vzniklá teorie byla dostatečně bohatá (je třeba umožnit existenci nespočetných množin typu reálných čísel, existenci shora neomezené řady nekonečných kardinalit), ale zároveň neumožňovala existenci množin použitých v paradoxech klasické intuitivně pojaté teorie množin (např. Russellův paradox, Buraliův-Fortiho paradox).

Neformální úvod

Axiomatická teorie množin slouží k tomu, aby bylo pomocí množin možné zkonstruovat všechny matematické objekty (grupy, funkcionály, přímky, grafy atd. ) a aby z axiomů, které popisují vlastnosti množin, bylo možno odvodit právě všechna pravdivá matematická tvrzení ze všech oblastí matematiky (pravděpodobnost, diferenciální rovnice, abstraktní algebra, teoretická informatika atd. +more).

Zermelova-Fraenkelova teorie množin je nejpoužívanější z takovýchto axiomatických systémů.

Axiomy ZF

Vzhledem k výše uvedeným faktům je možné každé matematické tvrzení odvodit z následujících axiomů (spolu s axiomem výběru). Kromě těchto předpokladů nepředpokládáme o množinách naprosto nic; proto jsou mezi axiomy zdánlivě samozřejmá tvrzení, jako je axiom dvojice či extenzionality apod.

Axiom extenzionality

Množiny, které mají stejné prvky, se rovnají.

: (\forall a)(\forall b)(a = b \Leftrightarrow (\forall x)(x \isin a \Leftrightarrow x \isin b))

Tento axiom uvádí do souvislosti dva základní operátory jazyka teorie množin - operátor rovnosti a operátor náležení. Tvrdí zjednodušeně řečeno, že rovnost dvou množin záleží pouze na prvcích, které obsahují (což není úplně samozřejmé - například rovnost vektorů v lineární algebře závisí nejen na prvcích vektoru, ale i na jejich pořadí).

Schéma axiomů nahrazení

Je-li F(x,y) formule jazyka teorie množin v proměnných x,y, která je navíc zobrazením (tj. pokud F(x,y) a F(x,z), pak y = z) pak každý výrok

Pro každou množinu a existuje množina b obsahující právě všechny obrazy prvků množiny a v zobrazení F(x,y)

:(\forall x,y,z)((F(x,y) \land F(x,z)) \implies y = z) \implies (\forall a)(\exists b)(\forall w)(w \isin b \Leftrightarrow (\exists v)(v \isin a \land F(v,w)))

je axiomem ZF.

Jednoduše řečeno: pokud mám rozumně definované (jazykem teorie množin) zobrazení, pak obrazem množiny v tomto zobrazení je opět množina.

Poznámka: Schéma axiomů nahrazení není v pravém slova smyslu axiom - jedná se o metajazykový návod, podle něhož lze vytvořit teoreticky neomezený počet axiomů.

Z historických důvodů je do axiomatiky ZF často zahrnováno také následující schéma axiomů vydělení - toto schéma je důsledkem obecnějšího schématu axiomů nahrazení, není tedy pro budování teorie množin nezbytně nutné. Zmiňuji jej zde, protože bylo součástí původní Zermelovy teorie množin, ze které vzešla ZF mimo jiné právě přidáním schématu nahrazení:

Schéma axiomů vydělení

Je-li F(x) formule jazyka teorie množin v proměnné x, která neobsahuje volně proměnnou b, pak každý výrok

Pro každou množinu a existuje množina b, která obsahuje právě ty prvky množiny a, pro které platí formule F(x)

: (\forall a)(\exists b)(\forall x)(x \isin b \Leftrightarrow (x \isin a \land F(x)))

je axiomem ZF.

Jednoduše řečeno: pokud si zvolím jakékoliv rozumné kritérium (tj. kritérium popsatelné formulí jazyka teorie množin), pak pomocí něj mohu vybrat prvky z množiny - a výsledkem je opět množina. +more Díky tomuto kritériu lze tedy z větší množiny zkonstruovat pomocí různých formulí různé „menší“ množiny - má smysl mluvit o podmnožině:.

: x \subseteq y \Leftrightarrow (\forall z)(z \isin x \implies z \isin y)

Díky schématu axiomů vydělení má dobrý smysl mluvit o prázdné množině (značení \emptyset ), tj. množině, která neobsahuje žádné prvky - stačí dosadit za F(x) formuli „x se nerovná x“.

Díky schématu axiomů vydělení má dobrý smysl mluvit o průniku dvou množin - stačí použít jako F(x) formuli x \isin c a mám zaručenou existenci množiny a \cap c, která obsahuje prvky z a, které zároveň splňují F(x), tj. patří do c.

Axiom dvojice

Pro každé dvě množiny a,b existuje množina c obsahující právě tyto dvě množiny.

:(\forall a)(\forall b)(\exists c)(\forall x)(x \isin c \Leftrightarrow (x = a \vee x = b))

Konečně axiom, u kterého není moc o čem přemýšlet - pokud vezmu dvě množiny a,b, pak mohu vytvořit množinu (značenou obvykle {a,b}), která obsahuje dva prvky: a a b. Pokud navíc vezmu a = b, dostávám jednoprvkovou množinu značenou {a}.

Poznámka: Aby v tom byl ještě větší zmatek, ani axiom dvojice není v pravém slova smyslu axiom ZF - lze jej dokázat ze schématu nahrazení a axiomu potence. Axiom dvojice byl opět součástí Zermelovy axiomatické teorie, která neobsahovala schéma nahrazení.

Axiom sumy

Pro každou množinu a existuje množina b, která obsahuje právě všechny prvky prvků množiny a.

:(\forall a)(\exists b)(\forall x)(x \isin b \Leftrightarrow (\exists y)(x \isin y \land y \isin a))

Množina, jejíž existenci zaručuje tento axiom, je obvykle nazývána sumou množiny a, značí se:

:\bigcup a

Pokud mi axiom dvojice umožňoval vytvářet „nadřazenou“ množinu v hierarchii náležení, pak axiom sumy mi naopak umožňuje vytvářet množiny z „podřízených“ prvků - tj. prvků prvků, prvků prvků prvků, prvků prvků prvků prvků,…

Poznámka: Zde je na místě připomenout, že objektem ve světě teorie množin je vždy a pouze množina. Pokud chci například mluvit o přirozených nebo reálných číslech, musím si je „zkonstruovat“ jako množinu množin, které lze seřadit tak, aby to odpovídalo intuitivní představě o vlastnostech příslušného souboru čísel.

Díky axiomu sumy a axiomu dvojice má dobrý smysl mluvit o sjednocení dvou množin a \cup b - jedná se o sumu dvouprvkové množiny \bigcup \{ a,b \}

Axiom potenční množiny

Pro každou množinu a existuje množina b, která obsahuje právě všechny podmnožiny množiny a.

:(\forall a)(\exists b)(\forall x)(x \isin b \Leftrightarrow x \subseteq a)

Množina, jejíž existenci zaručuje tento axiom, je obvykle označována jako potenční množina množiny a, značí se \mathbb{P}(a).

Poznámka: Schéma axiomů vydělení nám zajišťuje existenci podmnožin - mohu je konstruovat pomocí jednotlivých formulí jazyka teorie množin. Je tedy jen logické, že tyto podmnožiny sdružím do jedné „množiny podmnožin“. +more I přes tuto svoji „intuitivní“ správnost je axiom potenční množiny překvapivě silný - pokud existuje alespoň jedna nekonečná množina (viz axiom nekonečna), pak z tohoto axiomu vyplývá existence nekonečně mnoha nekonečných kardinalit, jak o tom mluví Cantorova věta.

Axiom nekonečna

Existuje množina přirozených čísel (přesněji množina, která obsahuje prázdnou množinu a pro každý svůj prvek x také sjednocení x a {x}).

:(\exists a)(\emptyset \isin a \land (\forall x)(x \isin a \implies x \cup \{ x \} \isin a))

Poznámka: Tento axiom nezaručuje pouze existenci nějaké množiny - zajišťuje existenci alespoň jedné nekonečné množiny. V některých alternativních modelech je proto nahrazován slabším axiomem existence množiny: Existuje alespoň jedna množina: (\exists a)(a = a).

Tento axiom se trochu vymyká ostatním - zaručuje existenci jedné konkrétní množiny, ale zato (když už, tak už) nekonečné. Podívejme se, co vlastně tato množina (v teorii množin označovaná obvykle \omega nebo \omega_0) obsahuje. +more * Obsahuje prázdnou množinu \emptyset - označme ji jako číslo 0 * Obsahuje množinu 0 \cup \{ 0 \} = \emptyset \cup \{ \emptyset \} = \{ \emptyset \} = \{ 0 \} - označme ji jako 1 * Obsahuje množinu 1 \cup \{ 1 \} = \{ \emptyset \} \cup \{ \{ \emptyset \} \} = \{ \emptyset, \{ \emptyset \} \} = \{ 0,1 \} - označme ji jako 2 ….

Dostáváme tak strukturu, která nápadně připomíná přirozená čísla v jejich intuitivně používaném významu - každé číslo obsahuje v sobě všechna menší (předcházející) a množina přirozených čísel je pak obsahuje všechny:

:\omega_0 = \{ 0,1,2,3,... \} \,\!

Poznámka k axiomu nekonečna

Zajímavým důsledkem axiomu nekonečna je Goodsteinova věta, která se týká výhradně konečných přirozených čísel, ale nelze ji dokázat bez přijetí axiomu nekonečna nebo nějaké jeho obdoby.

Axiom fundovanosti

Pro každou množinu a platí, že pokud je neprázdná, pak obsahuje alespoň jeden prvek b, který má s a prázdný průnik.

:(\forall a)(a \neq \emptyset \implies (\exists b)(b \in a \land b \cap a = \emptyset))

Poznámka: Tento axiom se podstatně liší od všech ostatních, které mají konstrukční charakter - dávají návod, jak z nějaké již existující množiny vytvářet další množiny. Naproti tomu axiom fundovanosti je obecnou charakteristikou všech myslitelných množin - zabraňuje existenci „ošklivých množin“ - například množiny, která by byla sama sobě prvkem, nebo dvojice množin a, b, kde a \isin b a zároveň b \isin a.

Bezespornost ZF a ZFC

Je-li ZF bezesporná, nelze v ní axiom výběru dokázat ani vyvrátit. (Tento výsledek lze dokázat nejen v ZF, ale i v mnohem slabší Peanově aritmetice). +more Proto je ZF bezesporná právě tehdy, je-li bezesporná ZFC.

Z druhé Gödelovy věty o neúplnosti vyplývá, že pokud je ZFC bezesporná, pak její bezespornost nelze v ZFC dokázat.

Všeobecně se věří, že ZFC je bezesporná (očekávat od teorie, že přesně popíše platné matematické teorémy, je nesrovnatelně silnější předpoklad, než její bezespornost), ale z výše uvedeného důvodu to nelze dokázat. Pokud bude nalezen důkaz bezespornosti ZFC, bude to (paradoxně) znamenat, že je sporná.

V Kelleyově-Morseově teorii množin sice lze bezespornost ZFC dokázat, ovšem to nemá velkou váhu; KM je jen jedním z mnohých možných zesílení ZFC. Výsledky, k nimž je zapotřebí silnějších axiomů, než ZFC, nejsou v matematice pokládány za prokázané. +more Jinými slovy, ZF plus axiom výběru je systém axiomů (ustálený po bouřlivých dohadech), o němž předpokládáme, že popisuje matematické pravdy.

Modely teorie množin

Studium modelů teorie množin má význam proto, že podle Gödelovy věty o úplnosti je matematické tvrzení dokazatelné v teorii T, právě když platí v každém jejím modelu. Pokud tedy dokážeme zkonstruovat model ZFC, v němž nějaká matematická hypotéza platí, a model, v němž neplatí, pak jde o tvrzení, které nelze dokázat ani vyvrátit.

Mnoho takto nerozhodnutelných tvrzení má praktický dopad na další obory matematiky, například matematickou analýzu (příkladem je hypotéza kontinua). Všechny výsledky tohoto druhu (že něco nejde z axiomů ZFC dokázat) jsou ovšem formulovány s podmínkou „Pokud je ZFC bezesporná“, neboť její bezespornost z výše zmíněných důvodů nelze ověřit.

Model ZFC nelze konstruktivně popsat, neboť to by bylo důkazem bezespornosti ZFC. Důkaz tedy předpokládá, že existuje model ZFC, a z něj zkonstruuje jiný model, v němž neplatí tvrzení, jehož nedokazatelnost z axiomů ZFC je třeba demonstrovat. +more Tímto způsobem bylo například roku 1962 metodou forcingu dokázáno, že axiom výběru ani hypotézu kontinua nelze z axiomu ZF vyvrátit (je-li ZF bezesporná). Že je nelze ze ZF dokázat, to dokázal Kurt Gödel již o několik desetiletí dříve, neboť to lze prokázat bez studia modelů.

Modelem ZF může být jakákoli množina M s binární relací R (reprezentující náležení), pokud jsou v ní splněny axiomy. Zvláštní význam mají ovšem modely, kde R je přímo relace náležení. +more Mezi nimi mají významné postavení tranzitivní modely, v nichž množina M je tranzitivní (obsahuje všechny „prvky svých prvků“). Mostowského věta o kolapsu umožňuje určit postačující podmínky k tomu, aby model ZF byl izomorfní s tranzitivním modelem.

Další důležitá nerozhodnutelná tvrzení jsou Axiom konstruovatelnosti a Suslinova hypotéza.

Související články

ordinální číslo * kardinální číslo * nekonečná kombinatorika

Jiné axiomatické systémy s podobným účelem * Von Neumannova-Bernaysova-Gödelova teorie množin, alias NBG nebo GB * alternativní teorie množin

*

5 min read
Share this post:
Like it 8

Leave a Comment

Please, enter your name.
Please, provide a valid email address.
Please, enter your comment.
Enjoy this post? Join Cesko.wiki
Don’t forget to share it
Top