Similarities and differences between ℝ² and ℂ
Quick answer — same space, different structure
At the level of points and topology, $\mathbb{R}^2$ and $\mathbb{C}$ are the same: there is a bijection
$$ \Phi:\mathbb{R}^2\to\mathbb{C},\qquad \Phi(x,y)=x+iy, $$
which is a homeomorphism and an isometry if you use the Euclidean norm on $\mathbb{R}^2$ and the modulus on $\mathbb{C}$. So they share the same geometry (distance, open sets, continuity), the same dimension as real vector spaces (dimension $2$), etc.
But they differ in extra algebraic structure and the consequences of that structure.
Similarities
- As sets / topological spaces / metric spaces: $\mathbb{R}^2$ ≅ $\mathbb{C}$ (via $(x,y)\mapsto x+iy$). Same Euclidean metric: $\|(x,y)\|=\sqrt{x^2+y^2}=|x+iy|$.
- Real vector space: Both are real vector spaces of dimension 2. Basis in $\mathbb{C}$ (over $\mathbb{R}$) is $\{1,i\}$.
- Linear algebra / inner product: Using the usual dot product on $\mathbb{R}^2$ and $\langle z,w\rangle=\Re(z\overline w)$ on $\mathbb{C}$ they represent the same Euclidean inner product.
- Orientation and area: Same notion of oriented area; multiplication by a complex number $re^{i\theta}$ scales area by $r^2$ and preserves orientation.
Key differences (what makes $\mathbb{C}$ special)
-
Field vs plain vector space
- $\mathbb{C}$ is a field: you can multiply complex numbers and divide by nonzero ones.
- $\mathbb{R}^2$ as usually presented has no canonical multiplication. You can define a multiplication to make it a field isomorphic to $\mathbb{C}$, but $\mathbb{R}^2$ with only coordinate-wise structure is not a field.
-
Complex multiplication = rotations + scalings
-
Multiplication by $a+bi$ corresponds to the linear map on $\mathbb{R}^2$ with matrix
$$ \begin{pmatrix} a & -b\\[2pt] b & a\end{pmatrix}, $$
i.e. a composition of rotation and dilation. This structure is not present in a raw $\mathbb{R}^2$ unless you pick this complex multiplication.
-
-
Scalar fields
- $\mathbb{R}^2$ is a 2-dimensional vector space over $\mathbb{R}$.
- $\mathbb{C}$ is a 1-dimensional vector space over $\mathbb{C}$ and a 2-dimensional vector space over $\mathbb{R}$. This difference matters for linear maps: $\mathbb{C}$-linear maps are much more restrictive than $\mathbb{R}$-linear maps.
-
Complex linearity vs real linearity
- A map $T:\mathbb{C}\to\mathbb{C}$ that is $\mathbb{C}$-linear must satisfy $T(i z)=iT(z)$. In $\mathbb{R}^2$ language those are exactly the real-linear maps with matrices of the form above (complex-scalar matrices).
- There are many more $\mathbb{R}$-linear maps on $\mathbb{R}^2$ than $\mathbb{C}$-linear maps on $\mathbb{C}$. Example: complex conjugation $z\mapsto\overline z$ is $\mathbb{R}$-linear but not $\mathbb{C}$-linear.
-
Differentiability / holomorphicity
- If you view functions $f:\mathbb{R}^2\to\mathbb{R}^2$ the usual (real) differentiability is much weaker than complex differentiability. A complex function $f:\mathbb{C}\to\mathbb{C}$ being holomorphic requires the Cauchy–Riemann equations — a very rigid condition. Holomorphic ⇒ infinitely differentiable and analytic; real differentiable need not imply that.
-
Algebraic closure
- $\mathbb{C}$ is algebraically closed: every nonconstant polynomial (with complex coefficients) has a root in $\mathbb{C}$.
- $\mathbb{R}^2$ (as a plain 2D real vector space) has no meaning of algebraic closure unless you impose multiplication; with the usual identification $\mathbb{R}^2\cong\mathbb{C}$, that property belongs to $\mathbb{C}$.
-
Order structure
- $\mathbb{R}$ is an ordered field; $\mathbb{C}$ cannot be given a field order compatible with its operations. $\mathbb{R}^2$ has no natural total order compatible with vector-space structure.
-
Unique complex structure (up to sign)
- A “complex structure” on $\mathbb{R}^2$ is a linear map $J:\mathbb{R}^2\to\mathbb{R}^2$ with $J^2=-I$. Choosing such $J$ identifies $\mathbb{R}^2$ with $\mathbb{C}$. All such $J$ that are compatible with the Euclidean metric are rotations by $90^\circ$ (and its negative) — so the complex structure is essentially unique (two choices corresponding to $i$ vs $-i$).
Useful formulas / examples
-
Identification: $(x,y)\leftrightarrow x+iy$.
-
Addition: $(x,y)+(u,v)=(x+u,y+v)$ corresponds to $(x+iy)+(u+iv)$.
-
Multiplication (via identification):
$$ (x,y)\cdot(u,v)=(xu-yv,\; xv + yu). $$
-
Matrix for multiplication by $a+bi$:
$$ M(a,b)=\begin{pmatrix} a & -b\\ b & a\end{pmatrix}. $$
-
Modulus / norm: $|x+iy|=\sqrt{x^2+y^2}$.
One-sentence summary
$\mathbb{R}^2$ and $\mathbb{C}$ are the same as sets and as real vector spaces / metric spaces, but $\mathbb{C}$ carries extra algebraic (field) and analytic structure (complex multiplication, complex-linear maps, holomorphicity) that makes it strictly richer than the plain 2-dimensional real plane.
Would you like a short table comparing properties side-by-side, or examples showing how complex differentiability (Cauchy–Riemann) restricts a real map?
No comments:
Post a Comment