Given a linear operator $K$ on $W,$ and that for a non-negative n range $K^n = $ range $K^{n+1}$ how do I prove that range $K^p = $ range $K^n$ for all $p > n?$ The first direction is trivial, the second I stumble on!
proving a statement on ranges of linear operators
1
$\begingroup$
linear-algebra
-
0@lhf: Sorry, corrected. I am trying to prove the second statement given that I know it's a linear operator and that for nonnegative powers the equality I gave holds. – 2011-11-07
1 Answers
0
If you know that for some $n \in \mathbb{N}$, $range K^n = range K^{n+1}$, and want to prove that for all $p \in \mathbb{N} (p>n), range K^p = range K^n$ then induction will certainly work.
To make it easier to see the argument, let $U = range K^n$; then since $range K^{n+1} = range KK^{n}$, the statement $range K^n = range K^{n+1}$ becomes $U = range K(U)$. Intuitively, we see that repeated applications of the linear operator $K$ do not change the range, so we should be able to prove the desired result.
-
0@ranges: Yes; the same statement as discipulus writes, except that instead of being arbitrary natural numbers, $a$ and $b$ are arbitrary natural numbers greater than or equal to $n$. That is, do "bounded induction". – 2011-11-07