Фактормножество: различия между версиями
| [непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
Bezik (обсуждение | вклад) м откат правок 83.220.239.62 (обс) к версии JackieBot |
||
Строка 1:
Пусть на множестве <math>X</math> задано [[отношение эквивалентности]] <math>\sim</math>. Тогда множество всех классов эквивалентности называется '''
Отображение из <math>X</math> в множество классов эквивалентности <math>X/\!\sim</math> называется '''факторотображением'''. Благодаря свойствам отношения эквивалентности, разбиение на множества единственно. Это означает, что классы, содержащие <math>\forall x,\;y\in X</math>, либо не пересекаются, либо совпадают полностью.
| |||