Отношение эквивалентности - Equivalence relation

Бинарные отношения

	Симметричный	Антисимметричный	Connex	Обоснованный	Присоединяется	Встречается
Отношение эквивалентности	✓	✗	✗	✗	✗	✗
Предварительный заказ (Квазипорядок)	✗	✗	✗	✗	✗	✗
Частичный заказ	✗	✓	✗	✗	✗	✗
Всего предзаказ	✗	✗	✓	✗	✗	✗
Общий заказ	✗	✓	✓	✗	✗	✗
Предварительный заказ	✗	✗	✓	✓	✗	✗
Хорошо-квазиупорядоченный	✗	✗	✗	✓	✗	✗
Хороший порядок	✗	✓	✓	✓	✗	✗
Решетка	✗	✓	✗	✗	✓	✓
Соединение-полурешетка	✗	✓	✗	✗	✓	✗
Встреча-полурешетка	✗	✓	✗	✗	✗	✓

А "✓"указывает, что свойство столбца требуется в определении строки.
Например, определение отношения эквивалентности требует, чтобы оно было симметричным.
Все определения молчаливо требуют транзитивность и рефлексивность.

В 52 отношения эквивалентности на 5-элементном множестве, изображенном как 5 × 5 логические матрицы (цветные поля, в том числе светло-серые, обозначают единицы; белые поля - нули.) Индексы строк и столбцов небелых ячеек являются связанными элементами, в то время как разные цвета, кроме светло-серого, обозначают классы эквивалентности (каждый светлый серая ячейка - это собственный класс эквивалентности).

В математика, отношение эквивалентности это бинарное отношение то есть рефлексивный, симметричный и переходный. Отношение «равно» является каноническим примером отношения эквивалентности.

Каждое отношение эквивалентности обеспечивает раздел базового набора в непересекающиеся классы эквивалентности. Два элемента данного набора эквивалентны друг другу, если и только если они принадлежат к одному классу эквивалентности.

Обозначение

В литературе используются различные обозначения для обозначения того, что два элемента $а$ и $б$ множества эквивалентны относительно отношения эквивалентности $р$ ; наиболее распространены " $а ~ б$ " и " $а \equiv б$ ", которые используются, когда $р$ неявно, а варианты " $а ~ р б$ ", " $а \equiv р б$ ", или же " ${displaystyle {amathop {R} b}}$ " указать $р$ явно. Неэквивалентность может быть записана " $а ≁ б$ " или же " ${displaystyle aot Equiv b}$ ".

Определение

А бинарное отношение ~ на съемочной площадке Икс называется отношением эквивалентности, если и только если он рефлексивный, симметричный и переходный. То есть для всех а, б и c в Икс:

а ~ а. (Рефлексивность )
а ~ б если и только если б ~ а. (Симметрия )
если а ~ б и б ~ c, тогда а ~ c. (Транзитивность )

Икс вместе с отношением ~ называется сетоид. В класс эквивалентности из ${displaystyle a}$ под ~, обозначенный ${displaystyle [a]}$ ,^[1] определяется как ${displaystyle [a] = {xin Xmid xsim a}}$ .^[2]^[3]

Примеры

Простой пример

Пусть набор ${displaystyle {a, b, c}}$ имеют отношение эквивалентности ${displaystyle {(a, a), (b, b), (c, c), (b, c), (c, b)}}$ . Следующие наборы классы эквивалентности этого отношения:

{displaystyle [a] = {a}, ~~~~ [b] = [c] = {b, c}}

.

Множество всех классов эквивалентности для этого отношения есть ${displaystyle {{a}, {b, c}}}$ . Этот набор представляет собой раздел из набора ${displaystyle {a, b, c}}$ .

Отношения эквивалентности

Все следующие отношения являются отношениями эквивалентности:

«Равно» на множестве чисел. Например, ${displaystyle {frac {1} {2}}}$ равно ${displaystyle {frac {4} {8}}}$ .^[3]
«Имеет тот же день рождения, что и» на съемочной площадке у всех людей.
"Является похожий к "на множестве всех треугольники.
"Является конгруэнтный к "на множестве всех треугольники.
"Соответствует, по модулю п" на целые числа.^[3]
"Имеет то же самое изображение под функция "на элементах область функции.
"Имеет одинаковое абсолютное значение" на множестве действительных чисел
«Имеет одинаковый косинус» на множестве всех углов.

Отношения, не являющиеся эквивалентами

Отношение «≥» между действительными числами рефлексивно и транзитивно, но не симметрично. Например, 7 ≥ 5 не означает, что 5 ≥ 7. Однако это общий заказ.
Отношение "имеет Общий делитель больше 1 с "между натуральные числа больше 1, рефлексивно и симметрично, но не транзитивно. Например, у натуральных чисел 2 и 6 общий делитель больше 1, а у 6 и 3 общий делитель больше 1, но у 2 и 3 общий делитель не больше 1.
В пустое отношение р (определяется так, что aRb никогда не бывает правдой) на непустой набор Икс является бессмысленно симметричный и переходный, но не рефлексивный. (Если Икс тоже пусто, тогда р является рефлексивный.)
Отношение «примерно равно» между действительными числами, даже если оно определено более точно, не является отношением эквивалентности, потому что, хотя оно рефлексивно и симметрично, оно не является транзитивным, поскольку несколько небольших изменений могут накапливаться, чтобы стать большим изменением. Однако, если приближение определяется асимптотически, например, говоря, что две функции ж и грамм примерно равны около некоторой точки, если предел f - g равен 0 в этой точке, то это определяет отношение эквивалентности.

Связь с другими отношениями

А частичный заказ является рефлексивным отношением, антисимметричный, и переходный.
Равенство является одновременно отношением эквивалентности и частичным порядком. Равенство также является единственным отношением на множестве, которое является рефлексивным, симметричным и антисимметричным. В алгебраические выражения, равные переменные могут быть заменен друг для друга - средство, недоступное для переменных, связанных с эквивалентностью. В классы эквивалентности отношения эквивалентности могут заменять друг друга, но не индивиды внутри класса.
А строгий частичный порядок является иррефлексивным, переходным и асимметричный.
А отношение частичной эквивалентности транзитивно и симметрично. Такое отношение рефлексивно если и только если это серийный, то есть если ∀а∃б а ~ б.^[4] Следовательно, отношение эквивалентности может быть альтернативно определено как симметричное, транзитивное и последовательное отношение.
А отношение тернарной эквивалентности является тернарным аналогом обычного (бинарного) отношения эквивалентности.
Рефлексивное и симметричное отношение - это отношение зависимости (если конечный), а отношение терпимости если бесконечно.
А Предварительный заказ рефлексивно и переходно.
А отношение конгруэнтности является отношением эквивалентности, область определения Икс также является базовым набором для алгебраическая структура, и который уважает дополнительную структуру. В общем, отношения конгруэнтности играют роль ядра гомоморфизмов, и фактор структуры по отношению конгруэнтности может быть сформирован. Во многих важных случаях отношения конгруэнтности имеют альтернативное представление в виде подструктур структуры, на которой они определены (например, отношения конгруэнтности на группах соответствуют нормальные подгруппы ).
Любое отношение эквивалентности является отрицанием отношения обособленности, хотя обратное утверждение верно только в классическая математика (в отличие от конструктивная математика ), поскольку он эквивалентен закон исключенного среднего.

Корректная определенность при отношении эквивалентности

Если ~ - отношение эквивалентности на Икс, и п(Икс) является свойством элементов Икс, так что всякий раз, когда Икс ~ у, п(Икс) верно, если п(у) верно, то свойство п как говорят четко определенный или инвариант класса по отношению ~.

Частый частный случай возникает, когда ж это функция от Икс в другой набор Y; если Икс₁ ~ Икс₂ подразумевает ж(Икс₁) = ж(Икс₂) тогда ж считается морфизм для ~, a инвариант класса относительно ~, или просто инвариантен относительно ~. Это происходит, например, в теории характеров конечных групп. Последний случай с функцией ж можно выразить коммутативным треугольником. Смотрите также инвариантный. Некоторые авторы используют «совместим с ~» или просто «уважает ~» вместо «инвариантно под ~».

В более общем плане функция может отображать эквивалентные аргументы (в соответствии с отношением эквивалентности ~_А) к эквивалентным значениям (при условии эквивалентности ~_B). Такая функция известна как морфизм из ~_А к ~_B.

Класс эквивалентности, фактормножество, разбиение

Позволять ${displaystyle a, bin X}$ . Некоторые определения:

Класс эквивалентности

Подмножество Y из Икс такой, что а ~ б относится ко всем а и б в Y, и никогда а в Y и б за пределами Y, называется класс эквивалентности из Икс пользователя ~. Позволять ${displaystyle [a]: = {xin Xmid asim x}}$ обозначим класс эквивалентности, которому а принадлежит. Все элементы Икс эквивалентные друг другу также являются элементами одного класса эквивалентности.

Набор частных

Множество всех классов эквивалентности Икс через ~, обозначенный ${displaystyle X / {mathord {sim}}: = {[x] mid xin X}}$ , это набор частных из Икс пользователя ~. Если Икс это топологическое пространство, существует естественный способ преобразования Икс/ ~ в топологическое пространство; видеть факторное пространство для подробностей.

Проекция

В проекция ~ - функция ${displaystyle pi: X o X / {mathord {sim}}}$ определяется ${displaystyle pi (x) = [x]}$ который отображает элементы Икс в соответствующие классы эквивалентности с помощью ~.

Теорема на прогнозы:^[5] Пусть функция ж: Икс → B быть таким, чтобы а ~ б → ж(а) = ж(б). Тогда существует единственная функция грамм : X / ~ → B, так что ж = граммπ. Если ж это сюрприз и а ~ б ↔ ж(а) = ж(б), тогда грамм это биекция.

Ядро эквивалентности

В ядро эквивалентности функции ж - отношение эквивалентности ~, определяемое формулой ${displaystyle xsim yiff f (x) = f (y)}$ . Ядро эквивалентности инъекция это отношение идентичности.

Раздел

А раздел из Икс это набор п непустых подмножеств Икс, так что каждый элемент Икс является элементом единственного элемента п. Каждый элемент п это клетка раздела. Более того, элементы п находятся попарно непересекающиеся и их союз является Икс.

Подсчет разделов

Позволять Икс быть конечным множеством с п элементы. Поскольку всякое отношение эквивалентности над Икс соответствует разделу Икс, и наоборот, количество отношений эквивалентности на Икс равно количеству различных разделов Икс, какой пth Номер звонка B_п:

{displaystyle B_ {n} = {frac {1} {e}} sum _ {k = 0} ^ {infty} {frac {k ^ {n}} {k!}}}

(Формула Добинского ).

Основная теорема об отношениях эквивалентности

Ключевой результат связывает отношения эквивалентности и разбиения:^[6]^[7]^[8]

Отношение эквивалентности ~ на множестве Икс перегородки Икс.
Наоборот, соответствующее любому разбиению Икс, существует отношение эквивалентности ~ на Икс.

В обоих случаях ячейки перегородки Икс - классы эквивалентности Икс пользователя ~. Поскольку каждый элемент Икс принадлежит единственной ячейке любого разбиения Икс, и поскольку каждая ячейка раздела идентична класс эквивалентности из Икс на ~ каждый элемент Икс принадлежит единственному классу эквивалентности Икс пользователя ~. Таким образом, существует естественный биекция между множеством всех отношений эквивалентности на Икс и набор всех разделов Икс.

Сравнение отношений эквивалентности

Если ~ и ≈ - два отношения эквивалентности на одном множестве S, и а~б подразумевает а≈б для всех а,б ∈ S, то ≈ называется грубее отношения, чем ~, и ~ является тоньше отношение, чем ≈. Эквивалентно,

~ лучше, чем ≈, если каждый класс эквивалентности ~ является подмножеством класса эквивалентности ≈, и, таким образом, каждый класс эквивалентности ≈ является объединением классов эквивалентности ~.
~ тоньше, чем ≈, если раздел, созданный ~, является уточнением раздела, созданного ≈.

Отношение эквивалентности равенства является наилучшим отношением эквивалентности на любом множестве, в то время как универсальное отношение, которое связывает все пары элементов, является самым грубым.

Отношение «~ тоньше, чем ≈» на совокупности всех отношений эквивалентности на фиксированном множестве само по себе является отношением частичного порядка, что делает эту совокупность геометрическая решетка.^[9]

Создание отношений эквивалентности

Учитывая любое бинарное отношение ${displaystyle Asubset X imes X}$ на ${displaystyle X}$ , то отношение эквивалентности, порожденное ${displaystyle A}$ является пересечением отношений эквивалентности на ${displaystyle X}$ которые содержат ${displaystyle A}$ . (С ${displaystyle X imes X}$ является отношением эквивалентности, пересечение нетривиально.)

Учитывая любой набор Икс, существует отношение эквивалентности над множеством [Икс → Икс] всех функций Икс→Икс. Две такие функции считаются эквивалентными, если их соответствующие наборы фиксированные точки имеют то же самое мощность, соответствующие циклам длины один в перестановка. Эквивалентные таким образом функции образуют класс эквивалентности на [Икс → Икс], и эти классы эквивалентности разбивают [Икс → Икс].
Отношение эквивалентности ~ на Икс это ядро эквивалентности своего сюръективный проекция π: Икс → Икс/~.^[10] И наоборот, любое сюрприз между наборами определяет раздел в своем домене, набор прообразы из синглтоны в codomain. Таким образом, отношение эквивалентности над Икс, раздел Икс, и проекция, область определения которой Икс, являются тремя эквивалентными способами определения одного и того же.
Пересечение любого набора отношений эквивалентности над Икс (бинарные отношения рассматриваются как подмножество из Икс × Икс) также является отношением эквивалентности. Это дает удобный способ создания отношения эквивалентности: для любого бинарного отношения р на Икс, отношение эквивалентности порожденный R наименьшее отношение эквивалентности, содержащее р. Конкретно, р порождает отношение эквивалентности а ~ б если и только если есть элементы Икс₁, Икс₂, ..., Икс_п в Икс такой, что а = Икс₁, б = Икс_п, и (Икс_я, Икс_я+1) ∈ р или же (Икс_я+1, Икс_я) ∈ р, я = 1, ..., п−1.
Обратите внимание, что созданное таким образом отношение эквивалентности может быть тривиальным. Например, отношение эквивалентности ~, порожденное любым общий заказ на Икс имеет ровно один класс эквивалентности, Икс сам, потому что Икс ~ у для всех Икс и у. В качестве другого примера, любое подмножество отношение идентичности на Икс имеет классы эквивалентности, которые являются одиночными Икс.
Отношения эквивалентности могут создавать новые пространства, «склеивая вещи вместе». Позволять Икс быть единицей Декартов квадрат [0, 1] × [0, 1], и пусть ~ - отношение эквивалентности на Икс определяется (а, 0) ~ (а, 1) для всех а ∈ [0, 1] и (0, б) ~ (1, б) для всех б ∈ [0, 1]. Тогда факторное пространство Икс/ ~ можно естественным образом отождествить (гомеоморфизм ) с тор: возьмите квадратный лист бумаги, согните и склейте верхний и нижний края, чтобы сформировать цилиндр, затем согните получившийся цилиндр так, чтобы склеить два его открытых конца, в результате чего получится тор.

Алгебраическая структура

Большая часть математики основана на изучении эквивалентностей, и порядковые отношения. Теория решетки отражает математическую структуру отношений порядка. Хотя отношения эквивалентности так же распространены в математике, как отношения порядка, алгебраическая структура эквивалентностей не так хорошо известна, как структура порядков. Прежняя структура опирается в основном на теория групп и, в меньшей степени, по теории решеток, категории, и группоиды.

Теория групп

Как только порядковые отношения основаны на заказанные наборы, множества, замкнутые относительно попарно супремум и инфимум, отношения эквивалентности основаны на разбитые множества, которые являются множествами, замкнутыми относительно биекции которые сохраняют структуру разделов. Поскольку все такие биекции отображают класс эквивалентности на себя, такие биекции также известны как перестановки. Следовательно группы перестановок (также известен как группы трансформации ) и связанное с ним понятие орбита проливают свет на математическую структуру отношений эквивалентности.

Обозначим через '~' отношение эквивалентности над некоторым непустым множеством А, называется вселенная или базовый набор. Позволять грамм обозначим множество биективных функций над А которые сохраняют структуру разделов А: ∀Икс ∈ А ∀грамм ∈ грамм (грамм(Икс) ∈ [Икс]). Тогда верны следующие три связные теоремы:^[11]

~ разделы А в классы эквивалентности. (Это Основная теорема об отношениях эквивалентности, упомянутый выше);
Учитывая раздел А, грамм группа преобразований относительно композиции, орбиты которой являются клетки перегородки;^[15]

Учитывая группу преобразований грамм над А, существует отношение эквивалентности ~ над А, классы эквивалентности которых являются орбитами грамм.^[16]^[17]

Таким образом, учитывая отношение эквивалентности ~ над А, существует группа трансформации грамм над А чьи орбиты являются классами эквивалентности А под ~.

Эта групповая характеристика отношений эквивалентности принципиально отличается от способа решетки характеризуют отношения порядка. Аргументы операций теории решетки встретить и присоединиться элементы какой-то вселенной А. Между тем аргументы групповых операций преобразования сочинение и обратный являются элементами набора биекции, А → А.

Переходя к группам в целом, пусть ЧАС быть подгруппа некоторых группа грамм. Пусть ~ - отношение эквивалентности на грамм, так что а ~ б ↔ (ab⁻¹ ∈ ЧАС). Классы эквивалентности ~ - также называемые орбитами действие из ЧАС на грамм- правы смежные классы из ЧАС в грамм. Меняя местами а и б дает левые классы смежности.

Связанное с этим мышление можно найти у Розена (2008: глава 10).

Категории и группоиды

Позволять грамм - множество, и пусть "~" обозначает отношение эквивалентности над грамм. Тогда мы можем сформировать группоид представляя это отношение эквивалентности следующим образом. Объекты являются элементами грамм, а для любых двух элементов Икс и у из грамм, существует единственный морфизм из Икс к у если и только если Икс~у.

Преимущества рассмотрения отношения эквивалентности как частного случая группоида включают:

В то время как понятие "отношения свободной эквивалентности" не существует, понятие отношения свободный группоид на ориентированный граф делает. Таким образом, имеет смысл говорить о «представлении отношения эквивалентности», т.е. представлении соответствующего группоида;
Связки групп, групповые действия, множества и отношения эквивалентности можно рассматривать как частные случаи понятия группоида, точку зрения, которая предлагает ряд аналогий;
Во многих контекстах "факторное" и, следовательно, соответствующие отношения эквивалентности, часто называемые совпадения, важные. Это приводит к понятию внутреннего группоида в категория.^[18]

Решетки

Отношения эквивалентности на любом множестве Икс, по заказу установить включение, сформировать полная решетка, называется Против Икс условно. Канонический карта кер: Икс^Икс → Против Икс, связывает моноид Икс^Икс из всех функции на Икс и Против Икс. кер является сюръективный но нет инъективный. Менее формально отношение эквивалентности кер на Икс, принимает каждую функцию ж: Икс→Икс к его ядро кер ж. Так же, кер (кер) является отношением эквивалентности на Икс^Икс.

Отношения эквивалентности и математическая логика

Отношения эквивалентности - готовый источник примеров или контрпримеров. Например, отношение эквивалентности ровно с двумя бесконечными классами эквивалентности является простым примером теории, которая является ω-категоричный, но не категорично ни для каких более крупных количественное числительное.

Следствие теория моделей состоит в том, что свойства, определяющие отношение, могут быть доказаны независимыми друг от друга (и, следовательно, необходимыми частями определения) тогда и только тогда, когда для каждого свойства могут быть найдены примеры отношений, не удовлетворяющих данному свойству, но удовлетворяющих всем остальным свойствам. Следовательно, три определяющих свойства отношений эквивалентности могут быть доказаны взаимно независимыми на следующих трех примерах:

Рефлексивный и переходный: Отношение ≤ на N. Или любой Предварительный заказ;
Симметричный и переходный: Соотношение р на N, определяется как aRb ↔ ab ≠ 0. Или любой отношение частичной эквивалентности;
Рефлексивный и симметричный: Соотношение р на Z, определяется как aRb ↔ "а − б делится хотя бы на одно из 2 или 3. "Или любое отношение зависимости.

Свойства, определяемые в логика первого порядка что отношение эквивалентности может или не может включать:

Количество классы эквивалентности конечен или бесконечен;
Количество классов эквивалентности равно (конечному) натуральному числу п;
Все классы эквивалентности имеют бесконечное мощность;
Количество элементов в каждом классе эквивалентности - натуральное число п.

Евклидовы отношения

Евклид с Элементы включает следующее «Общее понятие 1»:

Вещи, которые равны одному и тому же, также равны друг другу.

В настоящее время свойство, описываемое Общим понятием 1, называется Евклидово (заменить «равно» на «связаны с»). Под "отношением" подразумевается бинарное отношение, в котором aRb в целом отличается от бюстгальтер. Таким образом, евклидово отношение бывает двух форм:

(АРК ∧ bRc) → aRb (Лево-евклидово соотношение)

(cRa ∧ cRb) → aRb (Право-евклидово соотношение)

Следующая теорема связывает Евклидовы отношения и отношения эквивалентности:

Теорема: Если отношение (левое или правое) евклидово и рефлексивный, она также симметрична и транзитивна.
Доказательство лево-евклидова отношения: (АРК ∧ bRc) → aRb [кондиционер] = (aRa ∧ бюстгальтер) → aRb [рефлексивный; стереть Т∧] = бюстгальтер → aRb. Следовательно р является симметричный.; (АРК ∧ bRc) → aRb [симметрия] = (АРК ∧ cRb) → aRb. Следовательно р является переходный. ${displaystyle _ {Box}}$

с аналогичным доказательством для право-евклидова отношения. Следовательно, отношение эквивалентности - это отношение, которое Евклидово и рефлексивный. Элементы не упоминает ни симметрию, ни рефлексивность, и Евклид, вероятно, счел бы рефлексивность равенства слишком очевидной, чтобы ее можно было прямо упомянуть.

Смотрите также

Примечания

^ «Исчерпывающий список символов алгебры». Математическое хранилище. 2020-03-25. Получено 2020-08-30.
^ Вайсштейн, Эрик В. «Класс эквивалентности». mathworld.wolfram.com. Получено 2020-08-30.
^ ^а ^б ^c «7.3: Классы эквивалентности». Математика LibreTexts. 2017-09-20. Получено 2020-08-30.
^ Если: Данный а, позволять а~б удерживайте, используя серийность, затем б~а по симметрии, следовательно а~а по транзитивности. - Только если: Данный а, выберите б=а, тогда а~б по рефлексивности.
^ Гаррет Биркофф и Saunders Mac Lane, 1999 (1967). Алгебра, 3-е изд. п. 35, чт. 19. Челси.
^ Уоллес, Д. А. Р., 1998. Группы, кольца и поля. п. 31, чт. 8. Springer-Verlag.
^ Даммит, Д. С., Фут, Р. М., 2004. Абстрактная алгебра, 3-е изд. п. 3, Предложение 2. Джон Уайли и сыновья.
^ Карел Хрбачек & Томас Джеч (1999) Введение в теорию множеств, 3-е издание, стр. 29–32, Марсель Деккер
^ Биркофф, Гарретт (1995), Теория решеток, Публикации коллоквиума, 25 (3-е изд.) Американского математического общества, ISBN 9780821810255. Разд. IV.9, теорема 12, стр. 95
^ Гаррет Биркофф и Saunders Mac Lane, 1999 (1967). Алгебра, 3-е изд. п. 33, чт. 18. Челси.
^ Розен (2008), стр. 243–45. Менее ясен §10.3 Бас ван Фраассен, 1989. Законы и симметрия. Oxford Univ. Нажмите.
^ Бас ван Фраассен, 1989. Законы и симметрия. Oxford Univ.Пресс: 246.
^ Уоллес, Д. А. Р., 1998. Группы, кольца и поля. Springer-Verlag: 22, Th. 6.
^ Уоллес, Д. А. Р., 1998. Группы, кольца и поля. Springer-Verlag: 24, Th. 7.
^
Доказательство.^[12] Позволять функциональная композиция интерпретировать групповое умножение, а функция обратная интерпретировать групповую обратную. потом грамм группа относительно композиции, что означает, что ∀Икс ∈ А ∀грамм ∈ грамм ([грамм(Икс)] = [Икс]), потому что грамм удовлетворяет следующим четырем условиям:
- G замкнута по композиции. Состав любых двух элементов грамм существует, потому что домен и codomain любого элемента грамм является А. Причем состав биекций биективный;^[13]
- Существование функция идентичности. В функция идентичности, я(Икс) = Икс, является очевидным элементом грамм;
- Существование обратная функция. Каждый биективная функция грамм имеет обратный грамм⁻¹, так что gg⁻¹ = я;
- Сочинение соратники. ж(gh) = (фг)час. Это верно для всех функций во всех областях.^[14]
Позволять ж и грамм быть любыми двумя элементами грамм. В силу определения грамм, [грамм(ж(Икс))] = [ж(Икс)] и [ж(Икс)] = [Икс], так что [грамм(ж(Икс))] = [Икс]. Следовательно грамм также является группой преобразований (и группа автоморфизмов ), поскольку композиция функций сохраняет разбиение А. ${displaystyle square}$ $квадрат$
^ Уоллес, Д. А. Р., 1998. Группы, кольца и поля. Springer-Verlag: 202, Th. 6.
^ Даммит, Д. С., Фут, Р. М., 2004. Абстрактная алгебра, 3-е изд. John Wiley & Sons: 114, Prop.2.
^ Борсё Ф. и Джанелидзе Г., 2001. Теории Галуа, Издательство Кембриджского университета, ISBN 0-521-80309-8

внешняя ссылка

«Отношение эквивалентности», Энциклопедия математики, EMS Press, 2001 [1994]
Богомольный, А., "Отношение эквивалентности " завязать узел. Доступ 1 сентября 2009 г.
Отношение эквивалентности в PlanetMath
OEIS последовательность A231428 (двоичные матрицы, представляющие отношения эквивалентности)

[1] «Исчерпывающий список символов алгебры». Математическое хранилище. 2020-03-25. Получено 2020-08-30.

[2] Вайсштейн, Эрик В. «Класс эквивалентности». mathworld.wolfram.com. Получено 2020-08-30.

[:0-3] а ^б ^c «7.3: Классы эквивалентности». Математика LibreTexts. 2017-09-20. Получено 2020-08-30.

[4] Если: Данный а, позволять а~б удерживайте, используя серийность, затем б~а по симметрии, следовательно а~а по транзитивности. - Только если: Данный а, выберите б=а, тогда а~б по рефлексивности.

[5] Гаррет Биркофф и Saunders Mac Lane, 1999 (1967). Алгебра, 3-е изд. п. 35, чт. 19. Челси.

[6] Уоллес, Д. А. Р., 1998. Группы, кольца и поля. п. 31, чт. 8. Springer-Verlag.

[7] Даммит, Д. С., Фут, Р. М., 2004. Абстрактная алгебра, 3-е изд. п. 3, Предложение 2. Джон Уайли и сыновья.

[8] Карел Хрбачек & Томас Джеч (1999) Введение в теорию множеств, 3-е издание, стр. 29–32, Марсель Деккер

[9] Биркофф, Гарретт (1995), Теория решеток, Публикации коллоквиума, 25 (3-е изд.) Американского математического общества, ISBN 9780821810255. Разд. IV.9, теорема 12, стр. 95

[10] Гаррет Биркофф и Saunders Mac Lane, 1999 (1967). Алгебра, 3-е изд. п. 33, чт. 18. Челси.

[11] Розен (2008), стр. 243–45. Менее ясен §10.3 Бас ван Фраассен, 1989. Законы и симметрия. Oxford Univ. Нажмите.

[12] Бас ван Фраассен, 1989. Законы и симметрия. Oxford Univ.Пресс: 246.

[13] Уоллес, Д. А. Р., 1998. Группы, кольца и поля. Springer-Verlag: 22, Th. 6.

[14] Уоллес, Д. А. Р., 1998. Группы, кольца и поля. Springer-Verlag: 24, Th. 7.

[15] Доказательство.^[12] Позволять функциональная композиция интерпретировать групповое умножение, а функция обратная интерпретировать групповую обратную. потом грамм группа относительно композиции, что означает, что ∀Икс ∈ А ∀грамм ∈ грамм ([грамм(Икс)] = [Икс]), потому что грамм удовлетворяет следующим четырем условиям:
G замкнута по композиции. Состав любых двух элементов грамм существует, потому что домен и codomain любого элемента грамм является А. Причем состав биекций биективный;^[13]
Существование функция идентичности. В функция идентичности, я(Икс) = Икс, является очевидным элементом грамм;
Существование обратная функция. Каждый биективная функция грамм имеет обратный грамм⁻¹, так что gg⁻¹ = я;
Сочинение соратники. ж(gh) = (фг)час. Это верно для всех функций во всех областях.^[14]
Позволять ж и грамм быть любыми двумя элементами грамм. В силу определения грамм, [грамм(ж(Икс))] = [ж(Икс)] и [ж(Икс)] = [Икс], так что [грамм(ж(Икс))] = [Икс]. Следовательно грамм также является группой преобразований (и группа автоморфизмов ), поскольку композиция функций сохраняет разбиение А. ${displaystyle square}$

[16] G замкнута по композиции. Состав любых двух элементов грамм существует, потому что домен и codomain любого элемента грамм является А. Причем состав биекций биективный;^[13]

[17] Существование функция идентичности. В функция идентичности, я(Икс) = Икс, является очевидным элементом грамм;

[18] Существование обратная функция. Каждый биективная функция грамм имеет обратный грамм⁻¹, так что gg⁻¹ = я;

[19] Сочинение соратники. ж(gh) = (фг)час. Это верно для всех функций во всех областях.^[14]

[16] Уоллес, Д. А. Р., 1998. Группы, кольца и поля. Springer-Verlag: 202, Th. 6.

[17] Даммит, Д. С., Фут, Р. М., 2004. Абстрактная алгебра, 3-е изд. John Wiley & Sons: 114, Prop.2.

[18] Борсё Ф. и Джанелидзе Г., 2001. Теории Галуа, Издательство Кембриджского университета, ISBN 0-521-80309-8

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[15]

[16]

[17]

[18]

[12]

[13]

[14]