拓扑度.docVIP

1 拓扑度的唯一性 在这一章中，我们将证明存在唯一函数 是有界开集,连续,满足 (d1) for . (d2),当 是不交开子集，满足 (d3) 与无关, 其中 连续,连续且对任意 ，. 我们将证明可将条件归结为 是线性函数，即，其中.在这个简化过程中，我们介绍一个基本工具，它将在第二节拓扑度的构造中需要,并且你将看到同伦性不变性 (d3)是一个非常有用的性质. 下面给出本章中一些注. 1.1注 令 , .对于子集 ，我们用分别表示的闭包和边界，若，,它有可能是空集.以为中心， 为半径的开球和闭球分别用 和表示.出特别说明外，总是表示的有界开子集。 对于映射，我们令，.中的恒同映射用表示,即,.线性算子用其特征矩阵表示,表示的行列式.我们还将用到记号其中,当,,当.所以.若是紧集即有界闭集,则表示所有连续函数组成的空间,且令,.如果有必要为了强调,我们记. 称为在点可微,若存在一个矩阵使 其中,余项满足对存在 当有. 在这种情形下表示的第个分量关于的偏导数. 关于余项,在本书很多地方用.At记号要比 要方便,即我们称当时,当且仅当时,.这样在点的可微性描述为当时,.这种方便包括书写方便例如若是常数,则,或若,则.我们令表示,在上次连续可微函数组成的集合 ,,.若存在则令是在的 行列式,若,则称是正则点.由于这样的点起着非常重要作用,我们记 ,若从上下文比较清楚常简记为.而且若,则称为 的正则值,否则称为奇异值. 一般情况下, 值函数用希腊字母表示,向量值函数用拉丁字母表示. 1.2 从到.第一步 我们将证明拓扑度由函数的值唯一确定.为此给出下面两个结果. 命题1.1 令 是紧集,连续.则可以连续延拓到,即存在连续函数 使,. 证明 由于是紧集,所以存在至多可列个稠密子集.令表示点到的距离,即设,.则 是的连续延拓.如果你觉得证明比较难,以后我们会给出一个更一般的延拓定理的较详细证明. 命题1.2 (a) 令 是紧集,,.则存在函数使,. (b)给定,使,则存在函数使 证明 令是到的连续延拓,令,,其中是磨光函数族,定义为其中使且 .我们有且是的支集,即 Supp . 因此且当时,关于一致.因此当充分小时，满足(a).第二部分通过，，的微分可得. 证毕. 现在,考虑,.则,且存在,使.函数,定义为,则连续且, .因此, 由(d3)中令得. 1.3 从奇异值到正则值. 令,.若是正则值,则至多有有限个解.为此我们需要下列命题. 命题1.3（反函数定理）令,,.则存在的邻域使同胚于的某邻域. 若你不记得通过通过Banach不动点定理的经典证明,我们以后给出一个一般的证明. 这样,若是正则值,则当时,,由命题1.3知这样的解是孤立的,即若,则存在邻域使.因此,一定是有限集 .否则由紧性一定存在解的聚点.由连续性知,因此由知因此由命题1.3知存在的邻域使同胚于的某邻域这与是聚点矛盾.因此的解是孤立的. 现在,令是任意一点.则,其中.因此令 ,由性质(d3)知,. 下面的命题保证了一定包含的正则点,这样就可以考虑奇异值了. 命题1.4 令是开集,.则,其中是维空间的Lebesgue 测度. 证明 这里你需要知道有关是当时,和是零测集（即）的充分必要条件是对任意,存在至多可列个区间柱集,使,且.显然至多可列个零测集的并还是零测集. 由于中的开集可表示为可列个立方体的并,即,因此由于,只要说明,其中是立方体.设是侧棱长.由在的一致连续性,给定,存在,当时有,,因此 .所以将分解成个直径为的柱集.由于是侧棱长,所以且,其中对于任意. 现在,假设,选取,令 ，，其中.则在上我们有，，. 由于,我们知道包含于的一个 -维子空间.因此,存在，，，对任意.扩展成的标准基,我们有， ，，其中 .这样包含于围绕区间，满足. 由于在最大立方体上有界,我们有，为确定正数,特别的.因此, ，即由的任意性知是零测集. 我们注意到命题 1.4是Sard的特殊情况.若 是开集, 可测,则可测且;详细证明见Schwartz [2] . 1.4 由-算子到线性算子. 现在我们只需考虑 ，.首先假设.由 (d2)，令，我们有,因此，其中是的开子集满足 .由于，所以.当,我们可选取的不交开邻域，由(d2)知.为计算,令并注意到 ，当。由于我们知道存在,因此 ,即在上存在，使.利用上述估计我们令，，则对任意 ，只要充分小当有 .因此由(d3)知 。若在里,我们(d2)仍然有 ,因此.由于是的唯一解,由(d2) 知，其中,在上，因此由(d3)知.最后由(d2)指出,可以是任意的.这样我们达到了一个最简化的地步. 1.5 线性代数相关知识 剩下唯一要说明的是若是线性算子且，则是唯一确定的.我们将证明