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

Шаблон:Значения Тожде́ственное отображе́ние  — функция, переводящая аргумент в себя. Обычно обозначается символом $\mathrm{i}\mathrm{d}$ или ${\mathrm{i}\mathrm{d}}_X$. При этом ${\mathrm{i}\mathrm{d}}_X(x)=x$ для любого $x\in X$.

В логике используются термины тождественность и идентичность. Логическим результатом функции идентичности является тавтология.

Свойства

• Для произвольной функции $F:X\to Y$ её композиция с тождественным отображением не отличается от неё самой: 

• $F\circ {\mathrm{i}\mathrm{d}}_X=F$,
• ${\mathrm{i}\mathrm{d}}_Y\circ F=F$.

В частности, ${\mathrm{i}\mathrm{d}}_X$ является нейтральным элементом моноида, образованного отображениями из $X$ в $X$, а также нейтральным элементом симметрической группы перестановок множества $X$.

• Композиция биекции $F:X\to Y$ со своей обратной функцией $F^{-1}$ даёт тождественные отображения:
  • $F\circ F^{-1}={\mathrm{i}\mathrm{d}}_Y$,
  • $F^{-1}\circ F={\mathrm{i}\mathrm{d}}_X$.

• В логике, идентичность является обратной функцией отрицания.

Литература

• Лекции по дискретной математике/ М. Вялый, В. Подольский, А. Рубцов, Д. Шварц, А. Шень Лекции по дискретной математике; Нац. исслед. ун-т «Высшая школа экономики».