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

Впрочем, так как я не математик, а стопроцентный гуманитарий, то вполне возможно, что написанное ниже - враньё! Ну, или по крайней мере часть.

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

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

Итак, считается, что определения у множества нет и, что мы интуитивно понимаем, что это такое. Кантор говорил так: «Под «множеством» мы понимаем соединение в некое целое M определённых хорошо различимых предметов m нашего созерцания или нашего мышления (которые будут называться «элементами» множества M)». Конечно, это просто иносказательное описание, а не математическое определение.
Теория множеств известна (прошу простить за каламбур) множеством удивительных парадоксов. Например . С ней также связан кризис математики в начале XX-го века.

Теория множеств существует в нескольких вариантах, таких как ZFC или NBG и других. Вариантом теории являетсятеория типов , которая весьма важна для программистов. Наконец, некоторые математики предлагает вместо теории множеств в качестве фундамента математики использовать теорию категорий, о которой много написано на Хабре. Теория типов и теория множеств описывают математические объекты как бы «изнутри», а теория категорий не интересуется их внутренним строением, а только как они взаимодействуют, т.е. даёт их «внешнюю» характеристику.
Для нас важны только самые начальные основы теории множеств.

Множества бывают конечными.

Бывают бесконечными. Например, множество целых чисел, которое обозначается буквой ℤ (или просто Z, если у вас на клавиатуре нет фигурных букв).

Наконец, есть пустое множество. Оно ровно одно во всей Вселенной. Имеется простое доказательство этого факта, но я не буду его здесь приводить.

Если множество бесконечно, оно бывает счетным . Счетные - те множества, элементы которых можно перенумеровать натуральными числами. Само множество натуральных чисел, как вы догадались, тоже счетно. А вот как можно пронумеровать целые числа.

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

Мы зигзагом движемся по рациональным числам, начиная с 1. При этом каждому числу, которое у нас получается, присваиваем четный номер. Отрицательные рациональные числа считаются тем же способом, только номера нечетные, начиная с 3. Ноль традиционно получает первый номер. Таким образом видно, что все рациональные числа можно пронумеровать. Все числа вроде 4,87592692976340586068 или 1,00000000000001, или -9092, или даже 42 получают свой номер в этой таблице. Тем не менее, сюда попадают не все числа. Например, √2 не получит номера. Когда-то это очень огорчило греков. Говорят, того парня, который открыл иррациональные числа, утопили.

Обобщением понятия размера для множеств является мощность . Мощность конечных множеств равна числу их элементов. Мощность бесконечных множеств обозначается еврейской буквой алеф с индексом. Самая маленькая бесконечная мощность-это мощность ℵ 0 . Она равна мощности счетных множеств. Как видим, таким образом, натуральных чисел, так же много, как и целых или рациональных. Странно, но факт. Следующая - мощность континуума . Она обозначается маленькой готической буквой с. Это мощность множества вещественных чисел ℝ, например. Существует гипотеза о том, что мощность континуума равна мощности ℵ 1 . Т.е., что это следующая после мощности счетных множеств мощность, и нет никакой промежуточной мощности между счетными множествами и континуумом.

Над множествами можно проводить различные операции и получать новые множества.

1. Множества можно объединять.

3. Можно искать пересечение множеств.

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

1. Само S и ∅ принадлежат T.
2. Любое объединение произвольных семейств элементов T принадлежит T.
3. Пересечение произвольного конечного семейства элементов T принадлежит T.

Если эти три пункта выполняются, то наша структура является топологией T на множестве S. Элементы множества T называются открытыми множествами на S в топологии T. Дополнением к открытым множествам являются замкнутые множества. Важно отметить, что если множество открыто, это еще не означает, что оно не замкнуто и наоборот. Кроме того в данном множестве относительно некоторой топологии могут быть подмножества, которые не являются ни открытыми, ни замкнутыми.

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

Самая простая топология на нем называется антидискретной топологией . Вот она.

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

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

А вот еще топология. Она задана на множестве из 7 разноцветных звезд S, которые я обозначил буквами. Убедитесь, что это топология. Я в этом не уверен, вдруг я пропустил, какое-то объединение или пересечение. На этой картинке должно быть само множество S, пустое множество, пересечения и объединения всех остальных элементов топологии также должны быть на картинке.

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

Если в множестве много точек (не говоря уже о том, что их может быть бесконечно много), то перечислить все открытые множества может быть проблематично. Например, для дискретной топологии на множестве из трех элементов, надо составить список из 8 множеств. А для 4-элементного множества дискретная топология будет насчитывать уже 16, для 5 - 32, для 6 -64 и так далее. Для того, чтобы не перечислять все открытые множества используется как бы сокращенная запись - выписываются те элементы, объединения которых могут дать, все открытые множества. Это называется базой топологии. Например, для дискретной топологии пространства из трех треугольников - это будут три треугольника взятые в отдельности, потому, что объединяя их, можно получить все остальные открытые множества в данной топологии. Говорят, что база генерирует топологию. Множества, элементы которого генерируют базу, называют предбазой.

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

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

С понятием открытого множества неразрывно связано понятие окрестности . Некоторые авторы дают определение топологии не через открытые множества, а через окрестности. Окрестность точки p - это множество, которое содержит открытый шар с центром в этой точке. Например, на рисунке ниже показаны окрестности и не окрестности точек. Множество S 1 является окрестностью точки p, а множество S 2 нет.

Связь между открытым множеством и октестностью можно сформулировать так. Открытое множество - такое множество, каждый элемент которого имеет некоторую окрестность, лежащую в данном множестве. Или наоборот можно сказать, что множество открыто, если оно является окрестностью любой своей точки.

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

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

В математике понятие множества является одним из основных, фундаментальным, однако единого определения множества не существует. Одним из наиболее устоявшихся определений множества является следующее: под множеством понимают любое собрание определённых и отличных друг от друга объектов, мыслимых как единое целое. Создатель теории множеств немецкий математик Георг Кантор (1845-1918) говорил так: "Множество есть многое, мыслимое нами как целое".

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

Пример 0 (Паскаль). Существует набор продуктов, продаваемых в нескольких магазинах города. Определить: какие продукты есть во всех магазинах города; полный набор продуктов в городе.

Решение. Определяем базовый тип данных Food (продукты), он может принимать значения, соответствующие названиями продуктов (например, hleb). Объявляем тип множества, он определяет все подмножества, составленные из комбинаций значений базового типа, то есть Food (продукты). И формируем подмножества: магазины "Солнышко", "Ветерок", "Огонёк", а также производные подмножества: MinFood (продукты, которые есть во всех магазинах), MaxFood (полный набор продуктов в городе). Далее прописываем операции для получения производных подмножеств. Подмножество MinFood получается в результате пересечения подмножеств Solnyshko, Veterok и Ogonyok и включает те и только те элементы этих подмножеств, которые включены в каждое их этих подмножеств (в Паскале операция пересечения множеств обозначается звёздочкой: A * B * C, математическое обозначение пересечения множеств дано далее). Подмножество MaxFood получается в результате объединения тех же подмножеств и включает элементы, которые включены во все подмножества (в Паскале операция объединения множеств обозначается знаком "плюс": A + B + C, математическое обозначение объединения множеств дано далее).

Код PASCAL

Program Shops; type Food=(hleb, moloko, myaso, syr, sol, sahar, maslo, ryba); Shop = set of Food; var Solnyshko, Veterok, Ogonyok, MinFood, MaxFood: Shop; Begin Solnyshko:=; Veterok:=; Ogonyok:=; ... MinFood:=Solnyshko * Veterok * Ogonyok; MaxFood:=Solnyshko + Veterok + Ogonyok; End.

Какие бывают множества

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

Натуральных чисел 0, 1, 2, 3, 4, ...

Простых чисел

Чётных целых чисел

и т.п. (основные числовые множества рассмотрены в этого материала).

Объекты, составляющие множество, называются его элементами. Можно сказать, что множество - это "мешок с элементами". Очень важно: в множестве не бывает одинаковых элементов.

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

Если M - множество, а a - его элемент, то пишут: a ∈M , что означает "a принадлежит множеству M ".

Из первого (нулевого) примера на Паскале с продуктами, которые есть в тех или иных магазинах:

hleb ∈VETEROK ,

что означает: элемент "hleb" принадлежит множеству продуктов, которые есть в магазине "VETEROK".

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

Множество можно задать, перечислив все его элементы, например:

VETEROK = {hleb , syr , maslo } ,

A = {7 , 14 , 28 } .

Перечислением можно задать только конечное множество. Хотя можно сделать это и описанием. Но бесконечные множества можно задать только описанием.

Для описания множеств используется следующий способ. Пусть p (x ) - некоторое высказывание, которое описывает свойства переменной x , областью значений которых является множество M . Тогда через M = {x | p (x )} обозначаентся множество, состоящее из всех тех и только тех элементов, для которых высказывание p (x ) истинно. Это выражение читается так: "Множество M , состоящее из всех таких x , что p (x ) ".

Например, запись

M = {x | x ² - 3x + 2 = 0}

Пример 6. Согласно опросу 100 покупателей рынка, купивших цитрусовые, апельсины купили 29 покупателей, лимоны - 30 покупателей, мандарины - 9, только мандарины - 1, апельсины и лимоны - 10, лимоны и мандарины - 4, все три вида фруктов - 3 покупателя. Сколько покупателей не купили ни одного вида перечисленных здесь цитрусовых? Сколько покупателей купили только лимоны?

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

Для определения ещё одной важной операции над множествами - декартова произведения множеств введём понятие упорядоченного набора длины n .

Длиной набора называется число n его компонент. Набор, составленный из элементов , взятых именно в этом порядке, обозначается . При этом i я () компонента набора есть .

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

Декартовым (прямым) произведением множеств называется множество, обозначаемое и состоящее из всех тех и только тех наборов длины n , i -я компонента которых принадлежит .

Например, если , , ,

New Page 1

Математический анализ для чайников. Урок 1. Множества.

Понятие множества

Множество - это совокупность некоторых объектов. Какие могут быть множества? Во первых, конечные или бесконечные. Например, множество спичек в коробке - это конечное множество, их можно взять и сосчитать. Количество песчинок на пляже сосчитать гораздо труднее, но, в принципе, возможно. И это количество выражается каким то конечным числом. Так что множество песчинок на пляже тоже конечно. А вот множество точек на прямо это множество бесконечное. Так как во первых, прямая сама по себе бесконечная и на ней можно поставить сколько угодно точек. Множество точек отрезка прямой тоже бесконечное. Потому что теоретически точка может быть сколь угодно маленькая. Конечно, мы физически не сможем нарисовать точку, размером, например, меньше размера атома, но, с точки зрения математики точка не имеет размера. Ее размер равен нулю. А что получается, если разделить на нуль какое то число? Правильно, бесконечность. И хотя множество точек на прямой и на отрезке стремится к бесконечности, это не одно и тоже. Множество - это не количество чего то там, а совокупность каких либо объектов. И равными считаются только те множества, которые содержат абсолютно одинаковые объекты. Если в одном множество содержит те же объекты, что и другое множество, но плюс еще один какой нибудь "левый" объект, то это уже не равные множества.

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

Каждое множество задается правилом, которое однозначно определяет, принадлежит элемент к этому множеству или нет. Какие могут быть эти правила? Например, если множество конечное, можно тупо перечислить все его объекты. Можно задать диапазон. Например, все целые числа от 1 до 10. Это будет тоже конечное множество, но тут мы не перечисляем его элементы, а формулируем правило. Или неравенство, к примеру, все числа, больше 10. Это будет уже бесконечное множество, поскольку нельзя назвать самое большое число - какие бы число мы не называли, всегда есть это число плюс 1.

Как правило, множества обозначаются прописными буквами латинского алфавита A, B, C и так далее. Если множество состоит из конкретных элементов и мы хотим задать его списком этих элементов, то мы можем заключить этот список в фигурные скобки, например A={a, b, c, d}. Если a является элемент множества A, то это записывают следующим образом: a Î A . Если же a не является элементом множества A, то пишут a Ï A. Одним из важных множеств является множество N всех натуральных чисел N={1,2,3,...,} . Существует также специальное, так называемое пустое множество, которое не содержит ни одного элемента. Пустое множество обозначается символом Æ .

Определение 1 (определение равенства множеств). Множества А и B равны, если они состоят из одних и тех же элементов, то есть, если из x Î A следует x Î B и обратно, из x Î B следует x Î A.

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

(А=В ) := " x (( x Î A ) Û (x Î B )),

Это означает, что для любого объекта x соотношения x Î A и x Î B равносильны.

Здесь " – квантор всеобщности (" x читается как "для каждого x ").

Определение 2 (определение подмножества). Множество А является подмножеством множества В , если любое х принадлежащее множеству А , принадлежит множеству В. Формальное это можно представить в виде выражения:

(A Ì B ) := " x ((x Î A ) Þ (x Î B ))

Если A Ì B, но A ¹ B, то A – собственное подмножество множества В. В качестве примера можно привести опять же прямую и отрезок. Если отрезок лежит на прямой, то множество его точек являются подмножеством точек этой прямой. Или, другой пример. Множество целых чисел, которые делятся без остатка на 3, является подмножеством множества целых чисел.

Замечание. Пустое множество является подмножеством любого множества.

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

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

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

C=A È B: = {x:x Î A или x Î B }

Пример. Решим неравенство | 2 x + 3 | > 7.

Из него следует либо неравенство 2x+3 >7, для 2x+3 ≥0, тогда x>2

либо неравенство 2x+3 <-7, для 2x+3 <0, тогда x<-5.

Множеством решений данного неравенство является объединения множеств (-∞,-5) È (2, ∞).

Давайте проверим. Посчитаем значение выражение | 2 x + 3 | для нескольких точек, лежащих и не лежащих в данном диапазоне:

x	| 2 x + 3 |
-10	17
-6	9
-5	7
-4	5
-2	1
0	3
1	5
2	7
3	9
5	13

Как видим, все решено правильно (красным обозначены пограничные диапазоны).

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

Формально операция пересечения множеств записывается так:

C=A Ç B := {x: x Î A и x Î B }

Пример. Пусть у нас есть множество Тогда C=A Ç B = {5,6,7}

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

Формально вычитание множества записывается так:

A \ B: = {x:x Î A и x Ï B }

Пример. Пусть у нас есть множество A={1,2,3,4,5,6,7}, B={5,6,7,8,9,10}. Тогда C=A \ B = { 1,2,3,4}

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

A : = {x:x Î U и x Ï A} = U \ A

Графически это можно изобразить в виде:

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

Математически это можно выразить так:

A D B:= (A \ B ) È (B \ A ) = (A È B ) \ (A Ç B )

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

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

1. Коммутативность.

A È B=B È A
A Ç B=B Ç A

1. Ассоциативность.

(A È B ) È C=A È (B È C )
(A Ç B ) Ç C= A Ç (B Ç C )

Математическим анализом называется раздел математики, занимающийся исследованием функций на основе идеи бесконечно малой функции.

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

Величиной называется все что может быть измерено и выражено числом.

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

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

Если элемент x принадлежит множеству X , то записывают x ∈ Х (∈ — принадлежит).
Если множество А является частью множества В, то записывают А ⊂ В (⊂ — содержится).

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

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

• А={1,2,3,5,7} — множество чисел
• Х={x 1 ,x 2 ,...,x n } — множество некоторых элементов x 1 ,x 2 ,...,x n
• N={1,2,...,n} — множество натуральных чисел
• Z={0,±1,±2,...,±n} — множество целых чисел

Множество (-∞;+∞) называется числовой прямой , а любое число — точкой этой прямой. Пусть a — произвольная точка числовой прямой иδ — положительное число. Интервал (a-δ; a+δ) называется δ-окрестностью точки а .

Множество Х ограничено сверху (снизу), если существует такое число c, что для любого x ∈ X выполняется неравенство x≤с (x≥c). Число с в этом случае называется верхней(нижней) гранью множества Х. Множество, ограниченное и сверху и снизу, называется ограниченным . Наименьшая (наибольшая) из верхних (нижних) граней множества называется точной верхней (нижней) гранью этого множества.

Основные числовые множества

N	{1,2,3,...,n} Множество всех
Z	{0, ±1, ±2, ±3,...} Множество целых чисел. Множество целых чисел включает в себя множество натуральных.
Q	Множество рациональных чисел . Кроме целых чисел имеются ещё и дроби. Дробь — это выражение вида , где p — целое число, q — натуральное. Десятичные дроби также можно записать в виде . Например: 0,25 = 25/100 = 1/4. Целые числа также можно записать в виде . Например, в виде дроби со знаменателем "один": 2 = 2/1. Таким образом любое рациональное число можно записать десятичной дробью — конечно или бесконечной периодической.
R	Множество всех вещественных чисел . Иррациональные числа — это бесконечные непериодические дроби. К ним относятся: Вместе два множества (рациональных и иррациональных чисел) — образуют множество действительных (или вещественных) чисел.

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

Элементы логической символики

Запись ∀x: |x|<2 → x 2 < 4 означает: для каждого x такого, что |x|<2, выполняется неравенство x 2 < 4.

Квантор

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

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

• ∀- квантор общности , используется вместо слов "для всех", "для любого".
• ∃- квантор существования , используется вместо слов "существует", "имеется". Используется также сочетание символов ∃!, которое читается как существует единственный.

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

Два множества А и В равны (А=В), если они состоят из одних и тех же элементов.
Например, если А={1,2,3,4}, B={3,1,4,2} то А=В.

Объединением (суммой) множеств А и В называется множество А ∪ В, элементы которого принадлежат хотя бы одному из этих множеств.
Например, если А={1,2,4}, B={3,4,5,6}, то А ∪ B = {1,2,3,4,5,6}

Пересечением (произведением) множеств А и В называется множество А ∩ В, элементы которого принадлежат как множеству А, так и множеству В.
Например, если А={1,2,4}, B={3,4,5,2}, то А ∩ В = {2,4}

Разностью множеств А и В называется множество АВ, элементы которого принадлежат множесву А, но не принадлежат множеству В.
Например, если А={1,2,3,4}, B={3,4,5}, то АВ = {1,2}

Симметричной разностью множеств А и В называется множество А Δ В, являющееся объединением разностей множеств АВ и ВА, то есть А Δ В = (АВ) ∪ (ВА).
Например, если А={1,2,3,4}, B={3,4,5,6}, то А Δ В = {1,2} ∪ {5,6} = {1,2,5,6}

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

Свойства перестановочности

A ∪ B = B ∪ A
A ∩ B = B ∩ A

Сочетательное свойство

(A ∪ B) ∪ C = A ∪ (B ∪ C)
(A ∩ B) ∩ C = A ∩ (B ∩ C)

Счетные и несчетные множества

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

Если это соответствие взаимооднозначное, то множества называются эквивалентными или равномощными, А В или В А.

Пример 1

Множество точек катета ВС и гипотенузы АС треугольника АВС являются равномощными.

Содержание статьи

МНОЖЕСТВ ТЕОРИЯ. Под множеством понимается совокупность каких-либо объектов, называемых элементами множества. Теория множеств занимается изучением свойств как произвольных множеств, так и множеств специального вида независимо от природы образующих их элементов. Терминология и многие результаты этой теории широко используются в математике, например в математическом анализе, геометрии и теории вероятностей.

Терминология.

Если каждый элемент множества B является элементом множества A , то множество B называется подмножеством множества A . Например, если множество A состоит из чисел 1, 2 и 3, то у него существует 8 подмножеств (три из них содержат по 1 элементу, три – содержат по 2 элемента, одно подмножество, по определению, есть само множество A и восьмое подмножество – это пустое множество, не содержащее ни одного элемента). Запись x О A означает, что x – элемент множества A , а B М A – что B является подмножеством множества A . Если универсальное множество, из которого мы берем элементы всех множеств, обозначить через I , то элементы, принадлежащие I , но не входящие в A , образуют множество, называемое дополнением множества A и обозначаемое C (A ) или A ў. Множество, не содержащее ни одного элемента, называется пустым множеством.

Над множествами можно производить операции, напоминающие операции, производимые в арифметике над числами. Объединением A B множеств A и B называется множество, состоящее из всех элементов, принадлежащих хотя бы одному из множеств A и B (элемент, принадлежащий множествам A и B одновременно засчитывается при включении в A B только один раз). Пересечением A B множеств A и B называется множество, состоящее из всех элементов, принадлежащих как A , так и B . Предположим, например, что множество I состоит из всех букв русского алфавита, A – из всех согласных, а множество B – из букв, встречающихся в слове «энциклопедия». Тогда объединение A B состоит из всех букв алфавита, кроме а , ё , у , ъ , ь , ы , ю , пересечение A B – из букв д , к , л , н , п , ц , а дополнение C (A ) – из всех гласных. Раздел теории множеств, который занимается исследованием операций над множествами, называется алгеброй множеств. Пустое множество играет в алгебре множеств роль нуля, и поэтому его часто обозначают символом О ; например, A O = A , A O = O .

Булева алгебра.

Алгебра множеств является подразделом булевых алгебр, впервые возникших в трудах Дж.Буля (1815–1864). В аксиомах булевой алгебры отражена аналогия между понятиями «множества», «событие» и «высказывания». Логические высказывания можно записать с помощью множеств и проанализировать с помощью булевой алгебры.

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

2831. Не бывает котенка, который любит рыбу и которого нельзя научить всяким забавным штукам;

2. Не бывает котенка без хвоста, который будет играть с гориллой;

3. Котята с усами всегда любят рыбу;

4. Не бывает котенка с зелеными глазами, которого можно научить забавным штукам;

5. Не бывает котят с хвостами, но без усов.

Какое заключение можно вывести из этих утверждений?

Рассмотрим следующие множества (универсальное множество I включает в себя всех котят): A – котята, любящие рыбу; B – котята, обучаемые забавным штукам; D – котята с хвостами; E – котята, которые будут играть с гориллой; F – котята с зелеными глазами и G – котята с усами. Первое утверждение гласит, что множество котят, которые любят рыбу, и дополнение множества котят, обучаемых забавным штукам, не имеют общих элементов. Символически это записывается как