Доказательство того, что P (A) (Power Set) больше, чем A?

Доказательство того, что P (A) (Power Set) больше, чем A?
Anonim

Ответ:

Пожалуйста, смотрите ниже.

Объяснение:

Обычный метод чтобы показать, что функция #f: ArarrP (А) # не может быть (сюръективно). (Так что это не может быть биективным.)

Для любой функции #f: ArarrP (А) # есть подмножество # A # определяется

#R = x в A #

Теперь мы показываем, что #Р# не в образе # A #.

Если #r в A # с #f (r) = R #, затем # color (red) (r в R "и" r! в R # что невозможно, значит нет #r в A # с #f (r) = R #.

как следствие # Е # не на (сюръективный).

Видеть # color (red) (r в R "и" r! в R #, заметить, что

#r в R rArr r в f (r) rArr r! в R # так #r в R rArr (r в R "и r! в R) #

а также

# r! в R rArr r! в f (r) rArr r в R # так #r! в R rArr (r! в R "и r в R) #

Мы заключаем, что нет #r в A # с #f (r) = R #.

Используя аналогичный аргумент мы могли бы вместо этого показать что функция #f: P (A) rarrA # не может быть один к одному (инъективно). (Так что это не может быть биективным.)