Connection between invariant subspaces and eigenvectors of a linear operator: Showing that if $A,B$ commute then $A$ and $B$ share an eigenvector

Question

I got stuck trying to show that if $A,B$ are two linear operators on a finite dimensional vector space $V$ over the field $\mathbb{F}$, then $A$ and $B$ share an eigenvector. Quick Googling revealed that main idea in the proof is that each eigenspace of $A$ (resp. of $B$) is invariant under $B$ (resp. $A$) and therefore the restriction of $B$ to the union of the eigenspaces of $A$ has an eigenvector. What I don't know and don't know how to look up more about it is the connection between an invariant subspace $U$ under a linear mapping $B$ of the ambient space $V$ and $B$'s eigenvectors. So what, if any, connection is there?

Answer 1

If $\mathbb F=\mathbb R$, $A=I$ and $B$ is rotation by $90^{0}$ then $A$ and $B$ commute but $B$ has no eigen vectors, so the result is false for a general $\mathbb F$.

If $\mathbb F=\mathbb C$ we can argue as follows: Let $M=\{x: Ax=\lambda x \,\, \text {for some} \,\,\lambda\}$. If $x \in M$ then $Ax=\lambda x$ for some $\lambda$. Now consider $Bx$. Let us show that $Bx \in M$. We have $A(Bx)=B(Ax)=B(\lambda x)=\lambda Bx$ which proves that $Bx \in M$. So we can consider $B$ as an operator from $M$ into $M$ (by restriction). This new operator has an eigen vector. This finishes the proof.

Answer 2

Let $Ax = \lambda x$, then $ABx = BAx = \lambda Bx$ so $Bx$ is an eigenvector of $A$. Now suppose that $\{u_1,\ldots,u_k\}$ forms a basis for the eigenspace of $A$ corresponding to $\lambda$. Then $Bu_i = \sum_{j=1}^k p_{ji}u_j$ for some $p_{ji}\in \mathbb{F}, i,j=1,\ldots,k$.

Finally, form matrix the $P = (p_{ji})_{j,i=1}^k$. If $(\mu,\xi)$ is an eigenpair of $P$, then set $q = \sum_{i=1}^k \xi_i u_i$ and note that $ Aq = \lambda q $ and $$ Bq= B\sum_{i=1}^k \xi_i u_i= \sum_{i=1}^k \xi_i \sum_{j=1}^k p_{ji} u_j = \sum_{j=1}^ku_j \sum_{i=1}^k p_{ji}\xi_i = \sum_{j=1}^k u_j (P\xi)_{j}=\mu \sum_{j=1}^k u_j \xi_j = \mu q $$ so $q$ is an eigenvector of $A$ and $B$.