"Алгебра и начала математического анализа. Углубленный уровень", Виленкин Н.Я., Ивашев-Мусатов О.С., Шварцбурд С.И.
Разбиение множества — способ распределить его элементы по группам так, чтобы каждый элемент оказался ровно в одной группе. Такие группы называют классами разбиения: они непусты, не имеют общих элементов, а вместе содержат всё исходное множество. Это понятие помогает классифицировать объекты по общему признаку и связано с отношениями эквивалентности. Чтобы проверить разбиение, нужно убедиться, что выполнены все три условия: непустота классов, отсутствие пересечений и полное покрытие множества.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Разбиение множества — семейство непустых подмножеств, попарно не пересекающихся и объединение которых равно исходному множеству. Иначе говоря, это способ разделить множество на группы без потери элементов и без повторного включения. Определение нужно, чтобы точно проверять, действительно ли выбранные группы охватывают всё множество.
Класс разбиения — одно из подмножеств, входящих в разбиение; каждый элемент исходного множества принадлежит ровно одному классу. Классы могут иметь разный состав и размер, если соблюдены условия разбиения. Понятие класса помогает говорить об отдельной группе, не теряя связи с исходным множеством.
Попарно непересекающиеся множества — множества, пересечение любых двух различных множеств из семейства пусто. Значит, ни один элемент не может одновременно находиться в двух разных группах. Это условие нужно для однозначного распределения элементов.
Эквивалентные элементы — элементы, связанные отношением эквивалентности, то есть отношением с особыми свойствами рефлексивности, симметричности и транзитивности. Рефлексивность означает, что элемент эквивалентен самому себе, симметричность — что связь действует в обе стороны, а транзитивность — что из a ~ b и b ~ c следует a ~ c. Элементы, эквивалентные друг другу, составляют класс эквивалентности, а все такие классы образуют разбиение.
Чтобы получить разбиение, распределяют все элементы множества по группам: ни один элемент не должен остаться вне групп или попасть сразу в несколько групп. Причина в том, что группы должны описывать исходное множество целиком и без дублирования. Поэтому при группировке по признаку сначала определяют, куда относится каждый элемент, а затем проверяют, не возникает ли для него несколько вариантов.
Непустота, попарная непересекаемость и равенство объединения исходному множеству вместе гарантируют, что каждый элемент окажется ровно в одном классе. Равенство объединения множеству не даёт потерять элементы, а непересекаемость не позволяет одному элементу оказаться в нескольких классах. Непустота исключает группы, в которых нет ни одного элемента. Если эти условия выполнены, дополнительных требований к распределению не нужно.
Разбиение можно задать перечислением его классов или правилом, по которому элементы объединяются в одну группу. Перечисление удобно для небольших конечных множеств: можно сразу увидеть каждый класс. Для бесконечного множества перечислить все элементы часто невозможно, поэтому описывают общий признак, например одинаковый остаток при делении. В обоих случаях заданные группы должны удовлетворять условиям разбиения.
Отношение эквивалентности задаёт разбиение: в один класс попадают элементы, эквивалентные друг другу. Благодаря рефлексивности каждый элемент связан с собой, а значит, не остаётся без класса; симметричность и транзитивность обеспечивают согласованность групп. Обратно, по разбиению можно определить отношение «принадлежать одному классу»: оно будет рефлексивным, симметричным и транзитивным. Поэтому разбиение и отношение эквивалентности описывают одну и ту же группировку двумя способами.
При проверке семейства подмножеств достаточно отдельно проверить, что каждый класс непуст, классы не пересекаются и их объединение охватывает всё исходное множество. Удобно начать с элементов: проследить, что каждый встретился хотя бы один раз, а затем убедиться, что он встретился не более одного раза. Этот способ выявляет как пропуски, так и повторы. Для конечного множества можно дополнительно выписать объединение классов и их попарные пересечения.
| Условие | Что проверить | Что нарушается, если условие не выполнено |
|---|---|---|
| Непустота классов | В каждом классе есть хотя бы один элемент | Пустое подмножество не является классом разбиения |
| Попарная непересекаемость | Пересечение любых двух различных классов пусто | Некоторый элемент принадлежит сразу нескольким классам |
| Полное покрытие | Объединение всех классов равно исходному множеству | Некоторые элементы исходного множества не попадают ни в один класс |
| Единственная принадлежность | Каждый элемент исходного множества принадлежит ровно одному классу | Элемент либо пропущен, либо включён более чем в один класс |
Используйте таблицу как список проверок: разбиением является только семейство, в котором выполнены все условия. Последняя строка объединяет два требования к принадлежности — полное покрытие и отсутствие пересечений. Проверка непустоты классов при этом остаётся отдельной.
Для множества A = {1, 2, 3, 4, 5, 6} определить, является ли семейство {{1, 2}, {3}, {4, 5, 6}} его разбиением. Сначала проверим, что группы не пусты: в каждой действительно есть хотя бы один элемент. Затем сравним группы и их объединение с A, так как нужны одновременно отсутствие повторов и отсутствие пропусков.
Ответ: семейство является разбиением множества A: каждый элемент входит ровно в один непустой класс.
Разбить множество целых чисел на классы по остаткам при делении на 3 и записать эти классы. У каждого целого числа при делении на 3 есть ровно один из остатков 0, 1 или 2. Поэтому числа с одинаковым остатком можно объединить в три группы; отрицательные числа тоже учитываются по остатку, принятому в делении с остатком.
Ответ: получены три класса по остаткам 0, 1 и 2; они непусты, попарно не пересекаются и вместе содержат все целые числа.
На множестве натуральных чисел задано отношение: два числа эквивалентны, если их разность делится на 4. Найти классы эквивалентности и объяснить, почему они образуют разбиение. Условие означает, что числа относятся к одному классу тогда и только тогда, когда при делении на 4 дают одинаковый остаток. Натуральные числа распределяются по четырём возможным остаткам.
Ответ: классы задаются остатками 0, 1, 2 и 3. Они образуют разбиение, потому что непусты, попарно не пересекаются и объединяются во всё множество натуральных чисел.
Считать семействo разбиением, хотя некоторые элементы исходного множества не попали ни в один класс. Так бывает, когда проверяют только сами группы и не сверяют их объединение с исходным множеством. Для самопроверки выпишите элементы, которые не встретились ни в одном классе: если такие есть, объединение неполное.
Допускать пересечение классов — значит разрешать одному элементу входить в две группы. Это иногда путают с тем, что группы просто покрывают множество, но покрытия недостаточно. Проверьте попарные пересечения или посчитайте, сколько раз встречается каждый элемент: число должно быть ровно один.
Включать пустое множество в разбиение нельзя, потому что класс должен содержать хотя бы один элемент. Пустое множество могут принять за безвредную добавку, поскольку оно не меняет объединение других классов. Проверка простая: в каждом подмножестве семейства должен найтись хотя бы один элемент.
Проверять только объединение классов и не проверять их попарную непересекаемость — значит убедиться лишь в том, что никто не потерян. Причина ошибки в том, что полное покрытие принимают за достаточное условие. Сверьте пары классов: если хотя бы одно пересечение непусто, каждый элемент встречается ровно один раз не для всех элементов.
Для работы с разбиениями нужно знать множества, подмножества, объединение и пересечение: именно через эти понятия формулируют условия разбиения. Связь с отношениями эквивалентности позволяет группировать элементы по признаку, например по одинаковому остатку при делении. Разбиения применяют и при классификации объектов: каждой группе соответствуют элементы с общим свойством. Так формальное определение становится способом упорядочить множество в математике и в практических задачах.
Может ли пустое множество быть классом разбиения?
Нет. Каждый класс разбиения должен быть непустым, иначе он не содержит элементов и не образует группу. Пустой класс обычно просто удаляют: он не влияет на объединение, но нарушает определение разбиения.
Обязательно ли в разбиении каждый класс должен содержать одинаковое число элементов?
Нет, размеры классов могут различаться. Например, в разбиении множества {1, 2, 3, 4, 5} классы {1} и {2, 3, 4, 5} имеют разное число элементов. Требуются непустота, отсутствие пересечений и полное покрытие исходного множества.
Как проверить, что заданное семейство подмножеств является разбиением?
Проверьте, что каждый класс непуст, любые два различных класса не пересекаются, а объединение всех классов равно исходному множеству. Это можно свести к проверке, что каждый элемент исходного множества принадлежит ровно одному классу.
Могут ли два класса разбиения иметь общие элементы?
Нет, у разных классов пересечение должно быть пустым. Если общий элемент есть, он попадает сразу в две группы, а значит, распределён не единственным образом.
Как отношение эквивалентности связано с разбиением множества?
Отношение эквивалентности объединяет элементы, которые считаются одинаковыми по выбранному признаку. Все элементы, эквивалентные друг другу, составляют класс эквивалентности; такие классы образуют разбиение. И наоборот, по разбиению можно определить отношение: два элемента эквивалентны, если принадлежат одному классу.
3. Разбиение множества на подмножества
