В математике, А разбиение множества представляет собой группировку из ее элементов в непустые подмножества, таким образом, что каждый элемент включен в точности одного подмножества.
Каждое отношение эквивалентности на множестве определяет разбиение этого множества, и каждое разбиение определяет отношение эквивалентности. Набор оснащен отношением эквивалентности или раздел иногда называют setoid, как правило, в теории типа и теории доказательств.
Разбиение множества X - это набор непустых подмножеств X таких, что каждый элемент x в X находится ровно в одном из этих подмножеств (т. Е. X является дизъюнктным объединением подмножеств).
Эквивалентно, семейство множеств P является разбиением X тогда и только тогда, когда выполняются все следующие условия:
Наборы в P называются блоками, частями или ячейками раздела. Если тогда мы представляем ячейку, содержащую a, by. Другими словами, это обозначение ячейки в P, которая содержит a.
Каждое разбиение P можно отождествить с отношением эквивалентности на X, а именно таким отношением, что для любого мы имеем тогда и только тогда (эквивалентно, тогда и только тогда). Обозначения наводят на мысль, что отношение эквивалентности может быть построено из разбиения. И наоборот, любое отношение эквивалентности можно отождествить с разбиением. Вот почему иногда неформально говорят, что «отношение эквивалентности - то же самое, что и разбиение». Если P - раздел, отождествленный с данным отношением эквивалентности, то пишут некоторые авторы. Эти обозначения наводят на мысль о том, что разбиение - это множество X, разделенное на ячейки. Обозначения также наводят на мысль, что из отношения эквивалентности можно построить разбиение.
Ранг из P является | X | - | P |, Если X является конечным.
Для любого отношения эквивалентности на множестве X, множество ее классов эквивалентности является разбиение X. С другой стороны, из любого разбиения P из X, мы можем определить отношение эквивалентности на X с помощью параметра х ~ у именно тогда, когда х и у находятся в одной и той же части в P. Таким образом, понятия отношения эквивалентности и разбиения по существу эквивалентны.
Аксиома выбора гарантий для любого разбиения множества X существование подмножества X, содержащего ровно один элемент из каждой части перегородки. Это означает, что для данного отношения эквивалентности на множестве можно выбрать канонический репрезентативный элемент из каждого класса эквивалентности.
Перегородка α из множества X является уточнением разбиения р из X й мы говорим, что α является более тонким, чем р и что ρ является грубее, чем альфа -ел каждый элемент альфа является подмножеством некоторого элемента р. Неформально это означает, что α является дальнейшим дроблением ρ. В этом случае написано, что α ≤ ρ.
Это отношение тоньше, чем на множестве разбиений X, является частичным порядком (так что обозначение «≤» уместно). Каждый набор элементов имеет наименьшую верхнюю границу и наибольшую нижнюю границу, так что он образует решетку, а более конкретно (для разбиений конечного набора) это геометрическая решетка. Разбиение решетки из набора 4- х элементов имеет 15 элементов и изображен на диаграмме Хассе слева.
Эта решетка разбиений конечного множества, основанная на криптоморфизме между геометрическими решетками и матроидами, соответствует матроиду, в котором базовый набор матроида состоит из атомов решетки, а именно, разбиения с одноэлементными множествами и одного двухэлементного набора. установленный. Эти атомарные разбиения взаимно однозначно соответствуют ребрам полного графа. Матроид замыкание множества атомных перегородок является лучшим общим огрублением их всех; в терминах теории графов, это разбиение вершин полного графа на компоненты связности подграфа, образованного данным набором ребер. Таким образом, решетка разбиений соответствует решетке квартир графического матроида полного графа.
Другой пример иллюстрирует уточнение разделов с точки зрения отношений эквивалентности. Если D - это набор карт в стандартной колоде из 52 карт, отношение «тот же цвет-как» на D - которое можно обозначить ~ C - имеет два класса эквивалентности: наборы {красные карты} и {черные карты}. Двухчастное разбиение, соответствующее ~ C, имеет уточнение, которое дает отношение той же масти, что и ~ S, которое имеет четыре класса эквивалентности {пики}, {бубны}, {червы} и {трефы}.
Разбиение множества N = {1, 2,..., n } с соответствующим отношением эквивалентности ~ непересекающимся, если оно обладает следующим свойством: если четыре элемента a, b, c и d из N имеют a lt; b lt; c lt; d удовлетворяют a ~ c и b ~ d, тогда a ~ b ~ c ~ d. Название происходит от следующего эквивалентного определения: представьте, что элементы 1, 2,..., n из N нарисованы как n вершин правильного n -угольника (в порядке против часовой стрелки). Затем можно визуализировать раздел, нарисовав каждый блок в виде многоугольника (вершины которого являются элементами блока). Таким образом, разбиение не пересекается тогда и только тогда, когда эти многоугольники не пересекаются.
Решетка непересекающихся разбиений конечного множества в последнее время приобрела важность из-за ее роли в свободной теории вероятностей. Они образуют подмножество решетки всех разбиений, но не подрешетку, поскольку операции соединения двух решеток не совпадают.
Общее количество разбиений набора из n элементов - это число Белла B n. Первые несколько чисел Белла: B 0 = 1, B 1 = 1, B 2 = 2, B 3 = 5, B 4 = 15, B 5 = 52 и B 6 = 203 (последовательность A000110 в OEIS ). Числа Белла удовлетворяют рекурсии
и имеют экспоненциальную производящую функцию
Числа Белла также могут быть вычислены с использованием треугольника Белла, в котором первое значение в каждой строке копируется из конца предыдущей строки, а последующие значения вычисляются путем добавления двух чисел, числа слева и числа к указанному выше. слева от позиции. Числа Белла повторяются по обеим сторонам этого треугольника. Числа в треугольнике подсчитывают разделы, в которых данный элемент является наибольшим синглтоном.
Количество разбиений n -элементного множества ровно на k непустых частей - это число Стирлинга второго рода S ( n, k).
Количество непересекающихся разделов набора n -элементов - это каталонское число C n, задаваемое формулой