Foss Lecture3 Appendix
Foss Lecture3 Appendix
convergence
Let f
n
: R R, n = 1, 2, . . ., and f : R R be any functions.
Denition 1.
f
n
u.o.c.
f as n , if, for any compact (bounded and closed) set K,
sup
xK
[f
n
(x) f(x)[ 0 as n .
For any f and for any t > 0, dene a norm |f|
t
:
|f|
t
= sup
|x|t
[f(x)[,
and a norm |f| :
|f| =
m=1
2
m
|f|
m
1 +|f|
m
.
Lemma 1.
f
n
u.o.c.
f |f
n
f| 0 as n .
Indeed,
(). > 0, choose m
0
:
m=m
0
+1
2
m
2
m
0
2
Then choose n
0
:
|f
n
(x) f(x)|
m
0
2m
0
n n
0
.
[= |f
n
f|
m
0
m=1
|f
n
f|
m
+ 2
m
0
m
0
2m
0
+
2
= .
(). Let K be a compact non-empty set. Take m
0
1: K [m
0
, m
0
]. Set
g
n
= f
n
f. Then
|f
n
f| 0 [= 2
m
0
|g
n
|
m
0
1 +|g
n
|
m
0
0 [= |g
n
|
m
0
0 [= sup
xK
[g
n
(x)[ 0.
.
Remark 1.
Let all f
n
, n = 1, 2, . . . be non-decreasing functions and f a continuous
function.
Then the following are equivalent:
(a) f
n
u.o.c.
f;
(b) for any dense subset B of the real line, f
n
(x) f(x), x B.
Proof.
( Only!). Take any m and prove that |f
n
f|
m
0. Assume, by the contrary,
that
limsup
n
|f
n
f|
m
= C > 0 (Note: C < !)
[= a subsequence n
l
: |f
n
l
f|
m
C,
[= since [m, m] is a compact set, a sequence x
l
x [m, m] such that
[f
n
l
(x
l
) f(x
l
)[ C/2, l, x
l
[m, m].
Choose > 0 : (i) B;
(ii) [f(x + ) f(x)[ C/4.
Then
f
n
l
(x
l
)f(x
l
) = f
n
l
(x
l
)f
n
l
(x+)+f
n
l
(x+)f(x+)+f(x+)f(x)+f(x)f(x
l
)
and
limsup
l
(f
n
l
(x
l
) f(x
l
)) 0 + 0 + C/4 + 0 = C/4.
Similarly, choose
> 0 : (i)
B;
(ii) f(x
) f(x) C/4.
Then
liminf
l
(f
n
l
(x
l
) f(x
l
)) C/4 we arrive at a contradiction!
.
Lemma 3.
[= f
nr
(x
r
0
) f(x
r
0
).
.
Corollary 1.
Let f : R R (or f : R
+
R) be Lipshitz continuous. Then
(a) a measurable set B B(f) R (or R
+
) : (B) = 0 and
x , B, f
(x) = lim
0
f(x + ) f(x)
, [f
(x)[ C.
(b) Let f
x+t
x
f
(z)dz.
Denition 3.
Let f : R
+
R
+
be Lipshitz continuous, f(0) > 0.Assume > 0 :
regular point t 0, if f(t) > 0, then f
(t) .
Then t
0
f(0)
: f(t) = 0 t t
0
.
Proof.
First, if f(t
0
) = 0, then f(t) = 0 t t
0
, since f(t) f(t
0
) =
t
t
0
f
(z)dz 0.
Second, if f(t) > 0 t
f(0)
, then
f
f(0)
f(0)/
0
()dz + f(0) 0.
.
4