高維空間中低維點集的測度及低維點集上的積分理論。
20世紀初測度論的建立,使得人們對Rn中的子集關於n維勒貝格測度μn的行為有瞭很好的瞭解。大部分函數論由於勒貝格積分論而產生瞭巨大變化。但是在處理與<Rn中低維點集有關的數學問題時遇到瞭困難。例如著名的普拉托問題,在二維曲面時尚可以結合共形變換和狄利克雷原理巧妙地應用勒貝格方法而解決。而在曲面的維數超出2時,這些經典的方法就失敗瞭。幾何測度論正是在這種背景下產生。它始於1914年C.卡拉西奧多裡關於測度論的基礎性工作,經過幾十年的發展,熔合瞭來自分析、幾何、代數拓撲中的許多技巧,產生瞭許多新的概念,成為數學研究的一個有力工具。
豪斯多夫測度與可求積集合 在卡拉西奧多裡的工作出現以後的開始20~30年內,大部分的興趣在於瞭解Rn中的子集關於m維豪斯多夫測度,積分幾何測度等各類測度的行為。對於A⊂Rn,0≤k<∞,δ>0,定義A的k維豪斯多夫測度(簡稱hk測度)為
![](/img3/6283.gif)
,
式中
![](/img3/6284.gif)
。
h
k測度是
R
n中的一個博雷爾正則測度。又定義inf{
k:
h
k(
A)=0}為
A的豪斯多夫維數,簡稱
h維數。當
k=
n時,
h
n(
A)=
μ
n(
A),
n=0時
h
0(
A)為
A的元素個數。0和
n中間每個數均可出現為
R
n中某個子集的
h維數。例如康托爾集的
h維數為ln2/ln3。
設A的hk測度有限,在k>0時,若存在Rk中某個有界子集到A的李普希茨映射(即二點距離的增長比受到某個正常數控制的映射),那就稱A為k可求積集(k=0時為有限集,也稱可求積集)。如果A除瞭一個hk測度為0的子集外,為可列個k可求積集合覆蓋,就稱A為(hk,k)可求積集。集合的可求積性質是一階光滑流形的某種推廣。事實上,A為(hk,k)可求積集合的充要條件是:除瞭一個hk測度為0的子集外,它可由Rn中可列個C1類k維子流形所覆蓋。可求積集合的這種描述使得對於它的構造的研究,特別是它的射影性質的研究成為幾何測度論的重要內容。在A不含有hk測度大於0的k可求積子集時,稱A為純粹(hk,k)不可求積集合。
設p:Rn→Rk為正交射影,即保持內積不變的線性映射。其共軛記為p*,它的全體記為
![](/img3/6285.gif)
(
n,
k),正交群
O(
n)=
O(
n,
n)通過右乘可遞地作用在
![](/img3/6285.gif)
(
n,
k)上。這個運算在
![](/img3/6285.gif)
(
n,
k)上誘導出惟一的不變測度
θ
*,使得空間
![](/img3/6285.gif)
(
n,
k)關於
θ
*的全測度等於1,那麼當
A為(
h
k,
k)可求積集合時,成立
式中
![](/img3/6287.gif)
。上式右邊即為
A的積分幾何測度
I
![](/img3/6288.gif)
,它先在
A與
n-
k維仿射子空間
p
-1(
y)的交集上積分,然後讓
p取遍所有正交射影。因此這個式子反應瞭(
h
k,
k)可求積集合的射影性質。這是求平面曲線長度的克羅夫頓方法的推廣,也類似於柯西尋求凸體周界面積的方法。另一方面,對於
h
k測度有限的任何博雷爾集
B,總存在博雷爾子集
C⊂
B,使得
![](/img3/6289.gif)
,
![](/img3/6290.gif)
,且(
B\
C為純粹(
h
k,
k)不可求積。進一步,
![](/img3/6291.gif)
成立,當且僅當
B為(
h
k,
k)可求積。以上這些結果首先為A.S.貝斯爾科裡奇對平面上的
h
1測度得到。1947年,H.費德雷爾證明瞭一般情形。
在幾何測度論發展早期就知道,對於Rn中每個勒貝格可測集W以及Rn到Rk的李普希茨映射f,有面積公式
![](/img3/6292.gif)
,
式中
J
k
f(
x)為
f的雅可比式。在
f為一一時,右邊的積分就等於
h
k(
f(
W)),因此對於
n可求積集合,它的
h
n測度就等於微分幾何中的
n維體積。利用映射在一點“近似可微”這個概念,可以將這個公式推廣到
R
n中的(
h
k,
k)可求積集合。但在
f(
W)的
h維數小於
n時,公式反映的信息很少。1957年,費德雷爾證明:對每個李普希茨映射
![](/img3/6293.gif)
,及每個
μ
n可測集
W成立餘面積公式:
![](/img3/6294.gif)
。
面積公式與餘面積公式分別應用於目標空間的維數至少為
n與至多為
n的情形。因此可將它們看成是對偶的公式,餘面積公式也已被推廣到(
h
k,
k)可求積集合的情形。這些公式的研究使得人們瞭解到,關於可微映射的積分變換的本質上的假定在於對這個映射的雅可比式秩的限制。
密度 密度與近似切錐是描述一個測度局部行為的兩個重要概念。對於拉東測度v,以α為心,r為半徑的球關於v的測度與
![](/img3/6295.gif)
的比值,在
r→0時的上極限與下極限分別稱為測度
v在
α點的
k維上密度與
k維下密度。二者相等時就稱為
k維密度
k(
v,
α)。利用上密度可以定義集合的近似切錐,它何時成為向量空間與該集合的可求積性質和射影性質有著深刻的聯系。利用密度定義的另一個重要概念是集合在一點的外法線。當集合有光滑邊界時,這個概念非常直觀,在一般情形相當復雜。
給定點集Q,如下定義新的測度у∟Q:集合G關於у∟Q的測度у∟Q(G)=у(Q∩G)。集合A在一點b的外法線是如下確定的一個單位向量u=n(A,b),當Q1為過b點且以u為法向的超平面圍成的半空間(x-b)·u>0時,
![](/img3/6298.gif)
,
Q
2為另一半空間(
x-
b)·
u<0時,
![](/img3/6299.gif)
。這個概念隻含有點集
A關於
μ
n的測度論行為,而不用預先知道
A的拓撲結構,甚至邊界的概念也未提到。這樣可塑的概念使高斯-格林公式推廣到相當一般的程度:設集合
A⊂
R
n,令
![](/img3/6300.gif)
,
![](/img3/6301.gif)
。如果對每個緊集
![](/img3/6302.gif)
,那麼對
R
n上有緊集的每個李普希茨一階向量場
ξ,成立
![](/img3/6303.gif)
。
另一方面,若以Bdry
A記
A的普通邊界,那麼在對
R
n的每個緊集
K,都有
![](/img3/6304.gif)
時,上述條件滿足,從而推廣的高斯-格林公式也成立。
整流 長期以來,人們就尋求著n維空間中“k維積分區域”的分析與拓撲的描述。這個概念應該保留微分流形的光滑性與整系數多面體鏈的組合性質所帶來的好處,同時為滿足變分的需要,這類區域應具有某種緊致性質。“整流”正是為這樣的需要而產生。
設U為Rn中的開集,以
m(
U)記緊支集落在
U內的
m階光滑微分形式全體。
m(
U)上的線性泛函稱為
m維流,其全體記為
m(
U)。流
S∈
m(
U)的支集spt
S理解為
U內的最小相對緊子集
C,使得對一切滿足 spt
φ
C
U\
C的
φ∈
m(
U),有
S(
φ)=0。流這個概念是由法國數學傢G.-W.德·拉姆為研究
霍奇理論而引入的。由於一個曲面決定於對定義在它上面的任意
m階光滑微分形式的積分運算。因此
m維幾何曲面可以分析地表示成一個流。特別地,由點
α
0,
α
1,…,
α
m生成的單純形若落在
U內,那麼它也代表一個流。這種流的整系數線性組合,稱為
U中的一個整系數多面體鏈。如果一個流可以用整系數多面體鏈關於李普希茨映射的像來逼近,就稱它為可求積流。利用邊緣算子д可以構成新的流д
S,定義為дS(
φ)=
S(
d
φ)。這裡d為外微分運算,如果
S與д
S均為可求積流,就稱
S為整流。例如每個一維整流是總長度小於∞的有限多條單弧與可數條單閉弧的和。
R
n中的每個
n維整流可表示成
![](/img3/6306.gif)
,其中
e
1,
e
2,…,
e
n為
R
n的切空間的標準基,
A為使得推廣的高斯-格林公式成立的勒貝格可測集。當1<
m<
n時,
R
n中的
m維整流是相當復雜的。但重要的是,由緊支集在同一有界集內且按某個范數有界的整流組成的集是緊的。正是這一點形成瞭變分學中新的幾何方法。
如果流S可以表示成R+дT,R和T都是可求積流,就稱S為整平坦鏈。利用邊緣算子可以建立這類流的同調理論。它與局部李普希茨范疇內的、整系數的經典奇異同調論同構。但對於積分問題,相交理論等,這種鏈群明顯地優於奇異鏈群。因為與奇異鏈不一樣,一條平坦鏈與其分刈等同,這就簡化瞭循環的構造,並得到較好的實系數上循環。不僅如此,還發現所謂的等周不等式不僅對經典的微分幾何中某些特殊情形成立,而且對這種同調論有類似估計,這就將代數拓撲與測度論聯系起來瞭。
可以用流的理論來研究普拉托問題,存在性定理表明極小曲面總是一個m維局部可求積流,即這樣的流S∈
m(
U),對每個
x∈
U,總存在緊支集在
U內的可求積流
R,使
x
∈spt(
S-
R)。曲面的光滑性問題就是spt
S的光滑性問題。若
α∈spt
S存在領域
V⊂
R
n,使
V∩spt
S為
C
2類
m維子流形,就稱
α為正則點,否則就稱奇點。由於幾何測度論的發展,使高維普拉托問題取得重大進展。當
m≤6時極小曲面是光滑的,在
m≥7時奇點集的
h維數不超過
m-7。
類似於局部可求積流,可以定義局部整流,局部整平坦流。後者與流形上分析中的實解析子簇與復解析子簇有十分密切的關系。
弱可微函數 又稱有界變差函數。Rn上光滑函數的可微性可以用這樣的方法來刻畫:對於Rn上有緊支集的李普希茨向量場ξ,成立
![](/img3/6307.gif)
,
但是右邊的積分並不一定要求
f光滑,僅要求
f局部
μ
n可積。因此
ξ(
x)的這個線性泛函可以看成
f的測度論意義下的弱微分,隻要它滿足裡斯表示定理的有界性假定。這種
f稱作弱可微函數。開集
![](/img3/6308.gif)
上的弱可微函數全體記為
BV(
![](/img3/6308.gif)
),則
BV(
![](/img3/6308.gif)
)按范數
![](/img3/6309.gif)
形成巴拿赫空間。弱可微函數曾在各種場合下出現,首先在勒貝格面積論,而後在偏微分方程論中,特別地,它是極小曲面的理論中的有力工具。
參考書目
H.Federer,Geometric Measure Theory,Springer-Verlag,Berlin,1969.
E.Giusti,MiniMal Surfaces and Functions of Bounded variation,Birkh user,Basel-Stuttgart,1984.
H.Whitney,Geometric Integration Theory,PrincetonUniv.Press,Princeton,1957.