Katunayan na ang P (A) (Power Set) ay mas malaki sa A?

Katunayan na ang P (A) (Power Set) ay mas malaki sa A?
Anonim

Sagot:

Mangyaring tingnan sa ibaba.

Paliwanag:

Ang karaniwang paraan ay upang ipakita na ang isang function #f: ArarrP (A) # hindi maaaring papunta sa (surjective). (Kaya hindi ito maaaring maging bijective.)

Para sa anumang function #f: ArarrP (A) #, mayroong isang subset ng # A # tinukoy ng

#R = x sa A #

Ngayon ipinakikita namin iyan # R # ay hindi sa imahe ng # A #.

Kung #r sa A # may #f (r) = R #, pagkatapos #color (pula) (r sa R "at" r! in R # na kung saan ay hindi posible, kaya wala #r sa A # may #f (r) = R #.

Dahil dito # f # ay hindi papalitan (surjective).

Upang makita #color (pula) (r sa R "at" r! in R #, pansinin iyan

#r sa R rr r sa f (r) rArr r! sa R # kaya nga #r sa R rArr (r sa R "at r! in R) #

at

# r! sa R rrrr! sa f (r) rArr r sa R # kaya nga # r! sa R rArr (r! sa R "at r sa R) #

Napagpasyahan namin na wala #r sa A # may #f (r) = R #.

Gamit ang isang katulad na argumento maaari tayong magpakita na isang function #f: P (A) rarrA # hindi maaaring isa-sa-isang (injective). (Kaya hindi ito maaaring maging bijective.)