Пусть дано отображение тогда имеет вид. Понятие отображения. Виды отображений. Рис.1.5. Взаимно однозначное отображение

Пусть заданы два множества X и У. Определение 2.1. Отображением f множества X в множество У, или функцией, определенной на множестве X со значениями в множестве У, называют соответствие, которое каждому элементу х£Х соотносит некоторый единственный элемент у € У. Множество X называют областью определенил функции / и обозначают D(f), элемент хбХ - аргументом функции, а элемент у £ У - зависшим* перелсенныл. При этом элемент у £ У, соответствующий элементу z £ X, именуют образом элемента х при отображении / или значением функции f в точке х и обозначают f(x). Областью значений функции / (или образом множества X при отображении /) называют множество обозначаемое Д(/). Множество X = D(f) является прообразом множества f(X) = R(f) при отображении /. При заданном элементе у £ У совокупность всех таких элементов х 6 Xу что f(x) = у, называют прообразом элемента у и обозначают /-1(у), т.е. Факту задания отображения (или функции) соответствует запись / : X У, или /: х у, или просто у = /(я). Таким образом, Часто функцию / обозначают /(ж). Обозначение функции и ее значения в точке х € X одним и тем же символом f(x) обычно не вызывает недоразумений, поскольку в каждом конкретном случае, как правило, ясно, что имеют в виду. Обозначение f(x) часто удобнее, чем f:x-+y. Например, -при аналитических преобразованиях запись f(x) = х2 удобнее по сравнению с / : х -> х2. Чтобы отличать обозначение конкретного значения f(x) функции при конкретном значении ее аргумента х от обозначения самой функции, в последнем случае иногда пишут /(я), х еХ. Итак, понятие функции состоит из трех неотъемлемых частей: 1) области определения Х\ 2) множества У, содержащего значения функции; 3) правила /, которое для каждого элемента х £ X задает единственный элемент у = f(x) £ У. На множества X и Y определение 2.1 не накладывает никаких ограничений. В зависимости от того, какими являются эти множества, получим тот или иной класс функций. Так, если Y С R, то f(x) называют действительной (или скалярной) функцией, а если У С Rn, то f(x) называют векторной функцией. Когда область определения X функции f(x) есть множество R или некоторое его подмножество, f(x) именуют функцией действительного (или вещественного) переменного. Когда и XCR.h У CR, f(x) называют действительной функцией действительного переменного. Если областью определения функции является множество натуральных чисел N= {1, 2, ...}, то ее называют последовательностью элементов множества У и обозначают Уп] или {уп}, имея в виду, что уп = /п = /(п)€У при n€ N, а при У С R - числовой последовательностью (или просто последовательностью). Подмножество является образом подмножества А С X при отображении / : X У. Для образов подмножеств Л С X и В С X справедливы соотношения а в случае Л С В Подмножество будет прообразом подмножества S С У при отображении f:X->Y. Итак, прообраз множества 5 состоит из всех тех элементов х € Xу которые функция / отображает в элементы из S, или, что то же самое, прообраз множества 5 состоит из всех прообразов элементов у G 5, т.е. Для прообразов множеств 5 С У и Г С У справедливы соотношения, и при условии S СТ /-1(S) С /-1(Г). В случае А С X отображение / : X порождает отображение /д: А Y) определяемое формулой /а(«) = f(x) для х € А. Это отображение называют сужением отображения (функции) f на множество А. Говорят также, что f является продолжением отображения (функции) fA множества А в множество Y на множество X, но обычно продолжают писать / вместо

Элементы теории множеств

Понятие множества

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

Теория множеств посвящена в основном изучению именно бесконечных множеств . Теория конечных множеств называется иногда комбинаторикой .

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

Заметим, что в математике допускается к рассмотрению множество, не содержащее элементов – пустое множество. Запись а Î Х означает, что а есть элемент множества Х.

Определение. Множество В называется подмножеством множества А, если каждый элемент множества В является в то же время элементом множества А.

Каждый отдельный элемент множества А образует подмножество, состоящего из этого одного элемента. Кроме того, пустое множество является подмножеством всякого множества.

Подмножество множества А называется несобственным , если оно совпадает с множеством А.

Если множество В есть подмножество множества А, то говорим, что В содержится в А и обозначаем В Í А. Подмножество В множества А называется собственным подмножеством, если В не пусто и не совпадает с А (т.е. имеется элемент множества А, не содержащийся в В).

Операции над множествами

Пусть А и В – произвольные множества.

Определение. Объединением двух множеств А и В называется множество С = АÈВ, состоящее из всех элементов, принадлежащих хотя бы одному из множеств А и В. (см. рис. 1).

Аналогично определяется объединение любого (конечного или бесконечного) числа множеств: если А i – произвольные множества, то их объединение есть совокупность элементов, каждый из которых принадлежит хотя бы одному из множеств А i .

Рис.1 Рис.2

Определение. Пересечением множеств А и В называется множество С = АÇВ, состоящее из всех элементов, принадлежащих как А, так и В (см. рис. 2). Пересечением любого (конечного или бесконечного) числа множеств А i называется множество элементов, принадлежащих каждому из множеств А i .

Операции объединения и пересечения множеств по определению коммутативны и ассоциативны, т.е.

АÈВ = В È А, (А ÈВ) ÈС = А È (В È С),

А Ç В = В Ç А, (А Ç В) Ç С = А Ç (В Ç С).

Кроме того, они взаимно дистрибутивны:

(А È В) Ç С = (А Ç С) È (В Ç С), (1)

(А Ç В) È С = (А È С) Ç (В È С). (2)

Определение. Разностью множеств А и В называется множество тех элементов из А, которые не содержатся в В (рис. 3 ).

Понятие функции. Отображение множеств

Пусть X и Y – два произвольных множества.

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

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

Если а элемент из X, то соответствующий ему элемент b = f (а ) из Y называется образом а при отображении f . Совокупность всех тех элементов а из X, образом которых является данный элемент b Î Y, называется прообразом (или точнее полным прообразом ) элемента b и обозначается f –1 (b ).

Пусть А – некоторое множество из X; совокупность {f (а ): а Î А} всех элементов вида f (а ), где а Î А, называется образом А и обозначается f (А). В свою очередь для каждого множества В из Y определяется его полный прообраз f –1 (В), а именно: f –1 (В) есть совокупность всех тех элементов из X, образы которых принадлежат В.

Определение. Будем говорить, что f есть отображение множества X на множество Y, если f (X) = Y; такое отображение называют сюръекцией . В общем случае, т.е. когда f (X) Ì Y, говорят, что f есть отображение в Y. Если для любых двух различных элементов х 1 и х 2 из X их образы y 1 = f (x 1) и y 2 = f (x 2) также различны, то f называется инъекцией. Отображение f : X®Y, которое одновременно является сюръекцией и инъекцией, называется взаимно однозначным соответствием междуX и Y.

Пусть $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. Граф соответствия. Отображение. Инъективное, не сюръективное.

Отображение %%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%%. Имеет ли данная функция обратную? Если да, то какую?

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

1. Проверим инъекцию. Пусть %%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%% — инъекция.
2. Проверим сюръекцию . Пусть %%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}%%.