Тождественное отображение
Тожде́ственное отображе́ние — функция, переводящая аргумент в себя. Обычно обозначается символом или . При этом для любого .
В логике используются термины тождественность и идентичность. Логическим результатом функции идентичности является тавтология.
Свойства
править- Для произвольной функции её композиция с тождественным отображением не отличается от неё самой:
- ,
- .
- В частности, является нейтральным элементом моноида, образованного отображениями из в , а также нейтральным элементом симметрической группы перестановок множества .
- Композиция биекции со своей обратной функцией даёт тождественные отображения:
- ,
- .
- В логике, идентичность является обратной функцией отрицания.
Литература
править- Лекции по дискретной математике/ М. Вялый, В. Подольский, А. Рубцов, Д. Шварц, А. Шень Лекции по дискретной математике; Нац. исслед. ун-т «Высшая школа экономики».