论文-度量空间课程论文.docVIP

题目：： 专 业： ： 姓名： 学 号： 目 录 1 度量空间的定义……………………………………………………………………1 2 度量空间的一些例子………………………………………………………………2 3 度量空间的一些简单性质…………………………………………………………5 4 度量空间的紧致性与完备性………………………………………………………8 4.1 度量空间的紧致性………………………………………………………………… 9 4.2 度量空间的完备性………………………………………………………………… 10 5 关于数学专业本科泛函分析教学的探讨………………………………………… 12 参考文献…………………………………………………………………………………14  度 量 空 间 课 程 论 文 本文由湛江家教网提供！湛江找家教请家教， 可上网搜索【湛江师范家教网】 摘要：度量空间是一类特殊的拓扑空间，并且它是理解拓扑空间的一个重要过程. 因此，本文通过度量空间的基本概念，力图给出度量空间的一些重要性质. 并且引入一些度量空间的其它性质. 关键词: 度量空间 导集 闭集 泛函分析 应用 度量空间是现代数学中一种基本的、重要的、最接近于欧几里得空间的抽象空间.19世纪末叶，德国数学家G.康托尔创立了集合论，为各种抽象空间的建立奠定了基础.20世纪初期,法国数学家M.-R.弗雷歇发现许多分析学的成果从更抽象的观点看来,都涉及函数间的距离关系,从而抽象出度量空间的概念. 1 度量空间的定义 度量空间是一类特殊的拓扑空间，它对于拓扑空间的理解起着非常重要的作用.因此，研究度量空间的一些性质是必要的.为了证明这些性质，首先介绍以下定义. 定义1.1 设是一个集合，若对于中任意两个元素都有唯一确定的实数与之对应，而且这一对应关系满足下列条件： 1 正定性 ,并且当且仅当； 2 对称性 ； 3 三角不等式 .则称是集合的一个度量，同时将称为度量空间或距离空间. 中的元素称为点，条件（3）称为三点不等式. 定义1.2 设是一个度量空间，.对于任意给定的实数,集合，记作,称为一个以为中心，以为半径的球形邻域，简称为的一个球形邻域. 2 度量空间的一些例子 例2.1 离散的度量空间 设是任意的非空集合，对中的任意两点，令 容易验证满足关于距离的定义中的条件.我们称为离散的度量空间.由此可见，在任何非空集合上总可以定义距离.使它成为度量空间. 例2.2 序列空间S 令S表示实数列（或复数列）的全体，对S中任意两点及，令 ， 易知满足距离条件 的充要条件为. 2.1 下验证满足距离条件 对任意都成立. 2.2 为此我们首先证明对任意两个复数和，成立不等式 事实上，考察上的函数 由于在上，.所以在上单调增加，由不等式 ，我们得到 . 令，则，代入上面不等式，得 . 由此立即可知满足距离条件 2.2 ，即S按或一度量空间. 例2.3 有界函数空间 设是一给定的集合，令表示上的有界实值（或复值）函数全体，对中任意两点，定义 . 下面验证满足条件 2.1 和 2.2 .显然是非负的.又等价于对一切，成立，所以，即满足 2.1 ，此外，对所有的成立 . 所以 . 即满足条件 2.2 .特别地，当时，记为. 例2.4 可测函数空间 设为上的实值（或复值）的可测函数全体,m为 测度，若 ，对任意两个可测函数 及，由于 所以这是上的可积函数，令 如果把中的两个几乎处处相等的函数视为中的同一个元，那么利用不等式 及积分性质很容易验证是距离. 因此按上述距离成为度量间. 例2.5 空间 令表示闭区间上的实值（或复值）连续函数全体，对中任意两点定义 容易验证它满足距离条件 2.1 和 2.2 . 例2.6 记.设定义 . 则是的距离。距离条件 2.1 是容易得出的，现检验条件 2.2 . 对任何正整数n，和 都中的元素，由不等式 再令右端 ，即得 再令左端的，即得 由此可得 令取以 代入上式，即可得的三点不等式 由上述例子可见，度量空间除了有限维的欧几里德空间 之外，还包括其他的空间. 3 度量空间的一些简单性质 定理3.1 设是一个度量空间，则拓扑空间是一个离散空间当且仅当p是一个离散的度量. 证 充分性 若是一个离散的度量，则对于任意的，存在实数，使得对于任意的, ,有.于是的球形邻域,所以，为开集.由的任意性以及开