1.22 Теорема Кантора – Бернштейна

Эта теорема является одной из основных теорем теории мно­жеств. Она определяет необходимые и достаточные условия эквива­лентности двух произвольных множеств.

Пусть А и В – два произвольных множества, а А1 и В1 – два произвольных подмножества. Тогда:

Если существует взаимно-однозначное отображение F мно­Жества А на подмножество В1 и взаимно-однозначное отображение Q множества В на подмножество А1 ,то множества А и В экви­Валентны между собой.

< Предыдущая		Следующая >