Potenční množina

Potenční množina množiny $X$ (značí se $P\left(X\right)$ nebo též $2^X$), podle některých autorů též booleán $B\left(X\right)$^[1], je taková množina, která obsahuje všechny podmnožiny množiny $X$.

Formálně vyplývá existence potenční množiny k libovolné množině z axiomu potenční množiny.

Každá podmnožina potenční množiny $P\left(X\right)$ se nazývá systém množin na množině X.

Příklad

• $A=\{1,2,3\}$
• $P\left(A\right)=\{\mathrm{\varnothing <!--\; \varnothing \; -->},\{1\},\{2\},\{3\},\{1,2\},\{1,3\},\{2,3\},\{1,2,3\left\}\right\}$

Vlastnosti

Každá potenční množina obsahuje jako svůj prvek prázdnou množinu, tj.
$\left(\mathrm{\forall <!--\; \forall \; -->}X\right)(\mathrm{\varnothing <!--\; \varnothing \; -->}\in <!--\; \in \; -->P(X\left)\right)$

Potenční množina množiny $X$ obsahuje $X$ jako svůj prvek, tj.
$\left(\mathrm{\forall <!--\; \forall \; -->}X\right)(X\in <!--\; \in \; -->P(X\left)\right)$

Na potenční množině je přirozeným způsobem definováno uspořádání pomocí relace „být podmnožinou“ $\subseteq <!--\; \subseteq \; -->$. Toto uspořádání není lineární - například množiny $\{1,3\}$ a $\{2,3\}$ z předchozího příkladu jsou neporovnatelné. Potenční množina spolu s tímto uspořádáním tvoří strukturu nazývanou potenční algebra, která má řadu zajímavých vlastností - jedná se například o úplný svaz.

Mohutnost potenční množiny

• Pokud je $X$ konečná množina a její mohutnost je $|X|=n$, pak mohutnost její potenční množiny je $|P\left(X\right)|=2^n$. To lze odvodit například takto. Nechť množina $M_n=\left\{k|\mathrm{\forall <!--\; \forall \; -->}k\in <!--\; \in \; -->N,k\le <!--\; \le \; -->n\right\}$. Potenční množina množiny $M_n$ je množina, pro kterou očividně platí rekurentní vztah $P\left(M_n\right)=P(M_{n-<!--\; -\; -->1}\cup <!--\; \cup \; -->\left\{n\right\})=P\left(M_{n-<!--\; -\; -->1}\right)\cup <!--\; \cup \; -->\left\{\left\{n\right\}\cup <!--\; \cup \; -->p|\mathrm{\forall <!--\; \forall \; -->}p\in <!--\; \in \; -->P\left(M_{n-<!--\; -\; -->1}\right)\right\}$. S použitím matematické indukce lze dojít k závěru, že spojujeme dvě stejně mohutné množiny, tj. mohutnost nové potenční množiny je $2^{n-<!--\; -\; -->1}+2^{n-<!--\; -\; -->1}=2^n$.
• Pro nekonečné množiny platí podle Cantorovy věty, že mohutnost $P\left(X\right)$ je ostře větší, než mohutnost $X$. Z toho mimo jiné vyplývá, že škála mohutností nekonečných množin je nekonečná, protože mohutnost $P\left(P\right(X\left)\right)$ je ostře větší, než mohutnost $P\left(X\right)$ atd.

Potenční množiny v modelech teorie množin

Axiom teorie množin vyžaduje, aby soubor podmnožin nějaké množiny byl množinou, protože ale model nemusí obsahovat všechny možné podmnožiny, liší se v různých modelech i potenční množina nějaké množiny, a to i velikostí, $X$ a $P\left(X\right)$ dokonce mohou mít při pohledu zvenku stejnou mohutnost (v modelu plati podle Cantorovy věty $X\prec <!--\; \prec \; -->P\left(X\right)$, což ovšem pouze znamená, že uvnitř modelu neexistuje mezi oběma množinami bijekce, tj. zmíněná bijekce není součástí uvažovaného modelu). Příkladem takového "omezeného" modelu je Gödelova konstrukce konstruovatelných množin.

Odkazy

Reference

Související články

• Axiom potenční množiny
• Potenční algebra
• Filtr
• Svaz

Externí odkazy

• Obrázky, zvuky či videa k tématu potenční množina na Wikimedia Commons

Teorie množin
Axiomy	axiom výběru • axiom spočetného výběru • axiom závislého výběru • axiom extenzionality • axiom nekonečna • axiom dvojice • axiom potenční množiny • Axiom regulárnosti • axiom sumy • schéma nahrazení • schéma axiomů vydělení • hypotéza kontinua • Martinův axiom • velké kardinály
Množinové operace	doplněk • de Morganovy zákony • kartézský součin • potenční množina • průnik • rozdíl množin • sjednocení • symetrická diference
Koncepty	bijekce • kardinální číslo • konstruovatelná množina • mohutnost • ordinální číslo • prvek množiny • rodina množin • transfinitní indukce • třída • Vennův diagram
Množiny	Cantorova diagonální metoda • fuzzy množina • konečná množina • nekonečná množina • nespočetná množina • podmnožina • prázdná množina • rekurzivní množina • spočetná množina • tranzitivní množina • univerzální množina
Teorie	axiomatická teorie množin • Cantorova věta • forsing • Kelleyova–Morseova teorie množin • naivní teorie množin • New Foundations • paradoxy naivní teorie množin • Principia Mathematica • Russellův paradox • Suslinova hypotéza • Von Neumannova–Bernaysova–Gödelova teorie množin • Zermelova teorie množin • Zermelova–Fraenkelova teorie množin • alternativní teorie množin
Lidé	Abraham Fraenkel • Bertrand Russell • Ernst Zermelo • Georg Cantor • John von Neumann • Kurt Gödel • Lotfi Zadeh • Paul Bernays • Paul Cohen • Petr Vopěnka • Richard Dedekind • Thomas Jech • Willard Quine