Bewijs dat de P (A) (Power Set) groter is dan A?

Bewijs dat de P (A) (Power Set) groter is dan A?
Anonim

Antwoord:

Zie onder.

Uitleg:

De gebruikelijke methode is om dat een functie te laten zien #f: ArarrP (A) # kan niet op (surjectief) zijn. (Dus het kan geen bijectief zijn.)

Voor elke functie #f: ArarrP (A) #, er is een subset van #EEN# gedefinieerd door

#R = x in A #

Nu laten we dat zien # R # is niet in de afbeelding van #EEN#.

Als #r in A # met #f (r) = R #, dan #color (rood) (r in R "en" r! in R # wat niet mogelijk is, dus er is geen #r in A # met #f (r) = R #.

bijgevolg # F # is niet op (surjectief).

Zien #color (rood) (r in R "en" r! in R #, Let erop dat

# r in R rArr r in f (r) rARr r! in R # zo #r in R arArr (r in R "en r! in R) #

en

#r! in R rArr r! in f (r) rARr r in R # zo #r! in R arArr (r! in R "en r in R) #

We concluderen dat er geen is #r in A # met #f (r) = R #.

Gebruik een vergelijkbaar argument we zouden in plaats daarvan kunnen laten zien dat een functie #f: P (A) rarrA # kan niet één-op-één (injectief) zijn. (Dus het kan geen bijectief zijn.)