
- •Лекция 1. Метод математической индукции.
- •Принцип индукции.
- •Неравенство Коши-Буняковского.
- •Лекция 2. Комбинаторика.
- •Принцип умножения.
- •Перестановки.
- •Размещения.
- •Рассмотрим первый набор чисел.
- •Сочетания.
- •Некоторые свойства биномиальных коэффициентов:
- •Перестановки с повторениями.
- •Сочетания с повторениями.
- •Бином Ньютона.
- •1). База индукции.
- •2). Индуктивное предположение.
- •3). Индуктивный переход.
- •Лекция 3. Введение в теорию множеств. Понятия о множестве.
- •Два основных интуитивных принципа наивной теории множеств.
- •Интуитивный принцип объемности.
- •Интуитивный принцип абстракции.
- •Парадокс Рассела.
- •Лекция 4. Операции над множествами. Сравнение множеств.
- •Свойства отношения включения.
- •Операции над множествами.
- •Лекция 5. Свойства операций над множествами.
- •Формула включения и исключения.
- •Лекция 6.
- •Упорядоченные пары.
- •Прямое произведение множеств.
- •Бинарные отношения.
- •Композиция отношений.
- •Теорема о свойствах бинарного отношения.
- •Матрицы конечных бинарных отношений.
- •Свойства матриц конечных бинарных отношений.
- •Матрицы объединения и пересечения двух бинарных отношений.
- •Матрица композиции двух конечных бинарных отношений.
- •Матрица обратного отношения.
- •Матрица рефлексивного бинарного отношения
- •Ядро бинарного отношения.
- •Свойства ядра:
- •Лекция 8. Отношения эквивалентности.
- •Классы эквивалентности.
- •Функции.
- •Инъекции и биекции.
- •Примеры экзаменационных задач.
- •Лекция 9. Композиция функций.
- •Ядро функции).
- •Отношения порядка.
- •Экстремальные элементы в упорядоченном множестве.
- •Лекция 10. Верхняя и нижняя грани частично упорядоченного множества.
- •Решетки.
- •Ограниченные решетки.
- •Решетки с дополнением.
- •Частичный порядок в решетке.
- •Лекция 11. Матроиды.
- •Максимально независимые подмножества.
- •Алгоритм построения базы матроида.
- •Ранг множества.
- •Жадный алгоритм.
Отношения порядка.
Определение. Всякое антисимметричное
и транзитивное бинарное отношение
,
называется отношением порядка
на множестве М. Отношение порядка
может быть рефлексивным, тогда оно
называется отношением нестрогого
порядка. Если отношение
порядка антирефлексивно, оно называется
отношением строгого порядка.
Отношение порядка может быть полным,
тогда оно называется отношением
полного или линейного порядка.
Отношение порядка может не обладать
свойством полноты, тогда оно называется
отношением частичного порядка.
Отношение строгого порядка обозначается
<, нестрогого - .
Примеры обозначений.
(a, b) , a ≤ b; (a, b) < , a < b.
Если упорядоченная пара (a, b) принадлежит отношению < или , элементы а и b называются сравнимыми между собой. Множество М, на котором определено частичное отношение порядка, называется частично упорядоченным. Если на множестве М задан полный порядок, его называют вполне упорядоченным (линейно упорядоченным множеством).
По самому определению полного порядка во вполне упорядоченном множестве любые два различных элемента сравнимы между собой.
Пример 1.
Рассмотрим множества R, Q, Z, N. Отношение сравнения < на множествах определяет полный строгий порядок с точки зрения обычного сравнения чисел.
Например, (2, 5) <, (3, 3) <.
Пример 2.
Отношение сравнения на множествах R, Q, Z, N определяет полный нестрогий порядок, с точки зрения обычного сравнения чисел, (2, 5) ,
(3, 3) .
Пример 3.
Отношение включения
- определяет нестрогий частичный порядок
на булеане
,
так как не всякие два множества можно
сравнить с точки зрения отношения
включения.
Пример 4.
На множестве натуральных чисел N введем следующее отношение порядка: m n m делит n. Это – нестрогий частичный порядок: 1 7,
4 12, 6 6, 2 6, (2, 7) , (9, 12) .
В случае конечных упорядоченных множеств отношение порядка можно изобразить с помощью диаграммы. На ней элементы пишут в кружке, и от кружка с элементом а идет стрелка к кружку с элементом b, если a < b
(a b).
Пример.
A = {2, 3, 4, 6, 8, 9}, a b a делит b.
Рис.7
Мы определили нестрогий порядок, поэтому стрелки замыкаются на кружках (петля); если бы порядок был строгий, то петли бы исчезли
(a < b a делит b и a ≠ b).Отношение порядка транзитивно, поэтому от элемента 2 к элементу 8 стрелка не проводится.
Экстремальные элементы в упорядоченном множестве.
Пусть М – частично упорядоченное множество. Элемент xM называется минимальным элементом этого множества, если во множестве
М не существует элемента а < x. Элемент yM называется максимальным элементом этого множества, если в нем не существует элемента a>y. Минимальный и максимальный элементы в упорядоченных множествах могут существовать, а могут и не существовать, их может быть несколько.
Пример 1.
M = {1, 2 ...}
= N; минимальный
элемент - это 1, максимальные элементы
отсутствуют (порядок – обычное сравнение
чисел).
Пример 2.
M1 = [0; 1], M2 = (0; 1], M3 = [0; 1], M4 = (0; 1).
В M1 минимальный элемент это 0, максимальный элемент это 1;
В M2 минимального элемента нет, максимальный элемент это 1;
В M3 минимальный элемент это 0, максимального элемента нет;
В M4 минимального элемента нет, максимального элемента нет.
(порядок – обычное сравнение чисел).
Пример 3.
М = {{1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}
Отношение порядка – это отношение включения. В этом множестве три минимальных элемента не сравнимых между собой – множества {1, 2},
{1, 3}, {2, 3} . Максимальный элемент один – множество {1, 2, 3}.
Пример 4.
М = {2
,3, 4
...
},
a < b
a делит
b и
a ≠ b.
Максимального элемента нет, а минимальные элементы образуют множество простых чисел.
Пример 5.
М = N, a < b a - четно, b – нечетно, например: 2 < 1, 2 < 7, 6 < 3,
6 < 11. Определен строгий частичный порядок, в котором все четные числа – минимальные элементы не сравнимые между собой, все нечетные элементы – максимальные элементы, не сравнимые между собой.
Пример 6.
Покажем, как на диаграмме выглядят минимальный и максимальный элементы в случае множества: М = {2, 3, 4, 6, 7, 12, 16, 18}, a < b a делит b и a ≠ b.
Минимальные элементы – 2, 3, 7. Максимальные элементы – 7, 12, 16 18. Из этого примера видно, что один и тот же элемент может быть одновременно и максимальным, и минимальным. В этом случае, его невозможно сравнить ни с каким другим элементом данного множества.
Теорема.
Во всяком непустом конечном, частично упорядоченном множестве М существует хотя бы один минимальный элемент.
Доказательство (от противного).
Допустим, что в М нет минимальных
элементов. Пусть |M|
= n, выберем
произвольный элемент аМ,
обозначим его через х1.
Так как х1
– не минимальный элемент, то
bМ,
(обозначим b через
x2),
такой,
что x2
< х1. Далее
сМ,
(обозначим через с х3),
такой, что x3
< x2
< x1. Продолжим
перебор элементов множества. Перебрав
все, получим цепочку:
xn
< xn-1
< ... < x2
< x1. Так
как xn
– не минимальный элемент, то (k)
xk
< xn,
k < n. Таким образом, xk < xn < xn-1 < ... < xk < ... < x1, но отношение порядка транзитивно, получаем, что xk < xk, что противоречит антирефлексивности строгого порядка.
Теорема доказана.
Определение. Пусть M – частично упорядоченное множество. Элемент хМ называется наименьшим элементом множества М, если (аМ): а х. Элемент yM – наибольшим элементом множества М, если (аМ): а y. По определению наименьший (наибольший) элемент сравним с каждым элементом множества М
Теорема.
Если во множестве М существует наименьший (наибольший) элемент, то он единственный.
Доказательство.
Пусть х1 ≠ х2 – два наименьших элемента множества. По определению наименьшего элемента х1 х2, (х1 – наименьший элемент), а также х2 х1 –
(х2 – наименьший элемент) х1 = х2 в силу антисимметричности любого отношения порядка.
Теорема доказана.
Примеры.
-
и М – являются наименьшим и наибольшим элементами булеана 2М, упорядоченного по включению.
-
Множество N имеет наименьший элемент 1, наибольшего элемента нет.
-
Множество R – не имеет ни наибольшего элемента, ни наименьшего элемента.
-
В множестве В = {{1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}
{1, 2, 3} - наибольший элемент, наименьшего элемента нет.
Теорема.
Если М вполне упорядоченное множество и элемент хМ – минимальный элемент множества М (yМ – максимальный элемент множества М), то х – наименьший элемент М (y – наибольший элемент М).
Доказательство.
Во вполне упорядоченном множестве любые два элемента сравнимы между собой по определению минимального элемента (аМ): а х х – наименьший элемент.
Теорема доказана.
Теорема.
Частично упорядоченное множество М является вполне упорядоченным, если любое его непустое подмножество содержит наибольший (наименьший) элемент.
Доказательство.
Пусть а и b М, по условию множество {a, b} содержит наименьший элемент либо a b, либо b a а и b сравнимы между собой множество вполне упорядоченно.
Теорема доказана.