(New page: 2a. <math>( \Rightarrow )</math> Say <math>f</math> is A.C. Then <math>f</math> is of bounded variation, and since <math>f</math> is clearly nondecreasing, <math>f</math> must be bounded...) |
|||
| (3 intermediate revisions by the same user not shown) | |||
| Line 7: | Line 7: | ||
<math>( \Leftarrow )</math> | <math>( \Leftarrow )</math> | ||
| + | |||
| + | Now say <math>\sum_{n=1}^\infty m(G_n)<\infty</math>. | ||
| + | |||
| + | I claim <math>f'(x) = \sum_{n=1}^\infty \chi_{G_n}(x)</math> a.e. as follows: | ||
| + | |||
| + | For <math>h>0</math>, <math>\frac{f(x+h)-f(x-h)}{2h}=\frac{1}{2h}\sum_{n=1}^\infty m([x-h,x+h]\cap G_n)=\frac{1}{2h}\sum_{n=1}^\infty \int_{x-h}^{x+h} \chi_{G_n}=\frac{1}{2h} \int_{x-h}^{x+h} \sum_{n=1}^\infty \chi_{G_n}(x)</math> (MCT) | ||
| + | |||
| + | Taking <math>lim_{h\rightarrow 0}</math> of both sides we get <math>f'(x)</math> on the left and <math>\sum_{n=1}^\infty \chi_{G_n}(x)</math> a.e. on the right (Lebesgue's Differentiation Theorem). | ||
| + | |||
| + | Now, since <math>\sum_{n=1}^\infty m(G_n)<\infty</math>, we have <math>\int_0^1 f' = \int_0^1 \sum_{n=1}^\infty \chi_{G_n}= \sum_{n=1}^\infty \int_0^1 \chi_{G_n}=\sum_{n=1}^\infty m(G_n)<\infty</math> <math>\Rightarrow f'</math> is integrable on <math>[0,1]</math>. | ||
| + | |||
| + | Finally, <math>f(x)-f(0)=\int_0^x f'</math>. | ||
| + | |||
| + | So <math>f</math> is A.C. | ||
| + | |||
| + | b) | ||
| + | <math>( \Rightarrow )</math> | ||
| + | |||
| + | Say <math>f</math> is Lipschitz. Then <math>\exists</math> an integer <math>M</math> such that <math>|f'(x)| < M \ \forall \ x \in [0,1]</math>. So <math>\sum_{n=1}^\infty \chi_{G_n}(x)<M \ a.e. </math>(by part a) | ||
| + | |||
| + | <math> \Rightarrow</math> For almost every <math>x\in [0,1], x\not\in G_m \forall \ m>M \Rightarrow m(G_m)=0 \ \forall \ m>M</math>, but <math>G_m</math> is open <math>\Rightarrow G_m= \O \ \forall \ m>M</math>. | ||
| + | |||
| + | |||
| + | |||
| + | <math>(\Leftarrow )</math> | ||
| + | |||
| + | Now say <math>\exists \ N</math> such that <math>n>N \Rightarrow G_n</math> is empty. | ||
| + | |||
| + | Then for any <math>y<x \in \ [0,1]</math>, | ||
| + | |||
| + | <math>\frac{|f(x)-f(y)|}{|x-y|}=\frac{\sum_{n=1}^N m([y,x]\cap G_n)}{|x-y|} \leq \frac{\sum_{n=1}^N m([y,x])}{|x-y|} \leq \frac{N |x-y|}{|x-y|} = N</math>. | ||
| + | |||
| + | So <math>f</math> is Lipschitz. | ||
| + | |||
| + | --[[User:Wardbc|Wardbc]] 14:10, 8 July 2008 (EDT) | ||
Latest revision as of 13:10, 8 July 2008
2a.
$ ( \Rightarrow ) $ Say $ f $ is A.C. Then $ f $ is of bounded variation, and since $ f $ is clearly nondecreasing, $ f $ must be bounded.
In particular, $ \infty > f(1)=\sum_{n=1}^\infty m([0,1]\cap G_n) \Rightarrow \sum_{n=1}^\infty m(G_n)<\infty $.
$ ( \Leftarrow ) $
Now say $ \sum_{n=1}^\infty m(G_n)<\infty $.
I claim $ f'(x) = \sum_{n=1}^\infty \chi_{G_n}(x) $ a.e. as follows:
For $ h>0 $, $ \frac{f(x+h)-f(x-h)}{2h}=\frac{1}{2h}\sum_{n=1}^\infty m([x-h,x+h]\cap G_n)=\frac{1}{2h}\sum_{n=1}^\infty \int_{x-h}^{x+h} \chi_{G_n}=\frac{1}{2h} \int_{x-h}^{x+h} \sum_{n=1}^\infty \chi_{G_n}(x) $ (MCT)
Taking $ lim_{h\rightarrow 0} $ of both sides we get $ f'(x) $ on the left and $ \sum_{n=1}^\infty \chi_{G_n}(x) $ a.e. on the right (Lebesgue's Differentiation Theorem).
Now, since $ \sum_{n=1}^\infty m(G_n)<\infty $, we have $ \int_0^1 f' = \int_0^1 \sum_{n=1}^\infty \chi_{G_n}= \sum_{n=1}^\infty \int_0^1 \chi_{G_n}=\sum_{n=1}^\infty m(G_n)<\infty $ $ \Rightarrow f' $ is integrable on $ [0,1] $.
Finally, $ f(x)-f(0)=\int_0^x f' $.
So $ f $ is A.C.
b) $ ( \Rightarrow ) $
Say $ f $ is Lipschitz. Then $ \exists $ an integer $ M $ such that $ |f'(x)| < M \ \forall \ x \in [0,1] $. So $ \sum_{n=1}^\infty \chi_{G_n}(x)<M \ a.e. $(by part a)
$ \Rightarrow $ For almost every $ x\in [0,1], x\not\in G_m \forall \ m>M \Rightarrow m(G_m)=0 \ \forall \ m>M $, but $ G_m $ is open $ \Rightarrow G_m= \O \ \forall \ m>M $.
$ (\Leftarrow ) $
Now say $ \exists \ N $ such that $ n>N \Rightarrow G_n $ is empty.
Then for any $ y<x \in \ [0,1] $,
$ \frac{|f(x)-f(y)|}{|x-y|}=\frac{\sum_{n=1}^N m([y,x]\cap G_n)}{|x-y|} \leq \frac{\sum_{n=1}^N m([y,x])}{|x-y|} \leq \frac{N |x-y|}{|x-y|} = N $.
So $ f $ is Lipschitz.
--Wardbc 14:10, 8 July 2008 (EDT)
