Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $V$ be a finite-dimensional vector space, $T\colon V \to V$ a linear map and $W \subset V$ a $T$-invariant subspace (i.e., $T(W) \subset W$). Then there is a well-defined induced quotient map $\overline{T}\colon V/W \to V/W$.

Now I recall having seen the following determinant formula: $\det(T) = \det(\overline{T}) \det(T|_W)$, where $T|_W\colon W \to W$ is the restriction of $T$ to the subspace $W$ (though I do not remember the proof anymore).

Is there some similar formula relating the traces of $T$, $\overline{T}$ and $T|_W$?

share|improve this question
add comment

1 Answer

up vote 3 down vote accepted

The idea is the same. Choose a basis $\mathfrak{B}$ of $W$, and extend it to a basis $\mathfrak{B} \cup \mathfrak{C}$ of $V$, where $\mathfrak{C} \subseteq V \setminus W$. With respect to this basis, the matrix of $T$ will be of the block form $$ \begin{bmatrix} B & A\\ 0 & C \end{bmatrix}, $$ where $A, B, C$ are suitably-sized matrices, with $B$ and $C$ square matrices.

Now $B$ represents the action of $T$ on $W$ with respect to $\mathfrak{B}$, and $C$ the action of $T$ on $V/W$, with respect to the basis given by the image of $\mathfrak{C}$. Hence the determinant formula, and the analogue $$ \operatorname{tr}(T) = \operatorname{tr}(T|_W) + \operatorname{tr}(\overline{T}). $$ for the trace.

share|improve this answer
    
Thanks! Does this also hold true in the infinite-dimensional case (under the assumption that $T$ is traceable)? –  AlexE Apr 1 '13 at 12:21
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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