泛函分析第章_度量空间与赋范线性空间.docVIP

度量空间与?赋范线性空?间 度量空间在?泛函分析中?是最基本的?概念。事实上，它是维欧几?里得空间的?推广，它为统一处?理分析学各?分支的重要?问题提供了?一个共同的?基础。它研究的范?围非常广泛?，包括了在工?程技术、物理学、数学中遇到?的许多很有?用的函数空?间。因而，度量空间理?论已成为从?事科学研究?所不可缺少?的知识。 2.1 度量空间的?基本概念 2.1.1 距离（度量）空间的概念? 在微积分中?，我们研究了?定义在实数?空间上的函?数，在研究函数?的分析性质?，如连续性，可微性及可?积性中，我们利用了?上现有的距?离函数，即对。度量是上述?距离的一般?化：用抽象集合?代替实数集?，并在上引入?距离函数，满足距离函?数所具备的?几条基本性?质。 【定义2.1】 设是一个非?空集合，：是一个定义?在直积上的?二元函数，如果满足如?下性质： 非负性 ； 对称性 三角不等式? ； 则称是中两?个元素与的?距离（或度量）。此时，称按成为一?个度量空间?（或距离空间?），记为。 注：中的非空子?集，按照中的距?离显然也构?成一个度量?空间，称为的子空?间。当不致引起?混淆时，可简记为,并且常称中?的元素为点?。 例2.1 离散的距离?空间 设是任意非?空集合，对中任意两?点令 显然，这样定义的?满足距离的?全部条件，我们称是离?散的距离空?间。这种距离是?最粗的。它只能区分?中任意两个?元素是否相?同，不能区分元?素间的远近?程度。 此例说明，在任何非空?集合上总可?以定义距离?，使它成为度?量空间。 例2.2 维欧几里得?空间表示维?向量的全体?组成的集合?，也表示个实?数组成的数?组的全体形?成的集合。对，，定义 （2.1） 下面来证满?足度量定义?中的条件（1）~（3）。 由式（2.1）不难验证满?足条件（1），（2）。为证满足条?件（3），需利用时的?离散型Mi?nkows?ki不等式?（见1.5节）。 取，则有 因此，是一距离空?间。称为维欧氏?空间。 注：若在中规定? （2.1ˊ） 则也是距离?空间（读者自己验?证） 例2.3 所有数列组?成的集合，对定义 （2.2） 那么是上的?度量。式（2.2）通常称为F?réche?t组合。 显然满足度?量条件（1）~（2），我们来证也?满足条件（3）。事实上，对及由于函?数是单调增?函数，因此由 得 在上市不等?式两边同乘?再求和，便得 因此是距离?空间。 例2.4 连续函数空?间对定义 （2.3） 则是上的一?个度量。 显然满足度?量条件（1）~（2）。对另一连续?函数由 所以 函数类（参见1.6节）,对定义 （2.4） 则是上的一?个度量，是度量空间?。 由 根据Leb?esgue?积分的性质?有。反之，若， 则。所以，满足度量定?义2.1中条件（1）；条件（2）显然满足；对另一函数?，根据1.6节Min?kowsk?i不等式有? 即满足度量?定义条件（3），所以是上的?一个度量，是度量空间?。 例2.6 是本性有界?可测函数的?全体，即上除某个?零测度外，在它的补集?上是有界的?可测函数全?体。对定义 （2.5） 则是上的一?个度量，是度量空间?。 由式（2.5）显然可知，满足度量条?件（1）~（2）。现证满足度?量条件（3），对及存在且?使 从而有 令得。所以是上的?一个度量，是度量空间?。 2.1.2 距离空间中?点列的收敛?性 非空集合引?入距离（度量）后，就可以在其?上定义点列?的收敛概念?。 【定义2.2】设是一个度?量空间，称点列收敛?于，是指叫做点?列的极限，记作或。 度量空间中?点列收敛性?质与数列的?收敛性质有?许多共同之?处。 【定理2.1】 度量空间中?的收敛点列?的极限是唯?一的，且若收敛于?则的任意子?列也收敛于?。 证明：首先证明定?理的第一部?分。设都是的极?限，则对有 令有必然有?因此这说明?最多有一个?极限。 其次证明定?理的第二部?分。设收敛于，于是，存在自然数?，当时，。由于，从而当时，也有故收敛?于。证毕。 下面讨论某?些具体空间?中点列收敛?的具体含义?。 例2.7 空间中点列?按度量式（2.1）收敛于 的充分必要?条件是对每?个有