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
-
0you are trying to prove the first statement if and only if the second statement? – 2011-11-06
-
0What is $m$? The same as $n$? – 2011-11-06
-
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.
-
0I have n as one single non-negative integer for which I know this holds, sorry if I miswrote. Would induction still work on given that it's a specific n we know about? – 2011-11-07
-
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