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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

Тождественное отображение часто обозначается в виде \mathrm{id}_X(x) = x.

Определение[править | править вики-текст]

Пусть X — произвольное множество. Тогда тождественное отображение \mathrm{id}_X(x) множества X на X представляет собой функцию, такую что \mathrm{id}_X(x) = x для любого x \in X.

Свойства[править | править вики-текст]