Identity map

From Maths
Revision as of 15:06, 15 December 2017 by Alec (Talk | contribs) (Adding inclusion map)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Definition

The "identity map", written on this project as [ilmath]\text{Id} [/ilmath], is a map which maps every item (in the domain) to itself, that is if [ilmath]\text{Id}:X\rightarrow X[/ilmath] is a function / map on some set [ilmath]X[/ilmath], then:

  • [ilmath]\forall x\in X[\text{Id}(x)\eq x][/ilmath]

Conventions

If we are dealing with two sets [ilmath]X[/ilmath] and [ilmath]Y[/ilmath], then technically we must use differing notation for the identity map on each, for example [ilmath]\text{Id}_X[/ilmath] and [ilmath]\text{Id}_Y[/ilmath] however this is rarely needed and we (even I, Alec) usually just write [ilmath]\text{Id} [/ilmath] for both


An "identity map" between different sets, for example [ilmath]f:X\rightarrow Y[/ilmath] such that [ilmath]\forall x\in X[f(x)\eq x][/ilmath] and as a result we must have [ilmath]X\subseteq Y[/ilmath], then [ilmath]f[/ilmath] is called an inclusion map

Other notations

Sometimes [ilmath]I[/ilmath] is used for the identity map.

See also

  • Inclusion map, which is a map [ilmath]i:A\rightarrow B[/ilmath] where [ilmath]A[/ilmath][ilmath]\subseteq[/ilmath][ilmath]B[/ilmath] such that [ilmath]i:a\mapsto a[/ilmath] for all [ilmath]a\in A[/ilmath] - a sort of identity map in some sense.

References

Grade: D
This page requires references, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.
The message provided is:
Not really important Alec (talk) 15:04, 15 December 2017 (UTC)