23-10-2023
Отношение — математическая структура, которая формально определяет свойства различных объектов и их взаимосвязи. Отношения обычно классифицируются по количеству связываемых объектов (арность) и собственным свойствам (симметричность, транзитивность и пр.). В математике примерами отношений являются равенство (=), коллинеарность, делимость и т. д.
Отношение может также означать результат операции деления, например:
Содержание |
n-местным (n-арным) отношением, заданным на множествах , называется подмножество прямого произведения этих множеств.
Иногда понятие отношения определяется только для частного случая для отношения R. Тогда факт принадлежности n-ки этому отношению можно записать как:
Отношение также может быть задано предикатом на n-й декартовой степени множества M: n-ка принадлежит отношению тогда и только тогда, когда предикат на ней возвращает значение 1 (или «истинно»). Таким образом, можно дать альтернативное определение отношения: если задано отображение , то отношением называется прообраз единицы в . Такое определение бывает полезно в информатике и математической логике.
Предикаты, которые формируются из отношений, заданных в соответствии с основным определением (когда множества в прямом произведении различны), используются в многосортном исчислении предикатов.[1]
Система отношений, сформированная на одном и том же прямом произведении множеств, изоморфна алгебре множеств и допускает применение теоретико-множественных операций и проверок включения одного отношения в другое. Элементами множеств в этом случае являются кортежи элементов (n-ки).
Для отношений, у которых это ограничение не выполняется, теоретико-множественные операции не применимы, но возможны такие операции как соединение и композиция, которые используются в алгебре Кодда, алгебре кортежей и реляционной алгебре.
Отношение (математика).