十一章第一节欧几里得空间上的基本定理.pptVIP

一、平面点集 二、Euclid空间基本定理 Bolzano-Weierstrass定理11.1.7： 定理：Rn上的有界点列{xn}必有收敛子列。 证明： Cauchy收敛原理11.1.8： 定义： Rn中的点列{xn}满足：对于任意的∈0,存在正整数K，使得对任意的k,lK,成立|xl-xk|∈，称{xk}为基本列（或者Cauchy列）。 Heine-Borel定理11.1.9（紧集判断定理）： 定义：设S是Rn的一个子集，如果Rn中的一组开集{Ua| a∈A }满足∪ a∈A Ua 包含S，称{Ua}是S的一个开覆盖。 如果S的每个开覆盖{Ua}中总存在一个有限的子覆盖，称S是紧集。 三个等价结论11.1.10： 定理：设E是Rn的子集合，那么以下三个命题等价 （1）E是有界闭集合； （2）E是紧集合； （3）E的任意无限子集在E中必有聚点。 其中(1)和（2）的等价性由Heine-Borel定理给出。 作业： 第119页：第2,4,5,8,13,14题 本节涉及数学家： Euclid:古希腊数学家，公元前330年生于雅典，代表作：几何原本，十三卷。公元前275年卒。 Cantor:德国数学家，1845年生于德国，集合论的创始人。1918年卒。 Weieratrass:19世纪下半叶德国数学家，生于1815年德国，数学分析大师，一是建立了实数理论，二是建立了极限理论。1897年卒。 Augustus De Morgan:1806-1871，生于India,移住英国，主要著作《Formal Logic 》，首先使用规范数学归纳法,对数学的贡献很多，见/projects/reals/history/demorgan.html。 Rene Descartes:1596-1650,法国,西方近代资产阶级哲学的奠基人之一,数学家,自然科学家.几何学是他的公开发表的唯一的数学著作标志着解析几何的诞生.恩格斯说:“数学的转折点是迪卡尔的变数.” Bolzano：1781-1848，捷克数学家http://www-history.mcs.st-andrews.ac.uk/Biographies/Bolzano.html,与Weierstrass有过合作研究,主要贡献在数学和哲学。 Heine：1821-1881，德国数学家，主要贡献在给出一致连续概念，研究兴趣在spherical functions, Lamé functions, and Bessel functions.发表超过50篇论文。 Borel：1871-1956，法国数学家，主要研究为测度论、概率论（Borel集是其提出的典型集合），one of the founders of the theory of functions of real variables 。.lb/en/themes/Biographies/MainBiographies/H/Heine/1.html Augustin-Louis Cauchy:1789-1857,法国数学家，积分定义为和的极限，无穷级数的收敛发散判别，定义了“行列式”及运算等。 听雨尘心＠含藏识［读书博客］ / 定理：Rn中的点列{Pn}收敛的充分必要条件是： {Pn}是基本列。 证（必要性） 应用三角形不等式, 立刻得到 这说明 { xn } 和 { yn } 都满足关于数列的柯西准则, 所以它们都收敛. 　 由点列收敛概念, 推知　{　Pn　}　收敛于点 P0(x0, y0). 定理：S是紧集的充分必要条件是：S是有界闭集。 证 (1) →(3) 设Eq是E的无限子集，推论11.1.1得 必有聚点. 又因 的聚点亦为 E 的聚点, 而 E 是 闭集, 所以该聚点必属于 E ． (3) →(1) 先证 E 为有界集. 倘若 E 为无界集, 则 存在各项互异的点列 易见 这个子集无聚点, 这与已知条件相矛盾. 再证 E 为闭集. 为此设 P0 为 E 的任一聚点, 由聚 点的等价定义, 存在各项互异的点列 使 现把 看作 , 由条件 的聚点 ( 即 ) 必 属于 E, 所以 E 为闭集. 用闭域套定理证明聚点定理：E 为有界无限点集, 则 E 至少有一个聚点. 证 现用闭域套定理来证明. 由于 E 有界, 因此存 在一个闭正方形 . 如图 所示, 把 D1 分成四个相同的小正方形, 则在其中至少有一小闭 正方形含有 E 中无限多个点, 把它记为 D2. 再对 图 10 – 8