Bevis for, at P (A) (Power Set) er større end A?

Bevis for, at P (A) (Power Set) er større end A?
Anonim

Svar:

Se nedenfor.

Forklaring:

Den sædvanlige metode er at vise at en funktion #F: ArarrP (A) # kan ikke være på (surjective). (Så det kan ikke være vedektivt.)

Til enhver funktion #F: ArarrP (A) #, der er en delmængde af #EN# defineret af

#R = x i A #

Nu viser vi det # R # er ikke i billedet af #EN#.

Hvis #r i A # med #f (r) = R #, derefter #farve (rød) (r i R "og" r! i R # hvilket ikke er muligt, så der er nej #r i A # med #f (r) = R #.

følgelig # F # er ikke på (surjective).

At se #farve (rød) (r i R "og" r! i R #, Læg mærke til det

#r i R rArr r i f (r) rArr r i R ##r i R rArr (r i R "og r i R) #

og

#r! i R rArr i f (r) rArr r i R ##r! i R rArr (r! i R "og r i R) #

Vi konkluderer, at der ikke er nogen #r i A # med #f (r) = R #.

Brug et lignende argument vi kunne i stedet vise at en funktion #F: P (A) rarrA # kan ikke være en-til-en (injektiv). (Så det kan ikke være vedektivt.)