Викиконспекты - Вклад участника [ru]

Симметричное отношение

2010-10-29T01:26:34Z

Svyd:

{{Определение
|definition =
Бинарное [[отношение]] <tex>R</tex> на множестве <tex>X</tex> называется '''симметричным''', если для каждой пары элементов множества <tex>(a, b)</tex> выполнение отношения <tex>a\,R\,b</tex> влечёт выполнение отношения <tex>b\,R\,a</tex>.

Формально, [[отношение]] <tex>R</tex> симметрично, если <tex>\forall a, b \in X,\ a\,R\,b \Rightarrow b\,R\,a</tex>.
}}

== Примеры ==
Любое отношение эквивалентности, по определению, является симметричным (а также [[рефлексивное отношение|рефлексивным]] и [[транзитивное отношение|транзитивным]]).
Также симметрично отношение связи вершин графа (неориентированного).

Не являются симметричными (за исключением случая тождественной ложности отношения) отношения порядка (как полного, так и частичного), а также отношение следования вершин ориентированного графа.

Симметричное отношение

2010-10-29T01:23:24Z

Svyd: /* Определение */

{{Определение
|definition =
Бинарное [[отношение]] <math>R</math> на множестве X называется '''симметричным''', если для каждой пары элементов множества <math>(a, b)</math> выполнение отношения <math>a\,R\,b</math> влечёт выполнение отношения <math>b\,R\,a</math>.

Формально, [[отношение]] <math>R</math> симметрично, если <math>\forall a, b \in X,\ a\,R\,b \Rightarrow b\,R\,a</math>.
}}

== Примеры ==
Любое отношение эквивалентности, по определению, является симметричным (а также [[рефлексивное отношение|рефлексивным]] и [[транзитивное отношение|транзитивным]]).
Также симметрично отношение связи вершин графа (неориентированного).

Не являются симметричными (за исключением случая тождественной ложности отношения) отношения порядка (как полного, так и частичного), а также отношение следования вершин ориентированного графа.

Симметричное отношение

2010-10-03T21:02:10Z

Svyd: Новая страница: «== Определение == Бинарное отношение <math>R</math> на множестве X называется '''симметричным''', е…»

== Определение ==
Бинарное [[отношение]] <math>R</math> на множестве X называется '''симметричным''', если для каждой пары элементов множества <math>(a, b)</math> выполнение отношения <math>a\,R\,b</math> влечёт выполнение отношения <math>b\,R\,a</math>.

Формально, [[отношение]] <math>R</math> симметрично, если <math>\forall a, b \in X,\ a\,R\,b \Rightarrow b\,R\,a</math>.

== Примеры ==
Любое отношение эквивалентности, по определению, является симметричным (а также [[рефлексивное отношение|рефлексивным]] и [[транзитивное отношение|транзитивным]]).
Также симметрично отношение связи вершин графа (неориентированного).

Не являются симметричными (за исключением случая тождественной ложности отношения) отношения порядка (как полного, так и частичного), а также отношение следования вершин ориентированного графа.