Professional Documents
Culture Documents
实变函数期末笔记
实变函数期末笔记
实变函数期末笔记
授课教师 许地生
撰稿 张益豪
2021 年 12 月 30 日
1 索引
许地生 (Prof. Xu) 所给的实变函数复习提纲如下:
1. Hardy-Littlewood 极大函数定义以及 Stein 第三章定理 1.1 的证明。
2. Lebesgue set of a L1 function 定义及满测度性质。
3. 理解并能独立证明 Stein 书中 P111-112 Example 1-5 与函数卷积的性质,(一致收敛,几
乎处处收敛)。
4. 理解有界变差函数的定义,并能理解有界变差函数为其正变差与负变差的差,且正负变差
函数均为单调有界函数。
5. 理解有界变差函数几乎处处可导的证明,除了日出引理的证明。
6. 理解 Cantor-Lebesgue 函数用三进制的定义以及 Stein 书上的定义。
7. 理解绝对连续函数的定义以及 Stein 书上证明 Newton-Leibniz 公式中用到的绝对连续函数
的基本性质。
8. 理解 Vitali 覆盖且能理解如何运用 Vitali 覆盖控制单调函数在可导点附近的增长。
9. 理解 L1 , L2 , L∞ 函数空间的定义与区别,并掌握各个函数空间中的函数的例子。并阅读
Stein 第四章直至 4.2.1
除了以上材料以外,可能与期末复习相关的习题:
Stein Section 3, Exercises:
2. 10. 13. 15. 16. 18. 19. 23. 24.
周民强
P218. 1. 2. 7.
P222. 2.
P231. 1. 2.
P243. 18.
本提纲将围绕这份复习提纲的两个部分涵盖这部分内容:“预备知识”和“习题”。
1
2 预备知识
其中上确界由全体包含点 x 的球决定。
极大函数的主要作用是,在 Lebesgue 微分定理的证明当中我们会涉及对于函数的连续函数逼
近的误差估计,这里将使用极大函数来控制这个误差。为此,我们需要极大函数的如下性质。
Hardy-Littlewood 极大函数的性质. 对于 Rd 上的可积函数 f ,满足
(1)f ∗ 可测。(2)对于几乎处处的 x,f ∗ (x) < ∞。(3)对任意 α > 0 成立
A
m({x ∈ Rd : f ∗ (x) > α} ≤ ||f ||L1 (Rd ) ),
α
∪
N ∑
k
m( Bl ) ⩽ 3d m(Bij ).
l=1 j=1
这是一个初等的引理,证明如下:
我们重复如下的操作:将 B 中最大的球选出记为 Bi1 ,并从中移除全体与 Bi1 相交的球,这
些被移除的球被包含在一个同心于 B1 、半径是其三倍的球中。在有限次操作之后,我们会选出一
个子球族,根据上述说明容易知道原球族包含在这个子球族的每个球的同心且半径为其三倍的球
构成的球族之中,且子球族是无交的,这就证明了这个覆盖引理。
2
2.2 L1 函数的 Lebesgue 集合及其性质
L1 函数的 Lebesgue 集的定义. 局部可积的函数空间 L1loc 是指全体这样的函数 f 生成的空
间,满足对任意的球 B 有 f (x)χB (x) 在其上可积。对于 f ∈ L1loc ,其 Lebesgue 集定义为全体 x
满足 ∫
1
f (x) < ∞, lim |f (y) − f (x)|dy = 0.
m(B)→0;x∈B m(B) B
∪
不妨取不满足上述性质的点为 Er 。从而有 E = Er , 它是零测集。下面证明对于任意的 x ∈
/ E,
r∈Q
有 ∫
1
lim |f (y) − f (x)|dy = 0.
m(B)→0;x∈B m(B) B
由 ε 的任意性,我们就证明了命题。
特别地,对于一族包含某点 x 的集合 {Uα },称之为具有有界离心率的,若对这一族集合一致
地存在一个常数 c 使得对每个集合存在一个球 B 满足
Uα ⊂ B, m(Uα ) ⩾ cm(B).
由于其大小被球控制,我们可以用一族具备有界偏心率的集合族替代上述取极限过程当中涉及到
的球族。
3
2.3 卷积核和卷积的 L1 收敛性
在 Lebesgue 微分定理那里,我们用
∫
1
lim f (y)dy = f (x), a.e.
m(B)→0;x∈B m(B) B
作为一个函数在一点附近的平均值的刻画,事实上这等价于
∫
1 1
lim (f ∗ χx∈B )(x) = lim f (x − y)χx∈B (y)dy = f (x)
m(B)→0;x∈B m(B) m(B)→0;x∈B m(B) Rd
1
令 m(B) = δ, ( χx∈B )(x) = Kδ 那么就得到
m(B)
∫
lim (f ∗ Kδ )(x) = lim f (x − y)Kδ (y)dy = f (x)
δ→0 δ→0 Rd
1
我们就得到了用卷积形式表达的一点附近函数的平均值。事实上,
Kδ 不仅可以选取为 ( χx∈B )(x),
m(B)
有一类满足特定条件的函数都可以满足上述条件。
Good Kernel 和恒等逼近的定义. 我们称这样的函数是好核函数 (Good Kernel),若其满足
这样的条件:∫
条件 1. Kδ (x)dx = 1. 并满足下面条件组:
R∫
d
特别地,这一极限从而几乎处处收敛至 f (x)。
几乎处处收敛的证明. 我们估计误差
∫ ∫
|(f ∗ Kδ )(x) − f (x)| = | [f (x − y) − f (x)]Kδ (y)dy| ⩽ |f (x − y) − f (x)||Kδ (y)|dy.
4
其中 x 是 Lebesgue 集中的一点。事实上,y 比较小时第一个因子比较小,y 比较大时第二个因子
比较小。这启发我们取定
∫ ∫ ∞ ∫
∑
|f (x − y) − f (x)||Kδ (y)|dy = ( + )|f (x − y) − f (x)||Kδ (y)|dy.
|y|⩽δ k=0 2k δ⩽|y|⩽2k+1 δ
为了研究后面的积分,我们考虑辅助函数
∫
1
A(r) = |f (x − y) − f (x)|dy, r > 0.
rd |y|⩽r
从而我们对第一部分利用恒同逼近的性质 2* 和 3*,有
∫ ∞ ∫
∑ ∑
∞ ∫
Aδ
( + )|f (x − y) − f (x)||Kδ (y)|dy ⩽ AA(δ) + dy
|y|⩽δ k=0 2k δ⩽|y|⩽2k+1 δ k=0
(2 δ)d+1
k
|y|⩽2k+1 δ
∑
∞
= c1 A(δ) + c2 2−k A(2k+1 δ), c1 , c2 为常数.
k=0
∑
∞
1
c2 2−k A(2k+1 δ) ⩽ 2−N +1 c2 M < ε.
k=N
2
再选取 δ 充分小满足
∑
N −1
1
c1 A(δ) + c2 2−k A(2k+1 δ) < ε.
k=0
2
这就说明 ∫
|f (x − y) − f (x)||Kδ (y)|dy < ε, ∀ε > 0.
这就完成了证明。
5
进一步地,在 Lebesgue 微分定理的证明当中,我们注意到还有
∫
1
lim |f (y) − f (x)|dy = 0.
m(B)→0;x∈B m(B) B
亦即这一逼近同时是一致收敛的。对于一般的恒同逼近我们有相同的结论:
恒同逼近的一致收敛定理. 对于一个恒同逼近 {Kδ } 和 Rd 上可积函数 f ,卷积
∫
(f ∗ Kδ )(x) = f (x − y)Kδ (y)dy
Rd
根据卷积核的性质,第二项对于较小的 δ 可以取得任意小,命题从而证完。
特别地,我们在这里给出一些恒同逼近卷积核的例子。
常用的卷积核. ∫
(1) 对任意支集为 |x| ⩽ 1 的非负有界函数 φ 满足 φ = 1, 取定
R
其中 δ = y.
(3) Rd 上的热核
1 |x|2
− 4t
Ht (x) = d e .
(4πt) 2
1
其中取 t > 0, δ = t 2 .
(4) 圆盘上的 Poisson 核
1 χ|x|⩽π 1 − r2
Pr (x) = .
2π 2π 1 − 2r cos x + r2
6
其中 0 < r < 1, δ = 1 − r.
(5) 费叶核
1 χ|x|⩽π sin2 ( N2x )
FN (x) =
2π 2πN sin2 ( x2 )
1
其中 δ = .
N
2.4 有界变差函数
有界变差函数和全变差的定义. 一个函数 F 是有界变差函数 (Bounded Variation,B.V.) 若其
定义在 [a, b] 上且满足对 [a, b] 的任意分划 a = t0 < t1 < ... < tN = b, 一致地有
∑
N
|F (tj ) − F (tj−1 )| ⩽ M.
j=1
并称其全变差为
∑
N
TF (a, x) = sup |F (tj ) − F (tj−1 )|,
j=1
其中上确界取遍全体分划。
稍后我们希望利用有界变差函数的单调性来解决问题,从而利用单调函数的一些性质解决问
题。为此,我们需要从中提取一些单调性。
我们定义 F 在 [a, x] 上的正变差为
∑
PF (a, x) = sup F (tj ) − F (tj−1 ),
(+)
∑
NF (a, x) = sup −[F (tj ) − F (tj−1 )],
(−)
这是因为对任意分划都有
∑ ∑
F (x) − F (a) = F (tj ) − F (tj−1 ) − −[F (tj ) − F (tj−1 )],
(+) (−)
7
而总存在一些分划使得
∑ ∑
|PF − F (tj ) − F (tj−1 )| < ε, |NF − −[F (tj ) − F (tj−1 )]| < ε,
(+) (−)
这只要分别对正负变差取一个这样的分划,再取分划之并即可。从而由 ε 的任意性就证成命题。进
一步地,只要注意到
∑
N ∑ ∑
|F (tj ) − F (tj−1 )| = F (tj ) − F (tj−1 ) − −[F (tj ) − F (tj−1 )] ⩽ TF ,
j=1 (+) (−)
从而分别取极限,通过夹逼就有
PF + N F = T F .
这样,不难发现,
PF (a, x), NF (a, x) 都是单调递增函数且有界,那么令 F1 (x) = F (a)+PF (a, x), F2 (x) =
NF (a, x). 这样
F (x) = F1 (x) − F2 (x),
且二者均为单调有界的增函数。命题证完。
2.5 有界变差函数几乎处处可微的性质
我们证明一个重要的微分定理。
有界变差函数几乎处处可微. 若 F 是 [a, b] 上的有界变差函数,则几乎处处存在极限
F (x + h) − F (x)
lim = F ′ (x).
h→0 h
证明. 我们的证明分为两个部分:注意到有界变差函数也是单调函数的差,事实上对单调函数
情形做出充分说明即可。而单调函数事实上只有可列多个第一类不连续点,从而可以将其分解为
一个阶梯函数和一个连续的单调函数。第一部分我们将证明连续的单调函数 (或有界变差函数) 的
几乎处处可导性,而第二部分我们将证明阶梯函数的几乎处处可导性,这两部分的结合将自然而
然完成证明。在下面的证明中涉及的单调函数都默认为增的。
F (x + h) − F (x)
第一部分. 令 ∆h (F )(x) = . 我们如下定义四个 Dini 导数,它们总是存在的:
h
8
根据极限性质我们有
D+ ⩽ D + , D − ⩽ D − .
D+ ⩽ D− ⩽ D− ⩽ D+ ⩽ D+ ⩽ +∞, a.e.
∪
∞
那么 E 开,从而 E = (ak , bk ). 特别地,有
k
9
图中,所有阴影的山谷部分就是所涉及的开区间,显然其两边应是等值的。回到原命题,我们
∪
对 G(x) = F (x) − γx 考虑日出引理生成的 (ak , bk ), 有
k
那么只要证明 ∀R, r ∈ Q, m(E) = 0. 不妨设 m(E) > 0 来导出矛盾。注意到 R/r > 1, 取定开集 O
满足
E ⊂ O ⊂ (a, b), m(O) < m(E)·R/r.
∪
从而 O = In . 我们来估计 E 的大小,这只需要估计 E ∩ In 的大小就能做到,我们利用日出引
n
理构造一个它的开包。对于每个 In ,我们对 −F (−x) + rx 在 In 上使用日出引理,再对原点反射
发现其上有
∪
(ak , bk ) ⊂ In , F (bk ) − F (ak ) ⩽ r(bk − ak ).
k
∪
此后,在每个 (ak , bk ) 上再次对 F (x) − Rx 使用日出引理,从而生成开集 On = (ak,j , bk,j ),使
k,j
得 F (bk,j ) − F (ak,j ) ⩾ R(bk,j − ak,j ). 从而利用 F 的单调性,
∑ 1 ∑ 1 ∑ r ∑ rm(In )
m(On ) = (bk,j −ak,j ) ⩽ F (bk,j )−F (ak,j ) ⩽ F (bk )−F (ak ) ⩽ (bk −ak ) ⩽ .
k,j
R k,j R k R k R
10
事实上,On 就是所求的 E ∩ In 的开包。这是因为,D+ > R 且 r > D− 的全体点必然符合 On 的
取法,因而 E 在 On 中,而反之有 On ⊂ In 。从而
∑ ∑ r ∑ r
m(E) = m(E ∩ In ) ⩽ m(On ) ⩽ m(In ) = m(O) < m(E).
n n
R n R
这就导出矛盾,从而证毕。
第二部分. 我们在证明之前就提到过,任意单调函数至多有可列个间断点,只要从每个间断区
间中取出一个有理数点即可。对于任意的单调有界函数,取定 {xn }∞
n=1 为不连续点集,并设
− 1
n ) − F (xn ) =
αn = F (x+ (F (xn ) − F (x−
n )).
θn
从而令
0, x < xn ∑∞
jn (x) = θn , x = xn , J F (x) = αn jn (x).
1, x > x n=1
n
J(x + h) − J(x)
E = {x : lim sup > ε}.
h→0 h
首先同样证明其是可测的。给定
JN (x + h) − JN (x) ∑n
N
Fk,m = sup | |, 其中JN (x) = αn jn (x).
1/k<|h|<1/m h n=1
N
显然 Fk,m 可测。我们让 N, k, m 依次趋于无穷,就得到 E 的可测性。记 m(E) = δ. 根据单调性,
我们只要证明 δ = 0。我们同样希望利用这个集合上的函数差值控制 δ,所以我们首先来控制函数
∑
的差值。注意到 αn 是单调有界的量,从而对 ∀η > 0, 可以选取
∑ ∑
αn < η, J0 (x) = αn jn (x), J0 (b) − J0 (a) < η.
n>N n>N
11
∑
n
m(K)
过的初等引理,可以选取 I1 , ..., In ∈ {Ij }N
j=1 互不相交,满足 m(Ij ) ⩾ . 这就有
j=1
3
∑
N ∑ ε εδ
η ⩾ J0 (b) − J0 (a) ⩾ J0 (bj ) − J0 (aj ) > ε (bj − aj ) ⩾ m(K) ⩾ .
j=1
3 6
利用 η 的任意性就得到 δ = 0. 命题证完。
进一步地
∫ b ∫ b ∫ b ∫ b+1/n ∫ b
1 1
Gn (x)dx = ( F (x + 1/n)dx − F (x)dx) = ( − )F (y)dy
a 1/n a a 1/n a+1/n a
∫ b+1/n ∫ a+1/n
1 1
= F (x)dx − F (x)dx.
1/n b 1/n a
1
利用 F 的连续性,当 趋于零时,我们有
n
∫ b+1/n ∫ a+1/n
1 1
lim inf F (x)dx − F (x)dx = F (b) − F (a).
n→∞ 1/n b 1/n a
这就证完了命题。
引人思考的是,不同于我们在数学分析课程中学习的 Newton-Leibniz 公式,这里产生了不等
号。而 Cantor-Lebesgue 函数就是这一不等号的一个实例。
12
Cantor-Lebesgue 函数的定义. 考虑 Cantor 集 C ⊂ [0, 1]. 这里
∩
∞
C= Ck .
k=0
其图像形如
进一步地,{Fn }∞
n=1 是一列连续函数,满足 |Fn+1 (x) − Fn (x)| ⩽ 2
−n−1
. 从而其一致收敛到一
连续函数 F ,这 F 就是 Cantor-Lebesgue 函数. 利用 m(C = 0),我们有 F ′ (x) = 0, a.e. 其在 C 的
13
每个点上产生一次小跳跃,但仍然保持连续性,如图所示。
∫ 1
由此我们就发现,0 = F ′ (x)dx ⩽ F (1) − F (0) = 1.
0
事实上,从上述定义当中,我们发现对于连续函数 F ,只要确定其在 C 上的取值就足以确定
其值 (因为这完全是其延拓)。事实上,取定所有被挖去的开区间右端,考虑其三进制小数表示。首
先把 0 映到 0,0.2 映到 1/2,1 映到 1; 进一步地,0.02 映到 1/4,0.22 映到 3/4。我们发现这事实上
产生三进制小数到二进制小数的一个映射,即
∑
∞
an ∑
∞
an /2
x= , an ∈ {0, 2}, F (x) = .
n=1
3n n=1
2n
可知这是单调增的满射。这时,对于我们去掉的某开区间 (e, f ), 有
∑
N −1
an ∑
∞
2 ∑
N −1
an 2
e= + , f = + N
n=1
3n l=N +1 3l n=1
3 n 3
及
∑
N −1
an /2 ∑∞
1 ∑
N −1
an /2 1
F (e) = n
+ l
= n
+ N = F (f ).
n=1
2 l=N +1
2 n=1
2 2
2.7 绝对连续函数的定义和微分性质
为了得到微分性质较好的函数,我们希望避免出现上述 Cantor-Lebesgue 函数的性质,从而
我们规定更强的连续性。
14
绝对连续函数的定义. 对于 [a, b] 上的函数 F ,称其为绝对连续函数 (Absolutely Continu-
ous,A.C.),当且仅当 ∀ε > 0, ∃δ > 0, 满足
∑
N ∑
N
|F (bk ) − F (ak )| < ε, 只要 (bk − ak ) < δ,
k=1 k=1
其中 (ak , bk ) 是无交的开区间。
毫无疑问地,根据定义,这函数不仅满足连续,同时也是一致连续的。更重要的是,对于函
数紧支的情形,它在这个区间上是有界变差的,这是因为其全变差
∫ x TF (a, x) 是紧集上的连续函数。
我们之前称积分具有绝对连续性,正是表明 F (x) = f (y)dy, f ∈ L1 是绝对连续函数。反过来,
a
可以猜想绝对连续函数某种程度上也满足积分的性质,事实上我们有如下定理:
Newton-Leibniz 公式及其逆. 若 F 是 [a, b] 上的绝对连续函数,那么它几乎处处可导,且
导函数可积。更重要地, ∫ x
F (x) − F (a) = F ′ (y)dy, ∀x ∈ [a, b].
a
这就形成了集合 E 的一个覆盖。我们暂不考虑这一覆盖的性质,来思考如何完成证明:显而易见
地,我们希望从这覆盖之中取出性质良好的子覆盖 {Iα },满足其补集充分小且包含有限多个区间,
这样我们就可以利用绝对连续函数的性质来控制这一部分的误差;另一方面,我们希望这个子覆
盖是无交有限的,这样就可以用其上的导数控制子覆盖上的误差。那么问题就归结到寻找一个子
15
覆盖满足
∑
N
∀δ > 0, ∃{Ij }N
j=1 ⊂ {(ax , bx )}x , Ij 无交且 m(Ii ) ⩾ m(E) − δ.
i=1
事实上,这种子覆盖是存在的,其存在性我们在下一节会专门讨论。现在不妨假设已经找到了这样
的子覆盖 {(aj , bj )}N
j=1 及其补集 {[αk , βk ]}k=1 的总测度小于 δ,并 (根据绝对连续性) 令
M
∑
M ∑
M
|F (bk ) − F (ak )| < ε, 只要 (bk − ak ) < δ,
k=1 k=1
那么就有
∑
N ∑
M
F (b) − F (a) ⩽ |F (bi ) − F (ai )| + |F (βk ) − F (αk )| ⩽ ε(b − a) + ε.
i=1 k=1
再利用 ε 的任意性就完成了证明。
2.8 Vitali 覆盖
这一节我们希望类似于在证明 Hardy-Littlewood 极大函数性质时做的那样,寻找一个性质良
好的覆盖定理来完成 Newton-Leibniz 公式的证明。总结上一节证明当中提及的覆盖,我们可以定
义出这样的覆盖定理:
Vitali 覆盖及其性质. 一个球族 B = {Bα } 是集合 E 的一个 Vitali 覆盖,若 ∀x ∈ E, ∀η > 0,
都存在 Bα ∈ B, 满足 x ∈ B 及 m(B) < η. 对于 m(E) < ∞ 的情形,我们有 ∀δ, ∃ 有限无交球族
∪
N
{Bα }N
i=1 使得 m(B i ) ⩾ m(E) − δ, 且可以适当选取之使得 m(E − Bi ) < 2δ.
i=1
证明. 仍然使用证明 Hardy-Littlewood 定理时使用过的初等覆盖引理来逐步耗尽 E,我们取
定一个任意小的 δ > 0, 从而存在一个不交球族 B1 , ..., BN1 满足
∑
N1
Bi ∈ B, m(Bi ) ⩾ γδ, 其中γ = 3−d .
i=1
事实上,原先的覆盖定理要求球族是有限的,这可以通过选取一个适当的紧集 E ′ ⊂ E 满足 m(E ′ ) ⩾
δ 来完成 (这样我们就可以从 E ′ 的有限覆盖里选球,从而满足了初始球族有限的条件)。
∪
N1 ∪
N1
当然,如果此时 Bi 已经满足条件,那么命题已经证完。不然,继续考虑 E2 = E − Bi ,
i=1 i=1
满足 m(E2 ) > δ。这样,我们完全可以对 E2 重复相同的讨论,因为根据 Vitali 覆盖的性质,上
述球族去除所有与 B1 , ..., BN1 的球后仍然构成 E2 的有限覆盖 (这不难证明)。那么每次选取之后,
不交球族的测度将扩充 γδ,从而至多在进行
m(E) − δ
k=[ ]+1
γδ
16
步之后,所有选取的球构成一个无交的球族满足题设。
∪
N
当然,为了讨论 m(E − Bi ),我们可以选取开集 O 来避免球有部分在 E 之外的情形。令
i=1
开集 O 满足
E ⊂ O, m(O − E) < δ.
∪
N ∪
N
m(E − Bi ) ⩽ m(O) − m( Bi ) ⩽ m(E) + δ − (m(E) − δ) = 2δ.
i=1 i=1
这就完成了证明。
回顾上一节,我们知道 Vitali 覆盖的性质控制了可导点附近函数的增长情况:对于一个导数
几乎处处为零的函数而言,其导数为零的点形成的 Vitali 覆盖可以取出充分逼近原集合的有限无
交子覆盖,这使得我们能够方便地利用导函数讨论在子覆盖上函数的增长情况。
2.9 L1 , L2 , Lp , L∞ 空间及其上的函数
回到欧氏空间 Rd , 我们知道对可测集 E, 可积函数组成完备可分的 Banach 空间。现在我们来
推广这一定义。
Lp 空间的定义. 对于 E 上的可测函数,定义范数
∫
||f ||Lp = ( |f |p )(1/p) , p > 0.
E
证明. 不妨设 f, g 非负且 ||f ||Lp , ||g||Lp′ > 0. 那么利用线性性质,只要证 ||f ||Lp = ||g||Lp′ = 1
17
的情形。这只需要证明
∫ ∫ ′
|f |p |g|p 1 1
|f g| ⩽ + ′ = + ′ = 1.
p p p p
而不等式
′
a p bp
ab ⩽ + ′
p p
这一不等式是离散形式的 Hölder 不等式,它由 ln x 的凸性保证。
Minkowski 不等式. 如果 1 ⩽ p ⩽ ∞, 那么对于任意的 f, g ∈ Lp (E) 有
特别地,f + g ∈ Lp (E),这证明了其线性空间的性质。
证明.
||f + g||pLp = ||(f + g)p ||L1 = ||(f + g)p−1 f ||L1 + ||(f + g)p−1 g||L1
⩽ ||f + g||p−1
Lp′ (p−1) Lp (||f ||Lp + ||g||Lp ).
(||f ||Lp + ||g||Lp ) = ||f + g||p−1
我们可取子列满足
||fnk+1 − fnk || ⩽ 2−k , ∀k ⩾ 1.
首先可以在子列上找到一个收敛函数
∑
∞
f (x) = fn1 (x) + (fnk +1 (x) − fnk (x)).
k=1
∑
K
则 fnK+1 = fn1 (x) + (fnk+1 (x) − fnk (x)) = SK (f )(x). 我们考虑一个控制函数来令上述收敛成
k=1
为积分收敛. 取定
∑
∞
g(x) = |fn1 (x)| + |(fnk +1 (x) − fnk (x))|
k=1
18
及
∑
K
SK (g)(x) = |gn1 (x)| + |(fnk+1 (x) − fnk (x))|.
k=1
这就是我们寻求的控制函数。注意到
∑
K ∑
K
||SK (g)|| ⩽ ||fn1 || + ||fnk+1 − fnk || ⩽ ||fn1 || + 2−k < ∞.
k=1 k=1
∫
从而 g p < ∞,这使得我们有 f ∈ Lp (Rd ), 而注意到 2g 也是 fnk − f 的控制函数且 fnk → f ,从
而有 ||fnk − f || → 0, 亦即 fnk 也在 Lp 意义下收敛到 f 。利用上述三角不等式就知道,取定较大
n 可使得
||fn − f || ⩽ ||fn − fnk || + ||fnk − f || < ε, ∀ε,
ε
∃N, ||f − gN ||Lp (Rd ) ⩽ .
2
19
然而,特殊地,我们把∫ L2 空间放在与其他 Lp 空间不同的地位上。对于复值函数,注意到定
义关系 (f, g) = f g, 则由 Hölder 不等式有
这关系事实上是一个内积 (注意到其是双线性、共轭对称且正定的)。它之所以可以有良好的性质
植根于指标 2 的共轭指标是其本身这一性质,从而由 Hölder 不等式可以得到三角不等式之外的
Cauchy-Schwarz 不等式。证明上述性质的过程也由 Hölder 不等式和 Minkowski 不等式退化成为
一般的二元均值不等式,上述对于 Lp 空间成立的性质也一样适用于 L2 空间:它是完备的、可分
的内积空间,且有
|(x, y)| ⩽ ||x||||y||, ||x + y|| ⩽ ||x|| + ||y||.
这记作 f ⊥ g. 首先不难有
f ⊥ g ⇒ ||f + g||2 = ||f ||2 + ||g||2 .
这只要注意到
||f + g||2 = (f + g, f + g) = ||f ||2 + ||g||2 + (f, g) + (g, f ) = ||f ||2 + ||g||2 .
∑ ∑
f= ak ek ⇒ ||f ||2 = |ak |2 .
这就启发我们,类似欧氏空间中的情形,我们可以尝试寻找一个标准正交基使得其张成 L2 ,这样就
2
可以方便地展开函数或讨论函数的内积;一个例子是, ∫ π 我们在分析课程中已经学习过的 L ([−π, π])
1
上有正交基 {einx }∞
n=−∞ , 其上内积为 (f, g) = f (x)g(x)dx. 借助于 Fourier 级数的启发,我
2π −π
们首先来定义标准正交基并考虑其性质。
标准正交基的定义. 对于一个相互正交的集合,以下四个刻画标准正交基 (Orthonormal Ba-
sis){ek } 的性质是等价的:
(i){ek } 的有限线性组合在 L2 中稠密;
(ii) 若 f ∈ L2 , (f, ej ) = 0, ∀j,则 f = 0。
∑N
(iii) 若 f ∈ L2 , SN (f ) = ak ek ,其中 ak = (f, ek ), 则在 L2 范数意义下有 SN (f ) → f .
k=1
∑
∞
(iv) 设 ak = (f, ek ),则有 ||f ||2 = |ak |2 .
k=1
20
证明. (i)⇒(ii): 注意到这时存在由正交基有限生成的一列函数 {gn }∞
n=1 满足
从而
||f ||2 = (f, f ) = (f, f − gn ) ⩽ ||f ||||f − gn || < ε, ∀ε.
这表明 (f − SN (f )) ⊥ SN (f ), 得到
∑
N
||f ||2 = ||f − SN (f )||2 + ||SN (f )||2 = ||f − SN (f )||2 + |ak |2 .
k=1
∑
N
这就表明 ||f ||2 ⩾ |ak |2 , 进一步令 N → ∞ 就有如下的副产品:
k=1
∑
∞
|ak |2 ⩽ ||f ||2 .(Bessel’s Inequality)
k=1
∑
∞
这表明 |ak |2 收敛。从而 {SN (f )}∞
N =1 形成 Cauchy 列,因为
k=1
∑
N
||SN (f ) − SM (f )|| =
2
|ak |2 , N > M.
k=M +1
(f − SN (f ), ej ) = 0 ⇒ (f − g, ej ) = 0, ∀j.
这是 SN (f ) → g 保证的。从而由 (ii) 有 f = g。
(iii)⇒(iv): 直接令 N → ∞,结论是显然成立的。
(iv)⇒(i): 利用
∑
N
||f || = ||f − SN (f )|| + ||SN (f )|| = ||f − SN (f )|| +
2 2 2 2
|ak |2
k=1
21
特别地,我们回看证明中获得的 Bessel 不等式,可以发现其事实上是对任何正交集族成立的,
而上述定理告诉我们下述等式 (即 Parseval 等式) 当且仅当 {ek }∞
k=1 是标准正交基时才成立:
∑
∞
||f ||2 = |ak |2 .(Parseval’s Identity.)
i=1
在定义了标准正交基之后,我们来证明如下存在性相关的重要定理:
标准正交基的存在性. 对于 L2 空间 (特别地,一切 Hilbert 空间),总存在一组标准正交基。
证明. 首先我们来寻找一个集合使得至少其有限张成的空间就是 Hilbert 空间。这只需要回忆
Hilbert 空间都是可分的,故总能找到一组可数的元素 F = {hk } 满足其有限线性组合在 H 中稠
密。进一步,我们只需要像在代数课程中所做的,将这组元素正交化即可。回忆代数课程中基的定
义,为了防止正交化产生冗余的元素,我们首先要让选取的集合是线性无关的 (在此我们需要回顾
一下无穷多元素的线性无关概念:它是指,对于这组元素中的任一有限子集,它们都线性无关,那
么就称这整个集合线性无关。这种定义的采取是依赖于这里叙述的线性组合都是有限的这一特点
而来的)。这只需要依次剔除所有的满足与其之前的元素集 {hn }k−1
n=1 线性相关的元素 hk 就能做到,
这就保障一次剔除之后的集合 H′ = {fk }∞
k=1 总应该是线性无关的。
在获得上述线性无关集之后,与代数课程当中相同的是,我们要对其进行 Gram-Schmidt 正
交化。在此重述这一过程:首先取定 e1 = f1 /||f1 ||,此后归纳地假设已经有 {e1 , ..., ek } 相互正交
且其张成的空间与 {f1 , ..., fk } 张成的空间同。从而我们选取
∑
k
e′k+1 = fk+1 + aj ej , 其中aj = −(fk+1 , ej ).
j=1
22
3 习题
这一节主要是给出期末复习相关习题的解答和思考。分为两小节,分别是 Stein 的课后习题和
周民强《实变函数论》的课后习题。
1
(f ∗ Kδ + f ∗ χB (0) )(x) → f (x), a.e.
vd δ d δ
及
1
f∗ χB (0) → f (x), a.e.
vd δ d δ
这就得到结论成立。
Section 3 Problem 10. 这是数学分析中的一个经典问题。一个例子是写 Q = {r1 , r2 , ..., }
令
1 ∑
fn (x) = n
χrn , f (x) = fi (x).
2 r ∈Q,r <x
i i
∑
∞ ∑
∞
|F (bk ) − F (ak )| < ε, 只要 (bk − ak ) < δ,
k=1 k=1
其中 (ak , bk ) 是无交的开区间。
这是因为,选取这可数多个区间中任何有限多个区间,按照绝对连续函数的原定义就知道其
SN (F |baii ) < ε, 将 N 推向无穷即知结论成立。下面,考虑包含 Cantor 集的某一开集满足其测度小
于 δ,它自然是可数个无交开区间的并,其上函数变差达到 1,从而取定 ε = 1/2 即可。
Section 3 Problem 15. 这里利用单调函数可以被写成单调连续函数和严格单调的阶梯函
数之和的性质。这样,对于一个一般的有界变差函数 F ,将其写成 F = G1 − G2 , 其中 G1 , G2
单调增,因而可以写成 G1 = F1 + J1 , G2 = F2 + J2 , 其中 F1 , F2 单调连续,J1 , J2 是阶梯函数,
F = (F1 − F2 ) + (J1 − J2 ). 此时 J1 − J2 连续,但连续的阶梯函数只能是常数,从而不失一般性地
有 J1 = J2 . 命题证完。
Section 3 Problem 16. 这两个结论是 TF (a, x)′ = |F ′ (x)| 的简单推论,(b) 是因为绝对连
续函数是两个单调增连续函数 (即,正负变差) 的差,而对单调连续函数而言其变差就是函数本身。
23
我们在下面证明这一结论。∀ε > 0, 取 [a, b] 的分割
∑
n
∆ε : a = x0 < · · · < xn = b, |f (xi ) − f (xi−1 )| > TF (b) − ε.
i=1
取定 {
∑ f (x) − f (xi ), 若f (xi+1 ) > f (xi )
g(x) = |f (xi ) − f (xi−1 )| + .
xi <x f (xi ) − f (x), else
∪
∞ ∑
∞ ∪
∞
m(f (Z)) ⩽ m(f ( (xi , yi )) ⩽ |f (di ) − f (ci )| = m(f ( (di , ci )) ⩽ ε.
i=1 i=1 i=1
由 ε 之任意性就证完命题。
引理 连续映射把紧集映到紧集。这是因为取像集的一个开覆盖,利用连续函数的性质知道其
原像仍然是开覆盖,而从中选取一个有限子覆盖后考察其对应的像就得到像集的有限子覆盖。
Section 3 Problem 23. (a). 由于题目对子区间选取不敏感,不失一般性,只要证明 F (b) ⩾
F (a). 不然,只要注意到对于 F (b) < F (a) 的情形,取 ε 充分小,则有 Gε (x) = F (x)−F (a)+ε(x−a),
使得 Gε (b) < 0 = Gε (a). 进而取
24
基于连续性,这点当然不可能是 b,从而 Gε 在 x0 处的右上导数对任意小的 ε 应当都是小于 0 的
(因其右侧不再有比它取值大的点),矛盾于 ε 充分小时 (D+ Gε )(x0 ) > 0.
(b).Lipshitz 函数的性质是 Lagrange 中值定理的直接推论,这又能直接导出其绝对连续 (取
δ = ε/M )。
Section 3 Problem 24. 著名的 Lebesgue 分解定理。构造只要取
∫
FA (x) = F ′ , FJ = JF (x), FC = F − FA − FJ
[a,x]
2 2 2 2 4
Tx−x3 = | − 2 + √ | + | − √ − √ | + | √ − 0| = 2 + √ .
3 3 3 3 3 3 3 3 3 3
Page 218 Problem 2. 倘若 f (x) < f (y), x, y ∈ (a, b), 则 Tf ⩾ |f (y) − f (x)| > 0,矛盾于题
设。
Page 218 Problem 7. 这只要注意到
∑ ∑
TF (x) − TF (y) = sup { |f (xi ) − f (xi−1 )|} ⩽ |xi − xi−1 | = |x − y|.
∆:=x0 ,...,xn
i i
∪
∞ ∑
∀δ1 , ∃δ0 , 对于E1 = (ak , bk ), m(E1 ) < δ0 , 有m( f (bk ) − f (ak )) < δ1 ; (1)
i=1 k
∪
∞ ∑
∀δ2 , ∃δ1 , 对于E2 = (ak , bk ), m(E2 ) < δ1 , 有m( f (bk ) − f (ak )) < δ2 .(2)
i=1 k
25
利用绝对连续严格单调的性质可知,对 ∀δ2 , 取上述 δ0 ,这一集合生成的值域是符合条件 (2) 的无
交开区间,这就证完了命题。
26