MIPT-ML-20-Lect-07

Мат. логика в МФТИ. Темы: вложение множеств; невозможность вложения P(A) в A; континуум-гипотеза; лемма о неподвижной точке монотонного оператора; теорема Кантора-Бернштейна-Шрёдера; примеры ее применения: мощность множеств \Z, \Q, \R^2, \N^\N, \R^\N, мощности фигур на плоскости; правая и левая обратные функции; аксиома выбора; существование правой обратной у сюръекции; индексированные семейства множеств; объединение и декартово произведение индексированного семейства.