Открыть главное меню

Тожде́ственное отображе́ние в математикеотображение, переводящее аргумент в себя.

Тождественное отображение часто обозначается в виде .

ОпределениеПравить

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

СвойстваПравить

  • Пусть   — произвольная функция. Тогда
         ,
         ,
    где   обозначает композицию функций.
  • В частности,   является нейтральным элементом
  • Пусть  биекция, и   — её обратная функция. Тогда
         ,
         .