Identity map

☆ Save On Wikipedia ↗
Graph of the identity function on the real numbers

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

Definition

Formally, if X {\displaystyle X} {\displaystyle X} is a set, the identity function f {\displaystyle f} {\displaystyle f} on X {\displaystyle X} {\displaystyle X} is defined to be a function with X {\displaystyle X} {\displaystyle X} as its domain and codomain, satisfying

f ( x ) = x {\displaystyle f(x)=x} {\displaystyle f(x)=x} for all elements x {\displaystyle x} {\displaystyle x} in X {\displaystyle X} {\displaystyle X}.[1]

In other words, the function value f ( x ) {\displaystyle f(x)} {\displaystyle f(x)} in the codomain X {\displaystyle X} {\displaystyle X} is always the same as the input element x {\displaystyle x} {\displaystyle x} in the domain X {\displaystyle X} {\displaystyle X}. The identity function on X {\displaystyle X} {\displaystyle X} is clearly an injective function as well as a surjective function (its codomain is also its range), so it is bijective.[2]

The identity function f {\displaystyle f} {\displaystyle f} on X {\displaystyle X} {\displaystyle X} is often denoted by i d X {\displaystyle \mathrm {id} _{X}} {\displaystyle \mathrm {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 X {\displaystyle X} {\displaystyle X}.[3]

Algebraic properties

If f : X → Y {\displaystyle f:X\rightarrow Y} {\displaystyle f:X\rightarrow Y} is any function, then f ∘ i d X = f = i d Y ∘ f {\displaystyle f\circ \mathrm {id} _{X}=f=\mathrm {id} _{Y}\circ f} {\displaystyle f\circ \mathrm {id} _{X}=f=\mathrm {id} _{Y}\circ f}, where " ∘ {\displaystyle \circ } {\displaystyle \circ }" denotes function composition.[4] In particular, i d X {\displaystyle \mathrm {id} _{X}} {\displaystyle \mathrm {id} _{X}} is the identity element of the monoid of all functions from X {\displaystyle X} {\displaystyle X} to X {\displaystyle X} {\displaystyle X} (under function composition).

Since the identity element of a monoid is unique,[5] one can alternately define the identity function on M {\displaystyle M} {\displaystyle M} to be this identity element. Such a definition generalizes to the concept of an identity morphism in category theory, where the endomorphisms of M {\displaystyle M} {\displaystyle M} need not be functions.

Properties

See also

References

  1. Knapp, Anthony W. (2006). Basic algebra. Springer. ISBN 978-0-8176-3248-9.
  2. Mapa, Sadhan Kumar (7 April 2014). Higher Algebra Abstract and Linear (11th ed.). Sarat Book House. p. 36. ISBN 978-93-80663-24-1.
  3. Proceedings of Symposia in Pure Mathematics. American Mathematical Society. 1974. p. 92. ISBN 978-0-8218-1425-3. ...then the diagonal set determined by M is the identity relation...
  4. Nel, Louis (2016). Continuity Theory. Cham: Springer. p. 21. doi:10.1007/978-3-319-31159-3. ISBN 978-3-319-31159-3.
  5. Rosales, J. C.; García-Sánchez, P. A. (1999). Finitely Generated Commutative Monoids. Nova Publishers. p. 1. ISBN 978-1-56072-670-8. The element 0 is usually referred to as the identity element and if it exists, it is unique
  6. Anton, Howard (2005), Elementary Linear Algebra (Applications Version) (9th ed.), Wiley International
  7. T. S. Shores (2007). Applied Linear Algebra and Matrix Analysis. Undergraduate Texts in Mathematics. Springer. ISBN 978-038-733-195-9.
  8. D. Marshall; E. Odell; M. Starbird (2007). Number Theory through Inquiry. Mathematical Association of America Textbooks. Mathematical Assn of Amer. ISBN 978-0883857519.
  9. Anderson, James W. (2007). Hyperbolic geometry. Springer undergraduate mathematics series (2. ed., corr. print ed.). London: Springer. ISBN 978-1-85233-934-0.
  10. Conover, Robert A. (2014-05-21). A First Course in Topology: An Introduction to Mathematical Thinking. Courier Corporation. p. 65. ISBN 978-0-486-78001-6.
  11. Conferences, University of Michigan Engineering Summer (1968). Foundations of Information Systems Engineering. we see that an identity element of a semigroup is idempotent.