Множество

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

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

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

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

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

Эта концепция привела к парадоксам, в частности, к парадоксу Рассела.

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

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

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

Объекты, из которых состоит множество, называют элементами множества или точками множества. Множества чаще всего обозначают заглавными буквами латинского алфавита, его элементы — строчными. Если a {displaystyle a} — элемент множества A {displaystyle A} , то записывают a ∈ A {displaystyle ain A} (« a {displaystyle a} принадлежит A {displaystyle A} »). Если a {displaystyle a} не является элементом множества A {displaystyle A} , то записывают a ∉ A {displaystyle a otin A} (« a {displaystyle a} не принадлежит A {displaystyle A} »). В отличие от мультимножества каждый элемент множества уникален, и во множестве не может быть двух идентичных элементов. Иначе говоря, добавление к множеству элементов, идентичных уже принадлежащим множеству, не меняет его:

{ 6 , 11 } = { 11 , 6 } = { 11 , 11 , 6 , 11 , 6 } {displaystyle {6,11}={11,6}={11,11,6,11,6}} .

Равенство A = B {displaystyle A=B} двух множеств означает

x ∈ A ⟺ x ∈ B . {displaystyle xin Aiff xin B.}

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

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

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

Второй способ применяется, когда множество нельзя или затруднительно задать с помощью списка. В таком случае множества определяются свойствами их элементов. Множество Y {displaystyle Y} задано, если указано условие A ( x ) {displaystyle A(x)} , которому удовлетворяют все элементы, принадлежащие множеству Y {displaystyle Y} и которому не удовлетворяют элементы, не принадлежащие множеству Y {displaystyle Y} .

Обозначение

Y = { x ∈ X ∣ A ( x ) } , {displaystyle Y={,xin Xmid A(x),},}

используется для задания множества Y {displaystyle Y} ; оно означает, что множество Y {displaystyle Y} состоит из тех и только тех элементов x {displaystyle x} множества X {displaystyle X} , для которых выполнено условие A ( x ) {displaystyle A(x)} .

Например, график функции f : X → Y {displaystyle fcolon X o Y} можно задать следующим образом:

Γ = { ( x , y ) ∈ X × Y ∣ f ( x ) = y } , {displaystyle Gamma ={,(x,y)in X imes Ymid f(x)=y,},}

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

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

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

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

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

По иерархии

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

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

Два множества A {displaystyle A} и B {displaystyle B} могут вступать друг с другом в различные отношения.

• A {displaystyle A} включено в B {displaystyle B} , если каждый элемент множества A {displaystyle A} принадлежит также и множеству B {displaystyle B} : A ⊆ B ⇔ ∀ a ∈ A : a ∈ B {displaystyle Asubseteq BLeftrightarrow forall ain Acolon ain B}
• A {displaystyle A} включает B {displaystyle B} , если B {displaystyle B} включено в A {displaystyle A} : A ⊇ B ⇔ B ⊆ A {displaystyle Asupseteq BLeftrightarrow Bsubseteq A}
• A {displaystyle A} равно B {displaystyle B} , если A {displaystyle A} и B {displaystyle B} включены друг в друга: A = B ⇔ ( A ⊆ B ) ∧ ( B ⊆ A ) {displaystyle A=BLeftrightarrow (Asubseteq B)land (Bsubseteq A)}
  • Для любых множеств A = A {displaystyle A=A}
  • Если A = B {displaystyle A=B} , то B = A {displaystyle B=A}
  • Если A = B {displaystyle A=B} , B = C {displaystyle B=C} , то A = C {displaystyle A=C} .
• A {displaystyle A} строго включено в B {displaystyle B} , если A {displaystyle A} включено в B {displaystyle B} , но не равно ему: A ⊂ B ⇔ ( A ⊆ B ) ∧ ( A ≠ B ) {displaystyle Asubset BLeftrightarrow (Asubseteq B)land (A eq B)}
• A {displaystyle A} строго включает B {displaystyle B} , если B {displaystyle B} строго включено в A {displaystyle A} : A ⊃ B ⇔ B ⊂ A {displaystyle Asupset BLeftrightarrow Bsubset A}
• A {displaystyle A} и B {displaystyle B} не пересекаются, если у них нет общих элементов: A {displaystyle A} и B {displaystyle B} не пересекаются ⇔ ∀ a ∈ A : a ∉ B {displaystyle Leftrightarrow forall ain Acolon a otin B}
• A {displaystyle A} и B {displaystyle B} находятся в общем положении, если существует хотя бы один элемент, принадлежащий исключительно множеству A {displaystyle A} ; хотя бы один элемент, принадлежащий исключительно множеству B {displaystyle B} ; а также хотя бы один элемент, принадлежащий обоим множествам: A {displaystyle A} и B {displaystyle B} находятся в общем положении ⇔ {displaystyle Leftrightarrow } ∃ a , b , c : ( a ∈ A ) ∧ ( a ∉ B ) ∧ ( b ∈ B ) ∧ ( b ∉ A ) ∧ ( c ∈ A ) ∧ ( c ∈ B ) {displaystyle exists a,b,ccolon (ain A)land (a otin B)land (bin B)land (b otin A)land (cin A)land (cin B)}

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

Бинарные операции

Основные бинарные операции, определяемые над множествами:

• пересечение: A ∩ B := { x ∣ x ∈ A ∧ x ∈ B } {displaystyle Acap B:={xmid xin Aland xin B}} .
• объединение: A ∪ B := { x ∣ x ∈ A ∨ x ∈ B } {displaystyle Acup B:={xmid xin Alor xin B}} .

Если множества A {displaystyle A} и B {displaystyle B} не пересекаются, то A ∩ B = ∅ {displaystyle Acap B=varnothing } . Их объединение обозначают также: A + B = A ∪ B {displaystyle A+B=Acup B} .

• разность: A ∖ B := A ∩ B ¯ = { x ∣ x ∈ A ∧ x ∉ B } {displaystyle Asetminus B:=Acap {overline {B}}={xmid xin Aland x otin B}} .
• симметрическая разность: A △ B ≡ A − ˙ B := {displaystyle Aigtriangleup Bequiv A;;!!{dot {-}};;!!B:=} ( A ∪ B ) ∖ ( A ∩ B ) = A ∩ B ¯ + A ¯ ∩ B = {displaystyle (Acup B)setminus (Acap B)=Acap {overline {B}}+{overline {A}}cap B=} = { x ∣ ( x ∈ A ∧ x ∉ B ) ∨ ( x ∉ A ∧ x ∈ B ) } {displaystyle ={xmid (xin Aland x otin B)lor (x otin Aland xin B)}} .
• декартово или прямое произведение: A × B = { ( a , b ) ∣ a ∈ A , b ∈ B } {displaystyle A imes B={(a,;b)mid ain A,;bin B}} .

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

Всякая система множеств, замкнутая относительно операций объединения и пересечения, образует относительно объединения и пересечения дистрибутивную решётку.

Унарные операции

Дополнение определяется следующим образом:

A ¯ ≡ A ∁ := { x ∣ x ∉ A } {displaystyle {overline {A}}equiv A^{complement }:={xmid x otin A}} .

Операция дополнения подразумевает некоторый зафиксированный универсум (универсальное множество U {displaystyle U} , которое содержит A {displaystyle A} ), и сводится к разности множеств с этим универсумом:

A ¯ = U ∖ A {displaystyle {overline {A}}=Usetminus A} .

Система множеств с фиксированным универсумом, замкнутая относительно операций объединения, пересечения с введённым таким образом дополнением образует булеву алгебру.

Булеан — множество всех подмножеств:

2 X ≡ P X := { A ∣ A ⊂ X } {displaystyle 2^{X}equiv {mathcal {P}}X:={Amid Asubset X}} .

Обозначение 2 X {displaystyle 2^{X}} происходит из свойства мощности множества всех подмножеств конечного множества:

| 2 X | = 2 | X | {displaystyle left|2^{X} ight|=2^{|X|}} .

Булеан 2 X {displaystyle 2^{X}} порождает систему множеств с фиксированным универсумом X {displaystyle X} , замкнутую относительно операций объединения и пересечения, то есть, образует булеву алгебру.

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

Последовательность выполнения операций над множествами, как и обычно, может быть задана скобками. При отсутствии скобок сначала выполняются унарные операции (дополнение), затем — пересечения, затем — объединения, разности и симметрической разности. Операции одного приоритета выполняются слева направо. При этом надо иметь в виду, что в отличие от арифметических сложения и вычитания, для которых верно, что ( 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},} то ( A ∪ B ) ∖ C = { 1 } , {displaystyle (Acup B)setminus C={1},} но, в то же время, A ∪ ( B ∖ C ) = { 1 , 3 } {displaystyle Acup (Bsetminus C)={1,3}} .

Мощность

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

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