Results 1 to 5 of 5

Math Help - Prove that W is isomorphic to the complex numbers C as a real vector space

  1. #1
    Member
    Joined
    Jan 2010
    Posts
    232

    Prove that W is isomorphic to the complex numbers C as a real vector space

    The field W=\left\{ \left[ \begin{matrix} a & -b \\ b & a \end{matrix} \right] : a,b\in R \right\} is also a vector space over R. Do not prove this fact. Prove that W is isomorphic to the complex numbers C as a real vector space.

    So far, this is what I have. It's not much, but it's a start.

    Let \varphi :W\rightarrow C
    \varphi \left( \left[ \begin{matrix} a & -b \\ b & a \end{matrix} \right] \right) =a+bi\in C
    I've been told that I'm to prove that this is one-to-one, onto, and linear.

    That's about as much as I know. My brain's a little muddled at the moment due to a short bout of sickness, so I could use a hand.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member
    Joined
    Jan 2010
    Posts
    232
    I've not made that much progress on this, but I'll show right now what else I've done so far. Some of it may not be correct in any case. My mind's not in the best shape right now due to sickness, so I've probably got a few things muddled.

    My Prof. told me that for this, I had to show that \varphi \left( \left[ \begin{matrix} a & -b \\ b & a \end{matrix} \right] \right) =a+bi\in C was one-to-one, onto, and linear. Proving these is probably easier than I think it is, but I can't help but feel as if I could easily miss something if I'm not careful.

    I think I have the one-to-one part (injective) down, though the onto part (surjective) is much trickier due to there being two variables. I don't remember any similar situation, so I'm kinda stuck.

    Primarily, I'm having difficulty showing my proofs. Either I'm over-analyzing the proofs and I'm trying to be too complex in showing them, or I don't know what to do entirely.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,380
    Thanks
    1473
    Awards
    1
    This a truly simple proof.
    In the complex number a+bi both a~\&~b are real numbers. Thus you have onto.

    Note that a+bi=c+di if and only if a=c~\&~b=d: one-to-one.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    Jan 2010
    Posts
    232
    Quote Originally Posted by Plato View Post
    This a truly simple proof.
    In the complex number a+bi both a~\&~b are real numbers. Thus you have onto.

    Note that a+bi=c+di if and only if a=c~\&~b=d: one-to-one.
    Argh, I was over-analyzing it again. I do that too much because I'm misled by question wording easily.

    I think I got the linearity part down, though I could use a second opinion.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,380
    Thanks
    1473
    Awards
    1
    Quote Originally Posted by Runty View Post
    I think I got the linearity part down, though I could use a second opinion.
    The mapping preserves both addition (that is easy to see) and multiplication.

    Recall (a+bi)(c+di)=[(ac-bd)+(bc+ad)i].
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Complexification of a real vector space
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 5th 2011, 07:23 PM
  2. Replies: 8
    Last Post: December 10th 2010, 03:42 AM
  3. Vector space isomorphic to R^n+1
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: October 25th 2010, 05:16 AM
  4. Replies: 1
    Last Post: September 27th 2010, 03:14 PM
  5. Vector space over the field of complex numbers
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: January 19th 2008, 04:39 PM

Search Tags


/mathhelpforum @mathhelpforum