Identity map and Inverse Image

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 4K views
wayneckm
Messages
66
Reaction score
0
Hello everyone,


I would like to ask what's the purpose of identity map? Recently I came across something that apparently use this to find the inverse image of a function [tex]F(x)[/tex] in the form of [tex]F(x) = ( f(x) , x )[/tex].

Thanks.


Wayne
 
Physics news on Phys.org
The "identity map" is just very simple function that maps everything to itself, f(x)= x. In the operation of "composition" of functions, it asks the same way the number "0" does with addition or the number "1" does with multiplication.

In particular, just as the "negative" (additive inverse) is such that (-x)+ x= 0 and the "reciprocal" (multiplicative inverse) is such that (1/x)*(x)= 1, so the "inverse function" is defined as the function, [itex]f^{-1}(x)[/itex] such that [itex]f(f^{-1}(x)= x[/itex] and [itex]f^{-1}(f(x))= x[/itex]- both compositions giving the identity function.

Another way of looking at "inverse" functions is that they "reverse" the original function. If y= f(x), then [itex]x= f^{-1}(y)[/itex]: if f "changes" x into y, then [itex]f^{-1}[/itex] changes y into x.

In particular, if we write a function, f. as a set of "ordered pairs", {(x, y)} where [itex]y= f(x)[/itex], then its inverse function reverses those pairs- it is {(y, x)}= {f(x), x}.

The "purpose" of the identity map is really to allow us to define the "inverse" function and that allows us to solve equations: If we know that f has inverse [itex]f^{-1}[/itex] (not all functions have inverses) then we can solve f(x)= a by taking [itex]f^{-1}[/itex] of each side: [itex]f^{-1}(f(x))= f^{-1}(a)[/itex] and, since taking a function and then its inverse gives the "identity map", we have [itex]f^{-1}(f(x))= x[/itex] so that equation becomes [itex]x= f^{-1}(a)[/itex].