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.

Is it ok to assume that $\operatorname{dim}(\operatorname{Im}(T^*))=\operatorname{dim}[(\operatorname{Im}(T))^*]$, where $T$ is a linear map acting on a finite dimensional space. i.e. just taking the dual outside?

share|improve this question
    
Is your space finite dimensional? If so, the dimension of the dual equals the dimension of the original space, and the dimension of the image of $T^*$ is the rank of any matrix representation of $T^*$, which is the rank of the transpose conjugate of a matrix representation of $T$, which has the same rank as any matrix representation of $T$. –  Arturo Magidin May 22 '12 at 18:56
    
@ArturoMagidin: Thank you! I never knew that interpretation in terms of matrices. –  Blanc May 22 '12 at 18:57

1 Answer 1

To make it an "official" answer.

If $V,W$ are finite dimensional, $T\colon V\to W$, then let $\beta$ be a basis for $V$, $\gamma$ a basis for $W$, and let $\beta^*$, $\gamma^*$ be the dual bases. Then $\dim(\mathrm{Im}(T^*)) = \mathrm{rank}([T^*]_{\gamma^*}^{\beta^*})$, where $[T^*]_{\gamma^*}^{\beta^*}$ is the matrix of $T^*$ with respect to $\gamma^*$ and $\beta^*$. But $$[T^*]_{\gamma^*}^{\beta^*} = \left([T]_{\beta}^{\gamma}\right)^*,$$ the conjugate transpose of the matrix of $T$ with respect to $\beta$ and $\gamma$. Since $\mathrm{rank}(A) = \mathrm{rank}(A^*)$ for any matrix, it follows that $$\begin{align*} \dim(\mathrm{Im}(T^*)) &= \mathrm{rank}([T^*]_{\gamma^*}^{\beta^*})\\ &= \mathrm{rank}(([T]_{\beta}^{\gamma})^*)\\ &=\mathrm{rank}([T]_{\beta}^{\gamma})\\ &= \dim(\mathrm{Im}(T))\\ &= \dim((\mathrm{Im}(T))^*), \end{align*}$$ the last equality because in the finite dimensional case, the dual has the same dimension as the original space.

share|improve this answer

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.