1
$\begingroup$

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!

  • 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 1

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