Identity (mathematics)

From Wikipedia, the free encyclopedia

For other senses of this word, see identity (disambiguation).

In mathematics, the term identity has several important uses:

  • identity can refer to an equality that remains true regardless of the values of any variables that appear within it, to distinguish it from an equality which is true under more particular conditions. For this, the symbol ≡ is sometimes used. (However, this can be ambiguous since the same symbol can also be used for a congruence relation.)
  • In algebra, an identity or identity element of a set S with a binary operation is an element e which combined with any element s of S produces s.
  • The identity function from a set S to itself, often denoted id or idS, such that id(x) = x for all x in S.
  • In linear algebra, the identity matrix of size n is the n-by-n square matrix with ones on the main diagonal and zeros elsewhere.

Contents

[edit] Examples

[edit] Identity relation

A common example of the first meaning is the trigonometric identity

\sin ^2 \theta +  \cos ^2 \theta = 1\,

which is true for all real values of θ (since the real numbers \Bbb{R} are the domain of sin and cos), as opposed to

\cos \theta = 1,\,

which is true only for values of θ in a subset of the domain.

See also list of mathematical identities.

[edit] Identity element

The concepts of "additive identity" and "multiplicative identity" are central to the Peano axioms. The number 0 is the "additive identity" for integers, real numbers, and complex numbers. For the real numbers, for all a\in\Bbb{R},

0 + a = a,\,
a + 0 = a,\, and
0 + 0 = 0.\,

Similarly, The number 1 is the "multiplicative identity" for integers, real numbers, and complex numbers. For the real numbers, for all a\in\Bbb{R},

1 \times a = a,\,
a \times 1 = a,\, and
1 \times 1 = 1.\,

[edit] Identity function

A common example of an identity function is the identity permutation, which sends each element of the set \{ 1, 2, \ldots, n \} to itself.

[edit] Comparison

These meanings are not mutually exclusive; for instance, the identity permutation is the identity element in the set of permutations of \{ 1, 2, \ldots, n \} under composition.