Results 1 to 2 of 2

Thread: bijective

  1. #1
    Member
    Joined
    Jun 2008
    Posts
    170

    bijective

    If $\displaystyle f: A \to B $ is bijective show that $\displaystyle f^{-1} $ is unique.

    Suppose that $\displaystyle f^{-1} $ and $\displaystyle h $ are inverses of $\displaystyle f $. Let $\displaystyle y = f(x) $. We need to show that $\displaystyle f^{-1}(y) = h(y) $ for all $\displaystyle y \in B $. So $\displaystyle f^{-1}(f(x)) = h(f(x)) = x $ for all $\displaystyle y \in B $, thus $\displaystyle f^{-1} $ is unique?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by particlejohn View Post
    If $\displaystyle f: A \to B $ is bijective show that $\displaystyle f^{-1} $ is unique?
    Let $\displaystyle g,h: B\mapsto A$ such that $\displaystyle g(f(a)) =h(f(a))= a$ for all $\displaystyle a\in A$. To show that $\displaystyle g=h$ we need to show to things, (i) they have the same domain (ii) $\displaystyle g(x)=h(x)$ for all $\displaystyle x$ in domain. The first part is straightforward, it is given that $\displaystyle g,h$ have domain $\displaystyle B$. Now let $\displaystyle x\in B$. Then since $\displaystyle f$ is bijective it means $\displaystyle x=f(a)$ for some $\displaystyle a\in A$. Thus, $\displaystyle g(x) = g(f(a)) = a = h(f(a)) = h(x)$. And thus these are the same functors.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Bijective Map from SU(2) to U(1)
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: May 15th 2011, 02:56 PM
  2. bijective
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: Apr 30th 2011, 01:33 PM
  3. Replies: 1
    Last Post: Apr 21st 2009, 10:45 AM
  4. bijective
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: Nov 9th 2008, 04:19 AM
  5. Bijective
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Mar 20th 2006, 06:22 PM

Search Tags


/mathhelpforum @mathhelpforum