Главная » Маринование грибов » Можно найти множество различных видов. Свойства операций над множествами

Можно найти множество различных видов. Свойства операций над множествами

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

Начнём с того, что же, собственно, понимать под словом "множество". На интуитивном уровне под множеством понимают некую совокупность объектов, именуемых элементами множества . Например, можно говорить о множестве груш на столе, множестве букв в слове "множество" и так далее. Георг Кантор (немецкий математик, основатель современной теории множеств) писал, что под "множеством я понимаю вообще всё то многое, которое возможно мыслить как единое, т.е. такую совокупность определённых элементов, которая посредством одного закона может быть соединена в одно целое". Некоторое время понятие множества, введённое Кантором, полагалось довольно очевидным и не требующим дополнительных пояснений. Казалось, что появление работ Больцано, а затем и Кантора в конце 19 - начале 20 века, положит конец многим вопросам (например, окончательно разрешит апории Зенона, разрешит проблему бесконечности и т.д.) и станет началом новой математики. Гениальный немецкий математик Давид Гильберт отмечал, что "Никто не изгонит нас из рая, созданного Кантором".

Однако появление парадоксов (Рассел, Бурали-Форти) положило конец "канторовскому раю". Одна из формулировок парадокса Рассела, известная под названием "парадокс брадобрея" звучит так: в некотором селе брадобрей бреет тех и только тех жителей села, которые не бреются сами. Кто же тогда бреет самого брадобрея? Допустим, он бреет себя самостоятельно. Т.е. он принадлежит к тем жителям села, которые бреются сами, - а ведь согласно условию этих жителей брадобрей не имеет права брить. Следовательно, допущение о том, что брадобрей бреется сам, приводит к противоречию. Попробуем иначе: пусть брадобрей не бреется сам. Если он сам не бреется, то согласно условию его обязан брить брадобрей - вновь противоречие! Были предприняты попытки разрешить противоречия теории множеств, предложенной Кантором. Саму канторовскую теорию множеств математики назвали "наивной". Целью многих математических трудов стало построение такой системы аксиом, в которой подобные парадоксы были бы невозможны. Но задача оказалась не столь уж проста. На данный момент, насколько мне известно, единой аксиоматики теории множеств нет. Наиболее распространенной считается система аксиом Цермело-Френкеля (ZFC), в которой особняком стоит так называемая "аксиома выбора". Есть и вариации этой системы: например, автор B-метода Жан-Раймонд Абриал предложил типизированную теорию множеств, на основании которой создал формальный метод разработки программ.

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

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

$$\{а, е, ё, и, о, у, ы, э, ю, я \} $$

А множество всех целых целых чисел, больших 8, но меньших 15, будет таким:

$$\{9,10,11,12,13,14 \} $$

Множество может вообще не содержать ни одного элемента. В этом случае его именуют пустым множеством и обозначают как $\varnothing$.

Чаще всего в математической литературе множества обозначаются с помощью больших букв латинского алфавита. Например:

$$A=\{0, 5, 6, -9 \},\; B=\{\Delta, +, -5, 0\}.$$

Есть и устоявшиеся обозначения определённых множеств. Например, множество натуральных чисел принято обозначать буквой $N$; множество целых чисел - буквой $Z$; множество рациональных чисел - буквой $Q$; множество всех действительных чисел - буквой $R$. Есть и иные устоявшиеся обозначения, но к ним мы станем обращаться по мере необходимости.

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

Например, указанное выше множество $A=\{0, 5, 6, -9 \}$ - конечное множество, ибо содержит 4 элемента (т.е. конечное число элементов). Множество натуральных чисел $N$ является бесконечным. Вообще говоря, мы не всегда можем сразу с уверенностью сказать, бесконечно некое множество или нет. Например, пусть $F$ - множество простых чисел.

Что такое простое число : показать\скрыть

Простыми числами именуют такие натуральные числа большие 1, которые делятся лишь на 1 или на самое себя. Например, 2, 3, 5, 7 и так далее. Для сравнения: число 12 не является простым числом, так как оно делится не только на 12 и 1, а ещё и на иные числа (например, на 3). Число 12 является составным.

Возникает вопрос: бесконечно множество $F$ или нет? Существует ли наибольшее простое число? Для ответа на этот вопрос понадобилась целая теорема, доказанная Эвклидом, о том, что множество простых чисел - бесконечно.

Под мощностью множества для конечных множеств понимают количество элементов данного множества. Мощность множества $A$ обозначается как $|A|$.

Например, так как конечное множество $A=\{0, 5, 6, -9 \}$ содержит 4 элемента, то мощность множества $A$ равна 4, т.е. $|A|=4$.

Если нам известно, что некий объект $a$ принадлежит множеству $A$, то записывают это так: $a\in A$. Например, для вышеуказанного множества $A$ можно записать, что $5\in A$, $-9\in A$. Если же объект $a$ не принадлежит множеству $A$, то обозначается это следующим образом: $a\notin A$. Например, $19\notin A$. Кстати, сказать, элементами множеств могут быть и иные множества, например:

$$ M=\{-9,1,0, \{ a, g\}, \varnothing \} $$

Элементами множества $M$ являются числа -9, 1, 0, а также множество $ \{ a,\; g\}$ и пустое множество $\varnothing$. Вообще, для упрощения восприятия множество можно представлять как портфель. Пустое множество - пустой портфель. Эта аналогия пригодится чуть далее.

Подмножество. Универсальное множество. Равенство множеств. Булеан.

Множество $A$ называют подмножеством множества $B$, если все элементы множества $A$ являются также элементами множества $B$. Обозначение: $A\subseteq B$.

Например, рассмотрим множества $K=\{ -9,5\}$ и $T=\{8,-9,0,5,p, -11\}$. Каждый элемент множества $K$ (т.е. -9 и 5) является также элементом множества $T$. Следовательно, множество $K$ есть подмножество множества $T$, т.е. $K\subseteq T$.

Так как все элементы любого множества $A$ принадлежат самому множеству $A$, то множество $A$ является подмножеством самого множества $A$. Пустое множество $\varnothing$ является подможеством любого множества. Т.е. для произвольного множества $A$ верно следующее:

$$A\subseteq A; \; \varnothing\subseteq A.$$

Введём ещё одно определение - универсальное множество.

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

Иными словами, универсум содержит в себе элементы всех множеств, которые рассматриваются в рамках некоей задачи. Например, рассмотрим такую задачу: проводится опрос студентов некоей академгруппы. Каждому студенту предлагается указать мобильных операторов РФ, сим-карты которых он использует. Данные этого опроса можно представить в виде множеств. Например, если студент Василий использует сим-карты от МТС и Life, то можно записать следующее:

$$ Vasilij=\{MTC, Life \} $$

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

Множества $A$ и $B$ называются равными , если они состоят из одних и тех же элементов. Иными словами, если каждый элемент множества $A$ является также элементом множества $B$, и каждый элемент множества $B$ является также элементом множества $A$, то $A=B$.

Определение равенства множеств можно записать и по-иному: если $A\subseteq B$ и $B\subseteq A$, то $A=B$.

Рассмотрим пару множеств: первое будет $\{\Delta, k \}$, а второе - $\{k, \Delta\}$. Каждый элемент первого множества (т.е. $\Delta$ и $k$) является также элементом второго множества. Каждый элемент второго множества (т.е. $k$ и $\Delta$) является также элементом второго множества. Вывод: $\{\Delta, k \}=\{k, \Delta\}$. Как видите, порядок записи элементов в множестве роли не играет.

Рассмотрим ещё пару множеств: $X=\{k, \Delta, k, k,k \}$ и $Y=\{\Delta, k \}$. Каждый элемент множества $X$ является также элементом множества $Y$; каждый элемент множества $Y$ является также элементом множества $X$. Следовательно, $\{k, \Delta, k, k, k \}=\{\Delta, k \}$. С учётом подобных равенств в теории множеств принято одинаковые элементы не повторять в записи дважды. Например, множество цифр числа 1111111555559999 будет таким: $\{1,5,9\}$. Есть, конечно, исключения: так называемые мультимножества . В записи мультимножеств элементы могут повторяться, однако в классической теории множеств повторения элементов не допускаются.

Используя понятие равенства множеств, можно классифицировать подмножества.

Если $A\subseteq B$, при этом $A\neq B$, то множество $A$ называют собственным (строгим) подмножеством множества $B$. Также говорят, что множество $A$ строго включено в множество $B$. Записывают это так: $A \subset B$.

Если же некое подмножество множества $A$ совпадает с самим множеством $A$, то это подмножество называют несобственным . Иными словами, множество $A$ является несобственным подмножеством самого множества $A$.

Например, для рассмотренных выше множеств $K=\{ -9,5\}$ и $T=\{8,-9,0,5,p, -11\}$ имеем: $K\subseteq T$, при этом $K\neq T$. Следовательно, множество $K$ является собственным подмножеством множества $T$, что записывается как $K\subset T$. Можно сказать и так: множество $K$ строго включено в множество $T$. Запись $K\subset T$ более конкретна, нежели $K\subseteq T$. Дело в том, что записывая $K\subset T$ мы гарантируем, что $K\neq T$. В то время как запись $K\subseteq T$ не исключает случая равенства $K=T$.

Примечание относительно терминологии : показать\скрыть

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

Если $A\subseteq B$, при этом $A\neq B$ и $A\neq \varnothing$, то множество $A$ называют собственным (строгим) подмножеством множества $B$. Также говорят, что множество $A$ строго включено в множество $B$. Записывают это так: $A \subset B$. Множества $B$ и $\varnothing$ именуются несобственными подмножествми множества $B$.

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

Множество всех подмножеств некоего множества $A$ называют булеаном или степенью множества $A$. Обозначается булеан как $P(A)$ или $2^A$.

Пусть множество $A$ содержит $n$ элементов. Булеан множества $A$ содержит $2^n$ элементов, т.е.

$$ \left| P(A) \right|=2^{n},\;\; n=|A|. $$

Рассмотрим пару примеров на использование введённых выше понятий.

Пример №1

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

  1. $\{-3,5, 9 \}\subseteq \{-3, 9, 8, 5, 4, 6 \} $;
  2. $\{-3,5, 9 \}\subset \{-3, 9, 8, 5, 4, 6 \} $;
  3. $\{-3,5, 9 \}\in \{-3, 9, 8, 5, 4, 6 \} $;
  4. $\varnothing \subseteq \varnothing$;
  5. $\varnothing=\{\varnothing \}$;
  6. $\varnothing \in \varnothing$;
  7. $A=\{9, -5, 8 \{7, 6 \} \};\; |A|=5$.
  1. Нам заданы два множества: $\{-3,5, 9 \}$ и $\{-3, 9, 8, 5, 4, 6 \}$. Каждый элемент первого множества является также элементом второго множества. Следовательно, первое множество есть подмножество второго, т.е. $\{-3,5, 9 \}\subseteq \{-3, 9, 8, 5, 4, 6 \}$. Утверждение первого пункта - верное.
  2. В первом пункте мы выяснили, что $\{-3,5, 9 \}\subseteq \{-3, 9, 8, 5, 4, 6 \}$. При этом данные множества не равны между собой, т.е. $\{-3,5, 9 \}\neq \{-3, 9, 8, 5, 4, 6 \}$. Значит, множество $\{-3,5, 9 \}$ является собственным (в иной терминологии строгим) подмножеством множества $\{-3, 9, 8, 5, 4, 6 \}$. Этот факт записывается как $\{-3,5, 9 \}\subset \{-3, 9, 8, 5, 4, 6 \} $. Итак, утверждение второго пункта истинно.
  3. Множество $\{-3,5, 9 \}$ не является элементом множества $\{-3, 9, 8, 5, 4, 6 \}$. Утверждение третьего пункта ложно. Для сравнения: утверждение $\{-3,5, 9 \}\in \{9, 8, 5, 4, \{-3,5,9\}, 6 \}$ истинно.
  4. Пустое множество является подможеством любого множества. Поэтому утверждение $\varnothing \subseteq \varnothing$ истинно.
  5. Утверждение ложно. Множество $\varnothing$ не содержит элементов, а множество $\{\varnothing \}$ содержит один элемент, посему равенство $\varnothing=\{\varnothing \}$ неверно. Чтобы это было нагляднее, можно обратиться к той аналогии, что я описал выше. Множество - это портфель. Пустое множество $\varnothing$ - пустой портфель. Множество $\{\varnothing \}$ - портфель, внутри которого лежит пустой портфель. Естественно, что пустой портфель и непустой портфель, внутри которого нечто есть - разные портфели:)
  6. Пустое множество не содержит элементов. Ни единого. Поэтому утверждение $\varnothing \in \varnothing$ ложно. Для сравнения: утверждение $\varnothing\in\{\varnothing \}$ истинно.
  7. Множество $A$ содержит 4 элемента, а именно: 9, -5, 8 и $\{7, 6 \}$. Поэтому мощность множества $A$ равна 4, т.е. $|A|=4$. Следовательно, утверждение о том, что $|A|=5$ - ложно.

Ответ : Утверждения в пунктах №1, №2, №4 - истинны.

Пример №2

Записать булеан множества $A=\{-5,10,9\}$.

Множество $A$ содержит 3 элемента. Иными словами: мощность множества $A$ равна 3, $|A|=3$. Следовательно, множество $A$ имеет $2^3=8$ подмножеств, т.е. булеан множества $A$ будет состоять из восьми элементов. Перечислим все подмножества множества $A$. Напомню, что пустое множество $\varnothing$ является подмножеством любого множества. Итак, подмножества таковы:

$$ \varnothing, \{-5 \}, \{ 10\}, \{ 9\}, \{-5,10 \}, \{-5, 9 \}, \{-10, 9 \}, \{-5, 10, 9 \} $$

Напомню, что подмножество $\{-5, 10, 9 \}$ является несобственным, так как совпадает с множеством $A$. Все остальные подмножества - собственные. Все записанные выше подмножества являются элементами булеана множества $A$. Итак:

$$ P(A)=\left\{\varnothing, \{-5 \}, \{ 10\}, \{ 9\}, \{-5,10 \}, \{-5, 9 \}, \{-10, 9 \}, \{-5, 10, 9 \} \right\} $$

Булеан найден, остаётся лишь записать ответ.

Ответ : $P(A)=\left\{\varnothing, \{-5 \}, \{ 10\}, \{ 9\}, \{-5,10 \}, \{-5, 9 \}, \{-10, 9 \}, \{-5, 10, 9 \} \right\}$.

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

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

$$ \{1,2,3\} $$

Часто в литературе можно встретить обозначения такого характера: $T=\{0,2,4,6,8, 10, \ldots \}$. Здесь множество задаётся не перечислением элементов, как кажется на первый взгляд. Перечислить все чётные неотрицательные числа, которые и составляют множество $T$, невозможно, ибо этих чисел бесконечно много. Запись вида $T=\{0,2,4,6,8, 10, \ldots \}$ допускается только тогда, когда не вызывает разночтений.

Второй способ - задать множество с помощью так называемого характеристического условия (характеристического предиката) $P(x)$. В этом случае множество записывается в таком виде:

$$\{x| P(x)\}$$

Запись $\{x| P(x)\}$ читается так: "множество всех элементов $x$, для которых высказывание $P(x)$ истинно". Что именно значит словосочетание "характеристическое условие" проще пояснить на примере. Рассмотрим такое высказывание:

$$P(x)="x\; - \;натуральное\; число,\; последняя\; цифра\; которого \;равна\; 7"$$

Подставим в это высказывание вместо $x$ число 27. Мы получим:

$$P(27)="27\; - \;натуральное\; число,\; последняя\; цифра\; которого \;равна\; 7"$$

Это истинное высказывание, так как 27 действительно является натуральным числом, последняя цифра которого равна 7. Подставим в это высказывание число $\frac{2}{5}$:

$$P\left(\frac{2}{5}\right)="\frac{2}{5}\; - \;натуральное\; число,\; последняя\; цифра\; которого \;равна\; 7"$$

Это высказывание ложно, так как $\frac{2}{5}$ не является натуральным числом. Итак, для некоторых объектов $x$ высказывание $P(x)$ может быть ложно, для некоторых - истинно (а для некоторых вообще не определено). Нас будут интересовать лишь те объекты, для которых высказывание $P(x)$ будет истинно. Именно эти объекты и образуют множество, заданное с помощью характеристического условия $P(x)$ (см. пример №3).

Третий способ - задать множество с помощью так называемой порождающей процедуры. Порождающая процедура описывает, как получить элементы множества из уже известных элементов или неких иных объектов (см. пример №4).

Пример №3

Записать множество $A=\{x| x\in Z \wedge x^2 < 10\}$ перечислением элементов.

Множество $A$ задано с помощью характеристического условия. Характеристическое условие в данном случае выражено записью "$x\in Z \wedge x^2 < 10$" (знак "$\wedge$" означает "и"). Расшифровывается эта запись так: "$x$ - целое число, и $x^2 < 10$". Иными словами, в множество $A$ должны входить лишь целые числа, квадрат которых меньше 10. Таких чисел всего 7, т.е.

$$ A=\{0,-1,1,-2,2,-3,3\} $$

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

Ответ : $A=\{0,-1,1,-2,2,-3,3\}$.

Пример №4

Описать элементы множества $M$, которое задано такой порождающей процедурой:

  1. $3\in M$;
  2. Если элемент $x\in M$, то $3x\in M$.
  3. Множество $M$ - является подмножеством любого множества $A$, удовлетворяющего условиям №1 и №2.

Давайте пока оставим в покое условие №3 и посмотрим, какие элементы входят в множество $M$. Число 3 туда входит согласно первому пункту. Так как $3\in M$, то согласно пункту №2 имеем: $3\cdot 3\in M$, т.е. $9\in M$. Так как $9\in M$, то согласно пункту №2 получим: $3\cdot 9\in M$, т.е. $27\in M$. Так как $27\in M$, то по тому же пункту №2 имеем: $81\in M$. Короче говоря, построенное множество 3, 9, 27, 81 и так далее - это натуральные степени числа 3.

$$3^1=1; \; 3^2=9; \; 3^3=27; \; 3^4=81;\; \ldots$$

Итак, кажется, что искомое множество задано. И выглядит оно так: $\{3,9,27,81,\ldots \}$. Однако действительно ли условия №1 и №2 определяют только это множество?

Рассмотрим множество всех натуральных чисел, т.е. $N$. Число 3 - натуральное, посему $3\in N$. Вывод: множество $N$ удовлетворяет пункту №1. Далее, для любого натурального числа $x$ множество $N$ содержит также и число $3x$. Например, 5 и 15, 7 и 21, 13 и 39 и так далее. Значит, множество $N$ удовлетворяет условию №2. И, кстати сказать, не только множество $N$ удовлетворяет условиям №1 и №2. Например, множество всех нечётных натуральных чисел $N_1=\{1,3,5,7,9,11, \ldots\}$ тоже подходит под условия пунктов №1 и №2. Как же указать, что нам нужно именно множество $\{3,9,27,81,\ldots \}$?


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

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

Бертран Рассел (также основоположник теории множеств) дал такое определение множества: «Множество есть любое собрание определённых и различимых между собою объектов нашей интуиции или интеллекта, мыслимое как единое целое».

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

Множества обозначаются большими латинскими буквами (например, А , В , Х , Y и т.д.), а элементы этих множеств – малыми буквами (например, a , b , x , y ).

Если множество содержит конечное число элементов, его называют конечным , если в нём бесконечно много элементов – бесконечным .

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

Знаком Î обозначается отношение принадлежности некоторого элемента тому или иному множеству. Например, выражение означает, что элемент а принадлежит множеству А . Если же а не является элементом множества А , то это записывается .

Если два множества А и В состоят из одних и тех же элементов, то они считаются равными. Если А и В равны, то пишем А=В , в противном случае - . Например, возьмём множество {1,3,5}, состоящее из трёх положительных нечётных чисел. Поскольку {1,3,5} и{1,5,3} состоят из одних и тех же элементов, они являются равными множествами, т.е. {1,3,5}={1,5,3}. По этой же причине {1,3,5}={1,3,3,5,5,5}.

Элементы какого либо множества сами могут быть множествами. Например, {{1,2},{3,4},{5,6}} – множество из трёх элементов {1,2},{3,4},{5,6}.

Множества {{1,2},{2,3}} и {1,2,3} не равны, т.к. элементами первого являются {1,2} и {2,3}, а элементами второго - 1,2 и 3.

Множества {{1,2}} и {1,2} также не равны, т.к. поскольку первое множество состоит из одного и только одного элемента {1,2} (одноэлементное множество), а второе имеет два элемента 1 и 2. Потому, в общем виде, следует различать объект и множество, единственным элементом которого является этот объект.

Задача 1.1. Среди следующих множеств указать равные:

А = {3, 5, x , y }; B = {3, 2, 5, x , y }; C = {y , y , 5, 3, x , x }; D = {3, 4, 5, x , y }.

Решение. A = C , поскольку качественно оба множества состоят из элементов 3, 5, x и y . Количество элементов множества А равно 4. Множество В , на первый взгляд, содержит больше элементов. Однако среди них есть повторяющиеся: 2 раза х и столько же у . Для множества же неважно, сколько раз повторяется один и тот же элемент, важно лишь, чтобы элементы отличались друг от друга. Что же касается множеств B иD , то они не равны, так как содержат разные элементы.

1.2. СПОСОБЫ ЗАДАНИЯ МНОЖЕСТВ

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

1) перечислением (полным списком) своих элементов . Если хотим сказать, что данное множество М состоит из элементов , то записываем: . Данный способ применим лишь к конечным множествам, да и то не ко всем. Например, хотя множество птиц конечно, вряд ли его можно задать списком. Тем более, список невозможен в случае бесконечномерного множества. Тогда применимы другие способы;

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

Множество M объектов, обладающих свойством , Г. Кантор обозначил - «множество всех x, обладающих свойством », где - характеристическое свойство(предикат) множества М;

3) порождающей процедурой f , то есть указать правило, по которому формируются элементы данного множества: ;

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

4) геометрическим способом – с помощью графиков или диаграмм. Этот способ применим как к конечным, так и бесконечным множествам;

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

а) M 1 ={1;2;3;4};

б) M 2 ={x| , -4};

в) M 3 ={x|x=2n+1, };

г) M 4 = {(x,y)ôxÎR, yÎR ; £ 4};

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

1) { xô x есть делитель числа 100};

2) { xô x есть простой делитель числа 100};

3) { xô x есть простой множитель числа 100};

4) { xô x ÎN; – 1 = 0 и – 4 = 0};

5) { xô x есть буква слова «академия»};

6) { xô x ÎN; 2 = 1};

7) { xô x ÎN; }.

Решение.

1. Данное множество состоит из всех делителей числа 100, то есть в него включаются лишь те числа, которые делят число 100 нацело. Очевидно, что налицо задание множества с помощью характеристического предиката «быть делителем числа 100». Перечислим все эти числа: 2, 4, 5, 10, 20, 25, 50. Добавив сюда число 1 и самое 100, получим искомое множество. Обозначим его А. Тогда А = {1, 2, 4, 5, 10, 20, 25, 50, 100}.

2. Множество задано с помощью характеристического предиката «быть простым делителем числа 100». Среди делителей предыдущей задачи отберём лишь простые числа, которыми будут 2 и 5. Все же остальные делители являются составными. Число 1, как известно из курса школьной арифметики, не относится ни к простым, ни к составным числам. Обозначив это множество В, получим: В = {2, 5}.

3. Множество задано с помощью характеристического предиката «быть простым множителем числа 100». Разложим 100 на простые множители. Получим следующее тождество: 100 = 2×2×2×5. Эти числа и будут элементами искомого множества, которое обозначим С = {2, 2, 5, 5}. Ответ можно было бы оставить в таком виде, однако в теории множеств количество одинаковых элементов, как правило, игнорируется. Поэтому будет корректнее ответ представить в виде: С = {2, 5}.

4. Данное множество можно считать заданным с помощью порождающей процедуры, которой является процедура решения квадратных уравнений и отбора корней по признаку принадлежности их к множеству натуральных чисел. Однако, справедливости ради, следует отметить, что часто при определении способа задания множества бывает достаточно трудно утверждать, что множество задано этим и только этим способом. В данном примере вполне можно утверждать, что способ задания множества – с помощью характеристического предиката «отбор корней уравнения по признаку принадлежности к множеству N». Решаем оба уравнения: , его корни +1 и -1; , его корни +2 и -2. Поскольку числа -1 и -2 не являются натуральными, искомое множество, которое мы обозначим D, будет таким: D = {1, 2}.

5. Способ задания – с помощью характеристического предиката. Обозначим множество Е. Получим: Е = {а, к, д, е, м, и, я}, где буква «а» упомянута лишь один раз.

6. Способ задания данного множества аналогичен примеру 4). Решим данное показательно-логарифмическое уравнение 2 = 1. ОДЗ данного уравнения – все х³0. = 1, откуда = 0, корни х равны 2. Натуральным числом является 2. Значит, наше множество, которое обозначим через F, будет состоять только из одного элемента: F = {2}.

7. Способ задания данного множества аналогичен примеру 4). Решаем данное иррациональное неравенство . ОДЗ – все х ³ 1. Обе части возведём в квадрат: х – 1 ³ 4, откуда х ³ 5. Это не противоречит ОДЗ, поэтому область решения данного неравенства х ³ 5. Другими словами, х Î . Очевидно, что натуральных чисел на данном интервале будет бесчисленное множество. Поэтому данное множество G будет бесконечным: G = {5, 6, 7, … n,…}.

Задача 1.3. Записать множества с помощью свойстваP (х ):

2) {1, 3, 9, 27, 81, 243};

3) {s, t, u, d, e, n, t}.

Решение.

1) подобрать характеристический предикат можно, например, так. Перемножим все числа. Получим: 2×3×11 = 66. Тогда

А = {aôa – простой делитель числа 66};

2) все представленные числа являются степенями числа 3 (30=1, 31=3, 32=9 и т.д.). Поэтому множество В можно задать с помощью свойства: В = {bôb – степень числа 3 с показателем от 0 до 5};

3) C = {côc – буква слова «student»}.

Задача 1.4. Изобразить следующие множества графически:

1) А = {(x,y)ôxÎR, yÎR ; £ 4};

2) B = {(x,y)ôxÎR, yÎR ; x + y >0, x + y – 2 £ 0};

3) C = {(x,y)ôxÎR, yÎR ; |x | £ 1 и |y + 2| £ 4};

4) D = {(x,y)ôxÎR, yÎR и };

5) E = {(x,y)ôxÎR, yÎR и y £ |sin x|};

6) F = {(x,y)ôxÎR, yÎR и }.

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

1. Построим границу множества А. Для этого от неравенства перейдём к равенству: = 4. Из курса аналитической геометрии известно, что это уравнение есть уравнение окружности с центром в начале координат и радиусом 2. Она и будет являться границей множества. Далее следует выяснить, какую часть плоскости нам следует выбрать: ту, что лежит внутри окружности либо ту, что лежит извне. Для этого зададимся координатами какой-либо точки, которая явно находится в выбранной области. Например, точка начала координат О(0;0). Подставим значения х = 0 и у = 0 в неравенство £ 4. Получим: £ 4, то есть в точке О (0;0) данное неравенство справедливо. Следовательно, нам нужно выбрать часть плоскости внутри окружности. Если взять координаты других точек внутри окружности и подставить их в неравенство, результат будет таким же. Напротив, для точек извне неравенство будет ложным. Например, точка Q(10;10): = 200, а это никак не меньше 4! Подытоживая всё сказанное, можем утверждать, что множество А – это круг радиуса 2 с центром в начале координат.

2. Для построения границ множества В рассмотрим равенства: x + y =0, x + y – 2 = 0. Первая прямая (её уравнение можно записать как у = - х) есть биссектриса 2-го и 4-го координатных углов. Она разделяет координатную плоскость на две части: ту, которая лежит выше (или правее) прямой и ту, которая ниже (или левее) прямой. Чтобы выбрать нужную часть, возьмем пробную точку с координатами, например, Q(10;10) и подставим её координаты в неравенство x + y > 0. Получим: 10 +10 > 0 то есть неравенство справедливо для части плоскости выше (правее) прямой x + y =0. Вторая прямая (её уравнение x + y – 2 = 0 может быть записано в отрезках на осях ) отсекает на обеих осях отрезки длиной по 2 единицы и проходит параллельно первой прямой через 2-й, 1-й и 3-й квадранты. Она также разделяет координатную плоскость на две части: одна выше (правее) и вторая ниже (левее). Для выбора нужной нам части можно использовать, например, точку О(0;0). Подставляем х = 0 и у = 0 в неравенство x + y – 2 £ 0. Получим: 0 + 0 – 2 £ 0 - справедливо. Следовательно выбираем ту часть плоскости по отношению ко второй прямой, где лежит точка О(0;0). В итоге получаем область, координаты точек которой удовлетворяют обоим неравенствам (например, это точки (1;1), (0;1), (1;0); (2;-1) и т.д.). Это полоса, лежащая между двумя параллельными прямыми, включая и точки, принадлежащие второй прямой (поскольку неравенство нестрогое). Данная область и определяет искомое множество В.

3. Неравенство |x | £ 1 эквивалентно двум: -1 £ х £ 1. Казалось бы, что это множество точек отрезка [-1; 1]. Если бы мы рассматривали множество из одного элемента, это было бы так. Однако наше множество С состоит из пар действительных чисел (х; у). Поэтому геометрически неравенство -1 £ х £ 1 представляет собой множество точек, лежащих внутри вертикальной полосы между прямыми х = 1 и х = -1. Неравенство |y + 2| £ 4 также эквивалентно двум: -4 £ y + 2 £ 4. Перенося 2 влево и вправо, получаем: -6 £ y £ 2. Геометрически это будет множество точек, лежащих внутри горизонтальной полосы между прямыми y = -6 и y = 2. Итак, мы получили две пересекающиеся полосы. Какую же часть необходимо выбрать для искомого множества С? В условии задачи оба неравенства соединены союзом «и». А это значит, что необходимо выбрать те точки из обеих полос, координаты которых одновременно удовлетворяют обоим неравенствам. В результате получаем прямоугольник. Это и есть наше множество С.

4. Рассмотрим неравенство . Чтобы оно стало «узнаваемым», возведём в квадрат левую и правую его части. Это можно сделать потому, что справа - неотрицательная величина арифметического корня. Слева величина у также неотрицательна, ибо в противном случае неравенство теряло бы всякий смысл. После возведения во вторую степень обеих частей и некоторого преобразования получаем: Это неравенство описывает часть координатной плоскости, лежащей вне эллипса Однако исходное неравенство имеет вид , причём, как было сказано, величина у неотрицательна. Значит, описываемая область будет включать лишь верхнюю часть координатной плоскости, лежащей вне эллипса. Рассмотрим последнее неравенство х ³ 0, которое описывает правую часть координатной плоскости. Сопоставляя все выкладки, получим множество точек, расположенных в первом квадранте вне эллипса. Это и будет искомое множество D.

5. Построим график функции у = sin x, а затем ту его часть, которая находится ниже оси абсцисс, зеркально отразим на верхнюю полуплоскость. Получим график у = |sin x|. Неравенство же y £ |sin x| определит искомое множество Е, точки которого будут находиться между осью абсцисс и дугами отраженной вверх синусоиды.

6. В отличие от предыдущих задач, здесь имеем равенство x2 = y2 , которое, как известно, определяет некоторую линию. Для «узнавания» данной линии сделаем ряд тождественных преобразований: = 0, (х – у) (х + у) = 0. Далее приходим к совокупности х – у = 0 и х + у = 0. Получаем пару пересекающихся прямых - биссектрис 1− 3-го и 2 – 4-го квадрантов. Множество F и представляет собой точки этих прямых.

Задачи для самостоятельного решения.

1. Перечислить все элементы следующих множеств:

а) { x ô x есть делитель чисел 6 и 8}; (ответ: 2);

б) { x ô x ÎN; x 3 - 5x 2 + 4 = 0}; (ответ: 1);

в) { x ô x ÎR; x + 1/x > 2; x > 0}; (ответ: х Î(0, ¥));

г) { x ô x – буква слова «университет»};

д) { x ô x ÎZ; sin x < 0; cos x > 0}; (ответ: -1).

2. Изобразить следующие множества графически:

а) { (x , y y £ 2x 2 };

б) { (x , y y ³ |x | + 1};

в) { (x , y x 2 + y 2 – 25 > 0}.

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

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

Отметим, что «универсальное множество» понятие относительное: оно выбирается для какого-нибудь определенного раздела науки и при том часто даже явно не определяется, а просто подразумевается.

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

В элементарной арифметике универсальным множеством считается множество Z всех целых рациональных чисел и т. д.

1.3. ПУСТОЕ МНОЖЕСТВО

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

Множество - это совокупность объектов, рассматриваемая как одно целое. Понятие множества принимается за основное, т. е. не сводимое к другим понятиям. Объекты, составляющие данное множество, называются его элементами. Основное отношение между элементом a и содержащим его множеством A обозначается так (a есть элемент множества A ; или a принадлежит A , или A содержит a ). Если a не является элементом множества A , то пишут (a не входит в A , A не содержит a ). Множество можно задать указанием всех его элементов, причем в этом случае употребляются фигурные скобки. Так {a , b , c } обозначает множество трех элементов. Аналогичная запись употребляется и в случае бесконечных множеств, причем невыписанные элементы заменяются многоточием. Так, множество натуральных чисел обозначается {1, 2, 3, ...}, а множество четных чисел {2, 4, 6, ...}, причем под многоточием в первом случае подразумеваются все натуральные числа, а во втором - только четные.

Два множества A и B называются равными , если они состоят из одних и тех же элементов, т. е. A принадлежит B и, обратно, каждый элемент B принадлежит A . Тогда пишут A = B . Таким образом, множество однозначно определяется его элементами и не зависит от порядка записи этих элементов. Например, множество из трех элементов a , b , c допускает шесть видов записи:

{a , b , c } = {a , c , b } = {b , a , c } = {b , c , a } = {c , a , b } = {c , b , a }.

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

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

Если каждый элемент множества A входит в B , но множество B содержит хотя бы один элемент, не входящий в A , т. е. если и , то A называется собственным подмножеством B , а B - собственным надмножеством A . В этом случае пишут . Например, запись и означают одно и то же, а именно, что множество A не пусто.

Заметим еще, что надо различать элемент a и множество {a }, содержащее a в качестве единственного элемента. Такое различие диктуется не только тем, что элемент и множество играют неодинаковую роль (отношение не симметрично), но и необходимостью избежать противоречия. Так, пусть A = {a , b } содержит два элемента. Рассмотрим множество {A }, содержащее своим единственным элементом множество A . Тогда A содержит два элемента, в то время как {A } - лишь один элемент, и потому отождествление этих двух множеств невозможно. Поэтому рекомендуется применять запись , и не пользоваться записью .

В математике понятие множества является одним из основных, фундаментальным, однако единого определения множества не существует. Одним из наиболее устоявшихся определений множества является следующее: под множеством понимают любое собрание определённых и отличных друг от друга объектов, мыслимых как единое целое. Создатель теории множеств немецкий математик Георг Кантор (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 -я компонента которых принадлежит .

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

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

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

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

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

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

Если элемент 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

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



Предыдущая статья: Следующая статья: