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

Разделы:

У этого термина существуют и другие значения, см. Эквивалентность.

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

Рефлексивность: a∼a{displaystyle ,asim a} $,asim a$ для любого a{displaystyle a} $a$ в X{displaystyle X} $X$ ,
Симметричность: если a∼b{displaystyle ,asim b} $,asim b$ , то b∼a{displaystyle ,bsim a} $,bsim a$ ,
Транзитивность: если a∼b{displaystyle ,asim b} $,asim b$ и b∼c{displaystyle ,bsim c} $,bsim c$ , то a∼c{displaystyle ,asim c} $,asim c$ .

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

Содержание

1 Связанные определения
2 Примеры отношений эквивалентности
3 Факторизация отображений
4 Литература
5 См. также

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

Классом эквивалентности C(a){displaystyle C(a)} $C(a)$ элемента a{displaystyle a} $a$ называется подмножество элементов, эквивалентных a{displaystyle a} $a$ . Из вышеприведённого определения немедленно следует, что, если b∈C(a){displaystyle bin C(a)} $bin C(a)$ , то C(a)=C(b){displaystyle C(a)=C(b)} $C(a)=C(b)$ .

Множество всех классов эквивалентности обозначается X/∼{displaystyle X/{sim }}

$X/{sim }$ .

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

Примеры отношений эквивалентности

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

Говорят, что функция f(x){displaystyle ,f(x)} $,f(x)$ эквивалентна функции g(x){displaystyle ,g(x)} $,g(x)$ при x→x0{displaystyle ,xrightarrow x_{0}} $,xrightarrow x_{0}$ , если она допускает представление вида f(x)=α(x)g(x){displaystyle ,f(x)=alpha (x)g(x)} $,f(x)=alpha (x)g(x)$ , где α(x)→1{displaystyle ,alpha (x)rightarrow 1} $,alpha (x)rightarrow 1$ при x→x0{displaystyle ,xrightarrow x_{0}} $,xrightarrow x_{0}$ . В этом случае пишут f(x)∼g(x){displaystyle ,f(x)sim g(x)} $,f(x)sim g(x)$ , напоминая при необходимости, что речь идет о сравнении функций при x→x0{displaystyle ,xrightarrow x_{0}} $,xrightarrow x_{0}$ . Если g(x)≠0{displaystyle ,g(x)neq 0} $,g(x)neq 0$ при x≠x0{displaystyle ,xneq x_{0}} $,xneq x_{0}$ , эквивалентность функций f(x){displaystyle ,f(x)} $,f(x)$ и g(x){displaystyle ,g(x)} $,g(x)$ при x→x0{displaystyle ,xrightarrow x_{0}} $,xrightarrow x_{0}$ , очевидно, равносильна соотношению limx→x0f(x)g(x)=1{displaystyle lim _{xrightarrow x_{0}}{frac {f(x)}{g(x)}}=1} $lim _{{xrightarrow x_{0}}}{{frac {f(x)}{g(x)}}}=1$ .
Отношение равномощности множеств.

Более сложный пример, но совершенно жизненно важный:

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

Таким образом, всевозможные рецепты салатов и коктейлей, ГОСТы и классификаторы также определяют жизненно важные отношения эквивалентности. Отношения эквивалентности заполняют всю нашу жизнь, а не являются абстрактной забавой математиков.

Факторизация отображений

Множество классов эквивалентности, отвечающее отношению эквивалентности ∼{displaystyle sim }

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

p:x↦Cx,Cx={y∈X∣y∼x}{displaystyle pcolon xmapsto C_{x},quad C_{x}={yin Xmid ysim x}}

{displaystyle pcolon xmapsto C_{x},quad C_{x}={yin Xmid ysim x}}

называется естественным отображением (или канонической проекцией) X{displaystyle X}

$X$ на фактор-множество X/∼{displaystyle X/{sim }} $X/{sim }$ .

Пусть X{displaystyle X}

$X$ , Y{displaystyle Y} $Y$ — множества, f:X→Y{displaystyle fcolon Xto Y} $fcolon Xto Y$ — отображение, тогда бинарное отношение xRfy{displaystyle x,{R_{f}},y} $x,{R_{f}},y$ определённое правилом

xRf⁡y⟺f(x)=f(y),x,y∈X{displaystyle xmathop {R_{f}} yiff f(x)=f(y),quad x,yin X}

x{mathop {R_{f}}}yiff f(x)=f(y),quad x,yin X

является отношением эквивалентности на X{displaystyle X}

$X$ .При этом отображение индуцирует отображение f¯:X/Rf→Y{displaystyle {overline {f}}colon X/R_{f}to Y} $overline {f}colon X/R_{f}to Y$ , определяемое правилом

f¯(Cx)=f(x){displaystyle {overline {f}}(C_{x})=f(x)}

overline {f}(C_{x})=f(x)

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

(f¯∘p)(x)=f(x){displaystyle ({overline {f}}circ p)(x)=f(x)}

(overline {f}circ p)(x)=f(x)

При этом получается факторизация (разложение) отображения f{displaystyle f}

$f$ на сюръективное отображение p{displaystyle p} $p$ и инъективное отображение f¯{displaystyle {overline {f}}} $overline {f}$ .

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

Примеры

Расписание занятий в школе — это типичный пример факторизации. В данном случае X{displaystyle X}

$X$ — множество всех учащихся школы, Y{displaystyle Y} $Y$ — множество всех учебных предметов, разнесенных по дням недели с уточнением времени проведения занятий. Классами эквивалентности являются классы (группы учащихся). Отображение f{displaystyle f} $f$ — расписание занятий, отображаемое в дневниках учащихся. Отображение f¯{displaystyle {overline {f}}} $overline {f}$ — расписание занятий по классам, вывешиваемое в вестибюле школы. Здесь же имеется и отображение p{displaystyle p} $p$ — списки классов. Этот пример очень наглядно демонстрирует практические выгоды факторизации: невозможно представить себе расписание занятий, как таблицу, в которой отражены все ученики школы в персональном порядке. Факторизация позволила отобразить нужную учащимся информацию в удобном для применения компактном виде в ситуации, где формулы применить не удается.

Однако этим выгоды факторизации не ограничены. Факторизация позволила провести разделение труда между участниками деятельности: завуч составляет расписание, а учащиеся записывают его себе в дневники. Аналогичным образом, факторизация выписки рецептов позволила провести разделение труда между медиком, ставящим диагноз и выписывающим рецепт, и аптекарем, обеспечивающим эквивалентность выписанных лекарств. Апофеозом факторизации является конвейер, реализующий максимальное разделение труда за счет стандартизации деталей.

Но и этим выгоды факторизации не ограничены. Факторизация позволила обеспечить модульность современной техники, что дает ей небывалую гибкость функций. Вы можете сохранить старую сим-карту и купить к ней совершенно новый телефон, или в свой старый компьютер вставить новую видеопамять. Все это — гибкость, модульность, в основе которой лежит факторизация.

Литература

А. И. Кострикин, Введение в алгебру. М.: Наука, 1977, 47—51.
А. И. Мальцев, Алгебраические системы, М.: Наука, 1970, 23—30.
В. В. Иванов, Математический анализ. НГУ, 2009.

См. также

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