Главная
Новости
Строительство
Ремонт
Дизайн и интерьер




13.02.2021


07.02.2021


24.01.2021


24.01.2021


24.01.2021





Яндекс.Метрика

Множество

19.02.2022

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

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

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

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

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

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

Так как теория множеств фактически используется как основание и язык всех современных математических теорий, в 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} »).

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

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

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

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

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

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

Описание

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

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

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

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

где × {displaystyle imes } — декартово произведение множеств.

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

Для множеств 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 ARightarrow 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,,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 ⊂ B {displaystyle Asubset B} ) от нестрогого ( A ⊆ B {displaystyle Asubseteq B} ), различающиеся тем, что из A ⊂ B ⇏ A = B {displaystyle Asubset B ot Rightarrow A=B} . Однако в большинстве случаев строгость включений не расписывают, отчего встречаются записи произвольных включений знаками строгого включения.

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

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

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

  • пересечение: (множество общих точек) A ∩ B = { x : x ∈ A , x ∈ 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};}
Объединение непересекающихся A {displaystyle A} и B {displaystyle B} ( A ∩ B = ∅ {displaystyle Acap B=varnothing } ) так же обозначают: A + B = A ∪ B ; {displaystyle A+B=Acup B;}
  • разность: (множество точек первого без второго) A ∖ B = { x : x ∈ A , x ∉ B } ; {displaystyle Asetminus B={x:xin A,,x otin B};}
  • симметрическая разность: A △ B ≡ A   − ˙   B = ( A ∪ B ) ∖ ( A ∩ B ) ; {displaystyle Aigtriangleup Bequiv A~{dot {-}}~B=(Acup B)setminus (Acap B);}
  • дополнение для A ⊂ B {displaystyle Asubset B} (множество B {displaystyle B} без A {displaystyle A} ): A ¯ ≡ A ∁ = B ∖ A ; {displaystyle {overline {A}}equiv A^{complement }=Bsetminus A;}
  • булеан A {displaystyle A} (множество всех подмножеств): 2 A = { X : X ⊂ A } . {displaystyle 2^{A}={X:Xsubset A}.}

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

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

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

Доказательство

Введём индикатор множества A {displaystyle A} как I a : X ⊃ A → { 0 , 1 } : I a ( x ) = { 1 , ∀ x ∈ A , 0 , ∀ x ∉ A ; {displaystyle I_{a}:Xsupset A o {0,1}:I_{a}(x)={egin{cases}1,,forall xin A,,,forall x otin A;end{cases}}}
Нетрудно показать, что I a ∩ b = I a I b ; I a ∪ b = I a + I b − I a I b ; I a ∖ 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 ) ⇔ I a − I a ⋅ I b ∪ c ⇔ I a − I a ⋅ ( I b + I c − I b ⋅ I c ) = I a − I a ⋅ I b − I a ⋅ I c + I a ⋅ I b ⋅ I c = {displaystyle Aackslash (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 ⋅ I c + I a ⋅ I c ⋅ I b = ( I a − I a ⋅ I b ) ⋅ ( I a + I c − I a ⋅ I c ) ⇔ ( A ∖ B ) ∩ ( A ∖ C ) {displaystyle =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 (Aackslash B)cap (Aackslash C)} . (использовалось I a 2 = I a {displaystyle I_{a}^{2}=I_{a}} )

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

Последовательность выполнения операций над множествами, как и обычно, может быть задана скобками. При отсутствии скобок сначала выполняются унарные операции (дополнение), затем — пересечения, затем — объединения, разности и симметрической разности. Операции одного приоритета выполняются слева направо. При этом надо иметь в виду, что в отличие от арифметических сложения и вычитания, для которых, в частности, верно, что ( 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} и B {displaystyle B} называют множество, обозначаемое ( A × B ) {displaystyle (A imes B)} , элементами которого являются всевозможные пары элементов исходных множеств; A × B = { { a , b } : a ∈ A , b ∈ B } . {displaystyle A imes B={{a,b}:ain A,,bin B}.}

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

Мощность

Мощность множества — характеристика множества, обобщающая понятие о количестве элементов конечного множества таким образом, чтобы множества, между которыми возможно установление биекции, были равномощны. Обозначается | 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}} , это мощность счётного множества (биективного N {displaystyle mathbb {N} } ). Мощность континуального множества (биективного R {displaystyle mathbb {R} } или 2 N {displaystyle 2^{mathbb {N} }} ) обозначаетсяя c {displaystyle {mathfrak {c}}} или 2 ℵ 0 {displaystyle 2^{aleph _{0}}} . Во многом определение мощности континуума строится на континуум-гипотезе — предположении об отустствии промежуточных мощностей между счётной мощностью и мощностью континуума.

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

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

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

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

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

По иерархии

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