Отображения и функции
Соответствие f=(G, А, В) называется однозначным, если для всякого элемента xпр1G существует не более одного (а может быть и вовсе ни одного) значения yпр2G. Всюду определенное и однозначное соответствие называется функцией или отображением множества А в множество В. Если А и В числовые множества, то функция называется числовой.
Для
отображений чаще используются обозначения
вида: f
:
или
.
Пару (х,
у)
G
чаще обозначают y
= f(x),
и поскольку отображение – это частный
случай соответствия, то определены все
ранее введенные понятия: образа и
прообраза для элементов и множеств,
области определения и области значений
отображения (или функции), а также понятия
композиции отображений, обратного
отображения, тождественного отображения,
симметричного отображения.
Отображение (функция) называется постоянным, если х х следует f(x1) = f(x2). Элемент х называется неподвижной точкой отображения, если f(x) = x.
Отображение f : AB называется инъективным или взаимно-однозначным отображением множества А в В, если для х х f(x1) f(x2). Т.е. каждый образ имеет только один прообраз. Подчеркнем, что не все элементы множества В обязаны иметь прообраз (должны быть чьими-нибудь образами).
Отображение называется сюрьективным (или сюрьекцией или отображением множества А на множество В), если f(A) = B или yB xA (один или несколько) и y=f(x), т.е. все элементы множества В являются чьими-нибудь образами (имеют по крайней мере один прообраз).
Отображение называется биективным (биекцией или взаимно однозначным отображением A на B), если оно одновременно инъективно и сурьективно.
Пример:
Сos: [0; ] ℝ – инъективное отображение.
Сos: ℝ [-1; 1] – сюрьективное, но не инъективное отображение.
Сos: [- ; 0] [-1; 1] – биективное отображение.
Сos: ℝ ℝ – не сюрьективное и не инъективное отображение.
Биекция множества A на А называется подстановкой множества A. Тождественное отображение IA(x)=x, где xA, является частным случаем подстановки.
Утверждение: 1) Если f : AВ и g : ВС – две функции, то g ∘ f: A→C – тоже является функцией.
Действительно, т.к. композиция – это последовательное применение отображений, то для произвольного элемента xA с помощью функции f можно получить не более одного элемента y=f(x) B. В свою очередь, для элемента yB с помощью функции g можно получить не более одного элемента z=g(y)C. Тем самым, для каждого xA с помощью (g∘f) можно получить не более одного элемента zC, следовательно, (g∘f) – функция и (g∘f)(x)= g(f(x)).
2) Пусть f : AВ – функция. Для того, чтобы f ‑1: ВА было функцией, необходимо и достаточно, чтобы f было биективным отображением. В этом случае f –1 называется отображением, обратным к f, или обратной функцией. При этом f ‑1 – биективно, f ‑1∘ f =IA – тождественное отображение А и f ∘ f ‑1 =IB – тождественное отображение В.
Отображение f : AВ называется обратимым слева (справа), если существует отображение fЛ‑1: ВА ( fП‑1: ВА ) такое, что f Л‑1∘ f =IA ( f ∘ f П‑1 =IB ).
Критерий обратимости слева (справа)
Для того, чтобы отображение f : AВ было обратимым слева (справа), необходимо и достаточно чтобы оно было инъективным (сюрьективным).
Примеры отображений:
1)
Пусть
f(x) = x2+1
и g(x) = 2–x
– две числовые функции, определенные
на множестве ℝ.
Тогда область значений f(x)
– это множество B={xℝ:
x1},
а g(x)
– множество ℝ.
Отображение f:ℝB
– сюрьекция, а g:ℝℝ
– биекция. Композиция (g∘f )(х)=g(f (х)) =
2–( x2+1)
= 1– x2;
(f ∘g)(х) =f (g(х)) =(2–x)2+1 =
5–4x+
x2.
Обратное отображение g –1(х)=
2–x,
т.е. g(x)
– симметричная функция. И
(g ∘ g-1)(х) = (g -1∘ g )(x) =
х.
Отображение f(x)
не имеет обратной функции, но обратимо
справа, как сюрьекция. При этом fП1‑1(х)=
или fП2‑1(х)=
,
где xB
и имеются в виду только положительные
значения корня.
Для каждого из fПk‑1(х)
(k=1,2)
композиция (f ∘
fПk‑1)(х)=IB(x)=x.
Образ х=2 для f(x) = f(2) =5; для g(x) = g(2) = 0.
Если множество А=[-1; 2], то образ f (A) = [1; 5] и g(A) = [0; 3]
Уравнение f(x) = x не имеет корней, поэтому f(x) не имеет неподвижных точек. Неподвижной точкой g(x) является x = 1.
2)
Пусть f
и g:
ℝ2 ℝ2
осуществляет параллельные переносы
всех точек плоскости, причем f
переносит каждую точку на 2 единицы
вправо (на восток), а g
на 2 единицы вверх (на север). Тогда f –1
переносит каждую точку плоскости на 2
единицы влево (на запад), а g‑1–
на 2 единицы вниз (на юг). Композиция
f ∘ g
– осуществляет параллельный перенос
каждой точки к северо-востоку на 2
ед., аналогично g ∘ f
то же самое. А (f ∘ g)-1
и (g ∘ f )-1
переносят точки к юго-западу на 2
ед.. Композиции f ∘ f –1
и g ∘ g-1
оставляют каждую точку плоскости на
месте. Оба отображения биективны.
3) «Подобие плоскости» – это функция f : ℝ2 ℝ2, изменяющая все длины в одно и то же число раз = r>0, где длины измеряются относительно некоторой фиксированной точки плоскости zℝ2, обычно это точка с координатами (0,0). Тогда при r>1 функция f задает растяжение, а при r<1 – сжатие с центром z. Эта функция взаимно-однозначна. Отображение f –1, обратное к растяжению с коэффициентом r>1, есть сжатие с коэффициентом 1/r и тем же центром.
4)
Пусть A={1,
2, 3, 4} и f
и g
– две подстановки множества A.
Запишем каждую подстановку в виде двух
строк, где в первой строке перечислим
элементы множества A,
а во второй – соответствующие им элементы
f(ai)
и g(ai):
и
– такая запись подстановок является
традиционной.
Тогда
,
,
,
и
,
,
и, наконец,
– тождественная подстановка множества
A.
5
)
«Стереографическая проекция». Рассмотрим
отображение f
: Aℝ2,
где Аℝ3
– сфера без северного полюса N, ℝ2
– плоскость, параллельная экватору и
касающаяся сферы в точке S. Каждой точке
х
сферы (за исключением N) функция f
ставит в соответствие точку плоскости
у,
в которой луч Nx
пересекает плоскость. См. рис.7. Тогда:
а) образом произвольной параллели сферы будет окружность с центром в точке S, образ экватора – окружность вдвое большего радиуса, чем сфера;
б) образом произвольного меридиана будет прямая, проходящая через S;
в) прообраз произвольного луча из S есть полуокружность, проходящая через S и N, за исключением точки N;
г) прообразом произвольного прямолинейного отрезка на плоскости является дуга некоторой окружности, по которой плоскость, проходящая через N и отрезок, пересекает сферу.
