Отношения - эквивалентность
Cтраница 1
Отношения эквивалентности нам не раз еще встретятся, но сейчас наша основная тема - отношения порядка. [1]
Определим отношения элементарной эквивалентности. [2]
График С отношения эквивалентности, определяемого группой G, замкнут в Е X Е, а каноническое отображение ф: С - - G непрерывно. [3]
Показать, что отношения эквивалентности на S, обладающие свойством подстановки относительно умножения, образуют подрешетку в решетке, описанной в упр. [4]
Системой представителей некоторого отношения эквивалентности называется подмножество, содержащее по одному и только по одному элементу из каждого класса эквивалентности. [5]
Ясно, что отношения формальной и аналитической эквивалентности систем являются отношениями эквивалентности. [6]
Таким образом, у отношения эквивалентности Е имеется со счетных и со несчетных классов. [7]
В примерах иас интересуют отношения эквивалентности, сохраняющие метрические свойства фигур. [8]
Очевидно, что эти отношения элементарной эквивалентности являются симметричными. Все эквивалентные слова образуют класс. [9]
Классы эквивалентности множества X относительно отношения эквивалентности ( 23) называются орбитами данного действия. [10]
Пусть R и S - отношения эквивалентности в топологическом пространстве Е такие, что R влечет S, и S / R - факторотио шение отношения эквивалентности S по R в факторпространстве E / R; тогда каноническое отображение E / S на ( E / R) / ( S / R) есть гомеоморфизм. [11]
 |
Объединение эквивалснтпостей. [12] |
Значит, транзитивное замыкание А отношения эквивалентности А является отношением эквивалентности. [13]
Важным классом бинарных отношений являются отношения эквивалентности. [14]
Очевидна следующая перефразировка этой леммы: отношения эквивалентности А и В когерентны тогда и только тогда, ьпгда любая пара классов эквивалентности Mt и Mf - либо не пересекается, либо один из эти классов содержит другой. [15]
Страницы: 1 2 3 4