Метка: Обратимость отображений

Данное соответствие будет отображением, если $\forall u \in U$ существует образ. Казалось бы, каким бы ни было $u$, произведение трех последовательных чисел всегда будет делиться на 3. Однако, при:

$\begin{matrix} u_1 = 0 & f(u_1) = 0 \\ u_2 = -1 & f(u_2) = 0 \\ u_3 = -2 & f(u_3) = 0 \end{matrix}$

$\Rightarrow$ Не все прообразы имеют образы, т.к. $0 \notin \mathbb N$

$\Rightarrow$ Данное соответствие не является отображением.

Проверим, будет ли это отображение инъективным. Отображение инъективно, если для $\forall v \in V$ существует не более одного прообраза:

$\begin{matrix} u_1 = -1 & f(u_1) = 3 \\ u_2 = 1 & f(u_2) = 3 \end{matrix}$

$\Rightarrow$ Один из образов имеет более одного прообраза. Отображение не инъективно.

Проверим, будет ли отображение сюръективно. Отображение сюръективно, если каждый элемент множества $V$ является образом.

$5 \in V$, но $\nexists u \in U$ такого, что $f(u) = 5$. Т.е. хотя бы один из элементов множества $V$ не является образом.

$\Rightarrow$ Отображение не сюръективно.

Таким образом получили, что данное отображение не инъективно и не сюръективно.

Теперь исследуем отображение на обратимость. Для этого воспользуемся критерием обратимости, согласно которому отображение обратимо $\Leftrightarrow$ когда оно биективно. Поскольку отображение не иъективно и не сюръективно, оно биективным не является, а, следовательно, не обратимо.

Определим вид отображения. Это отображение является инъективным, поскольку $\forall v \in V$ имеет не более одного прообраза. Это отображение также является сюръективным, поскольку $\forall v \in V$ является образом.

$\Rightarrow$ Отображение биективно.

Исследуем отображение на обратимость. Для этого, воспользуемся критерием обратимости. Поскольку отображение биективно, то, согласно критерию, оно обратимо. Действительно, для данного отображения существует обратное: $f^{-1}=\arcsin{u}$.

Проверим значение $(g \circ f)(u)$:

$(g \circ f)(u)=g(f(u))=g(2u)=u$

Проверим значение $(f \circ g)(u)$:

$(f \circ g)(u)=f(g(u))=f(\frac{u}{2})=u$

Получили, что $f \circ g = g \circ f$. Следовательно, композиция этих отображений обладает свойством коммутативности.