Potenční množina: Porovnání verzí

Smazaný obsah Přidaný obsah
m →‎Potenční množiny v modelech teorie množin: +Gödelovy konstruovatelné množiny jako příklad
+Booleán
Řádek 1:
'''Potenční množina''' množiny <math>X \,\! </math> (značí se <math> \mathcal{P}(X) \,\! </math> nebo též <math>2^X \,\! </math>) je taková [[množina]], kterápodle obsahujeněkterých všechnyautorů [[podmnožina|podmnožiny]]též množiny'''booleán''' <math> \mathcal{B}(X) \,\! </math>.<!-- mělo by být \mathscr{B}, ale příslušný font ve Wikipedii chybí --><ref name="Encyklopedie_aplikovane_matematiky">{{Citace monografie
| autor = kolektiv autorů
| titul = Aplikovaná matematika
| rok = 1978
| edice = Oborové encyklopedie SNTL
| vydavatel = SNTL
| místo = Praha
| jazyk = český
| počet stran = 2386
| strany = 1957
}}</ref>, je taková [[množina]], která obsahuje všechny [[podmnožina|podmnožiny]] množiny <math>X \,\! </math>.
 
Formálně vyplývá existence potenční množiny k libovolné množině z [[Zermelova-Fraenkelova teorie množin#Axiom potenční množiny|axiomu potenční množiny]].
Řádek 29 ⟶ 39:
Příkladem takového "omezeného" modelu je [[Gödel]]ova konstrukce [[konstruovatelná množina|konstruovatelných množin]].
 
== Související článkyOdkazy ==
 
=== Reference ===
 
<references />
 
=== Související články ===
 
* [[Zermelova-Fraenkelova teorie množin#Axiom potenční množiny|Axiom potenční množiny]]
* [[Potenční algebra]]