Nech
.
Uvazuj
cize mnozinu lubovolnych dvojic
podmnozin mnoziny
a mnozinu
co bude mnozina lubovolnych trojic
podmnozin mnoziny
co splna
.
Chceme dokazat, ze
cize medzi nimi ideme najst bijekciu. Zoberme si zobrazenie
definovane takto
(tie urcite splnaju pozadovane inkluzie). A zoberme si
definovane takto
. Nahliadni, ze
a ze
a teda
je bijekcia a
.
Cize mame
.
Offline