
4. Отображения (функции).
Функции играют центральную роль в математике, где они используются для описания любых процессов, при которых элементы одного множества каким-то образом переходят в элементы другого.
Определение 4.1. Отношение f на AB называется отображением (функцией) из A в B, если для каждого xA существует один и только один yB.
f: AB или y=f(x)
Множество A называется областью определения.
Множество B – областью значений.
Если y=f(x), то x называют аргументом, а y – значением функции.
Пусть f: AB, тогда
множество
определения функции:
;
множество
значений функции:
.
Множество определения функции является подмножеством области определения, т.е. Df A, а множество значений функции является подмножеством области значений функции, т.е. Rf B.
Если Df = A, то функция называется тотальной, а если Df ≠ A частичной функцией.
Диаграмма Венна служит удобной иллюстрацией функции, определенной на множестве A со значениями в множестве B.
Определение 4.2. Если MA, то множество f(M)=y f(x)=y для некоторого x из M называется образом множества M.
Если KB,
то множество
(K)=x
f(x)K
называется прообразом множества
K.
Пример .. Дано отображение f: QZ, где f(x)=x35 для всех xQ (Q – рациональные числа, Z – целые числа) .
Найти: 1) образ элемента 1;
2) f -1(3); f -1(5).
Решение.
1) Сначала надо убедиться, что 1Q. Это так.
Чтобы найти образ элемента, достаточно в отображение подставить вместо x число 1. Получаем, f(1)=135= 4. 4Z. Значит, элемент 1 имеет образ, и он равен 4.
2) Сначала убедимся, что 3Z. Это так.
Чтобы найти прообраз, вместо f(x) подставляем 3, и решаем уравнение: x3-5=3. Получаем, x=2. Причем 2Q. Значит, f -1(3)=2.
По аналогии находим прообраз 5. Решаем
уравнение x3-5=5,
и получаем
.
Но
Q.
Значит, f -1(5)=.
Ответ: 1) -4; 2) 2; .
Определение 4.3. Функция
называется функцией n
аргументов, или n-местной
функцией. Такая функция отображает
кортеж
в элемент bB,
.
Свойства отображений (функций).
1) Отображение f: AB
называется инъективным, если
оно различные элементы из A
отображает в различные элементы из B:
.
2) Отображение f: AB
называется сюръективным или
отображением на все множество B,
если в каждый элемент множества B
отображается хотя бы один элемент из
A:
.
3) Отображение f: AB, которое одновременно инъективно и сюръективно, называется биективным или взаимно однозначным отображением множества A на множество B.
Вопрос: на какой из предыдущих диаграмм представлена биективная функция?
Пример ..
Пусть дано отображение f:
RR,
которое определено таким образом, что
.
Выяснить, какими свойствами обладает
это отображение.
Решение. Даная функция инъективна,
т.к. если f (x1)
= f (x2),
тогда
и, следовательно, x1=x2.
Функция f является
также сюръекцией. Для любого действительного
числа y требуется
найти такое x, что f
(x)=y=3x+5.
Решая это уравнение относительно x,
находим, что если
,
тогда f (x)=y.
Поэтому f представляет собой взаимно однозначное соответствие. А, значит, является биекцией.
Пример ..
Пусть дано отображение f:
RR,
которое определено таким образом, что
.
Выяснить, какими свойствами обладает
это отображение.
Решение. Функция f не является инъективной, т.к. f (2)=f (2), но 2 2.
Функция f не является также и сюръективной, поскольку не существует такого действительного числа x, для которого f (x)= 1.
Определение 4.4. Пусть f
биективное
отображение множества A
в множество B. Если
поставить в соответствие каждому
элементу из B связанный
с ним элемент из A, то
такое соответствие является отображением
B в A.
Это отображение обозначается
и называется отображением, обратным
отображению f.
Теорема 4.1. (свойства обратного отображения)
Если f: AB – биекция, то
1)
для
любого y из B;
2)
для
любого x из A.
Доказательство.
1) Пусть yB.
Т.к. биекция сюрьективна, то .
Такой x единственен
и f(x)=y.
Имеем:
.
2) Аналогично доказывается, что
для любого x из A.
Определение 4.5. Композицией
(суперпозицией, произведением) отображений
f: AB
и g: BC
называется отображение h:
,
которое записывается h=
g
.f
Следует отметить, что
Пример .. Рассмотрим две функции
и
.
Найти:
.
Решение. Все четыре новые функции определены на R со значениями в R.
;
;
;
.