- •Раздел I. Основы теории множеств. Системы счисления. Комбинаторика
- •Глава 1. Множества, операции с ними. Алгебра множеств
- •1.1. Элементы и множества
- •1.2. Отображения, функции, предикаты
- •1.3. Метод математической индукции
- •1.4. Способы задания множеств
- •Перечисление
- •Задание с помощью логических функций (предикатов)
- •1.5. Предметные операции на множествах. Формула множества
- •1.6. Операции сравнения — логические операции с множествами
- •1.7. Алгебра множеств. Ее формулы, теоремы и законы
- •Глава 2. Мощность множеств
- •2.1. Мощность. Счетные множества
- •2.2. Множества мощности континуум
- •Глава 3. Бинарные отношения на множествах
- •3.1. Определение и способы задания отношений
- •3.1.1. Перечисление (список пар)
- •3.1.2. Матрица
- •3.1.3. Задание отношений при помощи предикатов
- •3.2. Аксиомы на отношениях
- •3.3. Основные типы отношений
- •3.3.1. Отношение эквивалентности
- •3.3.2. Отношение нестрогого (частичного) порядка
- •3.3.3. Отношение строгого порядка
- •3.4. Проверка типов отношений. Решение задач
- •Контрольные задания по теме
- •I. Общая теория множеств
- •Глава 4. Системы счисления
- •4.1. Позиционные системы счисления с постоянными основаниями. Представления целых чисел Рассмотрим общие правила представления количественных величин в позиционных системах счисления.
- •4.2. Переводы целых чисел в позиционных системах счисления
- •4.2.1. Перевод целых чисел из произвольной системы с постоянным основанием р 10 в десятичную систему
- •4.2.2. Перевод целых чисел из десятичной системы счисления в системы с произвольными постоянными основаниями p 10
- •4.2.5. Представление двоичной байтовой информации в шестнадцатеричной и десятичной системах
- •4.3. Дробные и смешанные числа в позиционных системах счисления с постоянными основаниями
- •4.3.1 Перевод правильных десятичных дробей в систему счисления с иным основанием p 10
- •4.3.2 Перевод правильных дробей из системы с основанием p 10 в десятичную систему счисления
- •4.4. Арифметические действия с целыми числами в системах с произвольными основаниями. Их компьютерное представление
- •4.4.1 Сложение
- •4.4.2 Вычитание
- •4.4.3. Прямой и дополнительный коды целых чисел. Их представление в памяти компьютера, сложение и вычитание
- •4.5. Двоичные (булевы) векторы
- •4.6. Смешанные позиционные системы счисления. Факториальная система
- •4.6.1. Перевод целых чисел из десятичной системы в смешанную с основаниями р0, р1, ... , рk
- •Глава 5. Комбинаторика
- •5.1. Основная задача комбинаторики. Характеристики комбинаторных задач
- •5.2. Основные правила подсчета чисел комбинаторных множеств
- •5.2.1. Правило сложения
- •5.2.2. Формула включений-исключений
- •5.2.3. Правило умножения
- •5.2.4. Правило учета сходства и различия
- •5.3. Размещения (размещения с повторениями)
- •5.4. Перестановки и размещения без повторений различных объектов. Упорядоченность перестановок
- •5.5. Перестановки и размещения без повторений групп одинаковых объектов
- •5.6. Сочетания
- •5.7. Понятие вероятности
- •Контрольные задания по теме
- •II. Системы счисления. Комбинаторика
Глава 2. Мощность множеств
2.1. Мощность. Счетные множества
Количество элементов конечных множеств может быть выражено неотрицательным целым числом. Для оценки количества элементов в бесконечных множествах вводится обобщенное понятие числа — мощность, которая для конкретного множества А обозначается как А. На конечных множествах она совпадает с числом элементов, ее можно определить простым подсчетом.
Пример 1. a,b,c=3; 1,...,10}=10.
Для исследования мощности бесконечных множеств используют отображения.
Определение. Множества А и В называют эквивалентными (имеющими одинаковую мощность), если между ними можно установить взаимно однозначное отображение. Обозначают как: | А|=| В|.
Для конечных множеств эквивалентность означает равенство чисел элементов.
Рассмотрим самый простой вид бесконечных множеств.
Определение. Cчетными называют все множества, эквивалентные множеству N натуральных чисел. Мощность N обозначают 0 (алеф нуль, алеф – первая буква древнееврейского алфавита): N = 0.
Основное свойство счетных множеств заключается в том, что их элементы можно пронумеровать числами натурального ряда. Это позволяет использовать различные алгоритмы их последовательной обработки.
Вопрос о допустимости использования в математике бесконечных величин и множеств занимал умы мыслителей еще с древности. Уже тогда признавалось существование потенциальной бесконечности, под которой понимается отсутствие предела у возрастающих числовых последовательностей, например у натурального ряда N.
В то же время, многие видные ученые, начиная с античности (Аристотель) до второй половины XIX века (Лейбниц, Гаусс, Коши и др.), выступали против признания и использования в математике актуальной бесконечности, при которой бесконечные множества в символьном виде вводятся в формулы, подобно обычным конечным, и с ними допускается выполнение различных действий.
Переворот совершил в конце XIX века немецкий математик Георг Кантор, который вопреки существовавшему мнению, ввел в математику актуально-бесконечные множества, доказав целый ряд теорем, раскрывающих их свойства.
Пример 2. Найдем мощность множества N2 всех четных положительных чисел (делящихся без остатка на 2).
Решение. Все числа в N2 имеют вид: n2=2n, где nN. Отображение f:NN2, задаваемое этой зависимостью, является линейным с ненулевым линейным коэффициентом (С0=2). Как доказано ранее, оно взаимно однозначно. По определению множества N2 и N эквивалентны. Таким образом, множество N2 так же счетно, как и N, N2 =N = 0.
Пример 3. Найти мощность множества Z всех целых чисел в интервале (– ; + ).
Решение. Аналогично доказываем Z0 путем построения взаимно однозначного отображения f : Z N. Разобьем Z на два подмножества: N, N- , где N- — неположительные целые числа (0 и все отрицательные). Обозначим через N2 множество натуральных четных чисел, через — множество натуральных нечетных чисел ({1,3,5,7,...}).
Искомое отображение f строим из двух отдельных взаимно однозначных отображений следующим образом:
N N2; n2 = 2n;
N- ;n2 = –2n-+1.
И первая и вторая части построенного отображения являются линейными с ненулевыми линейными коэффициентами (С0=2, –2), следовательно, они взаимно однозначны. Так как Z = NN-; N=N2 , то искомое взаимно однозначное отображение построено. Следовательно, Z=N =0.
Замечание. Взаимно однозначное отображение может быть построено различными способами. В примере 3 его можно указать, например, следующим образом:
A: 0 1 2 –1 –2 3 4 ...
...
N: 1 2 3 4 5 6 7 ...
Пример 4. Найти мощность множества A рациональных чисел в сегменте [0,1].
Решение. По определению рациональными являются числа, которые могут быть представлены в виде a = n / m, где n, m — целые числа, n ≥ 0, m > 0. На сегменте [0,1] n m. Упорядочить данные числа можно следующим образом. В первой строке расположить числа, где после сокращения числителя и знаменателя знаменатель равен 1; во второй — несократимые числа со знаменателем 2, не вошедшие в строку 1; в третьей — несократимые числа со знаменателем 3,не вошедшие в строки 1 и 2, и т.д.
В итоге получаем таблицу:
m=1: 0/1, 1/1;
m=2: 1/2;
m=3: 1/3,2/3;
m=4: 1/4, 3/4;
...
Таблица содержит все числа из А, причем каждое входит ровно один раз. Если задать порядок по строкам таблицы сверху вниз и внутри строк слева направо, то каждому ее элементу можно взаимно однозначно поставить в соответствие свой порядковый номер — натуральное число:
0/1 1, 1/1 2, 1/23, 1/34, 2/35, 1/46, 3/47,…
Отсюда следует, что построено взаимно однозначное отображение f : AN , 0 .
Пример 5. Найти мощность множества A рациональных чисел на всей числовой оси (–; +).
Решение. Рациональные числа в А можно представить в виде a = n / m, где n, m — целые неотрицательные числа (m 0). Упорядочиваем их аналогично рациональным числам из [0,1], рассматривая вместо знаменателей веса чисел W = n + m. Таблица будет иметь вид:
W=1: 0/1;
W=2: +1/1; –1/1;
W=3: +2/1; +1/2; –1/2; –2/1;
...
Вводя пересчет элементов по аналогии с примером 4, также можно показать, что в данном случае 0.
Для практического определения счетной мощности множеств можно использовать следующие утверждения.
Теорема 2.1. Любое подмножество B счётного множества А конечно или счётно.
Доказательство. Упорядочим элементы множества А = {a1, a2, …} и удалим из него все элементы, не входящие в В. При этом всегда будет получено упорядоченное конечное или бесконечное (счетное) множество элементов, составляющее подмножество B.
Теорема 2.2. Объединение любого конечного или счётного числа счетных множеств тоже всегда является счётным множеством.
Доказательство. Допустим, есть конечное или счётное число множеств А1, А2, А3, ... . Объединение их обозначим через А. В общем случае А1, А2, А3, ... могут пересекаться, поэтому перейдем к непересекающимся множествам В1 = А1; В2 = (A2 \ A1); В3 = (A3 \ (A1 A2)) и т. д. Очевидно, Bi = = Ai = A. Мощность числа элементов в каждом множестве Bi не превышает счётную. Поэтому их можно записать в виде упорядоченной последовательности (bi1, bi2, ...). Объединяя такие записи множеств B1,B2,..., получим запись элементов всего исходного множества А в виде таблицы:
b11 b12 b13 ...
b21 b22 b23 ...
b31 b32 b33 ...
...
В этой таблице все элементы А присутствуют ровно один раз. Для доказательства счетности множества А графически укажем на рис.2.1 способ упорядочения его элементов (сопоставления их числам из натурального ряда).
Рис. 2.1
Данный способ упорядочения задает взаимно однозначное отображение множества А на N. Отсюда следует: 0.
Пример 6. На плоскости (x, y) задана ортогональная сетка с шагом 1 (рис.2.2). Найти мощность множества А узлов сетки.
Решение. Мощность множества горизонтальных линий равна мощности множества всех целых чисел Z. Выше показано, что оно счетно. Также счетно множество вертикальных линий. По доказанной ранее теореме о счетной сумме счетных множеств получим: А = 0.
Рис. 2.2 Рис. 2.3
Замечание. Задачу можно решить, непосредственно указав взаимно однозначное отображение f: A N. Например, так, как показано на рис. 2.3.
Для практического сравнения мощностей множеств также может быть использована теорема, сформулированная Кантором и доказанная Шредером и Бернштейном.
Теорема 2.3. Кантора-Бернштейна. Пусть А и В — некоторые произвольные множества. Если А эквивалентно некоторому подмножеству В1 множества В, а В — некоторому подмножеству А1 из А, то А эквивалентно В:А=В.
Доказательство производится путем построения взаимно однозначного отображения между А и В.