Identity function: Difference between revisions

In [[mathematics]], an '''identity function''', also called an '''identity relation''', '''identity map''' or '''identity transformation''', is a [[function (mathematics)|function]] that always returns the value that was used as its [[argument of a function|argument]], unchanged. That is, when {{mvar|f}} is the identity function, the [[equality (mathematics)|equality]] {{math|1=''f''(''x'') = ''x''}} is true for all values of {{mvar|x}} to which {{mvar|f}} can be applied.

Formally, if {{math|''X''}} is a [[Set (mathematics)|set]], the identity function {{math|''f''}} on {{math|''X''}} is defined to be a function with {{math|''X''}} as its [[domain of a function|domain]] and [[codomain]], satisfying

{{bi|left=1.6|{{math|1=''f''(''x'') = ''x''}} &nbsp;&nbsp;for all elements {{math|''x''}} in {{math|''X''}}.<ref>{{Cite book |last=Knapp |first=Anthony W. |title=Basic algebra |publisher=Springer |year=2006 |isbn=978-0-8176-3248-9}}</ref>}}

In other words, the function value {{math|''f''(''x'')}} in the codomain {{math|''X''}} is always the same as the input element {{math|''x''}} in the domain {{math|''X''}}. The identity function on {{mvar|X}} is clearly an [[injective function]] as well as a [[surjective function]] (its codomain is also its [[range (function)|range]]), so it is [[bijection|bijective]].<ref>{{cite book |last=Mapa |first=Sadhan Kumar |date= 7 April 2014|title=Higher Algebra Abstract and Linear |edition=11th  |publisher=Sarat Book House |page=36 |isbn=978-93-80663-24-1}}</ref>

The identity function {{math|''f''}} on {{math|''X''}} is often denoted by {{math|id_''X''}}.

In [[set theory]], where a function is defined as a particular kind of [[binary relation]], the identity function is given by the [[identity relation]], or ''diagonal'' of {{math|''X''}}.<ref>{{Cite book|url=https://books.google.com/books?id=oIFLAQAAIAAJ&q=the+identity+function+is+given+by+the+identity+relation,+or+diagonal|title=Proceedings of Symposia in Pure Mathematics|date=1974|publisher=American Mathematical Society|isbn=978-0-8218-1425-3|pages=92|language=en|quote=...then the diagonal set determined by M is the identity relation...}}</ref>

If {{math|''f'' : ''X'' → ''Y''}} is any function, then {{math|1=''f'' ∘ id_''X'' = ''f'' = id_''Y'' ∘ ''f''}}, where "∘" denotes [[function composition]].<ref>{{cite book

}}</ref> In particular, {{math|id_''X''}} is the [[identity element]] of the [[monoid]] of all functions from {{math|''X''}} to {{math|''X''}} (under function composition).

Since the identity element of a monoid is [[unique (mathematics)|unique]],<ref>{{Cite book|last1=Rosales|first1=J. C.|url=https://books.google.com/books?id=LQsH6m-x8ysC&q=identity+element+of+a+monoid+is+unique&pg=PA1|title=Finitely Generated Commutative Monoids|last2=García-Sánchez|first2=P. A.|date=1999|publisher=Nova Publishers|isbn=978-1-56072-670-8|pages=1|language=en|quote=The element 0 is usually referred to as the identity element and if it exists, it is unique}}</ref> one can alternately define the identity function on {{math|''M''}} to be this identity element. Such a definition generalizes to the concept of an [[identity morphism]] in [[category theory]], where the [[endomorphism]]s of {{math|''M''}} need not be functions.

*In an {{mvar|n}}-[[dimension (vector space)|dimensional]] [[vector space]] the identity function is represented by the [[identity matrix]] {{math|''I''_''n''}}, regardless of the [[basis (linear algebra)|basis]] chosen for the space.<ref>{{cite book|title=Applied Linear Algebra and Matrix Analysis|author=T. S. Shores|year=2007|publisher=Springer|isbn=978-038-733-195-9|series=Undergraduate Texts in Mathematics|url=https://books.google.com/books?id=8qwTb9P-iW8C&q=Matrix+Analysis}}</ref>

*In a [[metric space]] the identity function is trivially an [[isometry]]. An object without any [[symmetry]] has as its [[symmetry group]] the [[trivial group]] containing only this isometry (symmetry type {{math|C₁}}).<ref>{{Cite book |last=Anderson |first=James W. |title=Hyperbolic geometry |date=2007 |publisher=Springer |isbn=978-1-85233-934-0 |edition=2. ed., corr. print |series=Springer undergraduate mathematics series |location=London}}</ref>