2
$\begingroup$

Consider a linear operator $T: V \to V$ on a finite-dimensional vector space $V$. Suppose that $U$ is a $T$-invariant subspace of $V$, and consider the map $T/U: V/U \to V/U$ given by $T/U(v + U) = T(v) + U$ (here $V/U$ is the quotient space). I'm interested in how exactly the characteristic polynomials of the three operators $T/U, T,$ and $T|_U$ are related (here $T|_U$ denotes the operator $T$ restricted to $U$). I can show that the eigenvalues of $T|_U$ and the eigenvalues of $T/U$ are also eigenvalues of $T$, so my conjecture is that $p_T(\lambda) = p_{T|_U}(\lambda) \cdot p_{T/U}(\lambda)$, where in general $p_\ell(\lambda)$ is the characteristic polynomial of the linear operator $\ell$. However, I'm not sure how to go about showing that the multiplicities of each eigenvalue "match up".

$\endgroup$
1
$\begingroup$

Choose a basis of $U$, and complete it into a basis of $V$. On the other hand, the vectors that you used to complete the basis can be used to form a basis of $V/U$.

The matrix of $T$ in the completed basis then looks like $$\left[\matrix{M_{T_{U}} &*\\0&M_{T/U}}\right]$$ where $M_{T/U}$ is with respect to the basis from the remark above, and $*$ stands for irrelevant (though possibly non-zero) entries.

Your conjecture follows immediately.

$\endgroup$
  • $\begingroup$ Does the * in the upper right entry just mean "don't care"? $\endgroup$ – Binocular10 Apr 28 '18 at 23:43
  • $\begingroup$ @Binocular10 Yes. $\endgroup$ – Arnaud Mortier Apr 28 '18 at 23:44
  • $\begingroup$ So if I understand correctly, the span of the vectors used to complete the basis (of $V$) is the set of coset representatives for each coset of $V/U$? $\endgroup$ – Binocular10 Apr 28 '18 at 23:53
  • $\begingroup$ @Binocular10 Exactly. By fixing a set of representatives of a basis of $V/U$, we implicitly fixed a preferred representative for each coset. But note that this remark is not necessary for your purposes, all you need is a basis, and the matrix of $T/U$ in that basis. $\endgroup$ – Arnaud Mortier Apr 29 '18 at 0:01
  • $\begingroup$ One thing I'm having trouble with: suppose that $X$ is the set of the vectors used to complete the basis of $V$. Isn't it possible that span$(X)$ contains two coset representatives that belong to the same coset (of $V/U$)? Would this be a problem? In that case would we need to "pare down" the set $X$? But if we do that there's a possibility that the resulting set does not generate all the vectors in $V - U$, which is exactly what we want. $\endgroup$ – Binocular10 Apr 29 '18 at 0:30

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.