Понятие отношения

Определение 2.1. n-арным (или n-местным) отношениемP на множествах A ₁, A ₂, …, A_n называется любое подмножество прямого произведения A ₁ × A ₂ × … × A_n.

Обозначение n -местного отношения: P (x ₁, x ₂, …, x_n).

В случае n = 1 отношение P называется унарным (одноместным) и является подмножеством множества A ₁.

При n = 2 P называется бинарным (двуместным) отношением или соответствием. Если P Í A ₁´ A ₂, то также говорят, что Р есть отношение между множествами A ₁ и A ₂ (между элементами множеств A ₁ и A ₂) или что Р задано (определено) на паре множеств A ₁ и A ₂. Если A ₁ = A ₂ = A (P Í A ´ A), то говорят, что Р есть бинарное отношение на множестве А.

Пусть Р – бинарное отношение и (x, y) Î P, тогда говорят, что элемент x находится в отношении P к элементу y, или что x и y связаны отношением P. Вместо записи (x, y) Î P часто пишут xPy.

Определение 2.2. Элементы x ₁, x ₂, …, x_n. называются координатами, или компонентами, отношения P.

Определение 2.3. Пусть P Í A ´ B, S Í A ´ B. Бинарные отношения P и S называются равными (пишут Р = S), если для любых x Î A и y Î B: Û .

Другими словами, отношения Р и S равны, если Р и S равны как множества.

Определение 2.4. Для любого множества А отношение
id_A = {(x, x) | x Î A } называется тождественным отношением (или диагональю), а U_A = A ² = A ´ A = {(x, y) | x, y Î A } – полным отношением (или универсальным отношением или полным квадратом).

Пусть Р – некоторое бинарное отношение, т. е. P Í A ₁´ A ₂.

Определение 2.5. Областью определения бинарного отношения Р называется множество DomР = { x | $ y: (x, y) Î P }.

Определение 2.6. Областью значений бинарного отношения Р называется множество ImР = { y | $ x: (x, y) Î P }.

Пример 2.1. Задано множество Р = {(1, y), (2, y), (3, x)} на множествах А = {1, 2, 3} и B = { x, y }. Покажем, что это действительно отношение, т. е. P Í A ´ В. Найдем декартовое произведение множеств А и В: A ´ В = {(1, x), (1, y), (2, x), (2, y), (3, x), (3, y)}, следовательно, P Ì A ´ В.

Найдем область определения и область значений бинарного отношения Р.

DomР = {1, 2, 3} = А; ImР = { х, y } = В.

Пример 2.2. Пусть P Í R´ R: Р = {(х, y) | y = x ²}. Найдем область определения и область значений бинарного отношения Р.

DomР = R; ImР = [0, +¥).