# Identical figure

Graph of the identical mapping on the real numbers

An identical mapping or identity in mathematics is a function that returns exactly its argument. Although both the identical map and the identity equation are often abbreviated to “identity”, they are different things.

## definition

Let be a set , then the identical mapping to is defined by ${\ displaystyle M}$${\ displaystyle M}$

${\ displaystyle \ operatorname {id} _ {M} \ colon M \ to M, \ quad x \ mapsto x,}$

that is, for each of true ${\ displaystyle x}$${\ displaystyle M}$

${\ displaystyle \ operatorname {id} _ {M} (x) = x.}$

The identical image is thus a bijection . The index is often omitted when the definition set is evident from the context. In this case there is also written instead . Instead of the notation , the notation is sometimes used , sometimes only or mainly in functional analysis . The graph of the identical figure is the diagonal${\ displaystyle 1}$${\ displaystyle \ mathrm {id}}$${\ displaystyle \ mathrm {id}}$${\ displaystyle \ mathrm {Id}}$${\ displaystyle i}$ ${\ displaystyle I}$

${\ displaystyle \ Delta _ {M} = \ {(m, m) \ mid m \ in M ​​\}.}$

## properties

If there is any function, then the following applies to the composition (execution) with the identity: ${\ displaystyle f \ colon M \ rightarrow N}$

${\ displaystyle \ operatorname {id} _ {N} \ circ f = f}$

and

${\ displaystyle f \ circ \ operatorname {id} _ {M} = f}$

Hence, in the set of all functions from to, identity is the neutral element with regard to the composition. Thus these functions form a monoid . In particular, identity is the neutral element in the group of permutations of the set . ${\ displaystyle M}$${\ displaystyle M}$${\ displaystyle M}$

The identity on the set of natural numbers is a multiplicative function that is considered in number theory . ${\ displaystyle \ operatorname {id} _ {\ mathbb {N}}}$

In a topological space , identity is a continuous function . On a topological vector space , for example a Banach space , the identity is a continuous linear operator called the unity operator. If the Banach space is also finite dimensional , the identity is compact .

The matrix multiplication with the identity matrix (neutral element) is an identity mapping. In linear algebra , base change matrices can be understood as representation matrices of the identical mapping with respect to two different bases .

The existence of identities is an integral part of the definition of the category . In the best-known cases, these are the identical images, but in category theory the identities can also be more abstract objects. But even then the designations or are used and the linking rules mentioned above apply. ${\ displaystyle \ mathrm {id} _ {M}}$${\ displaystyle 1_ {M}}$