Dowód, że P (A) (Power Set) jest większy niż A?

Dowód, że P (A) (Power Set) jest większy niż A?
Anonim

Odpowiedź:

Patrz poniżej.

Wyjaśnienie:

Zwykła metoda ma pokazać, że funkcja #f: ArarrP (A) # nie może być na (nadprzyrodzony). (Więc to nie może być bijective.)

Dla każdej funkcji #f: ArarrP (A) #, istnieje podzbiór #ZA# określony przez

#R = x w A #

Teraz to pokazujemy # R # nie jest na obrazie #ZA#.

Jeśli #r w A # z #f (r) = R #, następnie #color (czerwony) (rw R ”i„ r! w R # co nie jest możliwe, więc nie ma #r w A # z #f (r) = R #.

w konsekwencji #fa# nie jest na (nadprzyrodzony).

Zobaczyć #color (czerwony) (rw R ”i„ r! w R #, Zauważ, że

#r w R rArr rw f (r) rArr r! w R # więc #r w R rArr (rw R "i r! w R) #

i

#r! w R rArr r! w f (r) rArr r w R # więc #r! in R rArr (r! in R ”i r in R) #

Stwierdzamy, że nie ma #r w A # z #f (r) = R #.

Używając podobnego argumentu moglibyśmy zamiast tego pokazać to funkcja #f: P (A) rarrA # nie może być jeden do jednego (wtryskowy). (Więc to nie może być bijective.)