Цитата:
по всей видимости, Вы неудачно законспектировали -- я не могу из этих объяснений понять
Я к сожалению не имею физической возможности посещать лекции, и по этой причине преподаватели идут на встречу, высылая конспекты своих лекций на мой email. Так что конспект составлен именно преподавателем.
1. Под n-арным отношением или n - отношением
на множествах
понимается закон (характеристическое свойство), выделяющий в декартовом произведении
некоторое подмножество
, называемое графиком (n-мерным) отношения
. Если
, то говорят об n-отношении
на множестве А с графиком
.
2.Так как n-отношение
можно рассматривать как подмножества декартова произведения
, существуют различные способы задания n-отношений, аналогичные способам задания множеств. Так график
удобно задавать матрицей, строками которой являются векторы отношения
.
3. определение суперпозиции детально описано в первом топе. Вот пример (тоже из конспекта лекций):
,
,
,
,
4. Отношение
на множествах
называется функциональным при отображении его в бинарное отношение
на множествах
и
, если для каждой последовательности элементов
сечение
содержит не более одного элемента
.Очепятка. Что должно быть на самом деле - могу только догадываться, либо
, либо
. [url]http://ru.math.wikia.com/wiki/Функциональное_отношение[/url] определение простое и понятное. Поскольку суперпозиция отношений тоже является отношением(!?) то и свойствами обладает теми же.