↑ joker:↑ ttopi:
Skutečně tam patří i prázdná množina, nebo? je jistě splněna inkluze
, kde
je libovolná množina. Navíc platí, že počet všech podmnožin libovolné množiny
je roven
, kde
značí mohutnost množiny
, tedy počet (různých) prvků a
je potenční množina množiny
. Odtud počet všech podmnožin množiny
je roven
.
Offline
↑ Marian: A pro nekonecnou
by se asi sluselo dodat, ze symbolem
prestavame rozumet pocetni operaci, ale rozumime tim mnozinu vsech zobrazeni z
do (ne na!)
(ztotoznujeme totiz
s libovolnou dvouprvkovou mnozinou, resp. se odvolavame na axiomy teorie mnozin a
bereme jen jako symbol pro
- no a pri tomto ztotozneni je vlastne take jedno, jestli mluvime o
nebo
, abych byl uz teda uplne korektni).
Je vsak samozrejme pravda, ze ve svete konecnych mnozin nejde o nic vic nez o umocneni dvojky na pocet prvku one mnoziny.
Offline