НГУ
http://forum.nsu.ru/

о сравнении мощностей очень простых множеств в ZF
http://forum.nsu.ru/viewtopic.php?f=24&t=24127
Страница 1 из 1

Автор:  alex_dorin [ Чт ноя 21, 2013 12:21 am ]
Заголовок сообщения:  о сравнении мощностей очень простых множеств в ZF

Здравствуйте !

Верно ли утверждение в ZF, что мощность любой неупорядоченной пары
всегда больше мощности любого синглетона ?
Пара - это то множество, существование которого утверждается в аксиоме пары в ZF.

С уважением
А. Дорин

Автор:  AGu [ Чт ноя 21, 2013 8:28 pm ]
Заголовок сообщения: 

Всяка верно. Куда ж ему деваться-то?
Это все равно что спросить "верно ли, что 2 больше 1". :-)

Итак, пусть P={a,b} и S={c}.
Тогда если a не равно b, то |P| > |S|.
С одной стороны, |S| меньше либо равно |P|,
так как {(c,a)} -- инъекция из S в P.
С другой стороны, |S| не равно |P|,
так как единственной функцией из P в S
является {(a,c),(b,c)}, а это не инъекция.

P.S. Если нужно тупое/честное/чистое/формальное доказательство в рамках ZF,
то можно все тупо/честно/чисто/формально расписать по определениям
и тупо/честно/чисто/формально все доказать, но это уже самоистязание.

Страница 1 из 1 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/