Примеры использования Отношение эквивалентности на Русском языке и их переводы на Английский язык
{-}
-
Official
-
Colloquial
Это отношение эквивалентности на характерах.
Легко видеть, что ассоциированность- отношение эквивалентности.
Отношение эквивалентности и разбиение множества на классы.
Это определение порождает отношение эквивалентности на множестве замкнутых форм в Ω k( M){\ displaystyle\ Omega^{ k} M.
Отношение эквивалентности- бинарное отношение R{\ displaystyle R} между объектами x{\ displaystyle x} и y{\ displaystyle y}, являющееся одновременно рефлексивным, симметричным и транзитивным.
Combinations with other parts of speech
Использование с прилагательными
этом отношениимеждународных отношенийпартнерские отношениядипломатические отношениярабочие отношенияэкономических отношенийдвусторонних отношенийдружественных отношенийнаши отношенияхорошие отношения
Больше
Таким образом, эти координаты имеют отношение эквивалентности( a: b: c)( d a: d b: d c){\ displaystyle( a: b: c)=( da: db: dc)} для всех ненулевых значений d.
Для лучей отношение асимптотической параллельности является отношением эквивалентности, которое включает терминальное отношение эквивалентности.
В этом случае отношение образует отношение эквивалентности и каждый класс эквивалентности отделяет два связных подграфа графа друг от друга.
Орбиты этих действий называются множествами ассоциированных элементов; другими словами,имеется отношение эквивалентности~ на R, называемое ассоциированностью, где r~ s означает, что существует единица u, такая, что r us.
Для любого множества A прямых на евклидовой плоскости можно определить отношение эквивалентности на точках плоскости, по которому две точки p и q эквивалентны, если для любой прямой l из A либо p и q обе лежат на прямой l, либо они лежат в той же самой открытой полуплоскости, ограниченной прямой l.
Более того, для любой сюръективной функции N→ X{\ displaystyle N\ to X} отношение иметь тот же образ при отображении функцией f является таким отношением эквивалентности и это отношение не меняется при последовательном применении перестановок множества X. В другую сторону,можно превратить такое отношение эквивалентности в сюръективную функцию путем назначения элементам x множества X некоторых классов эквивалентности. .
Заметим, что все склеиваемые отображения являются гладкими, в частности, когда мы склеиваем I× D m- 1{\ displaystyle I\ times D^{ m- 1}}с D m{\ displaystyle D^{ m}}, отношение эквивалентности образуется путем вложения(∂ I)× D m- 1{\ displaystyle(\ partial I)\ times D^{ m- 1}} в∂ D m{\ displaystyle\ partial D^{ m}}, которое гладко по теореме о трубчатой окрестности.
Отношение« вершина[ math] v[/ math]достижима из вершины[ math] u[/ math]» является отношением эквивалентности.
Подобие фигур является отношением эквивалентности.
Отношение« изоморфно» удовлетворяет всем аксиомам отношения эквивалентности.
Рефлексивное симметричное транзитивное отношение называется отношением эквивалентности.
Быть приятелями является отношением эквивалентности, а потому порождает разбиение положительных натуральных чисел на клубы( классы эквивалентности) попарно приятельских чисел.
Бинарное отношение несмежности в M является отношением эквивалентности и классы эквивалентности этого отношения дают k- раскраску графа G. Однако это доказательство труднее обобщить, чем доказательство по лемме о компактности.
Если исходное отношение[ math] R[/ math] было симметричным, то[math] R+[/ math] будет отношением эквивалентности и тогда достаточно найти его классы эквивалентности. .
С точки зрения семантики КрипкеS5 относится к моделяи, где отношение достижимости является отношением эквивалентности: оно рефлексивно, симметрично и транзитивно.
Такое взаимно однозначное соответствие называется изоморфизмом, сохраняющим порядок, а два вполне упорядоченных множества называются изоморфными с сохранением порядка, илиже подобными такое подобие очевидно является отношением эквивалентности.
В случае CA анализ прост, поскольку отношение« a коммутирует с b» является отношением эквивалентности на неединичных элементах.
Число таких разбиений или отношений эквивалентности равно по определению числу Стирлинга второго рода S( n, x), которое записывается также в виде{ n x}{\ displaystyle\ textstyle\{{ n\ atop x}\.
Этот случай эквивалентен подсчету разбиений N на x( непустых)подмножеств или подсчету отношений эквивалентности на N с ровно x классами.
Когда решетка конгруэнций частичного n- арного группоида G не является подрешеткой решетки отношений эквивалентности на G.
Как следствие, подсчитываются отношения эквивалентности на N с максимум x классами и результат получается из упомянутого случая суммированием по значениям x, что дает∑ k x{ n k}{\ displaystyle\ textstyle\ sum_{ k=}^{ x}\{{ n\ atop k}\.
Непрерывные отображения, определенные на X/~ поэтому являются в точности такими отображениями, которые возникают из непрерывных отображений, определенных на X, которые удовлетворяют отношению эквивалентности в смысле, что они переводят эквивалентные элементы в один и тот же образ.
Недавно импликация была перефразирована в терминахбинарного отношения параллельности прямых: В аффинной геометрии отношение считается отношением эквивалентности, что означает, что прямая принимается параллельной себе.