2
$\begingroup$

This question is a follow up from my stack question even though the question does not depend on know what the question was, I think it adds to the context of where I'm coming from.

First of as I had stated in the link, I was originally confused about how we have two separate ways of representing a complex number in a matrix form. And the conclusion I came up was that the two definitions technically should not be used in a same system or equation to represent a complex number. I may be wrong to say this and if I am I would appreciate any argument to this idea.

Please skip to conclusion if you want to read less
Kind of demonstrating the problem of having two definitions
$2 \times 2$ matrix form definition $a+bi=\begin{bmatrix}a&-b\\ b&a\end{bmatrix}$
and
$1 \times 2$ matrix (vector form)definition $a+bi=\begin{bmatrix}a\\ b\end{bmatrix}$
The two are obviously not the same, how could they represent the same thing?I did a little investigation using the example of $i \times i = -1$
case 1
$\begin{bmatrix}0&-1\\ 1&0\end{bmatrix}\cdot \begin{bmatrix}0&-1\\ 1&0\end{bmatrix}=\begin{bmatrix}-1&0\\ 0&-1\end{bmatrix}$
I did a linear transformation on a matrix where output was also a matrix that can represent both a linear transformation and a complex number.
it is also interesting to note that the commutative property of (multiplying/linear transformation by) complex number is conserved as it should do.

case 2
$\begin{bmatrix}0&-1\\ 1&0\end{bmatrix}\cdot \begin{bmatrix}0\\1\end{bmatrix}=\begin{bmatrix}-1\\0\end{bmatrix}$
This time I did a linear transformation on a vector and the output was also a vector that represent a complex number.
This method works since the "rotational property" of the complex number is encoded in the linear transformation

case 3
$\begin{bmatrix}0\\1\end{bmatrix}\cdot \begin{bmatrix}0\\1\end{bmatrix}=\begin{bmatrix}0\\0\end{bmatrix}$?
This linear transformation is nonsense. I think this is because the "rotational property" is encoded in the basis vector of the vector [1,i]. So to encode this property it makes sense to add the basis vectors.
$\begin{bmatrix}0\\1\end{bmatrix}\cdot \begin{bmatrix}0\\1\end{bmatrix}=i\times i=-1$.

case 4
$\begin{bmatrix}0\\1 \end{bmatrix} \cdot \begin{bmatrix} 0&-1 \\ 1&0 \end{bmatrix} = \begin{bmatrix} 0&0 \\ 0&-1 \end{bmatrix}$?
This is also a nonsense linear transformation.
Interestingly you can do a hack and turn the matrix into a vector. $\begin{bmatrix}0\\1 \end{bmatrix} \cdot \begin{bmatrix} 0&-1 \\ 1&0 \end{bmatrix}\cdot\begin{bmatrix}1\\0 \end{bmatrix} = \begin{bmatrix} 0&0 \\ 0&-1 \end{bmatrix}$
$=\begin{bmatrix}0\\1 \end{bmatrix}\cdot \begin{bmatrix}0\\1 \end{bmatrix}$
$=i\times i = -1$
But this is kind of cheating since we are just converting a matrix into a vector.

Conclusion
Matrix representation encodes the idea of rotation and also conserves addivinity and commutativity. By definition, basis vector can be anything for this matrix.
Vector representation does not encode the idea of rotation it self but it's basis vector does (it's basis vector must be imaginary and real).
Derivation of matrix representation require the assumption of $i=\begin{bmatrix}0\\1\end{bmatrix}$ and $1=\begin{bmatrix}1\\0\end{bmatrix}$.
Because of this I don't think the matrix representation should be defined as a complex representation but is a tool that encode the rotational and additivity property. Therefore it can be used to rotate (multiply) vector representation. Therefore
$ i \cdot i $ and $\begin{bmatrix}0&-1\\ 1&0\end{bmatrix}\cdot \begin{bmatrix}0\\1\end{bmatrix}$
might be an equivalent operation. I don't think they should be said to be the same. It is nothing but a trick that yield the same result.
It is obvious that matrix representation and vector representation should not be defined to be i in the same system when you do a simple addition
So if $ i \cdot i \equiv \begin{bmatrix}0&-1\\ 1&0\end{bmatrix}\cdot \begin{bmatrix}0\\1\end{bmatrix}$ then surely
$ i + i \equiv \begin{bmatrix}0&-1\\ 1&0\end{bmatrix} + \begin{bmatrix}0\\1\end{bmatrix}$ Which is not true
If the derivation of matrix form require the definition of vector form, Surely matrix form can not define it self as a same thing. Also, does it really make sense to define a complex number as a linear transformation? For these reasons the matrix definition just seems like a trick to me and feel that it should technically be defined as.
$a+bi = \begin{bmatrix}a&-b\\ b&a\end{bmatrix} \cdot \begin{bmatrix}1\\ 0\end{bmatrix}$

And the linear transformation trick should be defined explicitly as a trick rather than a complex number it self
$(a+bi)\times (c+di) = \begin{bmatrix}a&-b\\ b&a\end{bmatrix} \cdot \begin{bmatrix}c\\d\end{bmatrix}$
Like wise the additivity trick should be treated as a trick rather than treating a matrix as a complex number it self.

$\endgroup$
1
  • $\begingroup$ There are various ways to represent complex numbers (as there are various ways to represent other mathematical objects), and they should not be mingled among each other. So: What is your question? $\endgroup$ Commented Sep 26, 2018 at 18:25

3 Answers 3

2
$\begingroup$

It is not a trick.

Fix $z=a+bi \in \mathbb C$ and consider the map $\mu : w \mapsto zw$.

Seeing $\mathbb C$ as a vector space over $\mathbb R$, the matrix of $\mu$ with respect to the basis $1,i$ is exactly $$\begin{bmatrix}a&-b\\ b&a\end{bmatrix}$$

The map $z \mapsto \mu$ is an injective homomorphism of $\mathbb R$-algebras $\mathbb C \to \text{End}_\mathbb R(\mathbb C) \cong M_2(\mathbb R)$.

The same construction works for every finite extension of fields $E/F$: the matrix ring $M_n(F)$ contains copies of all extensions of $F$ of degree $n$.

In particular, for instance, $\mathbb Q(\sqrt 2)$ can be given a matrix interpretation in $M_2(\mathbb Q)$. Try it!

$\endgroup$
2
  • $\begingroup$ I'm not a mathematician and everything looks gibberish to me though you are probably correct what kind of field do I need to study to make this not gibberish? Injective homorphism? R-algrbra C->EndR(c)? $\endgroup$ Commented Sep 26, 2018 at 14:18
  • $\begingroup$ Thank you very much for the answer $\endgroup$ Commented Sep 26, 2018 at 14:18
2
$\begingroup$

They both 'represent complex numbers', but not in the same context, or in the same way.

$\begin{bmatrix}a \\ b \end{bmatrix}$ represents $a+bi$ if we consider it as an element in the vector space whose basis is $\begin{bmatrix}1 \\ 0 \end{bmatrix} \sim 1$ and $\begin{bmatrix}0 \\ 1 \end{bmatrix} \sim i$. This representation of $a+bi$ doesn't include the possibility of multiplying complex numbers, since vector spaces don't have a 'multiplication' operation (inner product aside, which isn't what you would want here anyway).

The other representation does capture the multiplicative properties of complex numbers, but it lives in the space of all $2\times 2$ matrices. This space includes elements that do not represent complex (or real) numbers, so this representation is also somehow inaccurate.

You say that we shouldn't use both representations at the same time; this is right. It's because either we're thinking about the space of $2\times 2$ matrices, or we're thinking about a 2-dimensional vector space over $\Bbb{R}$, but those are two different things, so we're not going to use elements of one when we're thinking about the other.

$\endgroup$
4
  • $\begingroup$ "this representation is also somehow inaccurate" does this mean that it is kind of not true to say that it is a complex number or define it as a complex number? In another word it is just a "tool" or "representation that doesn't encode everything"? $\endgroup$ Commented Sep 26, 2018 at 19:59
  • $\begingroup$ Thank you for the answer $\endgroup$ Commented Sep 26, 2018 at 19:59
  • $\begingroup$ In another word, maybe I should call it as an approximation rather than a fact? $\endgroup$ Commented Sep 26, 2018 at 20:02
  • $\begingroup$ Your first comment I think is right. It's not a complex number, but it shares some properties with them. So sometimes we can use what we know about complex numbers to help understand these matrices, for instance. I would avoid the word approximation since it has some other meanings in mathematics already. $\endgroup$ Commented Sep 26, 2018 at 21:32
0
$\begingroup$

When you think of a complex number $z$, do you think of a rotation of the plane, or of a point in the plane? (For this post I will just treat with complex numbers which are rotations, but they are really rotations + scalings of the plane). If you have experience with complex numbers, you know that both of these interpretations are valid.

When thinking of complex numbers $z, w$ as rotations of the plane, their product $zw$ is rotation by $w$, followed by rotation by $z$. If we now write $$ M(a + ib) = \begin{pmatrix}a & -b \\ b & a\end{pmatrix}$$ then the matrix $M(z)$ is precisely the $2 \times 2$ real matrix which encodes the same rotation as $z$. The matrix product $M(z) M(w)$ is rotation by $w$, followed by rotation by $z$, which is $M(zw)$. So the fact that multiplication of $M(z)$ and $M(w)$ works in the right way is just the fact that $M(z)$ is correctly encoding the linear operator which is rotation by $z$, and composition of linear operators is agreeing with multiplication of complex numbers.

When thinking of complex numbers as points in the plane, the number $w = a + ib$ is put at the point $(a, b)$. We could write this as $$ V(a + ib) = \begin{pmatrix} a \\ b \end{pmatrix} $$ When thinking of the complex numbers $z, w$ as points in the plane, how do you find the product $zw$? The answer is you don't really, you instead think of $z$ as a rotation, and then apply that rotation to the point $w$, to get a new point $zw$. This is exactly the matrix $M(z)$, applied to the vector $V(w)$, and we find that $M(z)V(w) = V(zw)$. (The fact that this last equation works is the most remarkable, and has to do with the fact that where we plot a complex number on the complex plane is very carefully chosen to match up with its corresponding rotation. You should think about this the most.)

Note however that $V(z) V(w)$ doesn't really make sense, but this is fine, because we don't have a usual way of multiplying two real vectors.

$\endgroup$
5
  • $\begingroup$ Thank you for the answer $\endgroup$ Commented Sep 26, 2018 at 19:56
  • $\begingroup$ "we don't have a usual way of multiplying two real vectors" but, shouldn't an object that we call to be a "complex number" have a usual way of multiplying by default? $\endgroup$ Commented Sep 26, 2018 at 19:56
  • $\begingroup$ E.g. if a I drew a car and added it's scales to represent a car am I allowed to call it a car even if it doesn't drive? $\endgroup$ Commented Sep 26, 2018 at 20:00
  • $\begingroup$ To your second question: That's exactly the distinction to be made here. The vector isn't the same as a complex number, specifically because complex numbers can be multiplied but vectors cannot (at least not in a way that looks the same as multiplying complex numbers) $\endgroup$ Commented Sep 26, 2018 at 21:33
  • $\begingroup$ @WantingtobeanAndroidDevelor I'm not claiming that $M(z)$ or $V(z)$ "are" complex numbers, I'm just pointing out the geometric reasoning behind both of them. A lot of people are also happy to define a complex number as a pair of real numbers $(a, b)$ with the multiplication rule $(a, b)(c, d) = (ac - bd, bc + ad)$, which amounts to defining a multiplication on 2d real vectors. $\endgroup$
    – Joppy
    Commented Sep 27, 2018 at 0:24

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .