Summary
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 is the identity function, the equality f(X) = X is true for all values of X to which f can be applied. Formally, if M is a set, the identity function f on M is defined to be a function with M as its domain and codomain, satisfying In other words, the function value f(X) in the codomain M is always the same as the input element X in the domain M. The identity function on M is clearly an injective function as well as a surjective function, so it is bijective. The identity function f on M is often denoted by idM. 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 M. If f : M → N is any function, then we have f ∘ idM = f = idN ∘ f (where "∘" denotes function composition). In particular, idM is the identity element of the monoid of all functions from M to M (under function composition). Since the identity element of a monoid is unique, one can alternately define the identity function on M to be this identity element. Such a definition generalizes to the concept of an identity morphism in , where the endomorphisms of M need not be functions. The identity function is a linear operator when applied to vector spaces. In an n-dimensional vector space the identity function is represented by the identity matrix In, regardless of the basis chosen for the space. The identity function on the positive integers is a completely multiplicative function (essentially multiplication by 1), considered in number theory. 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 C1). In a topological space, the identity function is always continuous. The identity function is idempotent.
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related courses (4)
COM-102: Advanced information, computation, communication II
Text, sound, and images are examples of information sources stored in our computers and/or communicated over the Internet. How do we measure, compress, and protect the informatin they contain?
MATH-124: Geometry for architects I
Ce cours entend exposer les fondements de la géométrie à un triple titre : 1/ de technique mathématique essentielle au processus de conception du projet, 2/ d'objet privilégié des logiciels de concept
MATH-410: Riemann surfaces
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex
Show more