Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Множество В бесконечно, значит, , причем . Далее, |В| = |С|, то есть существует взаимно-однозначное соответствие В ~ С из множества В в его собственное подмножество С. Обозначим это соответствие х → х'. Построим соответствие из множества А в его собственное подмножество:
then х' else х end if.
Другими словами, на элементах из В мы пользуемся заданным соответствием, а остальным элементам сопоставлям их самих. Это взаимно-однозначное соответствие из множества А в его собственное подмножество, и значит |А| = ∞.
СЛЕДСТВИЕ Все подмножества конечного множества конечны
Дата публикования: 2014-11-04; Прочитано: 250 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!