A little math quiz

arfa brane

call me arf
Valued Senior Member
It's well known that the complex plane $$ \mathbb C $$ is isomorphic to $$ \mathbb R^2 $$.

But, why if $$ x \in \mathbb R^2 $$, is x written x = (a,b) for some real a and b, whereas if $$ x \in \mathbb C $$, then x = (a + ib)? Why the sign for addition?

Is it because:
1) both representations of x represent the same abstract vector since a and b are orthogonal.
2) a + ib is one dimensional, tautologically it has one complex dimension, whereas (a,b) has two real dimensions.
3) it's just how you represent a complex number, so multiplication and addition work out.
4) it's so you can represent a complex number with a 2x2 matrix, i.e. as a polynomial, (a,b) is a 2x1 matrix.
5) gee, I don't know.
 
It's well known that the complex plane $$ \mathbb C $$ is isomorphic to $$ \mathbb R^2 $$.

But, why if $$ x \in \mathbb R^2 $$, is x written x = (a,b) for some real a and b, whereas if $$ x \in \mathbb C $$, then x = (a + ib)? Why the sign for addition?

Is it because:
1) both representations of x represent the same abstract vector since a and b are orthogonal.
2) a + ib is one dimensional, tautologically it has one complex dimension, whereas (a,b) has two real dimensions.
3) it's just how you represent a complex number, so multiplication and addition work out.
4) it's so you can represent a complex number with a 2x2 matrix, i.e. as a polynomial, (a,b) is a 2x1 matrix.
5) gee, I don't know.

.....A complex number in complex plane is certainly a vector, both a and b define the complex number, it is not that by transforming the origin you can change the magnitiude or spatial position of a complex number, on the other hand a point (a,b) in real plane can have any arbitrary values of a and b depending on the selection of origin.

still to be safe I will choose 5)...
 
I thought a complex number in a complex plane is a point, not a vector. I must be wrong, since you are never wrong.

I have chosen the safer side too...

But you are missing a point, a complex number (a,b) is a number, but (a, b) on a real plane is a point......so how do you write a number with two disjoint parts ? like (component a+i component b), but a point (a,b) has no meaning as a+b...
 
Last edited:
complex numbers is a chapter in pre-algabra text books. you should at least look at one.
 
No, the point was you said a complex number in a complex plane is a vector and I say it is a point. Do you think your statement was correct?

A number cannot be a point.....Complex number is a number (having magnitude) not a point. Just because it is represented on Complex Plane as a point does not make it a point...It is still OA only.
 
A number cannot be a point.....Complex number is a number (having magnitude) not a point. Just because it is represented on Complex Plane as a point does not make it a point...It is still OA only.
again, complex numbers is a chapter in pre-algabra text books. you should at least look at one.
 
Oh dear, what a muddle!

Look, $$\mathbb{R}^n$$ for any strictly positive integer $$n$$ is a vector space.

To see this, note that for all $$a,\,b \in \mathbb{R}$$ there exists some $$c \in \mathbb{R}$$ such that $$a+b=c$$. Moreover, since $$\mathbb{R}$$ is a field, we also have that $$ab=c' \in \mathbb{R}$$. In other words, it is a vector space defined over itself.

But if $$\mathbb{R}^2 \equiv \mathbb{R}\times \mathbb{R}$$, this Cartesian product is of necessity also a vector space. Now since by convention elements of $$\mathbb{R}^2$$ are written as the ordered pair $$(a,b)$$, we have that this element - point if you prefer - is a vector.

Clearly we cannot write this as $$a+b$$

Despite the isomorphism $$\mathbb{C} \simeq \mathbb{R} \times \mathbb{R}$$, if we write, say, $$z=(x,yi) \in \mathbb{C}$$ this would imply that $$\mathbb{C}$$ is the Cartesian product of "something" - and it is not.

So one writes $$z=x+yi$$, safe in the knowledge that this "sum" has no closed answer in $$\mathbb{C}$$.

In short, it is a device to make notation consistent and clear - always a Good Thing
 
.....A complex number in complex plane is certainly a vector, both a and b define the complex number, it is not that by transforming the origin you can change the magnitiude or spatial position of a complex number, on the other hand a point (a,b) in real plane can have any arbitrary values of a and b depending on the selection of origin.

still to be safe I will choose 5)...
I thought a complex number in a complex plane is a point, not a vector. I must be wrong, since you are never wrong.
I have chosen the safer side too...

But you are missing a point, a complex number (a,b) is a number, but (a, b) on a real plane is a point......so how do you write a number with two disjoint parts ? like (component a+i component b), but a point (a,b) has no meaning as a+b...
No, the point was you said a complex number in a complex plane is a vector and I say it is a point. Do you think your statement was correct?
A number cannot be a point.....Complex number is a number (having magnitude) not a point. Just because it is represented on Complex Plane as a point does not make it a point...It is still OA only.
Sigh.

The Euclidean space $$E^1$$ is a line and $$E^2$$ is a plane. The points of $$E^1$$ and $$E^2$$ are the points of geometry. There is also a notion of distance between points and in $$E^2$$ a notion of lines intersecting in points. The Euclidean spaces support the continuous transforms of translation and (for $$E^2$$ ) rotation as isometries — they leave distances unchanged — so no point and no direction is preferred. The Euclidean spaces also support the isometries of reflection in a point or line.

The real numbers $$\mathbb{R}$$ are a model for the Euclidean line. Corresponding to points in $$E^1$$ we have real numbers and corresponding to distance we can add the Euclidean metric for distance $$\left| x_2 - x_1 \right| = \sqrt{ \left( x_2 - x_1 \right)^2 }$$. So our model* of $$E^1$$ is not only complete, it is more than complete in that $$\mathbb{R}$$ has a distinguished point $$0$$ and a notion of addition which lets it satisfy the axioms of a vector space. So a real number is a number, a point and a vector. Likewise in $$\mathbb{R}^2$$ we have ordered pairs of numbers, points and vectors (with the notion of pair-wise addition).

Because numbers support addition where $$1 + 1 = 2$$, and multiplication, where $$-1 \times -1 = 1$$, a transformation of translation or rotation or reflection alters (at least some) numbers or pairs of numbers so they no longer have their original relations as numbers, nevertheless such translations and rotations are still isometries as they preserve the Euclidean metric for distance between pairs of points.

We also have the mechanisms of linear algebra available, and we can build arbitrary projection operators. Pick a number, $$\theta \in \left( - \frac{\pi}{2}, \frac{\pi}{2} \right] $$, then $$(x(\lambda) ,y (\lambda)) = \lambda \left( \cos \theta, \sin \theta \right) = \lambda \hat{n} $$ is the equation of a line through the origin. We can decompose any vector into components parallel to that line and orthogonal to that line.
$$\vec{v}_{\parallel} = \left( \vec{v} \cdot \hat{n} \right) \hat{n} = ( v_x \cos \theta + v_y \sin \theta ) ( \cos \theta, \sin \theta ) = \begin{pmatrix} \cos^2 \theta & \cos \theta \sin \theta \\ \cos \theta \sin \theta & \sin^2 \theta \end{pmatrix} \begin{pmatrix} v_x \\ v_y \end{pmatrix}, \\ \vec{v}_{\perp} = \vec{v} - \vec{v}_{\parallel} = \begin{pmatrix} \sin^2 \theta & -\cos \theta \sin \theta \\ -\cos \theta \sin \theta & \cos^2 \theta \end{pmatrix} \begin{pmatrix} v_x \\ v_y \end{pmatrix}$$
So I don't see what is so special about complex numbers decomposing as two real numbers when ordered pairs of real numbers can be decomposed in a continuum of ways.

The complex numbers $$\mathbb{C}$$ also has a notion of distance, $$\left| z_2 - z_1 \right| = \sqrt{ z \, \bar{z} }$$, and so can also be used as a model for the Euclidean plane and also have a notion of addition and distinguished point $$0$$. So a complex number is likewise a number, a point and a vector. Indeed it can be vector of a 2-d real vector space as the notion of multiplication by real scalars is supported, or a vector of a 1-D complex vector space as multiplication by complex scalars is likewise supported. The complex numbers support an important isometry, the reflection in the real line called complex conjugation $$z \mapsto \bar{z}, \; (a + i b) \mapsto (a - i b)$$. This leaves addition and multiplication relations unchanged. $$ \overline{z_1 + z_2} = \bar{z_1} + \bar{z_2}, \; \overline{z_1 \times z_2} = \bar{z_1} \times \bar{z_2}$$. This allows to build the special decomposition operators: $$\Re z = \frac{1}{2} \left( z + \bar{z} \right), \Im z = - \frac{i}{2} \left( z - \bar{z} \right), z = \Re z + i \Im z$$ And the arbitrary projection operator: $$z_{\parallel} = \frac{1}{2} \left( z + e^{2 i \theta} \bar{z} \right), \; z_{\perp} = \frac{1}{2} \left( z - e^{2 i \theta} \bar{z} \right)$$

*Since a mathematical model satisfies the defining axioms of another mathematical object, for all practical purposes the map can be the territory in math.
 
Last edited:
I think the obvious reason for the notation is because of Euler's identity:

$$ e^{i\theta} = cos(\theta) + i sin(\theta) $$.
 
Actually, all you have done is concretized the general equality in $$\mathbb{C}$$ namely $$z=x+yi$$.

Interestingly, using $$\overline{z}$$ for the complex conjugate (as rpenner did - it is perfectly standard notation), we will have that $$\overline{e^{i\theta}}=e^{-i{\theta}}$$ so that $$e^{i\theta}\overline{e^{i\theta}}=1$$ (since $$\cos^2\theta+\sin^2\theta =1$$)

This brings us into contact with my abortive Lie Group thread.......

Considering $$e^{i \theta}$$ as a 1 x 1 matrix with determinant $$e^{i\theta}$$, and remembering that a unitary matrix/transformation satisfies $$U^{\dagger}U=UU^{\dagger}=I$$, and also noting that for a 1 x 1matrix transposition makes no sense, and finally noting that the 1 x 1 identity matrix is simply 1, we can see that $$ e^{i\theta}$$ is an element in a Lie group.

One calls this group as U(1) - it seemingly describes the symmetry of physics that is invariant under arbitrary phase rotations - Maxwell's EM apparently is one of them.

Ask a physicist if you want a better explanation of my last paragraph
 
Last edited:
Let's try some actual exercises:

1) Write $$ z = -2 + 3i $$ in polar form.
2) Write $$ w = 3e^{\frac{i\pi} {6}} $$ in rectangular form.
3) Find the cube root of 1 in polar and rectangular form.
 
1) Write z=−2+3i in polar form.
Been a while since I tried this in anger...
Magnitude √13 direction arctan(-2/3).
Going for the exponential
√13e^(i arctan(-2/3))
or 3.6e^(0.98i)

2)
3(cos(π/6) + isin((π/6))
or 3(0.866+i0.5)
or 2.4+1.5i
 
Last edited:
Sigh.

The Euclidean space $$E^1$$ is a line and $$E^2$$ is a plane. The points of $$E^1$$ and $$E^2$$ are the points of geometry. There is also a notion of distance between points and in $$E^2$$ a notion of lines intersecting in points. The Euclidean spaces support the continuous transforms of translation and (for $$E^2$$ ) rotation as isometries — they leave distances unchanged — so no point and no direction is preferred. The Euclidean spaces also support the isometries of reflection in a point or line.

The real numbers $$\mathbb{R}$$ are a model for the Euclidean line. Corresponding to points in $$E^1$$ we have real numbers and corresponding to distance we can add the Euclidean metric for distance $$\left| x_2 - x_1 \right| = \sqrt{ \left( x_2 - x_1 \right)^2 }$$. So our model* of $$E^1$$ is not only complete, it is more than complete in that $$\mathbb{R}$$ has a distinguished point $$0$$ and a notion of addition which lets it satisfy the axioms of a vector space. So a real number is a number, a point and a vector. Likewise in $$\mathbb{R}^2$$ we have ordered pairs of numbers, points and vectors (with the notion of pair-wise addition).

Because numbers support addition where $$1 + 1 = 2$$, and multiplication, where $$-1 \times -1 = 1$$, a transformation of translation or rotation or reflection alters (at least some) numbers or pairs of numbers so they no longer have their original relations as numbers, nevertheless such translations and rotations are still isometries as they preserve the Euclidean metric for distance between pairs of points.

We also have the mechanisms of linear algebra available, and we can build arbitrary projection operators. Pick a number, $$\theta \in \left( - \frac{\pi}{2}, \frac{\pi}{2} \right] $$, then $$(x(\lambda) ,y (\lambda)) = \lambda \left( \cos \theta, \sin \theta \right) = \lambda \hat{n} $$ is the equation of a line through the origin. We can decompose any vector into components parallel to that line and orthogonal to that line.
$$\vec{v}_{\parallel} = \left( \vec{v} \cdot \hat{n} \right) \hat{n} = ( v_x \cos \theta + v_y \sin \theta ) ( \cos \theta, \sin \theta ) = \begin{pmatrix} \cos^2 \theta & \cos \theta \sin \theta \\ \cos \theta \sin \theta & \sin^2 \theta \end{pmatrix} \begin{pmatrix} v_x \\ v_y \end{pmatrix}, \\ \vec{v}_{\perp} = \vec{v} - \vec{v}_{\parallel} = \begin{pmatrix} \sin^2 \theta & -\cos \theta \sin \theta \\ -\cos \theta \sin \theta & \cos^2 \theta \end{pmatrix} \begin{pmatrix} v_x \\ v_y \end{pmatrix}$$
So I don't see what is so special about complex numbers decomposing as two real numbers when ordered pairs of real numbers can be decomposed in a continuum of ways.

The complex numbers $$\mathbb{C}$$ also has a notion of distance, $$\left| z_2 - z_1 \right| = \sqrt{ z \, \bar{z} }$$, and so can also be used as a model for the Euclidean plane and also have a notion of addition and distinguished point $$0$$. So a complex number is likewise a number, a point and a vector. Indeed it can be vector of a 2-d real vector space as the notion of multiplication by real scalars is supported, or a vector of a 1-D complex vector space as multiplication by complex scalars is likewise supported. The complex numbers support an important isometry, the reflection in the real line called complex conjugation $$z \mapsto \bar{z}, \; (a + i b) \mapsto (a - i b)$$. This leaves addition and multiplication relations unchanged. $$ \overline{z_1 + z_2} = \bar{z_1} + \bar{z_2}, \; \overline{z_1 \times z_2} = \bar{z_1} \times \bar{z_2}$$. This allows to build the special decomposition operators: $$\Re z = \frac{1}{2} \left( z + \bar{z} \right), \Im z = - \frac{i}{2} \left( z - \bar{z} \right), z = \Re z + i \Im z$$ And the arbitrary projection operator: $$z_{\parallel} = \frac{1}{2} \left( z + e^{2 i \theta} \bar{z} \right), \; z_{\perp} = \frac{1}{2} \left( z - e^{2 i \theta} \bar{z} \right)$$

*Since a mathematical model satisfies the defining axioms of another mathematical object, for all practical purposes the map can be the territory in math.

How does this detailing answer the OP ? Even if it does I am sure a succinct response should have been made out.

A complex number 1+2i, is a root of equation x^2-2x+5 = 0, and the mathematical operators like +/-can be applied without any changes for x = 1+2i to satisfy the equality keeping i^2 = -1...So it is not that writing a complex number as a+ib is some kind of simplistic convenience, it is there because of i^2=-1. On the other hand there is no such relationship between a and b of a real point (a,b) to be defined as a()b....where() any operator....Defining a complex number as a point on a complex plane may be a simplistic approach but that too is not same as defining a point (a,b) in real plane...In case of complex plane OA has significance associated with the complex number, while in case of real plane OA has no significance attached with the real point A....
 
TG said:
How does this detailing answer the OP ? Even if it does I am sure a succinct response should have been made out.

I'm afraid the OP was intentionally misleading, or perhaps there are two responders that weren't misled, QuarkHead and rpenner (no real surprises there).
Otherwise, the rest seem to have missed that none of the choices are, by themselves, very satisfactory.

On to some harder exercises:

If $$ \mathbb C \cong \mathbb R^2 $$, is $$ \mathbb C^2 \cong \mathbb R^4 $$, and then what does $$ \mathbb C \otimes \mathbb C $$ correspond to?
 
1) Write $$ z = -2 + 3i $$ in polar form.

$$z = -2 + 3i = \sqrt{13} e^{i \left( \pi - \tan^{-1} \frac{3}{2} \right) } \approx 3.6056 e^{2.1588 i}
\\ \sqrt{13} \cos \left( \pi - \tan^{-1} \frac{3}{2} \right) = \sqrt{13} \cos \pi \cos \tan^{-1} \frac{3}{2} + \sqrt{13} \sin \pi \sin \tan^{-1} \frac{3}{2} = -2 = \Re z
\\ \sqrt{13} \sin \left( \pi - \tan^{-1} \frac{3}{2} \right) = \sqrt{13} \sin \pi \cos \tan^{-1} \frac{3}{2} - \sqrt{13} \cos \pi \sin \tan^{-1} \frac{3}{2} = 3 = \Im z $$


Been a while since I tried this in anger...
Magnitude √13 direction arctan(-2/3).
Since tan = sin/cos, you want the arctan of $$\frac{\Im z}{\Re z}$$ but because $$\Re z < 0$$ you need to add $$\pi$$.
Going for the exponential
√13e^(i arctan(-2/3))
= 3 - 2i So you aren't in the right quadrant of the complex plane.
or 3.6e^(0.98i)
$$\color{red}{ \approx 2.005 + 2.990 i }$$ Also not in the right quadrant, but arctan(3/2) appears to have been used, not arctan(-2/3)

2) Write $$ w = 3e^{\frac{i\pi} {6}} $$ in rectangular form.

$$w = 3e^{\frac{i\pi}{6}} = 3 \cos \frac{\pi}{6} + 3 i \sin \frac{\pi}{6} = 3 \times \frac{\sqrt{3}}{2} + 3 \times \frac{1}{2} i = \frac{3 \sqrt{3}}{2} + \frac{3}{2} i \approx 2.598 + 1.500 i $$


3(cos(π/6) + isin((π/6))
or 3(0.866+i0.5)
or 2.4+1.5i
closer to 2.6 + 1.5i as you truncated before multiplication instead of rounding after multiplication.

3) Find the cube root of 1 in polar and rectangular form.
$$v^3 - 1 = (v-1)(v^2 + v + 1) = 0$$ has roots of $$1, \frac{-1 + \sqrt{-3}}{2}, \frac{-1 - \sqrt{-3}}{2}$$ from the quadratic formula for the second factor.
So $$1 + 0i, - \frac{1}{2} + \frac{\sqrt{3}}{2} i, - \frac{1}{2} - \frac{\sqrt{3}}{2} i $$ are the rectangular forms that are cube roots of 1 with polar forms of $$1 e^{0i}, 1 e^{\frac{2 \pi}{3} i}, 1 e^{\frac{4 \pi}{3} i}$$, respectively. In complex numbers, every non-zero number v has n distinct nth roots.

However, the nth root of 1 is the principle nth root, the one with the smallest positive imaginary part.
Thus the cube root of 1 is $$\omega = - \frac{1}{2} + \frac{\sqrt{3}}{2} i = 1 e^{\frac{2 \pi}{3} i}$$

Since the principle nth root of 1 has magnitude 1, all the nth roots of 1 are generated by powers of the principle root: $$ \omega^2 = - \frac{1}{2} - \frac{\sqrt{3}}{2} i , \omega^3 = 1$$.

Not every nth root of 1 generates the whole set of roots so the rule to identify the principle nth root
 
Last edited:
Back
Top