Множество

Множество [set] — одно из основных понятий современной математики, «произвольная совокупность определенных и различимых объектов, объединенных мысленно в единое целое». (Так определял множество основатель теории множеств, известный немецкий математик Георг Кантор. Правда, уже в начале XX в. стало ясно, что определение Кантора нельзя считать достаточно строгим, так как оно приводит к различным логическим противоречиям. Широко распространено убеждение, что «М.» — понятие, поясняемое только на примерах. Такая странная для математики ситуация объясняется отчасти тем, что все попытки определить термин «М.» приводят, по существу, к замене его другими, столь же неопределенными понятиями).

Примеры множеств: М. действительных чисел, М. лошадей в табуне, М. планов, М. функций, М. переменных задачи.

Все М., кроме пустого М., состоят из элементов. Например, каждое действительное число есть один из элементов М. действительных чисел. То, что элемент a принадлежит множеству A, обозначают с помощью специального знака aA. Это читается так: «a  принадлежит множеству А в качестве элемента».

М. можно задать прямым перечислением элементов. Пусть А состоит из элементов a1, a2, a3. Это записывается так: A = {a1, a2, a3}. Если непосредственное перечисление элементов М. невозможно (например, когда М. A состоит из бесконечного числа элементов), его определяют характеристическим высказыванием, т.е. высказыванием, истинным только для элементов данного М. В таком случае употребляется запись типа:
A = {x|P(x) = И}, которая читается так: «М. A — есть М., состоящее из элементов x таких, что P(x)  — истинно». Множество М всех планов x, удовлетворяющих условию, что они лучше (больше), чем план x0, может быть задано с помощью высказывания: М {x|(x>x0) = И} или сокращенно: M = {x|(x>x0)}.

Коротко остановимся на определениях и свойствах действий над множествами.

Прежде всего, можно рассмотреть два М. — A и B, обладающих следующим свойством: все элементы М. A принадлежат и М. B. Множество A есть, таким образом, подмножество B. Это обозначается так: ⊂ B. Предположим теперь, что даны произвольные М. A и B. Тогда из элементов этих М. можно сконструировать несколько других:

Во-первых, М. элементов, принадлежащих либо A, либо B; такая операция над М. обозначается через A ∪ B и называется объединением; ясно, например, что если B, то ∪ B = B; кроме того, A∪ B = B  A это свойство называется коммутативностью; ( B) C = (B ∪ C) — это свойство — ассоциативность (возможность произвольного разбиения на группы);

Во-вторых, можно рассмотреть также М. элементов, принадлежащих и A, и B одновременно; такая операция называется пересечением и обозначается через ∩. Предположим, что   B , тогда ∩ B = A. Для того, чтобы пересечение двух М. имело смысл, даже если у них нет общих элементов, вводится понятие пустого М., т.е. М. без элементов. Его обозначают  Ø .  Легко увидеть, что A    Ø = A; A  ∩  Ø  = Ø  ;

Так же, как и объединение, операция ∩ — ассоциативна и коммутативна.

Объединение множеств называют иногда их суммой, а пересечение их — произведением.

В третьих, можно выделить также подмножество элементов множества A, не принадлежащих B. Это действие называется дополнением B до A или разностью A\B . Так же как и в случае обычной разности, это действие некоммутативно.

В евклидовом n-мерном пространстве М., содержащее все свои граничные точки, — замкнутое; М., для которого существует (n-мерный) шар, целиком его содержащий, — ограниченное; ограниченное и замкнутое М. называется компактным; о выпуклом М. см. Выпуклость, вогнутость.

В разных контекстах вместо слова множество часто употребляют: область (напр. Область допустимых решений) или пространство (напр. Простртанство производственных возможностей).

См. также Венна диаграммы, Декартово произведение множеств, Нечеткое,  размытое множество.