Функциональное отношение

Функциональное отношение сходно с понятием функции, но, как и любое отношение, устанавливает зависимости между элементами одного и того же множества.

Отношение Q = A ´ A называется функциональным, если для любых
a, b ₁, b ₂ Î A, для которых из выполнения aQb ₁ и aQb ₂, следует, что b₁=b₂. Иными словами, каждый элемент множества может находиться в отношении не более чем с одним элементом этого же множества.

Примером функционального отношения может служить любая математическая функция, для которой область определения и область значений совпадают, поскольку соответствуют множеству действительных чисел R.

Являясь в более общем виде соответствием, функциональное отношение может быть полностью определенным (если функция определена на всех элементах множества), сюръективным (если функция может принимать все значения на заданном множестве значений), инъективным (если разным аргументам функции соответствуют разные значения) и биективным (если отношение является всюду определенным, сюръективным и инъективным).

Для любой математической функции, являющейся отношением, нужно уметь определять ее полноту, сюръективность, инъективность и биективность. Зачастую это наиболее удобно сделать с помощью графика функции. Рассмотрим примеры функций, схематические графики которых представлены на рис. 6.1.

1. На рис. 6.1,а изображен график функционального отношения (функции) x²+y²=1, y>0.

Функция не является полностью определенной, поскольку допустимые значения аргументов лежат в диапазоне [-1; 1].

Функция не является сюръективной, так как может принимать не все значения множества R, а лишь значения в диапазоне [0; 1].

Функция не является инъективной, поскольку есть разные аргументы, которым соответствует одно значение функции.

Как итог, функция не является биективной.

2. На рис. 6.1,б изображен график функции линейного вида.

Функция является полностью определенной, поскольку для нее допустимы любые значения аргументов на множестве R.

Функция является сюръективной, так как может принимать все значения на множестве R.

Функция является инъективной, поскольку нет разных аргументов, которым соответствует одно и то же значение функции.

Как итог, функция является биективной или, иными словами, представляет собой взаимно-однозначное соответствие.

3. На рис. 6.1,в изображен график функции y=sin(x).

Функция является полностью определенной, поскольку допустимыми значениями аргументов являются все числа на множестве R.

Функция не является сюръективной, так как может принимать не все значения множества R, а лишь значения в диапазоне [-1; 1].

Функция не является инъективной, поскольку есть разные аргументы, которым соответствует одно значение функции.

Понятно, что функция не является биективной.

4. На рис. 6.1,г изображен график функции x=sin(y).

Данный график не соответствует отношению функционального типа, поскольку существуют такие x, y ₁, y ₂ Î R, для которых из выполнения xQy ₁ и xQy ₂, не следует, что y₁=y₂.

Лекция 7

Дата добавления: 2014-01-06