Как найти основание множества

Содержание:

Основные понятия:

Множество – одно из важнейших понятий математики. Вводится аксиоматически и не может быть определено через какие-либо элементарные понятия.

Кантор описывает множество следующим образом:

Множество S есть любое собрание определенных и различимых между собой объектов пашей интуиции и интеллекта, мыслимое как единое целое. Эти объекты называются элементами множества S

Термин «множество» характеризует совокупность, объединение некоторых объектов произвольной природы – элементов множества, которые обладают каким-либо общим для них свойством (признаком). Этот общий признак содержится в самом названии (задании) множества. Множество состоит из элементов и считается заданным, если о каждом из рассматриваемых объектов известно, входит он во множество или нет. Множество может быть задано либо перечислением его элементов, либо описанием свойств его элементов. Символическая запись

Рис. 2.1. Множество А называют подмножеством другого множества U или множество А включено во множество U, если каждый элемент множества А является одновременно элементом множества U. Это обозначается . Выделение подмножеств из множеств можно провести по различным признакам. В результате могут получиться как непересекающиеся подмножества (например, А и В ) так и подмножества, имеющие общие элементы ( В и С). Если множество состоит из конечного числа элементов, оно называется конечным. При этом число элементов множества может быть очень велико или вообще неизвестно. Множество может состоять также из бесконечного количества элементов, тогда оно называется бесконечным.

Свойства включения:

1. Каждое множество есть подмножество самого себя ;
2. Если ;
3. , т.е. множества А и В равны тогда и только тогда, когда эти множества состоят из одних и тех же элементов;
4. Каждый элемент множества А определяет некоторое подмножество множества А:

Множество, не содержащее ни одного элемента, называется пустым и обозначается .

1. Любое множество содержит в качестве подмножества.
2. Каждое множество имеет, по крайней мере, два различных подмножества: .

Множество называют несобственными подмножествами множества А. Все остальные подмножества множества А называются собственными или истинными. В этом случае, когда говорят, что В строго включено в А (обозначается ):

Множество всех подмножеств множества А называется множеством-степеньюмножества А.

Если А не содержит элементов, т.е. , то его единственным подмножеством является .

Если А – одноэлементное множество, т.е. , то его подмножествами являются А и . Число этих подмножеств равно 2.

Если А – двухэлементное множество, т.е. , то его подмножествами являются Число этих подмножеств равно 4.

Несложно убедиться в том, что множество-степень конечного n-элементного множества (А) состоит из 2″ подмножеств.

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

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

Произведением или пересечением двух или произвольного (даже бесконечного) числа заданных множеств называется множество, состоящее из всех элементов, принадлежащих каждому из заданных множеств. Эта операция над множествами обозначается знаком . Если , то множества А и В называются непересекающимися.

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

Разностью множеств А и В или дополнением В до А называется множество, состоящее только из тех элементов А, которые не входят в В. Эта операция над множествами обозначается знаком .

А В Рис. 2.4.

Часто все рассматриваемые множества считают подмножествами одного основного множества U. В таком случае разность U А (дополнение А до U) обозначают, как, а операцию называют взятием дополнения.

Симметрической разностью множеств А и В называется множество С: .

Обозначается симметрическая разность: .

Для подмножеств данного множества U выполняются следующие законы:

Закон коммутативности (переместительный закон):

Закон ассоциативности (сочетательный закон) для любой тройки множеств А, В и С:

Закон дистрибутивности (распределительный закон) для любой тройки множеств А, В и С:

Если операции объединения множеств поставить в соответствие операцию сложения чисел, операции пересечения множеств – операцию умножения, универсальному множеству U – единицу, а пустому множеству – ноль, то возникает аналогия между множествами и числами. Операции объединения и пересечения множеств, как и действия над действительными числами, подчиняются законам коммутативности, ассоциативности и дистрибутивности. Можно также провести аналогию между свойствами логических операций, где логической эквивалентности соответствует операция равенства, а операциям конъюнкции и дизъюнкции – операции объединения и пересечения.

Свойства фигурируют попарно таким образом, что каждое получается из соседнего заменой на , U на и наоборот. Такие выражения называются двойственными друг другу.

Принцип двойственности. Для любого тождества множеств двойственное ему выражение также является тождеством.

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

Большое значение в современной математике имеет множественная операция декартово произведение. Если заданы два множества А и то из их элементов можно составить упорядоченные пары, взяв сначала какой-либо элемент первого множества, а затем -элемент второго множества. Декартовым произведением двух исходных множеств А и В называется множество С, составленное из упорядоченных пар (а,b). Декартово произведение множеств А и В обозначается.

Очевидно, что и – различные множества, т.е. операция декартова произведения не коммутативна, но, в то же время, она обладает свойством ассоциативности.

Отображения

Отображение – одно из основных понятий математики. Отображение есть какое-либо правило или закон соответствия множеств. Пусть X и Y – произвольные непустые множества. Говорят, что задано отображение множества X на множество Y (запись: или ) если каждому элементу х множества поставлен соответствие единственный, однозначно определенный элемент множества .

Элемент называется образом элемента х при отображении , а элемент называется прообразом элемента у при этом отображении. Образом множества X элементов х при отображении называется множество всех элементов вида, принадлежащих области значений Y. Множество X всех элементов, образы которых составляют область значений Y называется прообразом множества Y элементов . Множество X называется областью определения отображения .

Отображение называется сюръективным, когда каждый элемент y множества имеет хотя бы один прообраз х множества , т.е. .

Отображение называется инъективным, когда каждый элемент множества является образом лишь одного элемента х множества , т.е. образы любых двух различных элементов множества X различны, т.е. из следует .

Отображение называется биективным или взаимно однозначным, когда оно одновременно ипъективно и сюръективно, т.е. каждый элемент множества Y является образом одного и только одного элемента множества X.

Равенство двух отображений и означает по определению, что их соответствующие области совпадают (X = U и Y= V), причем .

Произведение двух отображений и можно определить как отображение , которое каждому элементу х множества ставит в соответствие элемент множества .

Отображение множества X на множество Y иначе называется функцией на множестве X со значениями во множестве Y. Если множества X и Y совпадают, то биективное отображение множества X на себя называется преобразованием множества X. Простейшее преобразование множества X – тождественное – определяется так: . Тождественное отображение , переводящее каждый элемент в себя, также называют единичным преобразованием. Если заданы преобразования , то преобразование , являющееся результатом последовательного выполнения сначала преобразования , а затем и преобразования g, называется произведением преобразований .

Для преобразований одного и того же множества X справедливы следующие законы:

Коммутативный закон для произведения преобразований в общем случае не выполняется, т.е. .

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

Бесконечные множества также можно сравнивать между собой.

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

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

Бесконечное множество и некоторое его подмножество могут быть эквивалентными.

Множество, эквивалентное множеству натуральных чисел, называется счетным множеством. Для того чтобы множество А было счетным, необходимо и достаточно, чтобы каждому элементу а множества А был поставлен в соответствие его порядковый номер „ Из всякого бесконечного множества можно выделить счетное подмножество. Всякое подмножество счетного множества является счетным или конечным. Счетное множество является наиболее примитивно организованным бесконечным множеством. Декартово произведение двух счетных множеств является счетным. Объединение конечного или бесконечного числа конечных или счетных множеств является конечным или счетным множеством.

Отношения эквивалентности и упорядоченности

В математике понятие отношения используется для обозначения какой-либо связи между объектами. Отношение есть некоторое множество упорядоченных пар {х,у), где .

Часто приходится рассматривать несколько элементов множества как эквивалентные, потому что по определенным признакам один элемент может быть заменен другим. Так, например, по признаку величины дроби эквивалентны. Отношение эквивалентности рефлексивно, симметрично и транзитивно. Понятие эквивалентности подразумевает выполнение следующих условий:

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

Пусть А – множество, в котором определено отношение эквивалентности. Подмножество элементов, эквивалентных элементу а, называется классом эквивалентности: все элементы этого класса эквивалентны между собой и всякий элемент а из А находится в одном и только в одном классе (если элементов, эквивалентных а, не существует, то а может быть и единственным элементом класса). Отношение эквивалентности в А определяет на А разбиение на классы эквивалентности, т.е. А становится объединением непересекающихся классов.

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

Если между элементами множества определено также и отношение эквивалентности, то между элементами устанавливается отношение неполного или нестрогого порядка:

Возможны случаи, когда некоторые элементы множества не сравнимы. Такие множества называются частично упорядоченными.

Способы задания множеств

Как в повседневной, так и в научной жизни часто говорят о чертах какого-либо коллектива, совокупности некоторых объектов. Так, например, можно говорить о студентах группы некоторого института, о совокупности точек внутри некоторого круга и т.д.

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

Каждое множество считается самостоятельной осмысленной вещыо, как бы осмысленной оболочкой его элементов. Множество

считается известным, если заданы его элементы; множество определяется раз и навсегда заданием его элементов; множества не зависят or времени.

Следовательно, множество однозначно определяется его элементами.

Множество, у которого ни один предмет не является элементом, называется пустым множеством. Пустое множество обозначается символом .

Для обозначения множеств обычно применяются заглавные латинские буквы. Выражение обозначает, что объект m является элементом М (читается: «m является элементом М или m принадлежит М»).

Выражение : «m не является элементом М или m не принадлежит М». Элементами множества могут быть и множссгва.

Справедлива следующая

Теорема 1.1.1. Два множества тождественны (равны) тогда и только тогда. если их элементы одинаковы.

Доказательство. Если два множества тождественны (равны), то на основе понятия тождественности элементы обоих множеств одинаковы.

С другой стороны, если о двух множествах нам известно, что их элементы тождественны, то эти два множссгва тождественны, так как множество однозначно определяется его элементами.

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

Например. Перпендикулярная липия, пересекающая отрезок прямой, является геометрическим местом точек, расположенных на одинаковом расстоянии от двух концов озрезка. Это означает следующее: В плоскости множество точек перпендикулярной линии, пересекающей в середине отрезок прямой, тождественно множеству точек, расположенных на одинаковом расстоянии от обоих концов отрезка.

Множество часто задается в следующем виде: элементы множества заключаются внутри фигурных скобок: {…}. Подобной записью может быть конкретное перечисление элементов множества или задание такого определения, которым элементы множества однозначно задаются.

Например:

• а) {гласные звуки слова «МАТЕМАТИКА»} – множество задано путем определения;
• б) {E, О, И, Я, О, Е}, {О, А, Е} – множество задано путем перечисления элементов.

Заметим, что один предмет в одном множестве является элементом только один раз, даже если предмет повторяется несколько раз.

Тождественные множества связываются знаком равенства (=):

{А, А, Е, Е|={А, Е}.

Множество А считается подмножеством В, если каждый элемент А является и элементом В, что обозначается выражением .

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

Множество А является действительным подмножеством множества B, если А является частью В, но не тождественно с ним, что обозначается .

Примеры:

1. Множество N неотрицательных целых чисел является действительной частью множества Z произвольных целых чисел: .
2. Множество Z действительная часть множества Q рациональных чисел:
3. Множество Q действительная часть множества R вещественных чисел
4. Множество R действительная часть множества С комплексных чисел:

Не существует никакого ограничения в отношении того, насколько много (или мало) элементов может быть в одном множеств: в одном множестве может быть любое, даже бесконечное количество элементов.

Сравнивать множества можно, используя понятие взаимно однозначного соответствия между элементами.

Если каждому элементу множества А по некоторому закону ставится в соответствие определенный элемент множества В и если при этом каждый элемент множества В оказывается поставленным в соответствие одному и только одному элементу множества А, то говорят, что между А и В установлено взаимно однозначное соответствие.

Если между множествами А и В установить взаимно однозначное соответствие, то такие множества называются равиомощны-ми. Множество А называется бесконечным, если оно имеет ту же мощность, что и хотя бы одно из его действительных подмножеств, в противном случае А – конечное множество. Бесконечное множество А счётно, если можно установить взаимно однозначное соответствие между ним и множеством натуральных чисел.

Например, множество всех действительных чисел R и множество натуральных чисел N имеют разные мощности. Первое множество имеет мощность континуума, а второе – счетное множество.

Особую роль в теории множеств играет универсальное множество, которое часто называют просчранством. Это некоторое множество, фиксированное в рамках данной математической теории и содержащее в качестве элементов все объекты, рассматриваемые в этой теории.

Алгебраические операции над множествами

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

а) Пересечением множеств Ми N называется множество, которое будет обозначаться М N, состоящее из элементов, принадлежащих как М, так и N, т.е. М N = .

Эта запись означает, что пересечение MN двух множеств состоит из элементов х, одновременно принадлежащих как М, так и

N. Например, если М = {0,1,2,3}, а N = {1,4,3,6}, то МN = {1,3}. Основные тождества этой операции состоят в следующем:

Если А В = А, то действительны следующие соотношения: ,

,

А В.

Вели , т.е. если А и В не имеют общих элементов, то

А и Б называются посторонними множествами.

Если есть совокупность множеств ,то пересечение всех множеств есть множество , которое состоит из элементов,

принадлежащих одновременно всем множествам совокупности .

6) Объединением двух множеств А и В называется множество A В, состоящее из элементов, по крайней мере, одного из множеств А и В, т. е.

.

Эта запись означает, что объединение A В двух множеств А и В состоит из элементов х, принадлежащих множеству А или множеству В, или множеством А и В одновременно. Например, если A={0,1,2,3} а B={4,5,6,}, то A B = {0,1,2,3,4,5,6}.

Легко увидеть, что если А и В являются ограниченными множествами без общих элементов, то количество элементов AB = (количество элементов А) + (количество элементов В). На основе этих соотношений операция объединения часто называется суммированием множеств. Для операции объединения справедливы следующие тождества:

1. A В = В А (коммутативность).
2. A А = А (идемпотснция).
3. A = А.
4. (AB)C = A(BC) (ассоциативность).

Так же действительны соотношения: , тогда и только тогда, если A В=В.

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

в) Множество элементов Е, не принадлежащих некоторой его части А, называется дополнением (разностью) к А в Е и обозначается через или СА или ЕА, т.е. .

Например. Если областью существования функции является А, а множество ее корней – В, то область существования функции-множество АВ.

Для операции разности справедливы следующие соотношения:

• 1°. .
• 2°. .
• 3°..
• 4°. .
• 5°. .
• 6°..
• 7°..
• 8°. .

Два любых предмета а и b представляют собой упорядоченную пару, если предварительно задано, какой из них считается первым и какой вторым. Упорядоченные пары обозначаются символом (a, b), где а – первый элемент, b – второй {а и b могут быть тождественны).

г) Произведением А х В двух множеств А и В называется множество всевозможных упорядоченных пар (а, Ь), образованных из элементов а множества А и элементов b множества В, т.е. .

Пары (а, b) и (b, а) с считаются различными. Это особенно важно иметь в виду, когда множества Aw В совпадают.

Пример:

Если А ={a,е,i}, а В={b,с}, то

А х В = {(a,b), (а,с), (e,b), (e,c), (i,b), (i,с)},

.

В координатной геометрии точки плоскости характеризуются парами чисел, а точки пространства – тремя числами. Это означает, что если R обозначает множество точек числовой оси, то R х R -множество точек плоскости, а (RxR)xR- множество точек пространства. Отсюда возникло обозначение для произведения n множеств, идентичных множеству R всех вещественных чисел. Точка из является, следовательно, упорядоченной системой произвольных вещественных чисел .

Справедливы следующие операции для декартового произведения множеств:

• 1°. .
• 2°. .
• 3°. , т.к. пустое множество не имеет элементов.

Понятие множества широко используется в экономических исследованиях. Так при изучении системы производства одного предприятия или нескольких, которые потребляют продукты: сырьё, энергию и трудовые ресурсы и производят в соответствии с некоторой технологией другие продукты-изделия, составляется математическая модель, где используется множество

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

• Заказать решение задач по высшей математике

Выпуклые множества. Пересечение выпуклых множеств

В первом пункте мы определили множество, указали способы его задания. Теперь мы укажем некоторые дополнительные свойства множеств. Для этого введем ряд определений.

Окрестностью точки называется множество

точек удовлетворяющих условию: или

Таким образом, окрестность образуют все точки х, удаленные от точки а на расстояние меньшее r.

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

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

Точка пространства называется граничной, если в любой её окрестности имеются точки как принадлежащие множеству так и не принадлежащие ему. Множество, содержащее все граничные точки, называется замкнутым.

Например, отрезок является замкнутым множеством.

Множество (тело) называется выпуклым, если оно вместе со своими двумя любыми точками Р и Q содержит все точки отрезка .

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

Для выпуклых множеств, справедлива следующая теорема.

Теорема 1.3.1. Пересечение выпуклых множеств (тел) есть выпуклое множество, если оно не пусто.

Доказательство. Пусть имеется не пустое пересечение выпуклых множеств. Возьмём две произвольные точки Р u Q, принадлежащие этому пересечению. По определению пересечения эти точки принадлежат каждому из множеств, а так как эти множества выпуклы, то вместе с точками Р и Q им принадлежат и все точки отрезка PQ. Следовательно, все точки отрезка PQ принадлежат и пересечению, что и доказывает его выпуклость.

Точка множество называется крайней, если она не является внутренней ни для какого отрезка, целиком принадлежащего множеству.

Так у выпуклого многоугольника крайними точками являются его вершины. Их конечное число. В пространстве многогранником называется множество с конечным числом крайних точек. Следовательно. выпуклый многогранник является замкнутым выпуклым множеством.

Высказывание

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

Предпосылки: Если будет раздача премии, то мы выполним план.

Будет раздача премии.

Окончательные выводы: Мы выполним план.

Если принять правильность предпосылок, то следует принять и правильность окончательного вывода. Обычно вместо предложений могут быть записаны любые такие изъявительные предложения, значения которых может быть правильно или ложно; следует оставить неизменённым только расположение слов «если» и «то» и расположение предложений, то есть структуру вывода. Структуру вывода можно выразить следующей схемой:

Если А, то В.

Путем изменения условий могут быть построены различные теории логики. Важнейшими главами математической логики является калькуляция высказываний и калькуляция предикатов.

Определение 1.4.1. Под термином высказывания подразумевается такое изъявительное предложение, которое является однозначно или правильным, или ложным.

Высказывание удовлетворяет условиям:

• а) оно не может быть одновременно и правильным и ложным (принцип непротиворечивости);
• б) исключено, чтобы оно было и неправильным и нсложным (принцип исключения третьей возможности).

Следовательно, каждое высказывание имеет значение 1 (истинно) или 0 (ложно).

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

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

Операции над высказываниями

Отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность

Простейшими примерами операций калькуляции высказываний является отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность и т.д.

Определение 1.5.1. Под отрицанием высказывания А подразумевается высказывание «Неправильно, что А» или некоторая грамматически преобразованая форма данного высказывания.

По значению выражения «неправильно» отрицание А правильно тогда и только тогда, если самоё А неправильно; следовательно, отрицание действительно есть операция калькуляции высказываний.

Например: отрицание предложения «мотор работает» является предложение «мотор не работает».

Отрицание является (унарной) одночленной операцией. Отрицание А обозначается символом (читается «не А»). Таблица истинности для операции отрицания имеет вид: Таблица 1

Закон двойного отрицания: .

Здесь и в дальнейшем свойство высказываний «правильное» и «ложное» называется логическими значениями и обозначается 1 и О (п. и л.). Тогда операции, проводимые на логических значениях, называются логическими операциями. Для выражения любых логических значений вводятся логические переменные; они обозначаются символами .

Следовательно, логические переменные могут принимать два значения 1 или 0. При использовании нескольких операций последовательно порядок выполнения отдельных операций обозначается скобками.

В общем случае, n-члснной логической операцией называется каждая такая функция, областью существования которой является упорядоченное множество всех выражений, образуемых из логических значений 1 и 0 с длиной выражения n, а значением её является одно из двух логических значений 1 и 0.

Определение 1.5.2. Под конъюнкцией двух высказываний А и В подразумевается высказывание «А и В».

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

Таблица значений конъюнкции имеет вид:

Таблица 2

Справедлива следующая

Теорема 1.5.1. Любая логическая операция может быть выражена через операции отрицания и конъюнкции.

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

Пример:

.

Решение:

Доказательство данного равенства проведём в табл. 3:

Таблица 3

Определение 7.5.3. Под дизъюнкцией двух высказываний А и В подразумевается высказывание «А или В».

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

.

Дизъюнкция выражается с помощью операции конъюнкции и отрицания б следующей форме:

Таблица значений дизъюнкции имеет следующий вид:

Таблица 4

По аналогии с теоремой 3 можно сформулировать следующую теорему

Теорему 1.5.2. Каждая логическая операция может быть выражена с помощью только операций дизъюнкции и отрицания.

Например, операция конъюнкции выражается с помощью операций дизъюнкции и отрицания в виде: .

Определение 1.5.4. Операция, обозначаемая ,

называется импликацией (с предварительным членом р и с последующим q).

Иначе её обозначение . Она выражается в следующем виде:

и читается: если р, то q из p следует q.

Таблица значений импликации имеет следующий вид: Таблица 5

И конъюнкция, и дизъюнкция выражаются с помощью операций импликации и отрицания: ,

Поэтому любая логическая операция может быть выражена ( помощью операций импликации и отрицания.

Выражения вида: «если А, то В», «неправильно, что: А и не В» «В если только А», «только тогда А, если В», «Достаточным условием В является А», «Необходимым условием А является В» соответственно обозначаются А В или А В.

Определение 1.5.5. Операция, обозначаемая,

называется эквивалентностью (читается р эквивалентно q). Выражениями данной операции являются следующие:

Так как высказывание тогда и только тогда, когда

p=q, то данная логическая операция соответствует образованию

сложного предложения вида «А тогда и только тогда, когда В». Таблица значений эквивалентности имеет вид:

Таблица 6

Рассматриваются ещё:

операция Шеффера – отрицание операции конъюнкции , обозначаемая (р штрих q).

1) операция взаимоисключающего или (р или же q): . Например, или ты вылечишься до завтрашнего дня, или мы тебя отвезём в больницу;

2) операция «ни-ни» (обозначается ) «ни А ни В»: .

Предикаты и кванторы

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

Если в эти схемы предложений вставить названия соответственно подобранных предметов (вместо пунктира), то получатся замкнутые предложения, высказывания. Такие предикаты выражаются однозначно в некоторых случаях, если вместо пунктира записываются буквы: x, у,z, … .

Кроме заполнения оставленных свободных мест названиями имеется и другой способ образования высказываний из предикатов: квантификация. Например, из открытого предложения «если х представляет собой дифференцируемую функцию, то функция х-непрерывная функция», подставив перед предложением «Для каждого л», получим следующее: Для каждого х, если х представляет собой дифференцируемую функцию, то x представляет собой непрерывную функцию. Текст «Для каждого x» обозначается символом и называется универсальным квантором.

Существует ещё экзистенциальный квантор, который заменят текст «Имеется такое х» или «Существует такое х» и обозначается .

Для точного анализа вводятся следующие понятия:

Определение 1.6.1. n-мерным предикатом , определённым на непустом множестве H, называется такая функция, областью существования которой является множество упорядоченных n – членных знаков, образованных из элементов множества H, а значениями – логические значения.

Предикаты обозначаются символами и т.д.

Жирными буквами обозначаются предикаты, а строчными буквами- аргументы предиката как функции; количеством последних определяется размерность предиката.

Например. Пусть Н- множество натуральных чисел, тогда предикат неделимого числа Fx определяется следующим образом:

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

Понятие множества является одним из основных в математике. Оно принадлежит к числу первичных, не определяемых через более простые.

Под множеством будем понимать совокупность объектов, объединенных по какому-либо признаку. Слова «совокупность», «набор», «система», «объединение» и другие являются синонимами слова «множество». Например, можно говорить о множестве студентов в институте, множестве букв в алфавите, множестве целых чисел и т. д. Из приведенных примеров следует, что множество может содержать как конечное, так и бесконечное число объектов некоторой природы. Объекты, из которых состоит множество, называются его элементами или точками. Принадлежность элемента  множеству обозначают следующим образом:  Если не является элементом множества  то пишут: Если – некоторые элементы, то запись означает, что множество  состоит из элементов 

Два множества  и называют равными, если они состоят из одних и тех же элементов (обозначение: ). Множество  называется подмножеством множества  если все элементы множества  являются одновременно и элементами множества (обозначение: («множество содержится в множестве ») или («множество содержит множество »). Например, так как всякое натуральное число  является целым, то где – множество натуральных чисел,  – множество целых чисел.

Множество, не содержащее ни одного элемента, будет называться пустым множеством и обозначаться  Это множество является подмножеством любого множества. Пусть – множество, а  – какое-либо свойство элементов этого множества. Тогда запись означает совокупность тех элементов множества  которые обладают свойством  Например, если и – два числа и  то встречавшиеся в элементарной математике отрезок, интервал и полуинтервалы можно записать в следующем виде: – отрезок; – интервал;

и – полуинтервалы. Здесь – множество действительных (вещественных) чисел.

Множество всех чисел называется также числовой прямой или числовой осью, а любое число – точкой этой прямой.

Пересечением множеств и называется множество  состоящее из всех элементов, одновременно принадлежащих как  так и т.е.

Объединением множеств и называется множество  состоящее из всех элементов, принадлежащих хотя бы одному из двух данных множеств, т. е.  или 

Разностью множеств и называется множество  состоящее из тех элементов множества  которые не принадлежат множеству т.е. и

Пусть – некоторое основное множество, тогда дополнением множества называется множество  состоящее из всех элементов и не принадлежащих  т. е.

Таким образом, все элементы, которые не принадлежат множеству  образуют множество  Следовательно, 

Логические символы

Многие математические понятия удобно записывать, пользуясь логической символикой. Так, символ  называемый квантором общности, используется вместо слов «для любого», «для всех», «для каждого», «какого бы ни было» и т. д., символ – квантор существования – вместо слов «существует», «найдется», «имеется» и т. д. 

Часто используются также логические символы следствия  и равносильности

Грани числовых множеств

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

Множество, ограниченное и сверху, и снизу, называется ограниченным, т. е. существуют два числа и такие, что   Эти неравенства показывают, что множество  ограничено в том и только в том случае, если оно расположено на некотором конечном отрезке числовой прямой. Очевидно, что множество ограничено тогда и только тогда, когда существует положительное число  такое, что

Множество, не ограниченное сверху или снизу, называется неограниченным.

Если число является верхней гранью множества  то и любое число больше тоже является верхней гранью, и, если число -нижняя грань множества  то всякое число, меньше будет нижней гранью

Наименьшая (наибольшая) из всех верхних (нижних) граней называется точной верхней (нижней) гранью множества и обозначается символом  («супремум ) ( «инфимум

Точные верхняя и нижняя грани множества могут принадлежать или не принадлежать этому множеству. Если множество не ограничено сверху (снизу), то иногда используют обозначение 

Теорема 1*. Всякое ограниченное сверху (снизу) числовое множество имеет точную верхнюю (нижнюю) грань.

Предельные точки числового множества. Открытые и замкнутые множества

Множество вещественных чисел  удовлетворяющих неравенству  т.е. называется окрестностью точки 

Множество вещественных чисел  удовлетворяющих неравенству  называется проколотой  окрестностью точки (точка исключена из своей окрестности).

Геометрически окрестность точки есть интервал длиной серединой которого является точка числовой прямой.

Точка  называется предельной точкой множества  если в любой окрестности точки находятся точки из отличные от . Предельная точка может как принадлежать, так и не принадлежать множеству 

Точка называется изолированной точкой этого множества, если в достаточно малой ее окрестности нет точек из отличных от

Точка называется внутренней, если существует некоторая окрестность этой точки, целиком содержащаяся в множестве

Множество, все точки которого являются внутренними, называется открытым; множество, содержащее все свои предельные точки, называется замкнутым. Открытым множеством является, например, интервал  замкнутым множеством – отрезок 

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

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

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

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

История понятия[править | править код]

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

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

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

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

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

Элемент множества[править | править код]

Объекты, из которых состоит множество, называют элементами множества или точками множества. Множества чаще всего обозначают заглавными буквами латинского алфавита, их элементы — строчными. Если  — элемент множества , то пишут (« принадлежит »). Если не является элементом множества , то пишут (« не принадлежит »).

Если всякий элемент множества содержится в , то пишут (« лежит в , является его подмножеством»). Согласно теории множеств, если , то для всякого элемента определено либо , либо .

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

Задание множества[править | править код]

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

Перечисление[править | править код]

Первый способ требует задать (перечислить) все элементы, входящие в множество. Например, множество неотрицательных чётных чисел, меньших 10, задастся: Данный способ удобно применять лишь к ограниченному числу конечных множеств.

Описание[править | править код]

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

Множество задано, если указано условие , которому удовлетворяют все элементы , и которому не удовлетворяют . Обозначают

Например, график функции можно задать следующим образом:

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

Отношения между множествами[править | править код]

Для множеств и могут быть заданы отношения:

Иногда различают строгое включение () от нестрогого (), различающиеся тем, что из . Однако в большинстве случаев строгость включений не расписывают, отчего встречаются записи произвольных включений знаками строгого включения.

Операции над множествами[править | править код]

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

Основные операции[править | править код]

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

.

Объединение (множество всех точек):

.

Объединение непересекающихся и () также обозначают .

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

.

Симметрическая разность:

;

Дополнение для (множество без ):

.

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

.

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

,

.

Приоритет операций[править | править код]

Последовательность выполнения операций над множествами, как и обычно, может быть задана скобками. При отсутствии скобок сначала выполняются унарные операции (дополнение), затем — пересечения, затем — объединения, разности и симметрической разности^{[источник не указан 1326 дней]}. Операции одного приоритета выполняются слева направо. При этом надо иметь в виду, что в отличие от арифметических сложения и вычитания, для которых, в частности, верно, что , для аналогичных операций над множествами это неверно. Например, если , , , то , но, в то же время, .

Декартово произведение[править | править код]

Декартовым произведением множеств и называют множество, обозначаемое , элементами которого являются всевозможные пары элементов исходных множеств; .

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

Мощность[править | править код]

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

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

Некоторые виды множеств и сходных объектов[править | править код]

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

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

Сходные объекты[править | править код]

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

По иерархии[править | править код]

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

Примечания[править | править код]

Литература[править | править код]

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

Элементы теории множеств

I. Основные понятия и аксиомы теории множеств

За тысячи лет своего существования от простейших представлений о числе и фигуре математики пришла к образованию многих новых понятий и методов. Она превратилась в мощное средство изучения природы и гибкое орудие практики. XX век принес математике новые идеи, теории, расширилась сфера её применения. Математика занимает особое положение в системе наук – её нельзя отнести ни к гуманитарным, ни к естественным наукам. Но она ввела те основные понятия, которые используются в них. Таким понятием является понятие «множество», которое впервые возникло в математике и в настоящее время является общенаучным.

Первый набросок теории множеств принадлежит Бернарду Больцано («Парадоксы бесконечного», 1850). В этой работе рассматриваются произвольные (числовые) множества, и для их сравнения определено понятие взаимно-однозначного соответствия.

В конце 19 века Георг Кантор, немецкий математик, основоположник теории множеств, дал интуитивное определение понятию «множеству» так: «Множество есть многое, мыслимое как единое целое» [1]. Такое определение множества потребовало введения трех символов.

Первый из них должен представлять множество как нечто «единое», т.е. являться представителем самого множества. В качестве такого символа принято применять любую прописную букву какого-либо алфавита: например, обозначать множества прописными буквами латинского алфавита А, В, …, Х или какого-либо другого по соглашению.

Второй символ должен представлять «многое», то есть рассматриваться как элемент множества. В качестве этого символа принято использовать строчные буквы этого же алфавита: a, b, …, z.

Третий символ должен однозначно соотнести элемент множеству. В качестве соответствующего символа определен знак  , который происходит от первой буквы греческого слова (быть). Запись определяет отношение: х есть элемент Х. Для того чтобы указать, что х не есть элемент Х, пишут .

Стоит отметить, что такое определение понятия множества приводит к ряду внутренних противоречий теории – так называемым парадоксам.

Например, рассмотрим парадокс Рассела. Парикмахер
(элемент х), проживающий в некоторой деревне, которые не бреются сами (пусть Х – множество всех тех и только тех жителей данной деревни, которые не бреются сами). Бреет ли парикмахер самого себя? То есть  или ? Ответить на вопрос невозможно, поскольку полагая, например, что ,  сразу приходим к противоречию: , и обратно.

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

На настоящее время существует несколько аксиоматических систем теории множеств:

-Система аксиом Цермело. К этой системе аксиом часто добавляют аксиому выбора, и называют системой Цермело — Френкеля с аксиомой выбора (ZFC).

-Аксиомы теории NBG. Данная система аксиом, предложенная фон Нейманом, впоследствии пересмотренная и упрощенная Робинсоном, Бернайсом и Геделем.

Система Цермело (Z-система) состоит из 7 аксиом. Опишем данные аксиомы в тех рамках, в которых они используются в школьном курсе математики.

Аксиома объемности (Z1). Если все элементы множества А принадлежат множеству В, а все элементы множества В принадлежат также множеству А, то А=В.

Для пояснения данной аксиомы нам необходимо использовать термин «подмножество»: Если каждый элемент множества A является элементом множества Z, то говорят, что А – подмножество Z, и пишут . Символ  именуется «включение». Если не исключается возможность ситуации, когда Z=A, то для того чтобы акцентировать на этом внимание, пишут .

Введя термин «подмножество», сформулируем аксиому 1 в символьном виде: .

Аксиома пары (Z2). Для произвольных a и b существует множество, единственными элементами которого являются {a,b}.

Данная аксиома используется при пояснении декартова произведения множеств, где первоначальным понятием является «упорядоченная пара». Под упорядоченной парой понимают совокупность двух элементов, каждый из которых занимает в записи определенное место. Обозначают упорядоченную пару так: (а,b).

Аксиома суммы (Z3). Для произвольных множеств А и В существует единственное множество С, элементами которого являются все элементы множества А и все элементы множества В и которое никаких других элементов больше не содержит.

В символьном виде аксиому Z3 можно записать так: . На основании данной аксиомы и вытекающих из неё теорем [6] указываются свойства операций множеств, описание которых будут изложены в пункте 3. Аксиомы Z1 и Z2 позволяют нам ввести понятие операции объединения, пересечения, дополнение, разности множеств.

Аксиома степени (Z4). Для любого множества Х существует множество всех его подмножеств Р(Х).

Аксиома бесконечности (Z6). Существует, по крайней мере, одно бесконечное множество – натуральный ряд чисел.

Аксиома выбора (Z7). Для всякого семейства непустых множеств существует функция, которая каждому множеству семейства сопоставляет один из элементов этого множества. Функция называется функцией выбора для заданного семейства.

Стоит отметить важность соответствующих аксиом, так как множества и   отношения между ними являются предметом изучения любой математической дисциплины.

Укажем ещё одно важное открытие в теории множеств – изображение отношений между подмножествами, для наглядного представления [4]. Одним из первых, кто пользовался этим методом, был выдающийся немецкий математик и философ Готфрид Вильгельм Лейбниц. Затем этот метод довольно основательно развил и Леонард Эйлер. После Эйлера этот же метод разрабатывал чешский математик Бернард Больцано. Только в отличие от Эйлера он рисовал не круговые, а прямоугольные схемы. Методом кругов Эйлера пользовался и немецкий математик Эрнест Шредер. Но наибольшего расцвета графические методы достигли в сочинениях английского логика Джона Венна. В честь Венна вместо кругов Эйлера соответствующие рисунки называют иногда диаграммами Венна, а в некоторых книгах их называют также диаграммами Эйлера-Венна [4]. Диаграммы Эйлера-Венна используются не только в математике и логике, но и в менеджменте и других прикладных направлениях.

 II. Отношения между множествами и способы их задания

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

Считают, что множество определяется своими элементами, то есть множество задано, если о любом объекте можно сказать, принадлежит он этому множеству или не принадлежит. Различают два способа задания множеств.

1. Множество можно задать с помощью перечисления элементов.

Например, если множество А состоит из элементов а, b, с, то пишут: А = {a, b, c}.

Не каждое множество можно задать с помощью перечисления элементов. Множества, все элементы которых можно перечислить называют конечными. Множества, все элементы которых нельзя перечислить называют бесконечными. Их нельзя задать с помощью перечисления элементов. Исключение составляют бесконечные множества, в которых ясен порядок образование каждого следующего элемента на основе предыдущего. Например, множество натуральных чисел – бесконечное множество. Но известно, что в нем каждое следующее число, начиная со второго, на 1 больше предыдущего. Поэтому можно задать так N = {1, 2, 3, 4, …}.

1. Множество можно задать с помощью указания характеристического свойства.

Характеристическим свойством данного множества называется свойство, которым обладают все элементы этого множества и не обладают ни один, не принадлежащий ему элемент. Обозначается: А = {x|…}, где после вертикальной черты записывается характеристическое свойство элементов данного множества.

Например, В={1,2,3}. Нетрудно заметить, что каждый элемент множества В – натуральное число, меньшее 4. Именно это свойство элементов множества В является для него характеристическим. В этом случае пишут:  и читают: «Множество В состоит из таких элементов х, что х принадлежит множеству натуральных чисел и х меньше четырех» или множество В состоит из натуральных чисел, меньших 4. Множество В можно задать и по – другому:  или  , и т.д.

При этом, если элемент не подчиняется характеристическому свойству множества, то он данному множеству и не принадлежит. Существуют множества, которые можно задать только с помощью указания характеристического свойства, например, .

Особую важность в школьном курсе математике имеют числовые множества, т.е. множества, элементами которого являются числа [2]. Для названия числовых множеств в математике приняты специальные обозначения:

N = {1, 2, 3, 4, …} – множество натуральных чисел;

Z = {…,-4, -3, -2, -1, 0, 1, 2, 3, 4, …} – множество целых чисел (содержит все натуральные числа и числа, им противоположные);

Q = {x | x=p/q, где p∈Z, q∈N} – множество рациональных чисел (состоит из чисел, допускающих представление в виде обыкновенной дроби);

J – множество иррациональных чисел (множество, состоящее из бесконечных десятичных непериодических дробей, например: 1,23456342…;, и др.)

R = (-∞; +∞) – множество действительных чисел.

Множество всех действительных чисел Л. Эйлер изобразил с помощью кругов. (Рис. 1)

Cтоит отметить, что все любые числовые множества можно задать с помощью числового промежутка. (Рис. 2)

Типы числовых промежутков

Множество С, рассмотренное выше, это числовое множество и его можно указать с помощью числового промежутка (Рис. 3)

Рисунок 3 – Числовой промежуток

Укажем еще одно важное правило для задания числовых множеств: Конечные числовые множества изображаются на числовой прямой отдельными точками.

В математике иногда приходится рассматривать множества, содержащие только один элемент, и даже множества, не имеющие ни одного элемента. Множество, не содержащее ни одного элемента, называют пустым. Его обозначают знаком ∅. Например, дано множество A={x|x∈N∧-2<x<0}. Это множество задано своим характеристическим свойством, но оно является пустым, так как в нем нет ни одного элемента, удовлетворяющее данному свойству [3]. Или, например, пусть множество В – это множество всех прямоугольников с неравными диагоналями. То, что свойство «быть прямоугольником с неравными диагоналями» задает пустое множество, составляет утверждение геометрической теоремы: «Во всяком прямоугольнике диагонали равны».

Стоит отметить, когда речь идет о двух и более множествах, то между ними могут быть какие-либо отношения или нет. Если множества находятся в каких-либо отношениях, то речь идет или об отношении равенства или отношении включении.

Множество А включается во множество В, если каждый элемент множества А принадлежит множеству В. Обозначается данное отношение так: A⊂B. Или, по-другому говорят, что множество А является подмножеством множества В.

Множества А и В называются равными, тогда и только тогда, когда каждый элемент множества А принадлежит множеству В и вместе с этим каждый элемент множества В принадлежит множеству А. Обозначается данное отношение так: А=В

Например:

1) A={a,b,c,d} и B={b,d}, эти множества находятся в отношении включения B⊂A, т.к. каждый элемент множества В принадлежит множеству А.

2) M={x|x∈R∧x<6}=(-∞;6) и K{x|x∈R∧x≤8}=(-∞;8], эти множества находятся в отношении включения M⊂K, т.к. каждый элемент множества M принадлежит множеству K (Рис. 4)

 

 Рисунок 4 – Числовой промежуток

 3) A={x|x∈N∧x:2}={2,4,6,8,10,…} и  B={x|x∈N∧x:3}={3,6,9,12,…}, эти два множества не находятся ни в каких отношениях A⊄B, так как во множестве А есть элемент 2, не принадлежащий множеству В

и B⊄A, т.к. во множестве В есть элемент 3, не принадлежащий множеству А.

Следовательно, данные множества не находятся ни в каких отношениях.

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

Опр.1.Пересечением множеств А и В называется операция, результатом которой является множество, состоящее из тех и только тех элементов, которые принадлежат и А и В одновременно. 

                              A∩B={x|x∈A∧x∈B}                                             

Опр.2. Объединением множеств А и В называется операция, результатом которой является множество, состоящее из тех и только тех элементов, которые принадлежат множеству А или множеству В (т.е. хотя бы одному из этих множеств).

                               A∪B={x|x∈A∨x∈B}                                          

Опр.3. Разностью множеств А и В называется операция, результатом которой является множество, состоящее из тех и только тех элементов, которые принадлежат А и не принадлежат В одновременно.

                                  А В ={x∈A∧x∉B}                                            

Опр.4. Дополнением множества А до универсального множества называется множество, каждый элемент которого принадлежит универсальному и не принадлежит А.

Выражения с множествами

Из множеств, знаков операций над ними и, может быть, скобок можно составлять выражения. Например, А∩ВС.

Необходимо знать порядок выполнения операций в таких выражениях и уметь их читать.

Порядок выполнения операций

• если нет скобок, то в первую очередь выполняется дополнение до универсального множества простого множества, затем пересечение и объединение (они равноправны между собой), в последнюю очередь – разность;

• если в выражении есть скобки, то сначала выполняют операции в скобках по порядку, приведенному в пункте 1), а затем все операции за скобками.

Например, а) А∩ВС; б) А∩(ВС); в) А∩(ВС)’ .

Чтение выражения начинается с результата последней операции. Например, выражение а) читается так: разность двух множеств, первое из которых пересечение множеств А и В, а второе – множество С.

Круги Эйлера

Операции над множествами и отношения между ними можно изобразить с помощью кругов Эйлера. Это специальные чертежи, на которых обычные множества изображаются кругами, универсальное множество – прямоугольником

Задача. Изобразить с помощью кругов Эйлера множество (А∪В)’∩С.

Решение. Расставим порядок выполнения операций в данном выражении: (А∪В)’∩С. Заштрихуем результаты операций согласно порядку их выполнения

 

Свойства операции над множествами (рис.5)

Свойства I – 8 и 1⁰ – 8⁰ связаны между собой гак называемым принципом двойственности:

если в любом из двух столбиков свойств поменять знаки ∩→∪, ∪→∩, ∅→U, U→∅, то получится другой столбик свойств.

 

IV. Разбиение множества на классы

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

1) пересечение любых двух подмножеств пусто;

2) объединение всех подмножеств совпадает с множеством Х.

Разбиение множества на классы называют классификацией.

 V. Декартово произведение множеств

Декартовым произведением множеств А и В называется множество пар, первая компонента каждой из которых принадлежит множеству А, а вторая — множеству В Декартово произведение множеств А и В обозначают  А х В. Таким образом, А×В={(x,y)|x∈A˄y∈B}. Операцию нахождения декартова произведения множеств А и В называют декартовым умножением этих множеств.  Если А и В — числовые множества, то элементами декартова произведения этих множеств будут упорядоченные пары чисел.

VI. Правила суммы и произведения

Обозначим число элементов конечного множества A символом n(A). Если множества А и В не пересекаются, то n(AUВ)= n(А) +n (В). Если множества А и В пересекаются, то n(А U В) = n (A) + n (В) — n (A ∩ В).

Число элементов декартова произведения множеств A и В подсчитывается по формуле n (А X В) = n (A) • n (В).

Правило подсчета числа элементов объединения непересекающихся конечных множеств в комбинаторике носит название прави­ла суммы, если элемент х можно выбрать k способами, а элемент у — m способами, причем ни один из способов выбора элемента х не совпадает со способом выбора элемента у, то выбор «х или у» можно осуществить k + m способами.

Правило подсчета числа элементов декартова произведения конечных множеств в комбинаторике носит название правила произведения: если элемент х можно выбрать k способами, а элемент y – m способами, то пару (х,y) можно выбрать km способами.

VII. Список использованных источников

1. Асеев Г.Г. Абрамов О.М., Ситников Д.Э. Дискретная математика: Учебное пособие. – Ростов н/Д: «Феникс», Харьков: «Торсинг», 2003, -144с.

2. Виленкин Н. Я. Алгебра. Учебное пособие для IX – X классов средних школ с математической специализацией, 1968

3. Виленкин Н.Я. Рассказы о множествах. М.: Изд-во «Наука». – 1965. – 128с

4. Диаграммы Эйлера – Венна.URL:http://studopedia.net/1_5573_diagrammi-eylera-venna.html

5. Киреенко С.Г., Гриншпон И. Э. Элементы теории множеств (учебное пособие). – Томск, 2003. – 42 с.

6. Куратовский К., Мостовский А. Теория множеств. – М.: Мир, 1970, – 416с.

Введение в теорию множеств

Концепция бесконечности идеологически далека от обычной математической терминологии — ни одна другая тема не выходит за пределы математики так, что превращается из практического, аналитического инструмента в явление мифического порядка. Понятие бесконечности на короткой ноге с такими культурными темами, как религия и философия, и окутана загадочной аурой божественности.

Когда-то давным давно во всех академических дисциплинах было заложено фундаментальное убеждение — существует единственная бесконечность.

Но 1874 году довольно малоизвестный математик провёл серию революционных наблюдений, подвергавших сомнению это всеми принятое и глубоко укоренившееся убеждение. Георг Кантор в своей (теперь уже ставшей легендарной) публикации On a Property of the Collection of All Real Algebraic Numbers доказал, что множество вещественных чисел «более многочисленно», чем множество алгебраических чисел. Так он впервые показал, что существуют бесконечные множества разных размеров (не волнуйтесь — для прояснения этого мы вскоре подробно изучим его статью).

«Множество — это большое количество, которое позволяет воспринимать себя как одно» — Георг Кантор

С 1874 по 1897 год Кантор неистово публиковал статью за статьёй, разворачивая свою теорию абстрактных множеств в расцветающую дисциплину. Однако она была встречена упорным сопротивлением и критикой; многие педанты считали, что его теории перешли в область философии и нарушили принцип религии.

Однако когда начали находиться практические применения математического анализа, отношение к теории изменилось, а идеи и результаты Кантора начали получать признание. К первому десятилению 20-го века его наблюдения, теории и публикации достигли своей кульминации — признания современной теории множеств новой, совершенно уникальной областью математики:

Теория множеств — это математическая теория о точно определённых наборах (множествах) отдельных объектов, называемых членами или элементами множества.

Сколько чисел есть между 0 и 1?

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

В первой части теории исследуется множество вещественных алгебраических чисел и доказывается, что это бесконечное счётное множество. Здесь не стоит путать — «счётное» не обязательно значит, что счёт ведётся строго в целых числах; в контексте теории множеств «счётное» означает, что множество, пусть даже состоящее из бесконечного числа элементов, можно описать повторяющимся рядом, например упорядоченной многочленной функцией. Кантор назвал это свойство бесконечного набора чисел соответствия «один к одному» с рядом, наличием взаимно однозначного соответствия.

Если говорить вкратце, то набор, или множество всех вещественных алгебраических чисел можно вывести с помощью какого-то теоретического ряда многочленов с различными степенями и коэффициентами; следовательно, множество всех вещественных алгебраических чисел является бесконечным счётным множеством.

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

Затем Кантор указывает, что в любом замкнутом интервале [a,b] существует хотя бы одно транцендентное число, которое никогда нельзя будет подсчитать в бесконечном счётном множестве. Поскольку одно такое число существует, то предполагается, что в семействе вещественных чисел существует бесконечное количество транцендентных чисел.

Таким образом он доказал очень чёткое различие между множеством непрерывных, идущих потоком несчётных чисел и набора счётных чисел, которые можно представить как ряд, например, всех вещественных алгебраических чисел.

Далее: запись и операции

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

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

Вооружившись базовым пониманием истории множеств и совершив кратковременное погружение в глубины его влияния, мы можем приступать к знакомству с основами системы обозначений теории множеств.

Часть вторая. Краткий обзор операций, обозначений и диаграмм Венна.

Как сказано в предыдущей части, одно из фундаментальных преимуществ теории множеств произрастает не из какой-то конкретной теории, а из созданного ею языка. Именно поэтому основная часть этого раздела будет посвящена обозначениям, операциям и визуальному представлению теории множеств. Давайте начнём с объяснения базовых символов обозначения множества — соответствующих ему элементов. В таблице ниже показан пример одного множества A с тремя элементами:

A — это множество с элементами «1», «2» и «3»

«1» — элемент множества A

В первой строке показано множество A с тремя отдельными элементами (A = {1,2,3}); во второй строке показан правильный способ обозначения отдельного конкретного элемента 1, принадлежащего множеству A. Пока всё довольно просто, но теория множеств становится существенно интереснее, когда мы добавляем второе множество — начинается путешествие по стандартным операциям.

Для показанной выше таблицы давайте введём два дополнительных множества B и C, содержащие следующие элементы: B = {3,A,B,C,D,E}, C = {1,2}. Хоть мы и создали три множества (A,B и C), в показанных ниже примерах операции выполняются одновременно только с двумя множествами, поэтому внимательно следите за тем, какие множества указаны в самом левом столбце. В показанной ниже таблице представлено пять самых распространённых операндов множеств:

Операции: пересечение (intersection) — множество элементов, принадлежащих множеству A и множеству B;

объединение (union) — множество элементов, принадлежащих множеству A или множеству B;

подмножество (subset) — C является подмножеством A, множество C включено во множество A;

собственное (истинное) подмножество — C является подмножеством A, но C не равно A;

относительное дополнение (relative complement) — множество элементов, принадлежащих к A и не к B.

Вот и они, самые распространённые операции в теории множеств; они довольно популярны и в областях за пределами чистой математики. На самом деле, высока вероятность того, что вы уже видели подобные типы операций в прошлом, хоть и не совсем с такой терминологией, и даже пользовались ими. Хорошая иллюстрация: попросите любого студента описать диаграмму Венна из двух пересекающихся групп, и он интуитивно придёт к правильному результату.

Ещё раз взгляните на последнюю строку, относительное дополнение — какое необычное сочетание слов, правда? Относительное к чему? Если относительное дополнение A — B определяется как A и не B, то как нам обозначить всё, что не является B?

Универсальное множество — пустое множество

Оказывается, если мы хотим получить значимый ответ, то для начала нужно предоставить генеральной совокупности нашей задачи множеств некий контекст. Он часто явным образом задаётся в начале задачи, когда допустимые элементы множества ограничиваются некоторым фиксированным классом объектов, в котором существует универсальное множество, являющееся общим множеством, содержащим все элементы для этой конкретной задачи. Например, если мы хотели бы работать со множествами только из букв английского алфавита, то наше универсальное множество U состояло бы из 26 букв алфавита.

Для любого подмножества A множества U дополнение множества A (обозначаемое A′ или U − A) определяется как множество всех элементов в генеральной совокупности U, которое не находится в A. Если вернуться к поставленному выше вопросу, то дополнением множества B является всё в пределах универсального множества, что не принадлежит B, в том числе и A.

Прежде чем мы двинемся дальше, надо упомянуть ещё одно принципиальное множество, которое достаточно важно для базового понимания: нулевое или пустое множество. Учтите, что существует единственное пустое множество, поэтому никогда не говорят «пустые множества». Хотя мы не будем рассматривать в этой статье эквивалентность, основная теория гласит, что два множества эквивалентны, если они имеют одинаковые элементы; следовательно, может быть только одно множество без элементов. Поэтому существует единственное пустое множество.

Диаграммы Венна и остальное

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

Схематичное изображение всех возможных отношений нескольких множеств

Ниже показано изображение шести самых распространённых диаграмм Венна, и почти во всех показаны недавно изученные нами операнды:

Объединение (union), пересечение (intersection), относительное дополнение (relative complement), симметрическая разность (symmetric difference), собственное множество (proper subset), абсолютное дополнение (universal дополнение).

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

Закончим мы этот раздел введением понятия мощности (кардинального числа). Мощность множества, обозначаемая символом абсолютного значения — это просто количество уникальных элементов, содержащихся в определённом множестве. Для показанного выше примера мощность трёх множеств равна: |A| = 3, |B| =6, |C| = 2.

Прежде чем двигаться дальше, дам вам пищу для размышлений — какова связь между мощностью и количеством возможных подмножеств?

Часть 3. Мощность и показательные множества

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

Количество уникальных элементов во множестве, также известное как мощность, предоставляет нам фундаментальную опорную точку для дальнейшего, более глубокого анализа этого множества. Во-первых, мощность — это первое из рассматриваемых нами уникальных свойств, позволяющее нам объективно сравнивать различные виды множеств, проверяя, существует ли биекция (это, с небольшими оговорками, просто более изысканный термин для function ) одного множества на другое. Ещё один способ применения мощности, а также тема этой части статьи — мощность позволяет оценить все возможные подмножества, существующие в данном множестве. Что достаточно буквально можно применять в повседневных задачах распределения решений, будь то планирование бюджета на поездку в продуктовый магазин или оптимизация портфеля акций.

Примеры мощности множеств

Например, в таблице выше показаны пять отдельных множеств с их указанной справа мощностью. Как мы уже говорили, символ мощности напоминает символ абсолютного значения — значение, заключённое между двумя вертикальными линиями. Все примеры понятны, за исключением, возможно, последней строки, которая подчёркивает тот факт, что на мощность влияют только уникальные элементы множества.

Помните подмножества из предыдущей части статьи? Оказывается, что мощность некоторого множества A и количество возможных подмножеств множества A имеют удивительную связь. Ниже показано, что количество подмножеств, которые можно составить из некоторого подмножества, увеличивается с порядком мощности на предсказуемую величину:

Количество возможных подмножеств в C= 2^|C|

Давайте подробно рассмотрим показанный ниже пример. Однако для начала поразмыслим над формулой. Представим мощность как общее количество «позиций», которое представляет множество. При создании некоторого подмножества для каждой возможной позиции принимается булево решение (да/нет). Это означает, что каждый уникальный элемент, добавляемый к множеству (то есть увеличивающий мощность на единицу) увеличивает количество возможных подмножеств на множитель два. Если вы программист или учёный, то можете уяснить эту логику немного глубже, если поймёте, что все подмножества множества можно вычислить с помощью таблицы двоичных чисел.

Показательное множество (булеан)

Прежде чем мы вычислим все подмножества для примера множества C, я хотел бы ввести последнее понятие — булеан.

Булеан обозначается заглавной буквой S, за которой в скобках указывается исходное множество S(С). Булеан — это множество всех подмножеств C, включая пустое множество и само множество C. В таблице ниже показан булеан S(С) со всеми перестановками возможных подмножеств для множества C, содержащихся в одном большом множестве.

Для удобства форматирования я убрал запятые между множествами***

Чем может быть полезен булеан? На самом деле, вы скорее всего много раз интуитивно использовали булеаны, даже об этом не догадываясь. Каждый раз, когда вы выбираете подмножество элементов из более крупного множества, вы выбираете элемент булеана. Например ребёнок внимательно изучающий кондитерский магазин с купюрой в 5 долларов — какой элемент булеана множества всех доступных сладостей он выберет? Или если взять более технический пример: вам, как разработчику ПО может потребоваться запросить всех возможных пользователей базы данных, также обладающих свойством X и Y — ещё один случай, в котором одно подмножество выбирается из всех возможных подмножеств.

Эквивалентность и биективная функция

Теперь мы понимаем, что такое мощность множества, почему оно важно, и его связь с булеаном. Поэтому вернёмся ненадолго к тому, что упоминали в самом начале: что конкретно определяет эквивалентность в теории множеств?

Очевидно, что два множества с одинаковой мощностью имеют некое общее свойство, но на этом сходства заканчиваются — что если в одном из множеств есть многократно повторяющийся элемент? Что если два множества имеют одинаковую мощность и количество элементов? Нельзя отрицать, что они в какой-то степени «эквивалентны», но даже в этом случае всё равно есть возможность различий, потому что каждое множество может иметь разные элементы, повторяющиеся одинаковое количество раз. Смысл здесь в том, что концепция эквивалентности в теории множеств немного чужда другим областям математики. Установление эквивалентности в этом мире требует знакомства с этой концепцией и нового языка. В последней части этой статьи мы введём понятие эквивалентности, а также таких базисных свойств, как инъективные, биективные и сюръективные функции.

Часть 4. Функции.

В этой части мы подробнее расскажем о функциях в пределах теории множеств. Как и в случае с предыдущими понятиями, терминология стандартных функций в теории множеств слегка отличается от других областей математики, а потому требует объяснения. Терминологии довольно много, так что давайте сразу приступим к делу! В первой таблице внизу отражены понятия области определения, области значений и значения функции:

Функция в мире теории множеств — это просто соответствие некоторых (или всех) элементов из Множества A некоторым (или всем) элементам Множества B. В показанном выше примере набор всех возможных элементов A называется областью определения; элементы A, используемые в качестве входных значений, в частности называются аргументами. Справа набор всех возможных выходных значений (называющихся в других областях математики «областью значений»), называется кообластью; набор настоящих выходных элементов B, соответствующих A, называется образом.

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

Инъекции, сюръекции и биекции

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

• Функция является инъективной (или «один к одному»), если каждый элемент в кообласти отображается не более чем на один элемент в области определения.
• Функция является сюръективной, если каждый элемент в кообласти отображается не менее чем на один элемент в области определения. (то есть образ и кообласть функции эквивалентны.)
• Функция является биективной, если каждый элемент кообласти отображается ровно на один элемент области определения.

Вишенкой на торте этих сложных определений стали возможные дополнительные значения слов «инъективный», «сюръективный» и «биективный». Когда они используются для описания функции (соответствия), верным будет представленное выше значение; однако также верно будет идентифицировать функции (соответствия) исключительно по этим характеристикам. То есть функция с инъективным поведением называется инъекцией, функция с сюръективным поведением — сюръекцией, а функция с биективным поведением — биекцией.

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

Биекция (инъекция + сюръекция), инъекция (инъекция + не-сюръекция), сюръекция (не-инъекция + сюръеция), без классификации (не-инъекция + не-сюръекция)

Вот и всё! Теперь мы обладаем элементарным пониманием самых часто встречаемых соотношений, встречающихся в мире множеств. Однако это ни в коем случае не конец нашего пути: напротив, это самое начало.

Фундаментальные основы теории множеств — ключ к пониманию более высокоуровневых областей математики. Чтобы продолжить наше движение вверх, к этим различным областям, далее нужно будет, пользуясь своими знаниями о теории множеств, уяснить одну из самых революционных теорий в истории математики: систему аксиом Цермело-Френкеля.