Dokaz da je P (A) (Set energije) veći od A?

Dokaz da je P (A) (Set energije) veći od A?
Anonim

Odgovor:

Pogledajte dolje.

Obrazloženje:

Uobičajena metoda znači pokazati funkciju #F: ArarrP (A) * ne može biti na (surjective). (Dakle, ne može biti bijective.)

Za svaku funkciju #F: ArarrP (A) *, postoji podskup od # S # definira

#R = x u A #

Sada to pokazujemo # R # nije na slici # S #.

Ako #r u A # s #f (r) = R #, onda #color (crveno) (r u R "i" r! u R # što nije moguće, tako da nema #r u A # s #f (r) = R #.

stoga # F # nije na (surjective).

Vidjeti #color (crveno) (r u R "i" r! u R #, primijeti da

#r u R rArr r u f (r) rArr r! u R # tako #r u R rArr (r u R "i r! in R) #

i

#r! u R rArr r! in f (r) rArr r u R # tako #r! u R rArr (r! in R "i r in R) #

Zaključujemo da nema #r u A # s #f (r) = R #.

Koristeći sličan argument mogli bismo umjesto toga pokazati da je funkcija #F: P (A) rarrA # ne može biti jedan-na-jedan (injective). (Dakle, ne može biti bijective.)