(New page: Lemma: If <math> f </math> is as described then <math> f(x)=0 \ \forall \ x \in [0, \frac{1}{2c}]</math>. Pf: Suppose <math>\int_0^\frac{1}{2c} f(t) dt \neq 0</math>. Let <math>\epsil...) |
(No difference)
|
Revision as of 20:41, 21 July 2008
Lemma: If $ f $ is as described then $ f(x)=0 \ \forall \ x \in [0, \frac{1}{2c}] $.
Pf: Suppose $ \int_0^\frac{1}{2c} f(t) dt \neq 0 $.
Let $ \epsilon=\frac{c}{2} \int_0^\frac{1}{2c} f(t) dt $
$ f(x) $ is bounded by $ c \| f \|_1 $ so we can let $ M=sup_{x \in [0 \frac{1}{2c}]} f(x). $
Pick $ b \in [0,\frac{1}{2c}] $ such that $ f(b) + \epsilon > M $.
$ \int_0^\frac{1}{2c} f(t) dt \leq \frac{f(b) + \epsilon}{2c} \leq \frac{c}{2c} \int_0^b f(t) dt + \frac{\epsilon}{2c} \leq \frac{1}{2} \int_0^\frac{1}{2c} f(t) dt + \frac{1}{4} \int_0^\frac{1}{2c} f(t) dt $ contradiction
So $ \int_0^\frac{1}{2c} f(t) dt = 0 $.
So $ \forall \ x \in [0 \frac{1}{2c}], f(x) \leq c \int_0^x f(t) dt \leq c\int_0^\frac{1}{2c} f(t) dt = 0 $.
$ \Rightarrow $ Lemma.
