Доказ того, що P (A) (енергетичний набір) більше, ніж A?

Доказ того, що P (A) (енергетичний набір) більше, ніж A?
Anonim

Відповідь:

Дивіться нижче.

Пояснення:

Звичайний метод означає показати, що функція #f: ArarrP (A) # не може бути на (surjective). (Тому він не може бути однобічним.)

Для будь-якої функції #f: ArarrP (A) #, є підмножина # A # визначається

#R = x у A #

Тепер ми покажемо це # R # не в образі # A #.

Якщо #r у A # с #f (r) = R #, потім #color (червоний) (r в R "і" r! в R # що неможливо, так що немає #r у A # с #f (r) = R #.

Отже # f # не на (surjective).

Бачити #color (червоний) (r в R "і" r! в R #, зверніть увагу на це

#r у R rArr r у f (r) rArr r! у R # тому #r у R rArr (r у R "і r! in R) #

і

#r! r rArr r! in f (r) rArr r у R # тому #r! у R rArr (r! in R "та r з R) #

Ми робимо висновок, що немає #r у A # с #f (r) = R #.

Використання подібного аргументу ми могли б замість цього показати що функція #f: P (A) rarrA # не може бути індивідуальним (ін'єкційним). (Тому він не може бути однобічним.)