WikiSort.ru - Не сортированное

Отношение эквивалентности — абстрактное бинарное отношение между элементами данного множества, которое ведёт себя сходно с отношением равенства.

Определение

Отношение эквивалентности (${\displaystyle \sim }$ ) на множестве ${\displaystyle X}$  — это бинарное отношение, для которого выполнены следующие условия:

1. рефлексивность: ${\displaystyle a\sim a}$ для любого ${\displaystyle a}$ в ${\displaystyle X}$ ;
2. симметричность: если ${\displaystyle a\sim b}$ , то ${\displaystyle b\sim a}$ ;
3. транзитивность: если ${\displaystyle a\sim b}$ и ${\displaystyle b\sim c}$ , то ${\displaystyle a\sim c}$ .

Запись вида «${\displaystyle a\sim b}$ » читается как «${\displaystyle a}$ эквивалентно ${\displaystyle b}$ ».

Связанные определения

Классом эквивалентности ${\displaystyle [a]\subset X}$ элемента ${\displaystyle a\in X}$ называется подмножество элементов, эквивалентных ${\displaystyle a}$ ; то есть,

${\displaystyle [a]=\{\,x\in X\mid x\sim a\,\}}$ .

Из вышеприведённого определения немедленно следует, что если ${\displaystyle b\in [a]}$ , то ${\displaystyle [a]=[b]}$ .

Фактормножество — множество всех классов эквивалентности заданного множества ${\displaystyle X}$ по заданному отношению ${\displaystyle \sim }$ , обозначается ${\displaystyle X/{\sim }}$ .

Для класса эквивалентности элемента ${\displaystyle a}$ используются следующие обозначения: ${\displaystyle [a]}$ , ${\displaystyle a/{\sim }}$ , ${\displaystyle {\overline {a}}}$ .

Множество классов эквивалентности по отношению ${\displaystyle \sim }$ является разбиением множества.

Примеры

• Равенство («${\displaystyle \;=}$ »), тривиальное отношение эквивалентности на любом множестве, в частности, вещественных чисел.
• Сравнение по модулю, («а ≡ b (mod n)»).
• В евклидовой геометрии
  • Отношение конгруэнтности («${\displaystyle \cong }$ »).
  • Отношение подобия («${\displaystyle \ \sim }$ »).
  • Отношение параллельности прямых («${\displaystyle \|}$ »).
• Эквивалентность функций в математическом анализе:

  Говорят, что функция ${\displaystyle f(x)}$ эквивалентна функции ${\displaystyle g(x)}$ при ${\displaystyle x\rightarrow x_{0}}$ , если она допускает представление вида ${\displaystyle f(x)=\alpha (x)g(x)}$ , где ${\displaystyle \alpha (x)\rightarrow 1}$ при ${\displaystyle x\rightarrow x_{0}}$ . В этом случае пишут ${\displaystyle f(x)\sim g(x)}$ , напоминая при необходимости, что речь идёт о сравнении функций при ${\displaystyle x\rightarrow x_{0}}$ . Если ${\displaystyle g(x)\neq 0}$ при ${\displaystyle x\neq x_{0}}$ , эквивалентность функций ${\displaystyle f(x)}$ и ${\displaystyle g(x)}$ при ${\displaystyle x\rightarrow x_{0}}$ , очевидно, равносильна соотношению ${\displaystyle \lim _{x\rightarrow x_{0}}{\frac {f(x)}{g(x)}}=1}$ .

• Эквивалентность норм на векторном пространстве.
• Отношение равномощности множеств.
• Изоморфизм групп, колец, векторных пространств
• Эквивалентность категорий.
• Изоморфизм в некоторой категории задаёт отношение эквивалентности на этой категории.

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

Множество всех классов эквивалентности, отвечающее отношению эквивалентности ${\displaystyle \sim }$ , обозначается символом ${\displaystyle X/{\sim }}$ и называется фактор-множеством относительно ${\displaystyle \sim }$ . При этом сюръективное отображение

${\displaystyle p\colon x\mapsto [x]}$

называется естественным отображением (или канонической проекцией) ${\displaystyle X}$ на фактор-множество ${\displaystyle X/{\sim }}$ .

Пусть ${\displaystyle X}$ и ${\displaystyle Y}$  — множества, ${\displaystyle f\colon X\to Y}$  — отображение, тогда бинарное отношение ${\displaystyle x\sim y}$ , определённое правилом

${\displaystyle x\sim y\iff f(x)=f(y),\quad x,y\in X}$ ,

является отношением эквивалентности на ${\displaystyle X}$ . При этом отображение ${\displaystyle f}$ индуцирует отображение ${\displaystyle {\overline {f}}\colon X/{\sim }\to Y}$ , определяемое правилом

${\displaystyle {\overline {f}}([x])=f(x)}$

или, что то же самое,

${\displaystyle ({\overline {f}}\circ p)(x)=f(x)}$ .

При этом получается факторизация отображения ${\displaystyle f}$ на сюръективное отображение ${\displaystyle p}$ и инъективное отображение ${\displaystyle {\overline {f}}}$ .

См. также

• Отношение толерантности — ослабленная форма эквивалентности.
• Эквиваленция — логическая операция.
• Знак равенства.

Литература

• А. И. Кострикин, Введение в алгебру. М.: Наука, 1977, 47—51.
• А. И. Мальцев, Алгебраические системы, М.: Наука, 1970, 23—30.
• Отношение типа равенства (отношение эквивалентности) // Большая Советская энциклопедия (в 30 т.) / А. М. Прохоров (гл. ред.). — 3-е изд. — М: Сов. энциклопедия, 1974. — Т. XVIII. — С. 629. — 632 с.

Для улучшения этой статьи желательно: Проставив сноски, внести более точные указания на источники. Проверить достоверность указанной в статье информации.