Композиция функций и обратные отображения

Если отображения $f:X\to Y$ и $g:Y\to Z$ таковы, что $g$ определено на множестве значений $f$, то можно построить новое отображение $g\circ f:X\to Z$ , значения которого $(g\circ f)*(x)=g(f(x))$ .

Такое отображение называют композицией функции $f$ и отображения $g$.

Свойства отображения функций.

1. $h\circ (g\circ f)=(h\circ g)\circ f$.

Доказательство. $h\circ (g\circ f)*(x)=(h\circ g)\circ f$ = $h\circ ((g\circ f)*(x))=h(g(f(x)))$ = $(h\circ g)f(x)$ $=((h\circ g)\circ f)(x)$.

2. $g\circ f$ ≠ $f\circ g$

Доказательство. Например, f : {a, b} → a, g : {a, b} → b. Очевидно,что $f\circ g\to a$, $g\circ f\to b$.

Определение. Отображение, отображающееся само на себя, т.е. f : X → X, называется тождественным отображением множества X и обозначается $e_{X}$.

3. Лемма. $(g\circ f=e_{X})\Rightarrow$ (g - сюръективно ) $\wedge$ (f - инъективно)

Доказательство.

Если $f:X\to Y,g:Y\to X$ и $g\circ f=e_{X}$ : X → X, то $X=e_{X}(X)=(g\circ f)(X)=g(f(X))\subset g(Y)\Rightarrow$ g - сюръективно ;

Если $x_{1}\in X,x_{2}\in X$, то $(x_{1}\neq x_{2})\Rightarrow (e_{X}(x_{1})\neq e_{X}(x_{2}))\Rightarrow ((g\circ f)(x_{1})\neq (g\circ f)(x_{2}))\Rightarrow (g(f(x_{1}))\neq g(f(x_{2}))\Rightarrow (f(x_{1})\neq f(x_{2}))\Rightarrow$ f - инъективно.

4. Утверждение. Отображения $f:X\to Y,g:Y\to X$ взаимно обратны и биективны ↔ $(f\circ g=e_{X})\Rightarrow$ $g\circ f=e_{Y}$.

Доказательство. В силу леммы f, g - биективны и y = f (x) ↔ x = g (y).

См. также

• Композиция функций