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

Содержание

Слайд 2

Понятие множества Начало созданию теории множеств дал немецкий математик Георг Кантор

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

Начало созданию теории множеств дал немецкий математик
Георг Кантор (1845

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

Примеры множеств: 1) множество гласных букв в русском алфавите; 2) множество

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

1) множество гласных букв в русском алфавите;
2) множество людей, присутствующих

в данный момент в данной комнате;
3) множество молекул воды в данном конкретном стакане;
4) множество точек, являющихся вершинами некоторого многоугольника;
5) множество сочетаний из 13 элементов по 7 и т.д..

Свои примеры.

*) Все приведённые примеры множеств обладают одним существенным свойством – эти множества состоят из конечного числа элементов. Конечного в том смысле, что на вопрос «сколько?» всегда можно дать определенный ответ в виде известного (или в данный момент не известного, но, тем не менее, определенного) целого числа.

Слайд 4

Множества, состоящие лишь из конечного числа элементов, называются конечными множествами. В

Множества, состоящие лишь из конечного числа элементов, называются конечными множествами.
В математике

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

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

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

множество всех целых чисел – {…,-2,-1,0,1,2,…};
3) ℚ – множество рациональных чисел (это числа, которые могут быть представлены в виде дроби, числитель которой – целое число, а знаменатель – натуральное, т.е. x=a/b , где a-целое, b-натуральное);
4) ℝ – множество вещественных (действительных) чисел (это все рациональные и иррациональные числа);
5) ℂ – множество комплексных чисел (это числа, вида х=a+ib, где a и b-вещественные, i–мнимая единица: i2= ‑1);
6) ℝ2 – множество всех упорядоченных пар вещественных чисел (x,y), – вся вещественная плоскость;
7) ℝn – n‑мерное вещественное пространство, где n – натуральное число, – множество всех упорядоченных последовательностей из n вещественных чисел («энок») или n‑мерное вещественное пространство.

Примеры числовых множеств:

Слайд 6

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

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


Пустое множество конечно. Число элементов в пустом множестве равно нулю.
Слайд 7

2.Способы задания множества Все элементы некоторого определенного множества обладают некоторым свойством,

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

Все элементы некоторого определенного множества обладают некоторым свойством, общим

для всех элементов этого множества. Например: множество всех четных чисел; множество всех белых гусей; множество букв русского алфавита. Поэтому для задания множества можно:
1) либо задать свойство, которым должны обладать все его элементы;
2) либо указать (перечислить) все элементы этого множества.
Оба этих подхода, в сущности, представляют одно и то же, разница лишь во внешнем оформлении.
Тот факт, что х является элементом множества М, записывается так: х∈М. В этом случае говорят, что х входит в М, содержится в М или принадлежит М. Если х не является элементом множества М, то пишут х∉М.
Слайд 8

То, что некоторое множество М состоит из элементов x, y, …,

То, что некоторое множество М состоит из элементов x, y, …,

t,… записывают так: М={x,y,…,t,…}, где многоточием обозначаются не выписанные элементы.
Например: A={a,b,c}, M={2,4,6,8,10,…}.
Если элементы множества обозначаются при помощи некоторых индексов, например: хα, хβ,…,хγ,…, то пишут также: М=⎨хδ⎬δ∈Γ, где Γ=⎨α, β,…,γ,…⎬ – множество индексов.
Совокупность множеств ⎨Мα, Мβ,…,Мγ,…⎬ = ⎨Мδ⎬δ∈Γ - называется системой множеств (где Г=⎨α, β,…,γ,…⎬ – индексное множество).
То, что множество состоит из элементов, обладающих некоторым свойством, записывают так: М={x: ………}, где на месте многоточия перечисляют свойства элементов.
Читается это так: «множество М состоит из элементов х, таких, что…».
Например: M={x: x=a/2 , где а и x∈ℤ}.
Слайд 9

Для некоторых числовых множеств имеются свои способы записи: Отрезок числовой оси:

Для некоторых числовых множеств имеются свои способы записи:
Отрезок числовой оси: [a, b]={x:

a ≤ x ≤ b , где a,b,x∈ℝ и a ≤ b }.
Интервал: (a, b)={x: a < x < b , где a,b,x∈ℝ и a < b }.
Полуинтервал: (a, b]={x: a < x ≤ b , где a,b,x∈ℝ и a < b },
или [a, b)={x: a ≤ x < b, где a,b,x∈ℝ и a < b },
или (-∞, b]={x: x ≤ b и b,x∈ℝ },
или [a, +∞)={x: x ≥ a и a,x∈ℝ }.
Слайд 10

Булевы выражения

Булевы выражения

Слайд 11

Предикат. Предикат(от лат. praedicatum - сказанное) - языковое выражение, обозначающее к.-л.

Предикат. Предикат(от лат. praedicatum - сказанное) - языковое выражение, обозначающее к.-л.

свойство или отношение.

Неформально говоря, предикат – это высказывание, в которое можно подставлять аргументы.
Если аргумент один – то предикат выражает свойство аргумента, если больше – то отношение между аргументами.

Слайд 12

Первым стал использовать теперь общепринятые обозначения операций над множествами - Джузеппе

Первым стал использовать теперь общепринятые обозначения операций над множествами - Джузеппе

Пеано (1888 г.).

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

Слайд 13

Объединением множеств A и B называется множество A∪B, все элементы которого

Объединением множеств A и B называется множество A∪B, все элементы которого

являются элементами множества A или B:
A∪B = {x | x∈A ∨ x∈B}.
Пересечением множеств A и B называется множество A∩B, элементы которого являются элементами обоих множеств A и B:
A∩B = { x | x∈A & x∈B}.
Выполняются включения A∩B ⊆ A ⊆ A∪B
и A∩B ⊆ B ⊆A∪B.
Говорят, что два множества не пересекаются, если их пересечение – пустое множество.
Слайд 14

Относительным дополнением множества A до множества X называется множество X\A всех

Относительным дополнением множества A до множества X называется множество X\A всех

тех элементов множества X, которые не принадлежат множеству A:
X\A = {x | x∈X & x∉A}. (также называют разностью множеств X и A)
Симметрической разностью множеств A и B называется множество A÷B = (A\B) ∪ (B\A).
Когда фиксирован универсум U абсолютным дополнением множества A называется множество всех тех элементов x, которые не принадлежат множеству A:
A = { x | x∈U & x∉ A}.
Заметим, что A = U\A. Часто вместо A будем писать ¬A или A’.
Слайд 15

Булевы выражения множеств

Булевы выражения множеств

Слайд 16

Джордж Буль Джордж Буль (англ.George Boole; 2 ноября 1815, Линкольн —

Джордж Буль

Джордж Буль (англ.George Boole; 2 ноября 1815, Линкольн —
8 декабря 1864,

Баллинтемпл, графство Корк, Ирландия) — английский математик и логик. Профессор математики Королевского колледжа Корка (ныне Университетский колледж Корк) с 1849. Один из предтеч математической логики .
Слайд 17

Булевы выражения множеств 1. (C÷B)U(A\(A∩B∩C)); 2. (A∩C)∪(B∩C) ; 3. (A∪B∪C)\(C∩B); 4.

Булевы выражения множеств

1. (C÷B)U(A\(A∩B∩C));
2. (A∩C)∪(B∩C) ;
3. (A∪B∪C)\(C∩B);
4. C\ ¬(A∪B).

А, В, С

─ множества
Слайд 18

Диаграммы Эйлера

Диаграммы Эйлера

Слайд 19

Леонард Эйлер (1707-1783) — швейцарский, немецкий и российский математик, внёсший значительный

Леонард Эйлер (1707-1783) — швейцарский, немецкий и российский математик, внёсший значительный

вклад в развитие математики, механики, физики, астрономии
Слайд 20

Для наглядного представления отношений между подмножествами какого-либо универсума используются диаграммы Эйлера.

Для наглядного представления отношений между подмножествами какого-либо универсума используются диаграммы Эйлера.

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

¬A A∩B A∪B А В Это — диаграммы Эйлера А

¬A A∩B A∪B

А

В

Это — диаграммы Эйлера

А

Слайд 22

Диаграммы Эйлера (продолжение) Здесь не имеет значения относительный размер кругов либо

Диаграммы Эйлера (продолжение)

Здесь не имеет значения относительный размер кругов либо других

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

A\B B\A A÷B

Слайд 23

Такие диаграммы могут играть в логике лишь ту роль, что чертежи

Такие диаграммы могут играть в логике лишь ту роль, что чертежи

в геометрии: они иллюстрируют, помогают представить и доказать, но сами ничего не доказывают.
Слайд 24

1. (A∪B∪C)\(C∩B)

1. (A∪B∪C)\(C∩B)

Слайд 25

2. (C÷B)U(A\(A∩B∩C))

2. (C÷B)U(A\(A∩B∩C))

Слайд 26

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

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

универсум U.
Слайд 27

диаграммы Эйлера

диаграммы Эйлера

Слайд 28

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

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

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

Операции над множествами Позволяют … ? получения новых множеств из уже существующих

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

Позволяют … ?

получения новых множеств из уже существующих

Слайд 30

Булевы тождества

Булевы тождества

Слайд 31

Теорема 4. Для любых подмножеств A, B и C универсума U выполняются следующие основные булевы тождества:

Теорема 4. Для любых подмножеств A, B и C универсума U

выполняются следующие основные булевы тождества:
Слайд 32

Булевы тождества (продолжение) Теорема 4 (продолжение). 10 A\B = A ∩¬B

Булевы тождества (продолжение)

Теорема 4 (продолжение).

10 A\B = A ∩¬B

Слайд 33

Булевы выражения 1. (A∪B∪C)\(C∩B) = (C÷B)U(A\(A∩B∩C)) Диаграмма Эйлера ?

Булевы выражения

1. (A∪B∪C)\(C∩B) = (C÷B)U(A\(A∩B∩C))

Диаграмма Эйлера ?

Слайд 34

Булевы выражения 2. (A∩C)∪(B∩C) = C\ ¬(A∪B) Диаграмма Эйлера

Булевы выражения
2. (A∩C)∪(B∩C) = C\ ¬(A∪B)

Диаграмма Эйлера

Слайд 35

ДОКАЗАТЕЛЬСТВА ТОЖДЕСТВА

ДОКАЗАТЕЛЬСТВА ТОЖДЕСТВА

Слайд 36

Слайд 37

Доказатьтождество A∪(B∩C) = (A∪B)∩(A∪C) . Решение. Сначала покажем, что A∪(B∩C) ⊆

Доказатьтождество A∪(B∩C) = (A∪B)∩(A∪C) .
Решение.
Сначала покажем, что A∪(B∩C) ⊆ (A∪B)∩(A∪C).


Действительно, если x∈A∪(B∩C), то x∈A или x∈B∩C.
Если x∈A, то x∈A∪B и x∈A∪C. Следовательно, x∈(A∪B)∩(A∪C).
Если x∈B∩C, то x∈B и x∈C.
Отсюда: x∈A∪B и x∈A∪C, а значит, x∈(A∪B)∩(A∪C).

Пример 1.

Слайд 38

Следующее утверждение докажите или опровергните (опровергнуть можно на частном примере с

Следующее утверждение докажите или опровергните (опровергнуть можно на частном примере с

помощью диаграммы Эйлера:
1. (A\B)∪C = (A∪C)\(B∪C).
2. Найдите множество X, удовлетворяющее условию
A∩X = ∅ и A∪X = U.
Проверить тождество A∪B = (A÷B) ÷ (A∩B).
Проверить, что A⊆B ⇒ A∩C⊆B∩C.
Слайд 39

Следующее утверждение докажите или опровергните (опровергнуть можно на частном примере с

Следующее утверждение докажите или опровергните (опровергнуть можно на частном примере с

помощью диаграммы Эйлера:
5. Проверить тождество:
(A∩B) ∪ (C∩D) = (A∪C) ∩ (B∪C) ∩ (A∪D) ∩ (B∪D).
6.Проверить тождество: A÷(A÷B) = B.
7. Определить операции ∪ и \ (каждую по отдельности) через операции ÷ и ∩.
8. Определить операции ∪ и ∩ (каждую по отдельности) через операции \ ; ÷.