Bukti bahawa P (A) (Set Kuasa) lebih besar daripada A?

Bukti bahawa P (A) (Set Kuasa) lebih besar daripada A?
Anonim

Jawapan:

Sila lihat di bawah.

Penjelasan:

Kaedah biasa adalah untuk menunjukkan bahawa fungsi #f: ArarrP (A) # tidak boleh (surjektif). (Jadi ia tidak boleh bijektif.)

Untuk sebarang fungsi #f: ArarrP (A) #, terdapat subset # A # ditakrifkan oleh

#R = x dalam A #

Sekarang kita memperlihatkannya # R # tidak dalam imej # A #.

Jika #r dalam A # dengan #f (r) = R #, kemudian #color (merah) (r dalam R "dan" r! in R # yang tidak mungkin, jadi tidak ada #r dalam A # dengan #f (r) = R #.

Akibatnya # f # tidak ke (surjektif).

Untuk melihat #color (merah) (r dalam R "dan" r! in R #, perhatikan itu

# r dalam R rr r dalam f (r) rArr r! in R # jadi #r di R rArr (r dalam R "dan r! in R) #

dan

# r! in R rr r! in f (r) rArr r in R # jadi # r! dalam R rArr (r! dalam R "dan r dalam R) #

Kami menyimpulkan bahawa tidak ada #r dalam A # dengan #f (r) = R #.

Menggunakan hujah yang sama kita boleh tunjukkan bahawa fungsi #f: P (A) rarrA # tidak boleh menjadi satu-ke-satu (injektif). (Jadi ia tidak boleh bijektif.)