Множество

Разделы:

У этого термина существуют и другие значения, см. Множество (значения).

Мно́жество — одно из ключевых понятий математики; представляющее собой набор, совокупность каких-либо (вообще говоря любых) объектов — элементов этого множества.[1] Два множества равны тогда и только тогда, когда содержат в точности одинаковые элементы.[2]

Несколько многоугольников на диаграмме Эйлера

Изучением общих свойств множеств занимаются теория множеств, а также смежные разделы математики и математической логики. Примеры: множество жителей заданного города, множество непрерывных функций, множество решений заданного уравнения. Множество может быть пустым и непустым, упорядоченным и неупорядоченным, конечным и бесконечным, бесконечное множество может быть счётным или несчётным. Более того, как в наивной, так и в аксиоматической теориях множеств любой объект обычно считается множеством. Понятие множества позволяет практически всем разделам математики использовать общую идеологию и терминологию.

Содержание

1 История понятия
2 Элемент множества
3 Задание множества
4 Отношения между множествами
5 Операции над множествами
- 5.1 Основные операции:
- 5.2 Приоритет операций
6 Мощность
7 Некоторые виды множеств и сходных объектов
- 7.1 Сходные объекты
- 7.2 По иерархии
8 Примечания
9 Литература

История понятия

Основная статья: История теории множеств

Основы теории конечных и бесконечных множеств были заложены Бернардом Больцано, который сформулировал некоторые из её принципов[3][4][5].

С 1872 года по 1897 год (главным образом в 1872—1884 годы) Георг Кантор опубликовал ряд работ, в которых были систематически изложены основные разделы теории множеств, включая теорию точечных множеств и теорию трансфинитных чисел (кардинальных и порядковых)[6]. В этих работах он не только ввёл основные понятия теории множеств, но и обогатил математику рассуждениями нового типа, которые применил для доказательства теорем теории множеств, в частности впервые к бесконечным множествам. Поэтому общепризнано, что теорию множеств создал Георг Кантор. В частности, он определил множество как «единое имя для совокупности всех объектов, обладающих данным свойством», и назвал эти объекты элементами множества.Множество всех объектов, обладающих свойством A(x){displaystyle A(x)}

$A(x)$ (то есть утверждением, истинность которого зависит от значения переменной x), он обозначил {x∣A(x)},{displaystyle {xmid A(x)},} ${displaystyle {xmid A(x)},}$ а само свойство A(x){displaystyle A(x)} $A(x)$ назвал характеристическим свойством множества X.{displaystyle X.} $X.$

Несмотря на доброкачественность этого определения, концепция Кантора привела к парадоксам — в частности, к парадоксу Рассела.

Так как теория множеств фактически используется как основание и язык всех современных математических теорий, в 1908 году теория множеств была аксиоматизирована независимо Бертраном Расселом и Эрнстом Цермело. В дальнейшем обе системы пересматривались и изменялись, но в основном сохранили их характер. Они известны как теория типов Рассела и теория множеств Цермело. Впоследствии теорию множеств Кантора стала называться наивной теорией множеств, а теорию (в частности, Рассела и Цермело), перепостроенную после Кантора, — аксиоматической теорией множеств.

В практике, сложившейся с середины XX века, множество определяется как модель, удовлетворяющая аксиомам ZFC (аксиомы Цермело — Френкеля с аксиомой выбора). Однако при таком подходе в некоторых математических теориях возникают совокупности объектов, которые не являются множествами. Такие совокупности называются классами (различных порядков).

Элемент множества

Объекты, из которых состоит множество, называют элементами множества или точками множества. Множества чаще всего обозначают заглавными буквами латинского алфавита, их элементы — строчными. Если a{displaystyle a}

$a$ — элемент множества A{displaystyle A} $A$ , то пишут a∈A{displaystyle ain A} $ain A$ («a{displaystyle a} $a$ принадлежит A{displaystyle A} $A$ »). Если a{displaystyle a} $a$ не является элементом множества A{displaystyle A} $A$ , то пишут a∉A{displaystyle anotin A} $a notin A$ («a{displaystyle a} $a$ не принадлежит A{displaystyle A} $A$ »).

Если всякий элемент множества A{displaystyle A}

$A$ содержится в B{displaystyle B} $B$ , то пишут A⊂B{displaystyle Asubset B} $Asubset B$ («A{displaystyle A} $A$ лежит в B{displaystyle B} $B$ , является его подмножеством»). Согласно теории множеств, если X⊂Y{displaystyle Xsubset Y} $Xsubset Y$ , то для всякого элемента a∈Y{displaystyle ain Y} ${displaystyle ain Y}$ определено либо a∈X{displaystyle ain X} $ain X$ , либо a∉X{displaystyle anot in X} ${displaystyle anot in X}$ .

Таким образом, порядок записи элементов множества не влияет на само множество, то есть {6,11}={11,6}{displaystyle {6,11}={11,6}}

${displaystyle {6,11}={11,6}}$ . Помимо этого из вышесказанного следует, что для множества не определено число вхождений одинаковых элементов, то есть запись A={11,11,6,11,6}{displaystyle A={11,11,6,11,6}} ${displaystyle A={11,11,6,11,6}}$ вообще говоря не имеет смысла, если A{displaystyle A} $A$ — множество. Однако корректной будет запись множества B={11,{11},{6,11},6}{displaystyle B={11,{11},{6,11},6}} ${displaystyle B={11,{11},{6,11},6}}$ .

Задание множества

Существуют два основных способа задания множеств: перечислением элементов и их описанием.

Перечисление

Первый способ требует задать (перечислить) все элементы, входящие в множество. Например, множество Y{displaystyle Y}

$Y$ неотрицательных чётных чисел, меньших 10, задастся: Y={0,2,4,6,8}.{displaystyle Y={0,2,4,6,8}.} ${displaystyle Y={0,2,4,6,8}.}$ Данный способ удобно применять лишь к ограниченному числу конечных множеств.

Описание

Второй способ применяется, когда множество нельзя или затруднительно задать перечислением (например, если множество содержит бесконечное число элементов). В таком случае его можно описать свойствами принадлежащих ему элементов.

Множество Y⊂X{displaystyle Ysubset X}

${displaystyle Ysubset X}$ задано, если указано условие A(x){displaystyle A(x)} $A(x)$ , которому удовлетворяют все элементы x∈X:x∈Y{displaystyle xin X:xin Y} ${displaystyle xin X:xin Y}$ , и которому не удовлетворяют x∈X:x∉Y{displaystyle xin X:xnotin Y} ${displaystyle xin X:xnotin Y}$ . Обозначают Y={x∈X:A(x)}.{displaystyle Y={big {}xin X:A(x){big }}.} ${displaystyle Y={big {}xin X:A(x){big }}.}$

Например, график функции f:X→Y{displaystyle fcolon Xto Y}

$fcolon Xto Y$ можно задать следующим образом:

Γ={(x,y)∈X×Y:f(x)=y},{displaystyle Gamma ={big {}(x,y)in Xtimes Y:f(x)=y{big }},}

{displaystyle Gamma ={big {}(x,y)in Xtimes Y:f(x)=y{big }},}

где ×{displaystyle times }

$times$ — декартово произведение множеств.

Замечание

Иногда из контекста запись {a}{displaystyle {a}}

${a}$ необязательно означает множество из одного элемента a{displaystyle a} $a$ , а может подразумевать под a{displaystyle a} $a$ собирательное обозначение нескольких объектов, объединённых общих свойством[7]: например, множество всех комплексных значений мнимой единицы, возведённой в (многозначную) степень себя, можно обозначить как {ii}{displaystyle {i^{i}}} ${displaystyle {i^{i}}}$ , причём все эти значения вещественны: {ii}⊆R{displaystyle {i^{i}}subseteq mathbb {R} } ${displaystyle {i^{i}}subseteq mathbb {R} }$ (см. отношения между множествами).

Отношения между множествами

Диаграмма Эйлера для A⊂B{displaystyle Asubset B} $Asubset B$

Для множеств A{displaystyle A}

$A$ и B{displaystyle B} $B$ могут быть заданы отношения:

A{displaystyle A} $A$ включено в B{displaystyle B} $B$ , если каждый элемент множества A{displaystyle A} $A$ принадлежит также и множеству B{displaystyle B} $B$ :

A⊂B⇔∀a∈A⇒a∈B{displaystyle Asubset BLeftrightarrow forall ain ARightarrow ain B} ${displaystyle Asubset BLeftrightarrow forall ain ARightarrow ain B}$
A{displaystyle A} $A$ включает B{displaystyle B} $B$ , если B{displaystyle B} $B$ включено в A{displaystyle A} $A$ :

A⊃B⇔B⊂A{displaystyle Asupset BLeftrightarrow Bsubset A} $A supset B Leftrightarrow B subset A$
A{displaystyle A} равно B{displaystyle B} , если A{displaystyle A} и B{displaystyle B} включены друг в друга:

A=B⇔A⊂B,B⊂A{displaystyle A=BLeftrightarrow Asubset B,,Bsubset A} ${displaystyle A=BLeftrightarrow Asubset B,,Bsubset A}$
- Для любых множеств A=A{displaystyle A=A} ${displaystyle A=A}$
- Если A=B{displaystyle A=B} ${displaystyle A=B}$ , то B=A{displaystyle B=A} ${displaystyle B=A}$
- Если A=B{displaystyle A=B} ${displaystyle A=B}$ , B=C{displaystyle B=C} ${displaystyle B=C}$ , то A=C{displaystyle A=C} ${displaystyle A=C}$ .
A{displaystyle A} $A$ строго включено в B{displaystyle B} $B$ , если A{displaystyle A} $A$ включено в B{displaystyle B} $B$ , но не равно ему:

A⊂B⇔(A⊆B)∧(A≠B){displaystyle Asubset BLeftrightarrow (Asubseteq B)land (Aneq B)} $A subset B Leftrightarrow (A subseteq B) land (A neq B)$

Иногда различают строгое включение (A⊂B{displaystyle Asubset B}

$Asubset B$ ) от нестрогого (A⊆B{displaystyle Asubseteq B} $A subseteq B$ ), различающиеся тем, что из A⊂B⇏A=B{displaystyle Asubset Bnot Rightarrow A=B} ${displaystyle Asubset Bnot Rightarrow A=B}$ . Однако в большинстве случаев строгость включений не расписывают, полагая всякое включение нестрогим.

Операции над множествами

Диаграмма Венна для A∩B{displaystyle Acap B} $Acap B$ Диаграмма Венна для A∪B{displaystyle Acup B} $Acup B$ Диаграмма Венна для A∖B{displaystyle Asetminus B} $A setminus B$ Диаграмма Венна для A△B{displaystyle Atriangle B} $A triangle B$

Для наглядного представления операций часто используются диаграммы Венна, на которых представлены результаты операций над геометрическими фигурами как множествами точек.

Основные операции:

пересечение: (множество общих точек)

A∩B={x:x∈A,x∈B};{displaystyle Acap B={x:xin A,,xin B};} ${displaystyle Acap B={x:xin A,,xin B};}$
объединение: (множество всех точек)

A∪B={x,y:x∈A,y∈B};{displaystyle Acup B={x,y:xin A,,yin B};} ${displaystyle Acup B={x,y:xin A,,yin B};}$

Объединение непересекающихся A{displaystyle A}

A

и B{displaystyle B}

B

(A∩B=∅{displaystyle Acap B=varnothing }

Acap B=varnothing

) так же обозначают: A+B=A∪B;{displaystyle A+B=Acup B;}

{displaystyle A+B=Acup B;}

разность: (множество точек первого без второго)

A∖B={x:x∈A,x∉B};{displaystyle Asetminus B={x:xin A,,xnotin B};} ${displaystyle Asetminus B={x:xin A,,xnotin B};}$
симметрическая разность:

A△B≡A −˙ B=(A∪B)∖(A∩B);{displaystyle Abigtriangleup Bequiv A~{dot {-}}~B=(Acup B)setminus (Acap B);} ${displaystyle Abigtriangleup Bequiv A~{dot {-}}~B=(Acup B)setminus (Acap B);}$

дополнение для A⊂B{displaystyle Asubset B} $Asubset B$ (множество B{displaystyle B} $B$ без A{displaystyle A} $A$ ):

A¯≡A∁=B∖A;{displaystyle {overline {A}}equiv A^{complement }=Bsetminus A;} ${displaystyle {overline {A}}equiv A^{complement }=Bsetminus A;}$

булеан A{displaystyle A} $A$ (множество всех подмножеств):

2A={X:X⊂A}.{displaystyle 2^{A}={X:Xsubset A}.} ${displaystyle 2^{A}={X:Xsubset A}.}$

Диаграмма Венна для (A∩B)∁{displaystyle (Acap B)^{complement }} $(A cap B)^complement$

Для операций над множествами также справедливы законы де Моргана:

A∖(B∩C)=(A∖B)∪(A∖C){displaystyle Abackslash (Bcap C)=(Abackslash B)cup (Abackslash C)}

${displaystyle Abackslash (Bcap C)=(Abackslash B)cup (Abackslash C)}$

A∖(B∪C)=(A∖B)∩(A∖C){displaystyle Abackslash (Bcup C)=(Abackslash B)cap (Abackslash C)}

${displaystyle Abackslash (Bcup C)=(Abackslash B)cap (Abackslash C)}$ Доказательство

Введём индекатор множества A{displaystyle A}

$A$ как Ia:X⊃A→{0,1}:Ia(x)={1,∀x∈A,0,∀x∉A;{displaystyle I_{a}:Xsupset Ato {0,1}:I_{a}(x)={begin{cases}1,,forall xin A,,,forall xnotin A;end{cases}}} ${displaystyle I_{a}:Xsupset Ato {0,1}:I_{a}(x)={begin{cases}1,,forall xin A,�,,forall xnotin A;end{cases}}}$
Нетрудно показать, что Ia∩b=IaIb;Ia∪b=Ia+Ib−IaIb;Ia∖b=Ia−IaIb.{displaystyle I_{acap b}=I_{a}I_{b};,,,I_{acup b}=I_{a}+I_{b}-I_{a}I_{b};,,,I_{asetminus b}=I_{a}-I_{a}I_{b}.} ${displaystyle I_{acap b}=I_{a}I_{b};,,,I_{acup b}=I_{a}+I_{b}-I_{a}I_{b};,,,I_{asetminus b}=I_{a}-I_{a}I_{b}.}$
Докажем одно из утверждений, полагая второе доказательство аналогичным:
A∖(B∪C)⇔Ia−Ia⋅Ib∪c⇔Ia−Ia⋅(Ib+Ic−Ib⋅Ic)=Ia−Ia⋅Ib−Ia⋅Ic+Ia⋅Ib⋅Ic=Ia2−Ia2−Ia2⋅Ic+Ia⋅Ic⋅Ib=(Ia−Ia⋅Ib)⋅(Ia+Ic−Ia⋅Ic)⇔(A∖B)∩(A∖C){displaystyle Abackslash (Bcup C),,Leftrightarrow I_{a}-I_{a}cdot I_{bcup c},,Leftrightarrow I_{a}-I_{a}cdot (I_{b}+I_{c}-I_{b}cdot I_{c})=I_{a}-I_{a}cdot I_{b}-I_{a}cdot I_{c}+I_{a}cdot I_{b}cdot I_{c}=I_{a}^{2}-I_{a}^{2}-I_{a}^{2}cdot I_{c}+I_{a}cdot I_{c}cdot I_{b}=(I_{a}-I_{a}cdot I_{b})cdot (I_{a}+I_{c}-I_{a}cdot I_{c})Leftrightarrow (Abackslash B)cap (Abackslash C)} ${displaystyle Abackslash (Bcup C),,Leftrightarrow I_{a}-I_{a}cdot I_{bcup c},,Leftrightarrow I_{a}-I_{a}cdot (I_{b}+I_{c}-I_{b}cdot I_{c})=I_{a}-I_{a}cdot I_{b}-I_{a}cdot I_{c}+I_{a}cdot I_{b}cdot I_{c}=I_{a}^{2}-I_{a}^{2}-I_{a}^{2}cdot I_{c}+I_{a}cdot I_{c}cdot I_{b}=(I_{a}-I_{a}cdot I_{b})cdot (I_{a}+I_{c}-I_{a}cdot I_{c})Leftrightarrow (Abackslash B)cap (Abackslash C)}$ . (использовалось Ia2=Ia{displaystyle I_{a}^{2}=I_{a}} ${displaystyle I_{a}^{2}=I_{a}}$ )

Приоритет операций

Последовательность выполнения операций над множествами, как и обычно, может быть задана скобками. При отсутствии скобок сначала выполняются унарные операции (дополнение), затем — пересечения, затем — объединения, разности и симметрической разности[источник не указан 1275 дней]. Операции одного приоритета выполняются слева направо. При этом надо иметь в виду, что в отличие от арифметических сложения и вычитания, для которых, в частности, верно, что (a+b)−c=a+(b−c){displaystyle (a+b)-c=a+(b-c)}

${displaystyle (a+b)-c=a+(b-c)}$ , для аналогичных операций над множествами это неверно. Например, если A={1,3},B={1,2},C={2,3},{displaystyle A={1,3},B={1,2},C={2,3},} ${displaystyle A={1,3},B={1,2},C={2,3},}$ то (A∪B)∖C={1},{displaystyle (Acup B)setminus C={1},} ${displaystyle (Acup B)setminus C={1},}$ но, в то же время, A∪(B∖C)={1,3}{displaystyle Acup (Bsetminus C)={1,3}} ${displaystyle Acup (Bsetminus C)={1,3}}$ .

Мощность

Основная статья: Мощность множества

Мощность множества — характеристика множества, обобщающая понятие о количестве элементов конечного множества таким образом, чтобы множества, между которыми возможно установление биекции, были равномощны. Обозначается |A|{displaystyle |A|}

$|A|$ или ♯A{displaystyle sharp A} $sharp A$ . Мощность пустого множества равна нулю, для конечных множеств мощность совпадает с числом элементов, для бесконечных множеств вводятся специальные кардинальные числа, соотносящиеся друг с другом по принципу включения (если A⊆B{displaystyle Asubseteq B} $A subseteq B$ , то |A|⩽|B|{displaystyle |A|leqslant |B|} $|A| leqslant |B|$ ) и распространением свойства мощности булеана конечного множества: |2A|=2|A|{displaystyle |2^{A}|=2^{|A|}} $|2^A| = 2^{|A|}$ на случай бесконечных множеств (само обозначение 2A{displaystyle 2^{A}} $2^A$ мотивировано этим свойством).

Наименьшая бесконечная мощность обозначается ℵ0{displaystyle aleph _{0}}

$aleph_0$ , это мощность счётного множества. Мощность континуума, биективного булеану счётного множества обозначается c{displaystyle {mathfrak {c}}} $mathfrak c$ или 2ℵ0{displaystyle 2^{aleph _{0}}} $2^{aleph_0}$ . Континуум-гипотеза — предположение о том, что между счётной мощностью и мощностью континуума нет промежуточных мощностей.

Некоторые виды множеств и сходных объектов

Специальные множества

Пустое множество — множество, не содержащее ни одного элемента.
Одноэлементное множество — множество, состоящее из одного элемента.
Универсальное множество (универсум) — множество, содержащее все мыслимые объекты. В связи с парадоксом Рассела данное понятие трактуется в настоящее время более узко как «множество, включающее все множества и объекты, участвующие в рассматриваемой задаче».

Сходные объекты

Кортеж (в частности, упорядоченная пара) — упорядоченная совокупность конечного числа именованных объектов. Записывается внутри круглых или угловых скобок, а элементы могут повторяться.
Мультимножество (в теории сетей Петри называется «комплект») — множество с кратными элементами.
Пространство — множество с некоторой дополнительной структурой.
Вектор — элемент линейного пространства, содержащий конечное число элементов некоторого поля в качестве координат. Порядок имеет значение, элементы могут повторяться.
Последовательность — функция одного натурального переменного. Представляется как бесконечный набор элементов (не обязательно различных), порядок которых имеет значение.
Нечёткое множество — математический объект, подобный множеству, принадлежность которому задаётся не отношением, а функцией. Иными словами, относительно элементов нечёткого множества можно говорить «в какой мере» они в него входят, а не просто, входят они в него или нет.

По иерархии

Запрос «Семейство множеств»[d] перенаправляется сюда. На эту тему нужно создать отдельную статью.

Система множеств (множество множеств) — множество, все элементы которого также являются множествами, обычно схожего происхождения (например, все они могут быть подмножествами некоторого другого множества)[8].
- Алгебра множеств, кольцо множеств — примеры типов структур, являющихся системами множеств.
- Булеан — множество всех подмножеств данного множества.
Семейство множеств — индексированный аналог системы множеств.
Подмножество
Надмножество

Примечания

↑ Множество // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1982. — Т. 3. — С. 762.
↑ Stoll, Robert. Sets, Logic and Axiomatic Theories. — W. H. Freeman and Company, 1974. — P. 5.
↑ Steve Russ. The Mathematical Works of Bernard Bolzano. — OUP Oxford, 9 December 2004. — ISBN 978-0-19-151370-1.
↑ William Ewald. From Kant to Hilbert Volume 1: A Source Book in the Foundations of Mathematics / William Ewald, William Bragg Ewald. — OUP Oxford, 1996. — P. 249. — ISBN 978-0-19-850535-8.
↑ Paul Rusnock. Bernard Bolzano: His Life and Work / Paul Rusnock, Jan Sebestík. — OUP Oxford, 25 April 2019. — P. 430. — ISBN 978-0-19-255683-7.
↑ «Eine Menge, ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens — welche Elemente der Menge genannt werden — zu einem Ganzen.» Archived copy (неопр.). Дата обращения: 22 апреля 2011. Архивировано 10 июня 2011 года.
↑ Кудрявцев, Лев Дмитриевич. Краткий курс математического анализа. — С. 11, второй абзац.
↑ Студопедия — Теория множеств

В Викисловаре есть статья «множество»

В Викисловаре есть статья «совокупность»

Литература

К. Куратовский, А. Мостовский. Теория множеств / Перевод с английского М. И. Кратко под редакцией А. Д. Тайманова. — М.: Мир, 1970. — 416 с.
Столл Р. Р. Множества. Логика. Аксиоматические теории. / Перевод с английского Ю. А. Гастева и И. Х. Шмаина под редакцией Ю. А. Шихановича. — М.: Просвещение, 1968. — 232 с.