Тождественное отображение. Обратимое отображение.

Определение 50. Отображение называется тождественным, если , и обозначается .

Замечание. Пусть - функция, тогда и

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

Определение 51. Отображение называется обратимым, если существует отображение , такое, что . fg= и gf= . В этом случае функция g называется обратной для функции f.

Замечание. Если в определении 51 выполняется 1-ое равенство то функция g называется правой обратной функцией для f, а если 2-ое то левой обратной функцией для f.

Лемма 1. Пусть , - функции. Если gf= , то f – инъективная функция, а g – сюръективная функция.

Доказательство. 1) Покажем что f - инъективная функция. Проверим, что выполняется определение 46.

Пусть f( ) = f( ). Покажем, что = . Действительно, ( ) gf( ) g(f( ))= g(f( )) gf( ) ( ) x-инъективна.

2) Покажем, что g-сюръективная функция.

g - сюръективная функция.