Приветствую Вас, уважаемые Читатели! Парадоксальным утверждениям из теории множеств посвящено много материалов на моём канале. Сегодня пришло время обратиться к одному из наиболее очевидных и простых - теореме Кантора-Бернштейна. Один из ключевых вопросов теории множеств - в определении соотношения размеров множеств. Чего больше: натуральных чисел или иррациональных? Где больше точек: на плоскости или на единичном отрезке? Или, может быть, их одинаковое количество? Разбираясь формальным образом в этих понятиях, мы и придём к желанной теореме...

Продолжаем знакомство с теорией множеств на дилетантском уровне - без формул. Предыдущие заметки охватывали "школьную" тематику, теперь перейдем к сюжетам поинтереснее. Аксиома выбора - то, вокруг чего скрещивались когда-то копья. Из нее вытекают важные следствия. Кстати, разбор ее поможет лучше понять особенности подхода к множествам. Начнем с формулировки Аксиома выбора: В любом множестве (семействе!) непустых множеств А - в каждом множестве А можно выбрать по одному элементу. Вроде бы непонятно: раз множества непустые, значит, хотя бы один-то элемент в каждом имеется...