Кантора теорема

- 1) Множество 2A, состоящее из всех подмножеств множества А, не равномощно ни самому А, ни его подмножеству. Идея доказательства этой теоремы, принадлежащая Г. Кантору (G.Cantor, 1878), получила название "канторова диагонального метода" и играет существенную роль в теории множеств. Из К. т. следует, что никакие два из множеств А, [img: http://localhost:8080/file/021202-139.jpg] не равномощны. Таким способом получается бесконечно много различных кардинальных чисел. Из К. т. вытекает, что не существует множества всех множеств. Это означает, что нельзя принять аксиому теории множеств, утверждающую существование для каждой высказывательной функции Ф (х)множества, состоящего из элементов х, удовлетворяющих Ф(х)(СМ. [1], [2], [3], [8]). Б. А. Ефимов. 2) Любая последовательность убывающих ограниченных замкнутых множеств действительных чисел имеет непустое пересечение. Обобщается на компактные подмножества метрич. пространства. Свойство: диаметры замкнутых множеств метрич. пространства X, последовательно вложенных друг в друга, стремятся к нулю - одно из определений полноты X. Свойство: вполне упорядоченная система убывающих замкнутых множеств топологич. пространства X- одно из определений бикомпактности X(см. [1], [2], [4], [5], [11]). 3) Всякое множество действительных чисел есть объединение совершенного множества своих конденсации точек и счетного множества; иногда наз. теоремой Кантора - Бендиксона. Обобщена на случай подмножеств метрич. пространства со счетной базой (теорема Линделёфа) (см. [1], [2], [3], [14], [15]). 4) Если из двух множеств каждое эквивалентно части другого, то эти два множества эквивалентны между собою. Аналогичное утверждение справедливо и для вполне упорядоченных множеств. Иногда наз. теоремой Кантора - Бернштейна или просто теоремой Бернштейна (последний дал корректное доказательство этой теоремы) (см. [1], [2], [3], [10], [12], [16]). 5) Если [img: http://localhost:8080/file/021202-140.jpg] для всех, кроме конечного числа, точек отрезка [-p, p], то а п, [img: http://localhost:8080/file/021202-141.jpg] Обобщена на случаи, когдана [img: http://localhost:8080/file/021202-142.jpg] множестве положительной меры (теорема Лебега), когда [img: http://localhost:8080/file/021202-143.jpg] на множестве второй категории (теорема Юнга), и на другие ситуации. Важнейшим следствием являются различные теоремы о множествах единственности тригонометрпч. рядов (см. [1], [6], [7], [9], [18], [19]). 6) Функция, непрерывная на замкнутом отрезке действительной оси, равномерно непрерывна на нем. Обобщена на случай непрерывных отображений бикомпактного пространства в равномерное пространство. Иногда наз. теоремой Гейне - Кантора (см. [1], [4], [5], [13]).