Maximal Inequality for Positive Operators
Jump to navigation
Jump to search
Theorem
Let $\struct {X, \BB, \mu}$ be a probability space.
Let $\map {L^1} \mu$ be a real-valued $L^1$ space.
Let $U : \map {L^1} \mu \to \map {L^1} \mu$ be a positive linear operator, that is:
- $\forall f \in \map {L^1} \mu : f \ge 0 \implies U f \ge 0$
Suppose:
- $\norm U \le 1$
where $\norm \cdot$ denotes the operator norm.
Then, for all $N \in \N_{>0}$:
- $\ds \int_{\set {F_N > 0} } f \rd \mu \ge 0$
where:
- $F_N := \max \set {f_n : 0 \le n \le N}$
and:
- $f_n := f + U f + \cdots + U^{n-1} f$
Proof
This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
Sources
- 2011: Manfred Einsiedler and Thomas Ward: Ergodic Theory: with a view towards Number Theory $2.6$ Pointwise Ergodic Theorem