第二十三章流形上微积分学初阶.doc

第二十三章 流形上微积分学初阶 §1、n维欧氏空间与向量函数 设，证明 . 证 设，则 于是 . 设点到集合E的距离定义为 证明：（1）若E是闭集，，则； （2），若是E连同其全体聚点所组成的集合（称为E的闭包），则. 证 （1）由知依的定义和下确界存在定理知存在，下证. 由E是闭集，知x不是E的聚点，又不是E的孤立点，则x为E的外点，因此存在，使，于是当时， 依下确界定义有故 （2）若时，依的定义，显然；若，而，x为E的聚点，则对任何，有 取则有，由的任意性，得 综上所述，当时，必有， 从而 另一方面，对中的，则有， 对中的，依的定义，对任何的定义，存在，使，可见x为E的聚点，因此 ，从而，综合两方面证得 . 设A，B是X的任意子集，证明： （1） （2） （3）若f是一一映射，则 证 （！）当时，必有，使，于是从而有 另一方面，当时，必有使，于是从而有， 综上证得： （2）对任一，必有，使 ，从而. （3）对任一，由f是一一映射知；必有唯一，使从而.综合（2），得 设，，证明： （1），且当时可逆； （2）. 证 （1）依的定义得知：任给，总存在，使时，总有，从而有.故，且显见时可逆. （2）由及知它们的分量满足 从而 = 5、设若存在正实数k，r对任何点满足 ， 试证明f是D上的连续