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.

$V$ is Euclidean space, $W$ is it's subspace.
$T$ is an orthogonal transformation T: V $\rightarrow$ V
$W$ is $T$ invariant.
Is W equal to the range of $T(w)$, $w \in W$?

I thought about it visually:
Orthogonal transformation can be viewed as a (rigid or improper) rotation.
Given a unique vector the result of the transformation will also be unique, so the range of $T(w)$ must be the same size than that of W.
Given that W is $T$ invariant: $T(w) \in W$, $w \in W$, then they must be equal.

Is this correct?

Thanks.

share|improve this question
add comment

1 Answer 1

up vote 2 down vote accepted

Every orthogonal transformation is invertible. This means in particular that it is injective, and then its kernel is zero. Considering $T$ restricted to $W$, you have (by the rank-nullity theorem) $$\dim\Big(\ker \left(T\mid_W\right)\Big) + \dim\Big(T(W)\Big) = \dim( W ).$$ Since $\ker\left(T\mid_W\right) = \{0\}$, we must have $T(W) = W$.

share|improve this answer
    
One should also add that $V$ is finite-dimensional, which OP seems to forget to include. –  awllower Jul 13 '13 at 15:32
    
@awllower You're right, but I think the term "Euclidean space" usually means some $\mathbb{R}^n$, as opposed to "Inner product space", which could mean an infinite-dimensional vector space. –  student Jul 13 '13 at 18:32
    
I agree. In any case, thanks for this good answer. –  awllower Jul 13 '13 at 23:35
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.