泛函分析第2章度量空间与赋范线性空间归纳.pdfVIP

第二章 度量空间与赋范线性空间 第2章 度量空间与赋范线性空间 n 度量空间在泛函分析中是最基本的概念。 事实上，它是 n 维欧几里得空间 R 的推广，它为统一处理分析学各分支的重要问题提供了一个共同的基础。 它研究 的范围非常广泛，包括了在工程技术、 物理学、 数学中遇到的许多很有用的函数 空间。因而，度量空间理论已成为从事科学研究所不可缺少的知识。 2.1 度量空间的基本概念 2.1.1 距离（度量）空间的概念 在微积分中，我们研究了定义在实数空间 R 上的函数，在研究函数的分析性 质，如连续性，可微性及可积性中，我们利用了 R 上现有的距离函数 d ，即对 x, y R,d (x, y) x y 。度量是上述距离的一般化：用抽象集合 X 代替实数集， 并在 X 上引入距离函数，满足距离函数所具备的几条基本性质。 【定义 2.1】 设 X 是一个非空集合， ( , ) ： X X 0, 是一个定义在直 积 X X 上的二元函数，如果满足如下性质： （1） 非负性 x , y X , (x , y ) 0, (x , y 0 x y ； （2 ） 对称性 x , y X , (x , y ) (y , x) （3 ） 三角不等式 x , y , z X , (x , y ) (x ,z) ( z, y) ； 则称 ( x, y) 是 X 中两个元素 x 与 y 的距离（或度量） 。此时，称 X 按 ( , ) 成为 一个度量空间（或距离空间） ，记为 (X , ) 。 注： X 中的非空子集 A ，按照 X 中的距离 ( , ) 显然也构成一个度量空间， 称为 X 的子空间。当不致引起混淆时， (X , ) 可简记为 X ,并且常称 X 中的元素 为点。 例 2.1 离散的距离空间 设 X 是任意非空集合，对 X 中任意两点 x , y X , 令 1 x y (x, y) 0 x y 显然，这样定义的 ( , ) 满足距离的全部条件，我们称 ( X , ) 是离散的距离 空间。这种距离是最粗的。它只能区分 X 中任意两个元素是否相同，不能区分 应用泛函分析 (第二版 ) 元素间的远近程度。 此例说明，在任何非空集合上总可以定义距离，使它成为度量空间。 n 例 2.2 n 维欧几里得空间 R 表示 n 维向量 x x ,x , , x 的全体组成的集 1 2 n 合，也表示 n 个实数 x , x ,