Sard定理及其应用.docVIP

Sard定理证明及其应用 摘 要本文以Sard定理为中心来展开。首先给出了一些关于正则值的预备知识，接着证明了Sard定理，最后应用该定理证明了紧致情形的Whitney定理。 关键词：Sard定理，正则值，Whitney定理 Abstract In this paper, we regard Sard Theorem as the main idea to expand. At first, we provide some preliminary knowledge about the regular values. Secondly, we prove the Sard Theorem. In the end, we use this theorem to prove Whitney Theorem in the compact case. Key words: Sard Theorem, regular values, Whitney Theorem 目 录第一章 绪论 ……………………………………………………………………………………………1 第章 ……………………………………………………………………………………….1 第章 Sard定理………………………………………………………………………………..4 第章 Sard定理………………………………………………………………………………..10 参考文献 ………………………………………………………………………………………………… 一 随着近代科学的飞速发展，正则值和Sard定理等较深的知识不仅成为数学本身的最基础、最重要、最活跃的研究领域，而且在数学的其它分支中已有越来越广泛、深刻而富有成效的应用。而Sard定理的证明和应用显得尤为重要。 二、预备知识 自从坐标法问世以来，人们热衷于研究各种方程式所表示的曲线或曲面。设是中的开集，是映射。对这样一般的和任意的，方程 的解集合可能相当复杂，与通常曲线或曲面的几何直观大相径庭。因此有必要考察：哪些能保证成为流形？这就引出了正则值得概念。 定义1.1 设和是微分流形，的维数。又设是可微映射。 （1）如果使得 ， 那么我们就称为的临界点。的全体临界点的集合记为或者。 如果使得 ， 那么我们就称为的正则点。的全体正则点的集合是。 （2）如果使得 ， 那么我们就称为的临界值。 如果使得 ， 那么我们就称为的正则值。 注 的全体临界值的集合是。的全体正则值得集合是（请注意：不是）。在正则值的定义中，包括的情形，即：“不是值”的也属正则值之列。 下面的定理显示了正则值概念的重要性。 定理1.2（正则值原像定理） 设和是流形（），是映射，是的正则值，。则是的正则子流形，并且 。 （显然是的闭子集，因而是闭子流形。） 证明 我们利用淹没映射的典范局部表示。对任意的，存在点邻近的的局部坐标图卡和点邻近的的局部坐标图卡，使得 ， 并且使得 ， 其中是从乘积空间到第二个因子空间的投射。因为 ， 所以 。 （请注意：对于的情形，结论仍成立。）□ 下面的“唱片引理”是正则值原像定理得重要特殊情形。 引理1.3（唱片引理） 设和是流形（），是紧致的，。又设是映射。如果是的正则值并且，那么 （1）是有限点集： ； （2）存在在中的开邻域，使得 ， 其中是中两两不相交的开集，，并且 是同胚。 证明 根据定理1.2（正则值原像定理），是的0维子流形，也就是由一些孤立点组成的子集。但作为紧空间的闭子集也是紧致的，所以是有限点集，这证明了（1）。 因为 ， 所以在点邻近是局部同胚，即存在在中的开邻域和点在中的开邻域，使得是同胚。必要时适当缩小各，可设这些是两两不相交的： 。 显然是中的紧致集并且不包含点，所以 是点的开邻域。因为以外的点不可能经映入中，所以 。 我们记 。 则有 并且 是同胚。我们证明了（2）。□ 在上面的讨论中，我们又一次用到集合与映射的一个关系式：设和是集合，是映射，,则 。 既然正则值具有如上面定理1.2所述的良好性质，人们自然关心这样的正则值是否有足够多？下面的Sard定理肯定地回答了这个问题。 三、Sard定理的证明 引理2.1 如果闭区间被一族长度都不超过的开区间所覆盖，那么存在中有限个开区间，使得 。 证明 首先，不妨设由有限个开区间组成。其次，有公共点的三个开区间当中，必有其中两个区间覆盖了第三个区间（有最小左端点的区间和有最大右端点的区间必定覆盖第三个区间）。我们可以从中删除多余的开区间，使得任意一点至多属于中的两个开区间，并且的端点和各自只属于中的一个开区间。 删除了多余的开区间之后，剩下的有限个开区间必定满足要求 。□ 引理2.2 设是中的紧致集。