Dovada că P (A) (Power Set) este mai mare decât A?

Dovada că P (A) (Power Set) este mai mare decât A?
Anonim

Răspuns:

Vedeți mai jos.

Explicaţie:

Metoda obișnuită este de a arăta că o funcție #f: ArarrP (A) # nu poate fi pe (surjectiv). (Deci nu poate fi bijectiv.)

Pentru orice funcție #f: ArarrP (A) #, există un subset de #A# definit de

#R = x în A #

Acum arătăm asta # R # nu este în imaginea lui #A#.

Dacă #r în A # cu # f (r) = R #, atunci #color (roșu) (r în R "și" r! în R # ceea ce nu este posibil, deci nu există #r în A # cu # f (r) = R #.

prin urmare # F # nu este pe (surjective).

A vedea #color (roșu) (r în R "și" r! în R #, observa asta

#r în r rArr r în f (r) rArr r în R # asa de #r în R rArr (r în R "și r în R) #

și

# r în r rArr r în f (r) rArr în R # asa de #r în R rArr (r în R "și r în R) #

Concluzionăm că nu există #r în A # cu # f (r) = R #.

Folosind un argument similar am putea arăta în schimb că o funcție #f: P (A) rarrA # nu poate fi unul-la-unul (injectiv). (Deci nu poate fi bijectiv.)