Bukti bahwa P (A) (Power Set) lebih besar dari A?

Bukti bahwa P (A) (Power Set) lebih besar dari A?
Anonim

Menjawab:

Silahkan lihat di bawah ini.

Penjelasan:

Metode yang biasa adalah untuk menunjukkan suatu fungsi #f: ArarrP (A) # tidak dapat ke (perkiraan). (Jadi itu tidak bisa menjadi kata sifat.)

Untuk fungsi apa pun #f: ArarrP (A) #, ada subset dari #SEBUAH# didefinisikan oleh

#R = x dalam A #

Sekarang kami tunjukkan itu # R # tidak ada dalam gambar #SEBUAH#.

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

Karena itu # f # tidak ke (perkiraan).

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

#r di Rrrr di r (r) rRrr! di R # begitu #r in R rArr (r in R "dan r! in R) #

dan

#r! di R rrr r! di f (r) rRrr di R # begitu #r! di RrRr (r! di R "dan r di R) #

Kami menyimpulkan bahwa tidak ada #r di A # dengan #f (r) = R #.

Menggunakan argumen serupa kita malah bisa menunjukkan sebuah fungsi #f: P (A) rarrA # tidak bisa satu-ke-satu (injeksi). (Jadi itu tidak bisa menjadi kata sifat.)