Отображение - одно из основных понятий математики. Отображение есть какое-либо правило или закон соответствия множеств. Пусть и - произвольные непустые множества. Говорят, что задано отображение множества на множество (запись: или) если каждому элементу множества (поставлен соответствие единственный, однозначно определенный элемент множества (.
Элемент называется образом элемента при отображении, а элемент называется прообразом элемента при этом отображении. Образом множества элементов при отображении называется множество всех элементов вида, принадлежащих области значений. Множество всех элементов (), образы которых составляют область значений называется прообразом множества элементов (). Множество называется областью определения отображения.
Отображение называется сюръективным , когда каждый элемент множества (имеет хотя бы один прообраз множества (, т.е. , или.
Отображение называется инъективным , когда каждый элемент множества (является образом лишь одного элемента множества (, т.е. образы любых двух различных элементов множества различны, т.е. из следует.
Отображение называется биективным или взаимно однозначным , когда оно одновременно инъективно и сюръективно, т.е. каждый элемент множества является образом одного и только одного элемента множества.
Равенство двух отображений и означает по определению, что их соответствующие области совпадают (и), причем.
Произведение двух отображений и можно определить как отображение, которое каждому элементу множества ставит в соответствие элемент множества.
Отображение множества на множество иначе называется функцией на множестве со значениями во множестве. Если множества и совпадают, то биективное отображение множества на себя называется преобразованием множества. Простейшее преобразование множества - тождественное - определяется так: . Тождественное отображение, переводящее каждый элемент в себя, также называют единичным преобразованием. Если заданы преобразования и, то преобразование, являющееся результатом последовательного выполнения сначала преобразования, а затем и преобразования, называется произведением преобразований и: .
Для преобразований, и одного и того же множества справедливы следующие законы:
Коммутативный закон для произведения преобразований в общем случае не выполняется, т.е. .
Если между двумя множествами можно задать биективное отображение (установить взаимно однозначное соответствие между их элементами), то такие множества называются эквивалентными или равномощными . Конечные множества равномощны только в том случае, когда число их элементов одинаково.
Бесконечные множества также можно сравнивать между собой.
Два множества имеют одинаковую мощность или называются эквивалентными (обозначение), если между их элементами можно установить взаимно однозначное соответствие, т.е. если можно указать некоторое правило, в соответствии с которым каждому элементу одного из множеств соотносится один и только один элемент другого множества.
Если же подобное отображение невозможно, то множества имеют различную мощность; при этом оказывается, что в последнем случае, каким бы образом мы не пытались привести в соответствие элементы обоих множеств, всегда останутся лишние элементы и притом всегда от одного и того же множества, которому приписывается более высокое значение кардинального числа или говорят, что это множество имеет б?льшую мощность . Бесконечное множество и некоторое его подмножество могут быть эквивалентными. Множество, эквивалентное множеству натуральных чисел, называется счетным множеством. Для того чтобы множество было счетным, необходимо и достаточно, чтобы каждому элементу множества был поставлен в соответствие его порядковый номер. Из всякого бесконечного множества можно выделить счетное подмножество. Всякое подмножество счетного множества является счетным или конечным. Счетное множество является наиболее примитивно организованным бесконечным множеством. Декартово произведение двух счетных множеств является счетным. Объединение конечного или бесконечного числа конечных или счетных множеств является конечным или счетным множеством.
Соответствие между множествами А и В называется подмножество их декартова произведения
Иными словами, пары задают соответствие между множествами А={ } и В={ }, если указано правило R, по которому для элемента множества А выбирается элемент из множества В.
Если элементу поставлен в соответствие некоторый элемент , b называется образом элемента а и записывается так: b= R (a). Тогда - прообраз элемента , который обладает свойствами единственности и полноты:
1. Каждому прообразу соответствует единственный образ;
2. Образ должен быть полным, так же как полным должен быть и прообраз.
Пример. Если А – множество парабол, В – множество точек плоскости, а R – соответствие “вершина параболы”, то R (а) – точка, являющая вершиной параболы a, а состоит из всех парабол с вершиной в точке b (рис. 6)
Образ множества А при соответствии R называется множеством значений этого соответствия и обозначается R (A), если R (A) состоит из образов всех элементов множества А.
Прообраз множества В при некотором соответствии R называют областью определения этого соответствия и обозначают . В свою очередь является обратным соответствием для R.
Так, для соответствия R, заданного точками координатной плоскости, областью определения является множество точек оси абсцисс, а множеством значений – проекции точек на ось ординат (рис.7). Поэтому для некоторой точки
М (х, у) у является образом, а х – прообразом при некотором соответствии R: У=R (x), Соответствие между множествами Х, удобно в виде точки на плоскости с помощью метода декартовых координат.
Пусть задано соответствие R и Y=R (X). Ему соответствуют точки М с координатами (х; у) (рис. 7). Тогда множество точек плоскости, выделяемое отображением R, будет графиком.
Для описания соответствий между множествами используют понятие отображение (функции) одного множества на другое.
Для задания отображения необходимо указать:
1. Множество, которое отображается (область определения данного отображения, часто обозначаются );
2. Множество, в (на) которое отображается данная область определения (множество значений этого отображения, часто обозначается );
3. Закон или соответствие между этими множествами, по которому для элементов первого множества (прообразов, аргументов) выбраны элементы (образы) из второго множества.
Обозначения: .
Способы задания отображений: аналитический (в виде формул), табличный , графический (диаграммы или графы).
Различают два основных вида однозначных отображений (функций). По мощности они делятся на сюръективные и инъективные .
1. Соответствие, при котором каждому элементу множества А указан единственный элемент множества В, а каждому элементу множества В можно указать хотя бы один элемент множества А, называется отображением множества А на множество В (сюръекция).
2. Соответствие, при котором каждому элементу множества А соответствует единственный элемент множества В, а каждому элементу В соответствует не более одного прообраза из А, называется отображением множества А во множество В (инъекция).
Отображение множества А на множество В, при котором каждому элементу множества В соответствует единственный элемент множества А, называется взаимно – однозначным соответствием между двумя множествами, или биекцией .инъекцией и сюръекцией .
Отображение %%f%% называется инъективным ,
если для любых элементов %%x_1, x_2 \in X%%, %%x_1 \neq x_2%%, следует, что %%f(x_1) \neq f(x_2)%%. $$ \forall x_1, x_2 \in X~~x_1 \neq x_2 \rightarrow f(x_1) \neq f(x_2). $$
Другими словами, отображение %%f%% инъективно, если образы различных элементов из %%X%% также различны.
Пример
Функция %%f(x) = x^2%%, определенная на множестве %%\mathbb{R}%%, не является инъективной, так как при %%x_1 = -1, x_2 = 1%% получаем одно и тоже значение функции %%f(x_1) = f(x_2) = 1%%.
Сюръективное отображение
Отображение %%f%% называется сюръективным , если для всякого элемента %%y \in Y%% существует элемент %%x \in X%% с условием, что %%f(x) = y%%. $$ \forall y \in Y~\exists x \in X: f(x) = y. $$
Другими словами, отображение %%f%% сюръективно, если каждый элемент %%y \in Y%% является образом хотя бы одного элемента %%x \in X%%.
Пример
Отображение %%f(x) = \sin(x)%%, определенное на множестве %%\mathbb R%%, с множеством %%Y = [-2,2]%% не является сюръективным, т.к. для элемента %%y = 2 \in Y%% нельзя найти прообраз %%x \in X%%.
Биективное отображение
Отображение %%f%% называется биективным , если оно инъективно и сюръективно. Биективное отображение также называется взаимно однозначным или преобразованием .
Обычно, словосочетания «инъективное отображение», «сюрьективное отображение» и «биективно отображение» заменяют на «инъекция», «сюръекция» и «биекция» соответственно.
Обратное отображение
Пусть %%f: X \to Y%% — некоторая биекция и пусть %%y \in Y%%. Обозначим через %%f^{-1}(y)%% единственный элемент %%x \in X%% такой, что %%f(x) = y%%. Тем самым мы определим некоторое новое отображение %%g: Y \to X%%, которое снова является биекцией. Ее называют обратным отображением .
Пример
Пусть %%X, Y = \mathbb R%% — множество действительных чисел. Функция %%f%% задана формулой %%y = 3x + 3%%. Имеет ли данная функция обратную? Если да, то какую?
Для того чтобы узнать имеет ли данная функция обратную ей, необходимо проверить является ли она биекцией . Для этого проверим является ли данное отображение инъективным и сюръективным .
- Проверим инъекцию. Пусть %%x_1 \neq x_2%%. Проверим, что %%f(x_1) \neq f(x_2)%%, то есть %%3 x_1 + 3 \neq 3 x_2 + 3%%. Предположим противное, %%3 x_1 + 3 = 3 x_2 + 3%%. Тогда получается, что %%x_1 = x_2%%. Получили противоречие, т.к. %%x_1 \neq x_2%%. Следовательно, %%f%% — инъекция.
- Проверим сюръекцию . Пусть %%y \in Y = \mathbb{R}%%. Найдем элемент %%x \in X = \mathbb{R}%% c условием, что %%f(x) = y%%, то есть %%3x + 3 = y%%. В данном равенстве задан элемент %%y \in \mathbb{R}%% и нужно найти элемент %%x%%. Очевидно, что $$ x = \frac{y-3}{3} \text{ и } x \in \mathbb R $$ Следовательно, отображение %%f%% сюръективно.
Так как %%f%% — инъекция и сюръекция, то %%f%% — биекция. И, соответственно, обратным отображением является %%x = \frac{y-3}{3}%%.
Пусть $X$ и $Y$ - два произвольных множества.
Определение. Соответствие, при котором каждому из элементов множества $X$ сопоставялется единственный элемент из множества $Y$, называется отображением .
Обозначение отображения из множества $X$ в множество $Y$: $X \stackrel{f}{\longrightarrow} Y$.
Множество $X$ называется областью определения отображения и обозначается $X=D(f)$.
$E(f)$ называется множеством значений отображения, и $E(f) = \{ y \in Y \; | \; \exists x \in X, y = f(x) \}$.
Множество $\Gamma(f)$ называется графиком отображения. $\Gamma(f)=\{(x,y) \in X \times Y, y=f(x), \forall x \in X, y \in Y \}$.
Пусть $f$ - некоторое отображение из множества $X$ в множество $Y$. Если $x$ при этом отображении сопоставляется $y$, то $y=f(x)$. При этом $y$ называется образом $x$, или значением отображения $f$ в точке $x$. А $x$, соответственно, прообразом элемента $y$.
Исходя из определения отображения, видно, что не требуется, чтобы все элементы в множестве $Y$ являлись образами какого-либо $x$ и при том единственного.
Пример.
Даны два множества $X=\{ с, е, н, т, я, б, р, ь \}$ и $Y=\{ 1, 2, 3, 4, 5, 9, 10, 11 \}$
Отображение из множества $X$ в множество $Y$ имеет следующий вид:
$\begin{matrix} \{ с, & е, & н, & т, & я, & б, & р, & ь \} \\ \;\; \updownarrow & \updownarrow & \updownarrow & \updownarrow & \updownarrow & \updownarrow & \updownarrow & \updownarrow \;\; \\ \{ 1, & 2, & 3, & 4, & 5, & 9, & 10, & 11 \} \end{matrix}$
Определение. Совокупность всех элементов из множества $X$, образом которых является $y$ из $Y$, назвается полным прообразом $y$ из $X$. Обозначается: $f^{-1}(y)$.
Определение. Пусть $A \subset X$. Совокупность всех элементов $f(a)$, $a \in A$, называется полным образом множества $A$ при отображении $f$.
Определение. Пусть $B \subset Y$. Множество всех элементов из $X$, образы которых принадлежат множеству $B$, называется полным прообразом множества $B$.
Пример.
$X=Y=R$, $y=x^2$.
$A=[-1; 1] \subset X$
Полный образ $f(A)=$
$B= \subset Y$
Полный прообраз $f^{-1}(B)=[-1; 1]$
Определение. Отображение $f$ называется инъективным отображением, если $\forall \; y \in Y$ $y=f(x)$ является образом единственного $x$.
Определение. Отображение $f$ называется сюръективным отображением, если все элементы в множестве $Y$ являются образами какого-либо $x$. (Это отображение множества $X$ на множество $Y$).
Определение. Отображение $f$ называется биективным , если оно инъективно и сюръективно, в противном случае такое отображение назвается взаимно однозначным соответствием.
Определение. Множества $X$ и $Y$ называются эквивалентными (равномощными), если они находятся во взаимно однозначном соответствии. Обозначается: $X Y$ (множество $X$ эквивалентно множеству $Y$ или множество $X$ равномощно множеству $Y$).
1. Граф соответствия. Отображение. Инъективное, не сюръективное.
