Бинарное отношение заданное на множестве называется функциональным , если из всегда следует, что. Функциональным отношением называется бинарное отношение, в котором нет двух упорядоченных пар, в которых первые координаты равны, а вторые различны.
Симметричное отношение
Некоторые понятия из школьной математики могут быть объяснены с помощью понятия бинарного отношения и фактор-множества. К таким понятиям, в частности, относятся понятие функции, рационального числа и вектора. Цель статьи - изложить элементы теории бинарных отношений, фактор-множеств и на их основе объяснить некоторые понятия элементарной математики. При этом приходится использовать некоторые понятия из теории множеств.
Область определения функции и область ее значений задается так же, как и для бинарных отношений. MT Дискретная математика 1 2 3 4 5 6. Такое свойство отношения называется однозначностью , или функциональностью.
Инъективное отношение — бинарное отношение, в котором разным х соответствуют разные у. Биекция — функциональное, всюду определённое, инъективное, сюръективное отношение, задаёт взаимно однозначное соответствие множеств. Определить является ли заданное отношение f - функциональным, всюду определенным, инъективным, сюръективным, биекцией R - множество вещественных чисел. Построить график отношения, определить область определения и область значений. Файловый архив студентов.