Лекция 7. Мощность множеств, счётные и несчётные множества
Конечные и бесконечные множества, равномощность, кардинальное число, сравнение мощностей, счётные множества и критерий счётности, несчётность интервала и прямой, теорема Кантора — Бернштейна — Шрёдера.
На лекции 6 появились инъекции, сюръекции и биекции и принцип Дирихле для конечных множеств. Теперь те же отображения становятся инструментом сравнения размеров: два множества «одного размера», если между ними есть биекция. Для конечных множеств это обычный подсчёт элементов, а для бесконечных выясняется, что бесконечности бывают разные: натуральных чисел столько же, сколько рациональных, но меньше, чем точек прямой.
1. Конечные и бесконечные множества
Определение 1. Множество конечно, если для некоторого существует биекция Число называют числом элементов и пишут . При множество пусто, и это определение пустого множества: .
В этом курсе : иначе случай не вошёл бы в определение.
Определение 2. Множество бесконечно, если оно не конечно.
Дополнение. Число в определении 1 определено однозначно: если бы были биекции и с , их композиция дала бы инъекцию из -элементного множества в -элементное, что запрещает принцип Дирихле.
2. Равномощность и кардинальные числа
2.1. Равномощные множества
Определение 3. Множества и равномощны, , если существует биекция .
Для конечных множеств это то же самое, что «одинаковое число элементов». Но определение не требует считать элементы, поэтому работает и для бесконечных множеств.
- и чётные числа : биекция . Часть бесконечного множества может быть равномощна целому — для конечных множеств так не бывает (теорема 2).
- и : , то есть для чётных и для нечётных.
- и : биекция .
Равномощность ведёт себя как отношение эквивалентности: — биекция , обратная к биекции — биекция, композиция биекций — биекция.
2.2. Кардинальное число
Определение 4. Кардинальное число (мощность) множества — общий «размер» всех множеств, равномощных данному. В наивной теории множеств это класс эквивалентности по отношению равномощности.
Пример. Мощность — это класс всех двухэлементных множеств:
Слово «класс», а не «множество», здесь не случайно: совокупность всех двухэлементных множеств слишком велика, чтобы быть множеством, — к ней применимы рассуждения в духе парадокса Рассела. Поэтому в аксиоматической теории кардиналы определяют иначе, а запись удобно понимать просто как «мощность ».
2.3. Сравнение мощностей
Определение 5.
- , если существует инъекция ;
- , если и не существует биекции .
Смысл: можно без склеек уложить внутрь . Например, через вложение .
Теорема 1 (транзитивность). .
Дополнение. Доказательство. Пусть и — инъекции. Тогда инъективна: из по инъективности следует , а по инъективности — .
Ещё одно свойство порядка — антисимметричность: из и следует . Это уже не очевидно и составляет теорему Кантора — Бернштейна — Шрёдера (раздел 5).
2.4. Подмножество конечного множества
Теорема 2. Если , и конечно, то .
Дополнение. Доказательство. Пусть и : есть . Возьмём биекцию . Тогда — инъекция из в , потому что . Но , и по принципу Дирихле такой инъекции нет. Противоречие.
, но . Ровно это свойство — быть равномощным собственному подмножеству — иногда берут за определение бесконечного множества (по Дедекинду).
3. Счётные множества
3.1. Определение
Определение 6.
- Множество счётно, если оно конечно или равномощно .
- Множество несчётно, если оно бесконечно и неравномощно .
В этом курсе конечные множества тоже называются счётными. Во многих учебниках (и на матане) «счётное» значит именно «равномощное », а «конечное или счётное» называют не более чем счётным. Читая чужое доказательство, проверяйте, какое соглашение принято.
Равномощность означает, что элементы можно выписать в последовательность без повторов, в которой встретится каждый элемент: .
3.2. Критерий счётности
Теорема 3. Для множества равносильны три условия:
- счётно;
- существует инъекция ;
- пусто или существует сюръекция .
Второе условие — это : счётные множества — ровно те, что «не больше ». Третье удобно на практике: достаточно выписать последовательность, в которой встречается каждый элемент , а повторы разрешены.
Дополнение. Доказательство. Понадобится вспомогательный факт.
Лемма. Любое подмножество счётно.
Если конечно, доказывать нечего. Если бесконечно, перенумеруем его элементы по возрастанию: , . Минимумы существуют, потому что каждое непустое подмножество имеет наименьший элемент, а множества непусты, потому что бесконечно. Отображение инъективно (последовательность строго возрастает) и сюръективно: каждый получит номер не больше , потому что .
- Конечное биективно отображается в ; равномощное — биективно на . Оба отображения — инъекции в .
- Инъекция — биекция между и образом , а счётно по лемме.
- Пусть , — инъекция и . Положим , если , и иначе. Каждый получается как , значит сюръективна.
- Пустое множество вкладывается в пустой функцией. Если сюръективна, положим — наименьший номер, под которым встречается. Прообраз непуст по сюръективности, минимум существует, а инъективна, потому что у разных прообразы не пересекаются.
Заметьте, что в правая обратная к сюръекции строится без аксиомы выбора: в всегда можно взять наименьший элемент.
3.3. Объединение счётных множеств
Теорема 4. Счётное объединение счётных множеств счётно: если счётны, то счётно.
Дополнение. Доказательство. Пустые ничего не добавляют, их можно выбросить; если пусты все, объединение пусто. Для каждого непустого выберем сюръекцию — она есть по теореме 3. Тогда сюръективна. Осталось занумеровать пары: равномощно , например через канторову нумерацию по диагоналям Композиция — сюръекция, и по теореме 3 объединение счётно.
Тонкость: выбрать сразу бесконечно много сюръекций позволяет только аксиома выбора (счётная её версия). Без неё теорема в общем виде не доказывается.
- и вообще — по канторовой нумерации и индукции по .
- : сюръекция , , а счётно.
- Все конечные строки над конечным алфавитом: это объединение счётного числа конечных множеств «строки длины ». Отсюда, в частности, программ на C — счётное множество.
- Многочлены с целыми коэффициентами, а значит, и их корни — алгебраические числа.
4. Несчётность
Теорема 5. Интервал несчётен, а вместе с ним и вся прямая .
На лекции 4 по матану это доказывали через вложенные отрезки. Здесь — другой классический способ.
Дополнение. Доказательство диагональным методом Кантора. Пусть счётно. Оно бесконечно, значит, его элементы можно выписать в последовательность , в которой встречается каждое число. Запишем их десятичными дробями:
Построим , где , если , и , если . Тогда , и отличается от каждого в -й цифре после запятой. Цифр и в записи нет, поэтому у единственная десятичная запись (неоднозначность бывает только у дробей вида ), и для всех . Получили число, которого нет в последовательности, — противоречие.
несчётно: если бы была инъекция , её ограничение на тоже было бы инъекцией, и было бы счётно по теореме 3.
Итак, : инъекция есть, а биекции нет. Мощность называют континуумом.
Тот же диагональный приём доказывает теорему Кантора: для любого множества . Поэтому , и самой большой мощности нет.
5. Теорема Кантора — Бернштейна — Шрёдера
Теорема 6 (Кантора — Бернштейна — Шрёдера).
Иначе: если есть инъекция и инъекция , то есть и биекция . Сами данные инъекции биекциями быть не обязаны — биекцию приходится собирать из их кусков.
Теорема превращает доказательство равномощности в две простые задачи: вложить одно множество в другое и наоборот.
Дополнение. Пример. . Инъекция — вложение . Инъекция — , её образ . Явную биекцию выписать можно, но заметно сложнее.
Дополнение: доказательство теоремы
Пусть и — инъекции. Определим множества — элементы , у которых нет прообраза при , а — всё, что из них получается, если ходить туда-обратно . Положим Второй случай корректен: если , то , значит , а прообраз при инъекции единственный.
Инъективность. На функция совпадает с инъекцией , вне — с инъективной . Пусть , и . Тогда , и если , то — противоречие.
Сюръективность. Возьмём . Если , то . Если , то (он лежит в ), значит для некоторого : с . По инъективности получаем .
Значит, — биекция .
Частые ошибки
- Считать, что из следует . Для бесконечных множеств это неверно: , но мощности равны.
- Проверять , предъявив одну функцию, которая не биекция, и сделав вывод «значит, неравномощны». Нужно, чтобы не было никакой биекции: на не сюръективна, но , конечно, равномощно себе.
- Доказывая , ограничиваться инъекцией . Она даёт только ; строгость требует показать, что биекции нет.
- Путать соглашения: в курсе ДМ «счётное» включает конечные множества, на матане — нет.
- В диагональном методе забывать про двойную запись дробей вроде . Отсюда выбор цифр и без и .
- Считать, что теорема Кантора — Бернштейна — Шрёдера делает одну из данных инъекций биекцией. Биекция строится заново из кусков обеих.
Мини-тренажёр
- Постройте биекцию между и множеством нечётных натуральных чисел.
- Найдите номер пары в канторовой нумерации и пару с номером .
- Счётны ли множества: ; множество всех конечных подмножеств ; множество всех бесконечных последовательностей из и ?
- Докажите, что если счётно и , то счётно.
- С помощью теоремы Кантора — Бернштейна — Шрёдера докажите, что .
- Множества и конечны, . Сколько существует биекций , если ? А если ?
Ответы
- : инъективна, и каждое нечётное — образ .
- . Номер : диагональ начинается с номера , значит , , пара .
- — счётно: , а счётно. Конечные подмножества — счётно: подмножество кодируется числом , и это биекция с (двоичная запись). Бесконечные --последовательности — несчётно: диагональный метод работает дословно, достаточно заменять -й член на противоположный.
- Если — инъекция, то её ограничение на тоже инъекция, и счётно по теореме 3.
- : вложение . : например, — инъекция в . По теореме 6 мощности равны.
- При биекций . При ни одной: биекция означала бы .
Шпаргалка
| Понятие | Суть |
|---|---|
| Конечное множество | есть биекция ; — пустое |
| Бесконечное | не конечное |
| Равномощность | есть биекция |
| Кардинальное число | класс всех равномощных множеств |
| есть инъекция ; транзитивно | |
| и нет биекции | |
| Подмножество конечного | , , конечно |
| Счётное | конечное или равномощное |
| Несчётное | бесконечное и неравномощное |
| Критерий счётности | счётно есть инъекция или есть сюръекция |
| Объединение | счётное объединение счётных — счётно |
| Счётные примеры | , , , конечные строки |
| Несчётные | , ; |
| Кантор — Бернштейн — Шрёдер |
Актуальная версия: https://m3105.ru/notes/diskretnaya-matematika/lektsiya-7-moschnost-mnozhestv-schyotnye-i-neschyotnye-mnozhestva

Комментарии0
Пока никто ничего не написал.
Войдите, чтобы оставить комментарий