ВУЗ:
Составители:
Рубрика:
18 §2. Отображения и отношения
В этом случае пишут
a
1
R. . . Ra
n
. (21)
Иногда отношением называют запись (21), а само множество R называют
графиком этого отнош ения.
Пример 8. Если n = 1, то отношение называет ся унарным. Таким обра-
зом, унарные отношения — это просто подмножества множества A. Например,
свойство карты быть бубной яв ля ется унарным отноше нием , определённым
на колоде карт.
Пример 9. Если n = 2, то отношение называется бинарным. Например,
свойство двух чисел не иметь общих делителей является бинарным отношени-
ем на множестве натуральных чисел. Свойство двух точек прямой находиться
друг от друга на расстоянии не боле е заданного числа ε являет ся бинарным
отношением на множестве действительных чисел.
Пример 10. Пусть f : A → A — отображение множества A в себя. Ему
соответствует бинарное отношение
G
f
= {(a, f(a)) | a ∈ A } ⊂ A × A, (22)
которое называется графиком отображения f.
Пример 11. Если n = 3, то отношение называется тернарным. Например,
свойство трёх точек быть вершинами равностороннег о треугольника — тер-
нарное отношение на плоскости. Свойство трёх человек быть отцом, матерью
и ребё нком является тернарным от ношением на множе стве всех людей.
Рассмотрим два важных типа бинарных отношений.
Отношения эквивалентности. Рассмотрим множество A.
Определение 3. Бинарное от нош ение R ⊂ A ×A называется отношени-
ем эквивалентности, если оно обладает сле дующими свойствами:
рефлексивность: aRa, (23)
симметричность: aRb ⇒ bRa, (24)
транзитивность: aRb & bRc ⇒ aRc (25)
для любых элементов a, b, c ∈ A.
Очень часто отноше ния эквивалентности обозначают символом ∼. В этом
случае свойств а (23)—(25) перепишутся в виде:
рефлексивность: a ∼ a,
симметричность: a ∼ b ⇒ b ∼ a,
транзитивность: a ∼ b & b ∼ c ⇒ a ∼ c.
18 §2. Отображения и отношения
В этом случае пишут
a1 R . . . Ran . (21)
Иногда отношением называют запись (21), а само множество R называют
графиком этого отношения.
Пример 8. Если n = 1, то отношение называется унарным. Таким обра-
зом, унарные отношения — это просто подмножества множества A. Например,
свойство карты быть бубной является унарным отношением, определённым
на колоде карт.
Пример 9. Если n = 2, то отношение называется бинарным. Например,
свойство двух чисел не иметь общих делителей является бинарным отношени-
ем на множестве натуральных чисел. Свойство двух точек прямой находиться
друг от друга на расстоянии не более заданного числа ε является бинарным
отношением на множестве действительных чисел.
Пример 10. Пусть f : A → A — отображение множества A в себя. Ему
соответствует бинарное отношение
Gf = { (a, f (a)) | a ∈ A } ⊂ A × A, (22)
которое называется графиком отображения f .
Пример 11. Если n = 3, то отношение называется тернарным. Например,
свойство трёх точек быть вершинами равностороннего треугольника — тер-
нарное отношение на плоскости. Свойство трёх человек быть отцом, матерью
и ребёнком является тернарным отношением на множестве всех людей.
Рассмотрим два важных типа бинарных отношений.
Отношения эквивалентности. Рассмотрим множество A.
Определение 3. Бинарное отношение R ⊂ A × A называется отношени-
ем эквивалентности, если оно обладает следующими свойствами:
рефлексивность: aRa, (23)
симметричность: aRb ⇒ bRa, (24)
транзитивность: aRb & bRc ⇒ aRc (25)
для любых элементов a, b, c ∈ A.
Очень часто отношения эквивалентности обозначают символом ∼. В этом
случае свойства (23)—(25) перепишутся в виде:
рефлексивность: a ∼ a,
симметричность: a ∼ b ⇒ b ∼ a,
транзитивность: a ∼ b & b ∼ c ⇒ a ∼ c.
Страницы
- « первая
- ‹ предыдущая
- …
- 17
- 18
- 19
- 20
- 21
- …
- следующая ›
- последняя »
