u/MLLeptinDeficiency

Link to original post by u/LinearAlgebraWorld : https://www.reddit.com/r/LinearAlgebra/s/cdzAjKVtOc

My writing is in LaTeX below.

\documentclass[12pt]{article}


\usepackage{amsmath, amssymb, amsfonts}
\usepackage{mathtools}
\usepackage{geometry}
\usepackage{microtype}


\geometry{margin=1in}


\title{Eigenvectors, Rotation, and the Geometry Hidden in Complex Numbers}


\date{14 August 2026}


\begin{document}


\maketitle


\section*{A Matrix as a Transformation}


A matrix describes how a linear transformation moves space by showing us where each vector lands.


Given a matrix \(A\) and a vector \(\mathbf{x}\), the product
\[
A\mathbf{x}
\]
tells us where the transformation sends the vector \(\mathbf{x}\).


In general, several things may happen at once. A vector can change length, change direction, reverse orientation, or become a mixture of several coordinate directions. Looking only at the entries of the matrix may obscure this geometry.


Eigenvectors arise when we ask a simpler question:


\begin{quote}
Are there directions that the transformation preserves?
\end{quote}


If a nonzero vector \(\mathbf{v}\) satisfies
\[
A\mathbf{v}=\lambda\mathbf{v},
\]
then \(\mathbf{v}\) is an eigenvector of \(A\), and \(\lambda\) is its corresponding eigenvalue.


For a real eigenvalue \(\lambda\), the transformation may stretch or shrink \(\mathbf{v}\), and when \(\lambda<0\), it also reverses its orientation. What it does not do is send \(\mathbf{v}\) into a new line.


Indeed,
\[
A\mathbf{v}=\lambda\mathbf{v}
\]
implies that the entire line
\[
\operatorname{span}(\mathbf{v})
\]
is preserved by the transformation.


This is the core role of a real eigenvector: it identifies a one-dimensional subspace that the matrix does not mix with other directions.


A complicated transformation can therefore contain simpler pieces. Eigenvectors help us find them.



\section*{Finding Eigenvalues with the Determinant}


The eigenvector equation also gives us a straightforward way to find the values of \(\lambda\) for which eigenvectors can exist.


Begin with
\[
A\mathbf{v}=\lambda\mathbf{v}.
\]


Move everything to one side:
\[
(A-\lambda I)\mathbf{v}=\mathbf{0}.
\]


Because an eigenvector must be nonzero, this equation must have a nonzero solution. If \(A-\lambda I\) were invertible, however, its only solution would be
\[
\mathbf{v}=\mathbf{0}.
\]


We therefore need \(A-\lambda I\) to be singular. A square matrix is singular when it is not invertible; equivalently, when it sends some nonzero vector to 
0, which happens when
\[
\det(A-\lambda I)=0.
\]




The calculation therefore splits into two separate steps:


\begin{enumerate}
\item Solve
\[
\det(A-\lambda I)=0
\]
for \(\lambda\). These are the values for which \(A-\lambda I\) becomes singular and can have nonzero vectors in its null space, the set of vectors that it sends to 0.


\item For each value of \(\lambda\), substitute it into
\[
(A-\lambda I)\mathbf{v}=\mathbf{0}
\]
and solve for the corresponding eigenvectors \(\mathbf{v}\).
\end{enumerate}


The two stages answer different questions. The determinant condition tells us which values of \(\lambda\) allow nonzero solutions. Substituting one of those values back into the system tells us what those solutions are.


For a general \(2\times2\) matrix,
\[
A=
\begin{bmatrix}
a&b\\
c&d
\end{bmatrix},
\]
the system is
\[
\begin{bmatrix}
a-\lambda&b\\
c&d-\lambda
\end{bmatrix}
\begin{bmatrix}
x_1\\
x_2
\end{bmatrix}
=
\begin{bmatrix}
0\\
0
\end{bmatrix}.
\]


During row reduction, eliminating one variable produces the expression
\[
(a-\lambda)(d-\lambda)-bc,
\]
which is
\[
\det(A-\lambda I).
\]


We have already chosen \(\lambda\) so that
\[
\det(A-\lambda I)=0.
\]
The corresponding row therefore reduces to
\[
0=0.
\]


One equation has become dependent on the other, leaving at least one free variable. That free variable allows nonzero vectors to satisfy
\[
(A-\lambda I)\mathbf{v}=\mathbf{0}.
\]


For example, if the remaining equation is
\[
(a-\lambda)x_1+bx_2=0,
\]
then, provided \(a-\lambda\neq0\),
\[
x_1=-\frac{b}{a-\lambda}x_2.
\]
Taking \(x_2\) as a free variable gives
\[
\mathbf{v}
=
x_2
\begin{bmatrix}
-\dfrac{b}{a-\lambda}\\
1
\end{bmatrix}.
\]



Thus the determinant calculation identifies when a nontrivial null space appears, while solving the resulting system reveals the eigenvector directions within it.




\section*{When No Real Direction Is Preserved}


Consider the matrix
\[
A=
\begin{bmatrix}
0 & -1\\
1 & 0
\end{bmatrix}.
\]


This matrix rotates vectors in the plane by \(90^\circ\) counterclockwise.


Suppose we search for a real eigenvector:
\[
A\mathbf{v}=\lambda\mathbf{v}.
\]


Geometrically, we are asking whether some nonzero real vector remains on its original line after a \(90^\circ\) rotation.


No such real vector exists.


Every nonzero real direction is moved to another direction.


From the real point of view, this matrix therefore has no real eigenvectors. We can, however, broaden the search to complex eigenvalues and apply the determinant condition. Here,
\[
A-\lambda I
=
\begin{bmatrix}
-\lambda & -1\\
1 & -\lambda
\end{bmatrix},
\]
so
\[
\det(A-\lambda I)
=
\lambda^2+1.
\]


Thus
\[
\lambda^2+1=0,
\]
and hence
\[
\lambda=\pm i.
\]


The transformation still has eigenvalues, but they lie in the complex numbers.


This means the transformation cannot be described through a preserved real line. Its simpler structure is rotational. Through the next sections, we will see how complex numbers can give us language for this behavior. 



\section*{A Refresher on Complex Numbers}


A complex number has the form
\[
z=a+bi,
\]
where \(a,b\in\mathbb{R}\) and
\[
i^2=-1.
\]


Its real and imaginary parts are
\[
\operatorname{Re}(z)=a,
\qquad
\operatorname{Im}(z)=b.
\]


This algebraic pair also has a geometric reading: we can place \(z=a+bi\) at the point
\[
(a,b)
\]
in the complex plane.


Addition then behaves much like ordinary vector addition:
\[
(a+bi)+(c+di)
=
(a+c)+(b+d)i.
\]


Multiplication contains more structure:
\begin{align*}
(a+bi)(c+di)
&=ac+adi+bci+bdi^2\\
&=(ac-bd)+(ad+bc)i.
\end{align*}


The relation \(i^2=-1\) produces the minus sign in the real part.


Complex numbers can also be represented in polar form:
\[
z=r(\cos\theta+i\sin\theta),
\]
where
\[
r=|z|=\sqrt{a^2+b^2}
\]
is the magnitude of \(z\), and \(\theta\) is its argument.


Using Euler's formula,
\[
e^{i\theta}=\cos\theta+i\sin\theta,
\]
we may also write
\[
z=re^{i\theta}.
\]


This representation makes complex multiplication easier to interpret. If
\[
z_1=r_1e^{i\theta_1},
\qquad
z_2=r_2e^{i\theta_2},
\]
then
\[
z_1z_2
=
r_1r_2e^{i(\theta_1+\theta_2)}.
\]


The magnitudes multiply, while the angles add.


Complex multiplication therefore combines scaling with rotation.


In particular,
\[
i=e^{i\pi/2}.
\]


Multiplication by \(i\) leaves magnitude unchanged and increases the angle by \(\pi/2\). Geometrically, multiplication by \(i\) corresponds to a \(90^\circ\) counterclockwise rotation in the complex plane.


This gives the equation
\[
A\mathbf{v}=i\mathbf{v}
\]
the interpretation that the action of \(A\) on \(\mathbf{v}\) agrees with the rotation encoded by multiplication by \(i\).



\section*{A Complex Vector Packages Two Real Vectors}


Suppose \(A\) is a real matrix with a complex eigenvector
\[
\mathbf{v}=\mathbf{p}+i\mathbf{q},
\]
where
\[
\mathbf{p},\mathbf{q}\in\mathbb{R}^n.
\]


Suppose the corresponding eigenvalue is
\[
\lambda=\alpha+i\beta,
\]
with \(\alpha,\beta\in\mathbb{R}\).


The eigenvector equation is
\[
A\mathbf{v}=\lambda\mathbf{v}.
\]


Substituting the real and imaginary parts gives
\[
A(\mathbf{p}+i\mathbf{q})
=
(\alpha+i\beta)(\mathbf{p}+i\mathbf{q}).
\]


Because \(A\) has real entries,
\[
A(\mathbf{p}+i\mathbf{q})
=
A\mathbf{p}+iA\mathbf{q}.
\]


Meanwhile,
\begin{align*}
(\alpha+i\beta)(\mathbf{p}+i\mathbf{q})
&=
\alpha\mathbf{p}
+i\alpha\mathbf{q}
+i\beta\mathbf{p}
+i^2\beta\mathbf{q}\\
&=
(\alpha\mathbf{p}-\beta\mathbf{q})
+
i(\beta\mathbf{p}+\alpha\mathbf{q}).
\end{align*}


Therefore,
\[
A\mathbf{p}+iA\mathbf{q}
=
(\alpha\mathbf{p}-\beta\mathbf{q})
+
i(\beta\mathbf{p}+\alpha\mathbf{q}).
\]


Equality of complex vectors requires equality of their real and imaginary parts. Hence
\[
A\mathbf{p}
=
\alpha\mathbf{p}-\beta\mathbf{q},
\]
and
\[
A\mathbf{q}
=
\beta\mathbf{p}+\alpha\mathbf{q}.
\]


These two equations give the main geometric interpretation of a complex eigenvector.


The complex vector
\[
\mathbf{v}=\mathbf{p}+i\mathbf{q}
\]
packages two real vectors, \(\mathbf{p}\) and \(\mathbf{q}\).


Neither real vector usually behaves as an eigenvector by itself. The transformation mixes them together:
\[
A\mathbf{p}
\in
\operatorname{span}(\mathbf{p},\mathbf{q}),
\]
and
\[
A\mathbf{q}
\in
\operatorname{span}(\mathbf{p},\mathbf{q}).
\]


Therefore,
\[
\operatorname{span}(\mathbf{p},\mathbf{q})
\]
is invariant under \(A\).


For a real eigenvector, the important geometric object is an invariant real line.


For a nonreal complex eigenvector, the corresponding real object is an invariant plane.



\section*{From an Invariant Line to an Invariant Plane}


Place \(\mathbf{p}\) and \(\mathbf{q}\) into the columns of a matrix:
\[
P=
\begin{bmatrix}
\mathbf{p} & \mathbf{q}
\end{bmatrix}.
\]


The equations
\[
A\mathbf{p}
=
\alpha\mathbf{p}-\beta\mathbf{q},
\]
and
\[
A\mathbf{q}
=
\beta\mathbf{p}+\alpha\mathbf{q}
\]
can then be written together as
\[
AP
=
P
\begin{bmatrix}
\alpha & \beta\\
-\beta & \alpha
\end{bmatrix}.
\]


Now write the eigenvalue in polar form:
\[
\lambda
=
\alpha+i\beta
=
re^{i\theta},
\]
where
\[
r=\sqrt{\alpha^2+\beta^2}.
\]


Then
\[
\alpha=r\cos\theta,
\qquad
\beta=r\sin\theta.
\]


Therefore,
\[
\begin{bmatrix}
\alpha & \beta\\
-\beta & \alpha
\end{bmatrix}
=
r
\begin{bmatrix}
\cos\theta & \sin\theta\\
-\sin\theta & \cos\theta
\end{bmatrix}.
\]


The matrix on the right represents a uniform scaling by \(r\) together with a rotation by \(-\theta\), in the coordinates given by the basis \((\mathbf{p},\mathbf{q})\). Whether this rotation appears counterclockwise or clockwise when viewed in the standard basis depends on the orientation of \((\mathbf{p},\mathbf{q})\), i.e. the sign of \(\det\begin{bmatrix}\mathbf{p}&\mathbf{q}\end{bmatrix}\); the worked example below makes this concrete.


Thus, in the real basis formed by \(\mathbf{p}\) and \(\mathbf{q}\), the action of \(A\) on the invariant plane becomes a rotation combined with scaling.


Note this contrast with real eigenvectors.


For a real eigenvector, the matrix acts as scalar multiplication along one line.


For a complex eigenvector, the matrix acts on a pair of real directions together, rotating and scaling within their shared plane.



\section*{What the Complex Eigenvalue Tells Us}


Suppose
\[
\lambda=\alpha+i\beta=re^{i\theta}.
\]


Its magnitude
\[
r=|\lambda|=\sqrt{\alpha^2+\beta^2}
\]
describes the scaling factor in the \((\mathbf{p},\mathbf{q})\)-coordinates of the invariant plane.


Its argument
\[
\theta=\arg(\lambda)
\]
describes the rotational component.


The real and imaginary parts of the eigenvalue therefore work together. They are coordinates for a single complex number whose polar representation separates the behavior into scale and angle.


This becomes particularly useful when the transformation is applied repeatedly.


If
\[
A\mathbf{v}=\lambda\mathbf{v},
\]
then
\[
A^2\mathbf{v}=\lambda^2\mathbf{v},
\]
and more generally,
\[
A^k\mathbf{v}=\lambda^k\mathbf{v}.
\]


Since
\[
\lambda^k
=
r^ke^{ik\theta},
\]
the magnitude of \(\lambda^k\) is \(r^k\), while its angle is \(k\theta\). In the real basis \((\mathbf{p},\mathbf{q})\), each application of \(A\) scales coordinates by \(r\) and rotates them by \(-\theta\), so after \(k\) applications the coordinates have been scaled by \(r^k\) and rotated by \(-k\theta\). Mapping these coordinates back through \(P\) produces the corresponding path in the invariant plane.


When
\[
r<1,
\]
repeated applications tend to contract the motion.


When
\[
r>1,
\]
they tend to expand it.


When
\[
r=1,
\]
the rotational part remains without radial growth or decay.




\section*{Why Complex Eigenvalues Come in Conjugate Pairs}


Consider a real \(2\times 2\) matrix
\[
A=
\begin{bmatrix}
a & b\\
c & d
\end{bmatrix}.
\]


As we saw earlier,
\[
\det(A-\lambda I)
=
(a-\lambda)(d-\lambda)-bc.
\]


The eigenvalues satisfy
\[
\det(A-\lambda I)=0,
\]
so
\[
(a-\lambda)(d-\lambda)-bc=0.
\]


Expanding gives
\[
\lambda^2-(a+d)\lambda+(ad-bc)=0.
\]


By the quadratic formula,
\[
\lambda
=
\frac{(a+d)\pm
\sqrt{(a+d)^2-4(ad-bc)}}{2}.
\]


Define the discriminant
\[
\Delta
=
(a+d)^2-4(ad-bc).
\]


If
\[
\Delta\geq 0,
\]
the eigenvalues are real.


If
\[
\Delta<0,
\]
then the square root introduces \(i\), and the two eigenvalues take the form
\[
\lambda_1=\alpha+i\beta,
\qquad
\lambda_2=\alpha-i\beta.
\]


They are complex conjugates.


This follows from the fact that the characteristic polynomial has real coefficients. Nonreal roots of a polynomial with real coefficients occur in conjugate pairs.


The two complex eigenvalues describe the two algebraic orientations associated with the same real invariant-plane structure.





\section*{The Free Complex Scalar}


Suppose we have found a complex eigenvector
\[
\mathbf{v}_0=\mathbf{p}+i\mathbf{q}.
\]


As with real eigenvectors, scalar multiples are also eigenvectors. But the scalar may now be complex.


The angle \(\theta\) introduced above belongs to the eigenvalue \(\lambda\), so it is fixed once \(\lambda\) is chosen. We now introduce a different angle, \(t\), which is free to vary as we multiply \(\mathbf{v}_0\) by different complex scalars. To keep the two magnitudes distinct as well, write
\[
z=\rho e^{it}
=
\rho(\cos t+i\sin t).
\]


Then another eigenvector is
\[
\mathbf{v}(z)=z\mathbf{v}_0.
\]


Substitute
\[
\mathbf{v}_0=\mathbf{p}+i\mathbf{q}:
\]
\begin{align*}
\mathbf{v}(z)
&=
\rho(\cos t+i\sin t)
(\mathbf{p}+i\mathbf{q})\\
&=
\rho\left[
(\cos t)\mathbf{p}
-
(\sin t)\mathbf{q}
\right]
\\
&\qquad
+
i\rho\left[
(\sin t)\mathbf{p}
+
(\cos t)\mathbf{q}
\right].
\end{align*}


Therefore,
\[
\operatorname{Re}(\mathbf{v}(z))
=
\rho\left[
(\cos t)\mathbf{p}
-
(\sin t)\mathbf{q}
\right],
\]
while
\[
\operatorname{Im}(\mathbf{v}(z))
=
\rho\left[
(\sin t)\mathbf{p}
+
(\cos t)\mathbf{q}
\right].
\]


The angle \(t\) therefore changes how the two real vectors \(\mathbf{p}\) and \(\mathbf{q}\) are combined.


As \(t\) varies, the coefficients
\[
\cos t
\qquad\text{and}\qquad
\sin t
\]
rotate through a full cycle.


Complex scalar multiplication becomes a coordinated motion of two real directions.



\section*{The Matrix \(X\) and the Hidden Ellipse}


This is the same matrix as \(P\) above, denoted \(X\) here to emphasize its role as a map from the unit circle to an ellipse:
\[
X=P=
\begin{bmatrix}
\mathbf{p} & \mathbf{q}
\end{bmatrix}
=
\begin{bmatrix}
\operatorname{Re}(\mathbf{v}_0)
&
\operatorname{Im}(\mathbf{v}_0)
\end{bmatrix}.
\]


The previous expressions can be written as
\[
\operatorname{Re}(\mathbf{v}(z))
=
\rho X
\begin{bmatrix}
\cos t\\
-\sin t
\end{bmatrix},
\]
and
\[
\operatorname{Im}(\mathbf{v}(z))
=
\rho X
\begin{bmatrix}
\sin t\\
\cos t
\end{bmatrix}.
\]


Now restrict the scalar \(z\) to the complex unit circle:
\[
z=e^{it},
\qquad
\rho=1.
\]


Then
\[
\begin{bmatrix}
\cos t\\
-\sin t
\end{bmatrix}
\]
moves around the unit circle in \(\mathbb{R}^2\).


Thus
\[
\operatorname{Re}(\mathbf{v}(e^{it}))
=
X
\begin{bmatrix}
\cos t\\
-\sin t
\end{bmatrix}
\]
is obtained by taking points on the unit circle and applying the linear transformation represented by \(X\).


When \(X\) has rank two, the image of the unit circle under \(X\) is an ellipse.


As \(t\) varies, the real parts of the eigenvectors \(e^{it}\mathbf{v}_0\) therefore trace an ellipse inside the invariant real plane.


This gives a geometric picture of the freedom to multiply a complex eigenvector by complex numbers of magnitude \(1\).



\section*{Why the Imaginary Part Traces the Same Ellipse}


Now consider
\[
\operatorname{Im}(\mathbf{v}(e^{it}))
=
X
\begin{bmatrix}
\sin t\\
\cos t
\end{bmatrix}.
\]


Define
\[
\omega=t-\frac{\pi}{2}.
\]


Then
\[
\cos\omega=\sin t,
\]
and
\[
-\sin\omega=\cos t.
\]


Therefore,
\[
\begin{bmatrix}
\sin t\\
\cos t
\end{bmatrix}
=
\begin{bmatrix}
\cos\omega\\
-\sin\omega
\end{bmatrix}.
\]


As \(t\) ranges through a full period, so does \(\omega\).


Hence
\[
\operatorname{Im}(\mathbf{v}(e^{it}))
\]
is generated from the same unit circle as
\[
\operatorname{Re}(\mathbf{v}(e^{it})),
\]
but with a shifted parameter.


The real and imaginary parts therefore trace the same ellipse, though they generally occupy different points on that ellipse for the same value of \(t\).


So the real and imaginary parts are not two different curves: they are the same ellipse, traced with a quarter-turn shift in the parameter.



\section*{The Rotation Matrix Inside Complex Multiplication}


The real and imaginary parts may also be collected into one matrix:
\[
\begin{bmatrix}
\operatorname{Re}(\mathbf{v}(z))
&
\operatorname{Im}(\mathbf{v}(z))
\end{bmatrix}
=
\begin{bmatrix}
\mathbf{p} & \mathbf{q}
\end{bmatrix}
\rho
\begin{bmatrix}
\cos t & \sin t\\
-\sin t & \cos t
\end{bmatrix}.
\]


Thus,
\[
\begin{bmatrix}
\operatorname{Re}(\mathbf{v}(z))
&
\operatorname{Im}(\mathbf{v}(z))
\end{bmatrix}
=
X\,R_{t,\rho},
\]
where
\[
R_{t,\rho}
=
\rho
\begin{bmatrix}
\cos t & \sin t\\
-\sin t & \cos t
\end{bmatrix}.
\]


The right-hand matrix performs a uniform scaling together with a rotation.


This gives another interpretation of the freedom to multiply an eigenvector by a complex scalar.


The magnitude \(\rho\) changes the overall scale.


The freely varying angle \(t\) rotates the coefficient pair used to combine \(\mathbf{p}\) and \(\mathbf{q}\). The matrix \(X\) then maps those rotating coefficients into the invariant real plane.


The pair
\[
\bigl(
\operatorname{Re}(\mathbf{v}),
\operatorname{Im}(\mathbf{v})
\bigr)
\]
changes, but the underlying invariant plane does not.



\section*{One Complex Dimension, Two Real Dimensions}


Let's explore the distinction between complex dimension and real dimension. The eigenspace associated with \(\lambda\) is the set of all vectors satisfying
\[
A\mathbf{v}=\lambda\mathbf{v},
\]
including the zero vector.


Suppose this complex eigenspace is generated by one nonzero vector:
\[
E_\lambda
=
\operatorname{span}_{\mathbb{C}}(\mathbf{v}_0).
\]


Every vector in this eigenspace has the form
\[
z\mathbf{v}_0,
\qquad
z\in\mathbb{C}.
\]


Over \(\mathbb{C}\), this eigenspace is one-dimensional.


But a complex scalar
\[
z=a+bi
\]
contains two real parameters.


Likewise, writing
\[
\mathbf{v}_0=\mathbf{p}+i\mathbf{q}
\]
reveals two real vectors.


The corresponding real geometry therefore lives in
\[
\operatorname{span}_{\mathbb{R}}(\mathbf{p},\mathbf{q}),
\]
which is typically two-dimensional.


One complex direction can therefore encode a two-dimensional real invariant plane.


This is the bottom line of the intuition behind complex eigenvectors. The complex notation is packaging two coupled real directions into one complex object.



\section*{Returning to the \(90^\circ\) Rotation}


Consider again
\[
A=
\begin{bmatrix}
0 & -1\\
1 & 0
\end{bmatrix}.
\]


Its eigenvalues are
\[
\lambda=\pm i.
\]


There are no real eigenvectors because no real line remains invariant under a \(90^\circ\) rotation.


But
\[
i=e^{i\pi/2}
\]
encodes a \(90^\circ\) rotation through complex multiplication.


Thus the equation
\[
A\mathbf{v}=i\mathbf{v}
\]
expresses the rotational behavior of the matrix in scalar form, once complex scalars are allowed.


Solving \((A-iI)\mathbf{v}=\mathbf{0}\) gives
\[
\mathbf{v}=\begin{bmatrix}1\\-i\end{bmatrix}
=
\begin{bmatrix}1\\0\end{bmatrix}
+i\begin{bmatrix}0\\-1\end{bmatrix},
\]
so \(\mathbf{p}=(1,0)\) and \(\mathbf{q}=(0,-1)\). Here
\[
\det\begin{bmatrix}\mathbf{p}&\mathbf{q}\end{bmatrix}
=
\det\begin{bmatrix}1&0\\0&-1\end{bmatrix}
=-1,
\]
so \((\mathbf{p},\mathbf{q})\) is orientation-reversing relative to the standard basis. With \(\alpha=0\) and \(\beta=1\), the matrix from the invariant-plane construction is
\[
\begin{bmatrix}
\alpha&\beta\\
-\beta&\alpha
\end{bmatrix}
=
\begin{bmatrix}
0&1\\
-1&0
\end{bmatrix},
\]
which is a rotation by \(-\pi/2\) in \((\mathbf{p},\mathbf{q})\)-coordinates. Because \((\mathbf{p},\mathbf{q})\) reverses orientation, this appears as a rotation by \(+\pi/2\) in the standard basis, matching \(A\) itself.


From the real point of view, the relevant invariant object is the whole plane.


From the complex point of view, that same behavior can be represented through a one-dimensional complex eigenspace.


The two descriptions are different ways of organizing the same transformation.



\section*{What Eigenvectors Are Telling Us}


A common description of eigenvectors proposes that an eigenvector is a vector whose direction does not change under a transformation. That description is useful for real eigenvectors, but it does not capture the broader idea.


A more general viewpoint is that eigenvectors identify parts of a linear transformation that can be represented through scalar multiplication.


Over \(\mathbb{R}\), scalar multiplication stretches, shrinks, or reverses a vector along one line. Over \(\mathbb{C}\), scalar multiplication can also encode rotation.


This changes what an eigendirection can represent.


A real eigenvector identifies a real line that the transformation preserves.


A complex eigenvector of a real matrix,
\[
\mathbf{v}=\mathbf{p}+i\mathbf{q},
\]
packages two real directions whose span is invariant:
\[
A\bigl(
\operatorname{span}(\mathbf{p},\mathbf{q})
\bigr)
\subseteq
\operatorname{span}(\mathbf{p},\mathbf{q}).
\]


Within that plane, the transformation mixes \(\mathbf{p}\) and \(\mathbf{q}\) in a structured way. The corresponding complex eigenvalue describes the scaling and rotational behavior of this mixing.


The construction involving
\[
X=
\begin{bmatrix}
\operatorname{Re}(\mathbf{v})
&
\operatorname{Im}(\mathbf{v})
\end{bmatrix}
\]
makes this relationship visible.


Multiplying the complex eigenvector by a complex number
\[
e^{it}
\]
rotates the coefficients used to combine its two real components. Those coefficients move around the unit circle. Applying \(X\) to that circle produces an ellipse in the invariant plane.


The ellipse, the rotation matrix, multiplication by \(e^{it}\), and the pair of real vectors are therefore connected descriptions of the same structure.


Real eigenvectors tell us that a transformation preserves a direction individually.


Complex eigenvectors tell us that, even when no real direction is preserved by itself, two real directions may still form a plane that is preserved as a whole.


That shift from an invariant line to an invariant plane is the main geometric idea behind complex eigenvectors of real matrices.


\end{document}