第七章习题解答度量空间和线性赋范间.docVIP

第七章习题处理 度量空间和线性赋范空间 引官 拓扑空间和度量空间的基本慨念和性质 设是任意非空集是的一个子集族，它满足(1) 及空集属于； （2）中任意两个元素之交仍属于；(3) 中任意两个元素之并仍属于，则称是上的一个拓扑，并称为具有拓扑的拓扑空间．常用表示集上定义了拓扑的拓扑空间，此外，拓扑中的元素称为开集，而其余集称之为闭集。 设和是上的两个拓扑，若，则说弱于或者说强于，上最弱的拓扑由两个子集与组成，称为平庸拓扑。上最强的拓扑由的一切子集组成，称为离散拓扑。 设是拓扑空变间中的一点，，若有开集使得则称为的一个邻域．设A是由的某些邻域构成的集合族．若对的任一邻域，存在A，使得，则称A为的一个邻域基底。 度量空间中的开集、闭集、邻域 定义(球与球面)．设是一度量空间，实数，称点集 为以为心以为半径的开球。称点集 为以为心以为半径的闭球。称点集 为以为心以为半径的球面。 由定义有： 注：（1）在一般的度量空间中，球和球面可能不再具有三维欧几里得空间中“球”的形状．例如，在离散度量空间中，球面是空集，而开球与闭球均是单点集。 （2）在度量空间中，集是有界的当且仅当存在与一个正数，使得 。 （3）开球也称做点的邻绒，如果包含的某个邻域，则称做的邻域．且 ，那么也称为的邻域。 开集、闭集概念：设是度量空间扩的子集成电路，如果是中每一点的邻域，则称是中的开集。若的子集，其在中的余集是开集，即是中的开集，则称是中的闭集。 如果度量空间中的集是点的邻域，则称是的内点。的内点全体所成之集称做的内部， 记为或，是开集且是中最大的开集。 习题解答 1、设为一度量空间，令 ，问的闭包是否等于。 解答：在一般度量空间中不成立，例如：取的度量子空间，则中的开球的的闭包是，而 2、设是区间上无限次可微函数全体，定义 ，证明：按构成度量空间。 证明： （1）显然且 有 特别当时有有。 （2）由函数在上单调增加，从而对有 即三角不等式成立。 3、设是度量空间中的闭集，证明必有一列开集包含，而且。 证明：设为度量空间中的闭集，作集： ，为开集，从而只要证； 可实上，由于任意正整数，有，故：。 另一方面，对任意的，有 ， 令 有。所以（因为闭集）。这就是说， 综上所证有：。 4、设为度量空间上的距离，证明也是上的距离。 证明：首先由为度量空间上的距离且，因此显然有且的充要条件是，而的充要条件是，因此的充要条件是。其次由函数在上单调增加有 即三角不等式成立。所以也是上的距离。 5、证明点列按题2中距离收敛于的充要条件为的各阶导数在上一致收敛于的各阶导数。 证明：由题2距离的定义：则有： 若上述距离收敛于，则。所以对任何非负整数有：。由此对任何非负实数有 。 从而对任何非负整数，的各阶导数在上一致收敛于的各阶导数。 反之：若对每个，的各阶导数在上一致收敛于的各阶导数，则对每个有，则有： 从而对任意的非负实数有：。又由于 从而；，于是有： 。从而取时 于是有。从而点列按题2中距离收敛于。 6、设，证明度量空间中的集 为中的闭集，而集为开集的充要条件是为闭集。 证明： 7、设及是度量空间中两个集，如果，证明必有不相交开集及分别包含及。 证明：记。，以为半径作点的邻域 ，令，则是开集且。同理可作开集，使得 。 余证，如若不然即，则存在，由及的作法可知，必有，使得，即，。从而有 另一方面，，从而有 ， 由于，故得矛盾。因此。 8、设表示上实有界函数全体，对中任意两元素，规定距离为 证明：不是可分空间。 证明： 9、设是可分距离空间，为的一个开覆盖，即是一族开集，使得对每个，有中的开集，使，证明必可从中选出可数个集组成的一个开覆盖。 证明：因是可分距离空间，所以在中存在可数稠密子集。因是的一个开覆盖。因此，存在中的开集，使得且是的内点。存在，使 ，因在中稠密，从而可在上取出中的点，再取有理数，使得（此处的有理数与均有关系）于是，由的任意性从而满足该条件的开集的全体覆盖。又由于的和均为可数故这种开集的全体至多可数。 10、设是距离空间，为中的子集，令，证明是上的连续函数。 证明：，则由可得 同理可得：。因此当即时有。所以在处连续，由在上的任意性得 在上连续。 11、设为距离空间，为中不相交的闭集，证明存在开集，使得，。 12、设为三个度量空间，是到中的连续映射，是到中的连续映射，证明复合映射是到中的连续映射。 13、设是度量空间，是上的连续函数，证明是连续映射的充要条件是对每个实数，集合和集合都是闭集。 14、Cauahy点列是有界点列。 证明：设是度量空间中的中的Cauahy点列，则有。特别取，则对任意的有，则 ，即点列的直径，从而点列是有界集。其次对于，取，则即是中的有界集