Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Представление функции в терминах отношений



Функцией называется бинарное отношение f, если из и следует, что y = z.

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

Множество Мx образует область определения функции F, множество Му область значений функции F. Часто вместо записи используют запись у = F(х); при этом элемент х называют аргументом или переменной, ау значением функции F.

Пусть X, Y - некоторые множества. Говорят, что задана функция (отображения), действующая из множества X во множество Y, если задан закон или правило f, по которому каждому элементу x из множества X ставится в соответствие единственный элемент y из Y: y = f(x).

Пример. Пусть X = R (все вещественные числа) и Y = [-1; 1]. Рассмотрим функцию y = sin x. Каждому элементу из X поставлен в соответствие элемент из Y: пусть x = р/2, тогда y = sin р/2 = 1.

Множество Y называется множеством значений функции f. Элемент y = f(x) Y называют образом элемента x при отображении f. Элемент x - прообраз элемента y под действием отображения f. Множество X называется множеством прообразов отображения f.

Пример. Для функции y = sin x: x = R - множество прообразов; Y:=[-1; 1] - множество значений функции; y = 1 - образ x = р/2 при данном отображении (y = sin р/2 = 1), x = р/2 - прообраз элемента y = 1 при данном отображении.

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

Пример 1.1. На рис. 1.2, а изображено подмножество декартова произведения множеств Мx = 1, х2, х3, х4} и Му = {у1, у1, у3}, не являющееся функцией; на рис. 1.2, б,-являющееся полностью определенной функцией; на рис. 1.2,в — частично определенной функцией.

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

Если множество Мx в определении функции у = F(х) является декартовым произведением множеств Мx1, Мx2,..., Мxn, то получаем определение п-местной функции

у = F(х1, х2,..., хn).

Две функции f и g равны, если они состоят из одних и тех же элементов. Область определения функции и область ее значений задается так же, как и для бинарных отношений. Если область определения дf = Х и область значений сf Y, то говорят, что функция f задана на множестве Х со значениями во множестве Y, при этом f отображает множество Х во множество Y. Это отображение обозначается как f: Х Y.

Если f — функция, то вместо пишут y = f(х) и говорят, что y — значение, соответствующее аргументу х, или у образ элемента х при отображении f. При этом х называют прообразом элемента у.

Назовем fn - местной функцией из Х в Y, если f: Х Y. Тогда записываем y = f(х1, … хn) и говорим, что узначение функции при значении аргументов х1, … хn.

Если функция (отображение) f сопоставляет каждому элементу элемент , то будем писать f: Х Y (такая функция может трактоваться как отношение с тем свойством, что для каждого существует в R точно одна пара вида <х,y>, ; для наших же целей достаточно интуитивного понятия функции).

Отношение R Х Y, т.е. множество упорядоченных пар < х,у >, х X, у Y называется функцией тогда и только тогда, когда первые элементы этих пар не повторяются.

Пример. Отношение не является функцией, так как оно представлено следующими парами: <1,2>, <1,3>, <2,3>, <2,4>, <3,3>, <3,4>, <4,2>, <4,3>. Примером функции на том же декартовом произведении является отношение <1,2>,<2,4>, <3,4>, <4,3>.

Требование неповторяемости первых элементов упорядоченных пар, представляющих отношение, гарантирует однозначность отображения, т.е. функцию f: Х Y.





Дата публикования: 2014-11-04; Прочитано: 804 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.008 с)...