Большая Советская Энциклопедия (МН)

  Ценность понятия мощности множества определяется существованием неравномощных бесконечных множеств. Например, множество всех подмножеств данного множества М имеет мощность большую, чем множество М . Множество, равномощное множеству всех натуральных чисел, называется счётным множеством. Мощность счётных множеств есть наименьшая мощность, которую может иметь бесконечное множество; всякое бесконечное множество содержит счётную правильную часть. Кантор доказал, что множество всех рациональных и даже всех алгебраических чисел счётно, тогда как множество всех действительных чисел несчётно. Тем самым было дано новое доказательство существования т. н. трансцендентных чисел, т. е. действительных чисел, не являющихся корнями никакого алгебраического уравнения с целыми коэффициентами (и даже несчётность множества таких чисел). Мощность множества всех действительных чисел называется мощностью континуума. Множеству всех действительных чисел равномощны: множество всех подмножеств счётного множества, множество всех комплексных чисел и, следовательно, множество всех точек плоскости, а также множество всех точек трёх- и вообще n -мерного пространства при любом n . Кантор высказал гипотезу (т. н. континуум-гипотезу): всякое множество, состоящее из действительных чисел, либо конечно, либо счётно, либо равномощно множеству всех действительных чисел; по поводу этой гипотезы и существенных связанных с нею результатов см. Континуума проблема .

  Отображения множеств. В М. т. аналитическое понятие функции, геометрическое понятие отображения или преобразования фигуры и т. п. объединяются в общее понятие отображения одного множества в другое. Пусть даны два множества Х и Y , пусть каждому элементу х ^I Х поставлен в соответствие некоторый определённый элемент у = f (x ) множества Y ; тогда говорят, что имеется отображение множества Х в множество Y , или что имеется функция, аргумент х которой пробегает множество X , а значения у принадлежат множеству Y ; при этом для каждого данного х ^I Х элемент у = f (x ) множества Y называется образом элемента х ^I Х при данном отображении или значением данной функции для данного значения её аргумента х .

  Примеры. 1) Пусть задан в плоскости с данной на ней прямоугольной системой координат квадрат с вершинами (0; 0), (0; 1), (1; 0), (1; 1) и осуществлена проекция этого квадрата, например на ось абсцисс; эта проекция есть отображение множества Х всех точек квадрата на множество Y всех точек его основания; точке с координатами (х; у ) соответствует точка (х ; 0).

  2) Пусть Х — множество всех действительных чисел; если для каждого действительного числа x ^I X положить у = f (x ) = x³ , то тем самым будет установлено отображение множества Х в себя.

  3) Пусть Х — множество всех действительных чисел; если для каждого х ^I Х положить у = f (x ) = arctg х , то этим будет установлено отображение множества Х на интервал ( — p/2, p/2).

  (1—1)-соответствие между двумя множествами Х и Y есть такое отображение множества Х в множество Y , при котором каждый элемент множества Y является образом одного и только одного элемента множества X . Отображения примеров 2) и 3) взаимно однозначны, примера 1) — нет.

  Операции над множествами. Суммой, или объединением, двух, трёх, вообще произвольного конечного или бесконечного множества множеств называется множество всех тех предметов, каждый из которых есть элемент хотя бы одного из данных множеств-слагаемых. Пересечением двух, трёх, вообще любого конечного или бесконечного множества множеств называется множество всех элементов, общих всем данным множествам. Пересечение даже двух непустых множеств может быть пустым. Разностью между множеством В и множеством А называется множество всех элементов из В , не являющихся элементами из А : разность между множеством В и его частью А называется дополнением множества А в множестве В .