度量空间和线性赋范空间

度量空间和线性赋范空间

1

第六章 度量空间和线性赋范空间

第1次课

教学内容(或课题)： §6.1 度量空间的进一步例子

目的要求： 在复习第二章度量空间基本概念前提下，要求进一步掌握离散度量空间、序列空间、有界函数空间、可测函数空间等. 教学过程：

一 复习第二章度量空间的概念

设X 是个集合，若对于∈?y x ,X ，都有唯一确定的实数()y x d ,与之对应，且满足01 ()y x d ,0≥，()y x d ,=0y x =?;02

()y x d ,≤()z x d ,+()z y d ,对∈?z y x ,,X 都成立， 则称(X ，d )为度量

空间或距离空间，X 中的元素称为点，条件02称为三点不等式. 欧氏空间n R 对n R 中任意两点()n x x x x ,,,21Λ=和

()n y y y y ,,,21Λ=，规定距离为 ()y x d ,=()2

1

12???

??-∑=n

i i i y x .

[]b a C ,空间 []b a C ,表闭区间[]b a ,上实值(或复值)连续函数的全体.对[]b a C ,中任意两点y x ,，定义()y x d ,=()()t y t x b

t a -≤≤max .

2

l 空间 记2l ={}?

???

??∞<=∑∞

=∞

=12

1

k k k k x x x .设{}∞==1k k x x ，{}∞==1k k y y ∈2l ，定义 ()y x d ,=()2

112??

?

??-∑∞

=i i i y x .

二 度量空间的进一步例子

例1 设X 是任意非空集合，对于∈?y x ,X ，令

2

()y x d ,=???=≠y x y x 当，当，0;

1

容易验证 01 ()y x d ,0≥，()y x d ,=0y x =?; 02

()y x d ,≤()z x d ,+()z y d ,对∈?z y x ,,X 都成立. 称(X ，d )为离散的度

量空间. 由此可见，在任何非空的集合上总可以定义距离，使它成为

度量空间.

例2 序列空间S 令S 表示实数列(或复数列)的全体，对{}∞

==?1k k x x ，{}∞

==1k k y y ，

令 ()y x d ,=∑

∞

=12

1

k k

k k k k y x y x -+-1. 显然右边的级数总是收敛的. 易知()y x d ,0≥，且()y x d ,=0y x =?. 即()y x d ,满足条件01.

对C b a ∈?,，先证

≤

+++b

a b a 1a

a +1+

b

b +1.

实因令 ()t

t

t f +=1 (+∞<≤t 0)，则因为()2)1(1t t f +='0>，所

以函数 ()t

t

t f +=1 在[)+∞,0上单调递增. 又因为 b a b a +≤+，所以有

≤

+++b

a b a 1b a b a +++1=b a a ++1+b a b ++1≤

a a +1+b

b

+1. 再令 {}∞

==1k k z z ，k k z x a -=，k k y z b -=，则 k k y x b a -=+. 由

上述已证的不等式，得

k

k k k y x y x -+-1≤

k

k k k z x z x -+-1+

k

k k k y z y z -+-1.

3

由此推得 02 ()y x d ,≤()z x d ,+()z y d ,对∈?z y x ,,S 都成立. 故S 按

()y x d ,成一度量空间.

例3 有界函数空间()A B

设A 是一个给定的集合，令()A B 表示A 上有界实值(或复值)函数的全体. ∈?y x ,()A B ，定义 ()y x d ,=()()t y t x A

t -∈sup .显然()y x d ,0≥，

且()y x d ,=0?A t ∈?成立()()t y t x =，即()y x d ,满足条件01.又A t ∈?，有 ()()t y t x -≤()()t z t x -+()()t y t z -≤()()t z t x A

t -∈sup +()()t y t z A

t -∈sup

所以 ()()t y t x A

t -∈sup ≤()()t z t x A

t -∈sup +()()t y t z A

t -∈sup . 即()y x d ,满足条

件02. 特别当[]b a A ,=时，()A B =[]b a B ,.

例4可测函数空间()X M

设()X M 为X 上实值(或复值)的Lebesgue 可测函数的全体，m 为Lebesgue 测度，若()X m ∞<，对任意两个可测函数()t f 及()t g ，由于

()()()()

11<-+-t g t f t g t f ，故不等式左边为X 上可积函数. 令

()g f d ,=()()()()

?

-+-X

dm t g y f t g t f 1.

若把()X M 中两个几乎处处相等的函数视为()X M 中同一个元素，则

()g f d ,≥0且()g f d ,=0 ? g f =，即()g f d ,满足条件01. 其次(参

考例2)

4

()g f d ,=()()

()()?-+-X dm t g y f t g t f 1≤????

?

?

?-+-+-+-X dm g h g

h h f h f 11=?

-+-X

dm h

f h f 1+?

-+-X

dm g

h g h 1=()h f d ,+()g h d ,，对∈?h g f ,,()X M 都

成立. 即 ()g f d , 满足条件02. 故()X M 按上述距离()g f d ,成为度量空间.

作业 P 205. 2. 4.

作业提示 2. 与例2处理方法类似.

4.利用x

x

+1 当0≥x 时的递增性.

第2次课

教学内容(或课题)： §6.2(1) 度量空间中的极限

目的要求： 掌握一般的度量空间中的邻域、内点、外点、界点、导集、闭包、开集、闭集、收敛点列等概念，认识具体空间中点列收敛的具体意义. 教学过程：

设()d X ,为度量空间，d 是距离，定义 ()ε,0x B =(){}ε<∈0,x x d X x 为0x 的以ε为半径的开球，亦称为0x 的ε邻域.

例1 设()d X ,是离散的度量空间，d 是距离，则

线性空间与欧几里得空间

线性空间与欧几里得空间 自测题 一、填空题 1、对欧几里得空间V 中的任意向量βα，，有()βαβα≤ ，，而且等号成立当且仅当 。 2、设1W 与2W 是V 的两个线性子空间，如果1W +2W 中的每个向量α都可唯一的被表示成21ααα+=，2211W W ∈∈αα，，则称1W +1W 为这两个子空间的 。 3、两个同构的线性空间的维数 。 4、第二类正交变换的行列式的值等于 。 5、如果A 是正交矩阵。若k 为实数，使kA 为正交矩阵，则k 等于 。 二、选择题 6、下列n R 的子集是n R 的子空间的为（ ） A ：(){}n i Z a a a a a i n ...,3,2,1,.....,,,321=∈ B ：(){}0.....,,,21321=a a a a a a n C ：(){}R a a a a n ∈211,,0,...,0, C ：{} 1..)...,,(2222121≤+++n n a a a a a a 7、全体正实数的集合+R 对于下面定义的加法与标量乘法：k a a k a b b a ==⊕ ,构成R 上的线性空间，则+R 的零元素为（ ） A ：0 B: 1 C: 2 D: 3 8、若A 是正交矩阵，则下列矩阵中仍为正交矩阵的是（多重选择，其中k 是1±≠的整数） A:kA B:k A C:交换A 的任两行所得的矩阵 D ：把A 的某行k 倍加到另一行所得的矩阵 9、设A 是欧几里得空间V 关于基n ααα，，，...21的度量矩阵，则A 满足以下哪个条件时，n ααα，，，...21是规范正交基？ （ ） A: A 是正交矩阵 B ：A 为对称矩阵 C ：1-A 为正交矩阵 D ：A 为单位矩阵 10、以下哪个结论不是两个线性子空间1W 与2W 的和21W W +为直和的等价命题：（ ） A ：dim ()()()()221121dim dim dim dim W W W W W W >+>+且

第二章 赋范线性空间-黎永锦

第2章 赋范线性空间 虽然不允许我们看透自然界本质的秘密, 从而认识现象的真实原因,但仍可能 发生这样的情形：一定的虚构假设 足以解释许多现象. Eurler L . (欧拉) (1707-1783,瑞士数学家) Schmidt E .在1908 年讨论由复数列组成的空间}||: ){(1 2∞<∑∞ =i i i z z 时引入记号 ||||z 来表示2 11 )(∑∞ =i i i z z ,||||z 后来就称为z 的范数.赋范空间的公理出现在Riesz F .在 1918 年关于],[b a C 上关于紧算子的工作中,但赋范空间的定义是在 1920到1922年间由 Banach S .（1892—1945）、Hahn H .（1879—1934）、Helly E .（1884—1943）和 Wiener N .（1894—1964）给出的,其中以Banach S .的工作最具影响. 2.1赋范空间的基本概念 线性空间是Peano Giuseppe 在1888年出版的书Geometrical Calculus 中引进的.Banach S .在1922年的工作主要是建立具有范数的完备空间,以后为了纪念他称之为 Banach 空间.他定义的空间满足三组公理,第一组公理定义了线性空间,第二组定义了范数, 第三组给出了空间的完备性. 定义 2.1.1 设K 是实数域R 或复数域C ,X 是数域K 上的线性空间,若||||?是X 到R 的映射,且满足下列条件： (1) 0||||≥x 且0||||=x 当且仅当0=x ; (2) ||||||||||x x λλ=,对任意X x ∈和任意K ∈λ ;

泛函分析题1.2完备化答案

泛函分析题1_2完备化p13 1.2.1 (空间S) 令S为一切实(或复)数列 x = ( ξ1, ξ2, ..., ξn, ... ) 组成的集合，在S中定义距离为 ρ(x, y) = ∑k ≥ 1 (1/2k) · | ξk -ηk |/(1 + | ξk -ηk | )， 其中x = ( ξ1, ξ2, ..., ξk, ... )，y = ( η1, η2, ..., ηk, ... )．求证S为一个完备的距离空间．证明：(1) 首先证明ρ是S上的距离． ρ的非负性和对称性是显然的； 因为实函数f (t) = t /(1 + t ) = 1 - 1/(1 + t )在[0, +∞)严格单调增， 故对任意a, b∈ ，有 | a |/(1 + | a |) + | b |/(1 + | b |) ≥ | a | /(1 + | a | + | b |) + | b |/(1 + | a | + | b |) = ( | a | + | b | )/(1 + | a | + | b |) ≥ ( | a + b | )/(1 + | a + b |)， 由此可立即得知ρ在S上满足三角不等式． 所以，ρ是S上的距离，从而(S, ρ)为距离空间． (2) 设{x n}是S中的一个Cauchy列，记x n = ( ξ1(n), ξ2(n), ..., ξk(n), ... )． 则?k∈ +，(1/2k) · | ξk(n)-ξk(m)|/(1 + | ξk(n)-ξk(m)| ) ≤ρ(x n, x m) → 0 (m, n→∞)．， 因此| ξk(n)-ξk(m)| → 0 (m, n→∞)． 故{ξk(n)}n ≥ 1是 (或 )中的Cauchy列，因此也是收敛列． 设ξk(n)→ξk ( n→∞)，并设x = ( ξ1, ξ2, ..., ξk, ... )，则x∈S． 下面证明ρ(x n, x)→ 0 ( n→∞)． ?ε > 0，存在K∈ +，使得∑k > K (1/2k) < ε /2． 又存在N∈ +，使得?n∈ +，当n > N时，?k≤K都有| ξk(n)-ξk | < ε /2． 此时，ρ(x n, x) = ∑k ≥ 1 (1/2k) · | ξk(n)-ξk |/(1 + | ξk(n)-ξk | ) = ∑k ≤K (1/2k)·| ξk(n)-ξk |/(1 + | ξk(n)-ξk | ) + ∑k > K (1/2k)·| ξk(n)-ξk |/(1 + | ξk(n)-ξk | ) ≤∑k ≤K (1/2k)·| ξk(n)-ξk | + ∑k > K (1/2k) < (ε /2) ·∑k ≤K (1/2k) + ε /2 < ε /2 + ε /2 = ε． 所以，x n→x ( n→∞)． 因此S中的Cauchy列都是收敛列，故S为完备距离空间． 1.2.2 在一个度量空间(X, ρ)上，求证：基本列是收敛列，当且仅当其中存在一串收敛子列． 证明：必要性是显然的，只证明充分性． 设{x n}是X中的一个Cauchy列，且{x n}有一个收敛子列{x n(k)}，记x n(k) →x． ?ε > 0，存在N∈ +，使得?m, n≥N都有ρ(x n, x m) < ε /2．

线性空间和欧式空间

第六章 线性空间和欧式空间 §1 线性空间及其同构 一 线性空间的定义 设V 是一个非空集合，K 是一个数域，在集合V 的元素之间定义了一种代数运算， 叫做加法；这就是说，给出了一个法则，对于V 中任意两个元素α和β，在V 中都有唯一的一个元素γ与他们对应，成为α与β的和，记为βαγ+=。在数域K 与集合V 的元素之间还定义了一种运算，叫做数量乘法，即对于数域K 中任一数k 与V 中任一元素α，在V 中都有唯一的一个元素δ与他们对应，称为k 与α的数量乘积，记为αδk =，如果加法与数量乘法满足下述规则，那么V 称为数域K 上的线性空间。 加法满足下面四条规则： 1）αββα+=+；交换律 2）)()(γβαγβα++=++；结合律 3）在V 中有一个元素0，对于V 中任一元素α都有αα=+0（具有这个性质的元 素0称为V 的零元素）； 存在零元 4）对于V 中每一个元素α，都有V 中的元素，使得0=+βα（β称为α的负元素）. 存在负元 数量乘法满足下面两条规则： 5）αα=1； 存在1元 6）αα)()(kl l k =. 数的结合律 数量乘法与加法满足下面两条规则： 7）αααl k l k +=+)(； 数的分配律 8）βαβαk k k +=+)(. 元的分配律 在以上规则中，l k ,表示数域中的任意数；γβα,,等表示集合V 中任意元素。 例1． 元素属于数域K 的n m ?矩阵，按矩阵的加法和矩阵的与数的数量乘法，构成 数域K 上的一个线性空间，记为,()m n M K 。 例2． 全体实函数（连续实函数），按函数的加法和数与函数的数量乘法，构成一个实 数域上的线性空间。 例3． n 维向量空间n K 是线性空间。

21 线性赋范空间

第二章 线性赋范空间与内积空间 Normed Linear Spaces and Inner Product Spaces 前面介绍了度量空间及其性质，在那里通过定义距离的概念，引入了点列的极限，这种点列极限是微积分中数列极限在抽象空间的推广．然而只有距离结构，没有代数结构的空间在应用上受到许多限制．本章通过在线性空间中定义范数来赋予线性空间上的一种特殊距离，从而将收敛的概念引入到线性空间，由此导出线性赋范空间的概念，如果这种空间的两个向量再赋予类似欧氏空间的“内积”或“点积”的概念后，便是内积空间．因此本章的主要内容就是线性赋范空间与内积空间． 2.1 线性赋范空间的定义与极限 在学习高等代数时，我们已了解到线性空间的概念，线性赋范空间，简单地说，就是给线性空间赋予范数． 定义2.1.1 线性空间 设X 为一非空集合，R 表示实数域(或为复数域C )．在X 中定义了元素的加法运算以及实数(或复数)与X 中元素的乘法运算，且满足下列条件： 1. 关于加法“+”：,xy X ?∈，u X ?∈与之对应，记为u x y =+，称u 为x 与y 的和，且具 有,,x y z X ?∈， (1) x y y x +=+ (交换律)； (2) ()()x y z x y z ++=++ (结合律)； (3) 在X 中存在唯一元素θ，使得x X ?∈，有x x θ+=，则称θ为X 中零元素； (4) x X ?∈，存在唯一元素x '∈X ，使得x +x '=θ，称x '为x 的负元素，记为x -. 2. 对X 中每个元素x 及任何实数(或复数)a ，存在元素u ∈X 与之对应，记为u =a x ，称u 为a 与x 的数乘，且满足,x y X ?∈，,λμ?∈R (或C ) (1) ()x x x λμλμ+=+ (分配律)； (2) ()x y x y λλλ+=+ (数因子的分配律)； (3) ()()x x λμλμ= (结合律)； (4) 1x x = (单位1). 则称X 按上述加法和数乘运算成为线性空间或向量空间，X 中的元素称为向量.如果数乘运算只对实数(或只对复数)有意义，则称X 是实(或复)线性空间. 满足上述加法和数承运算的性质，统称为线性运算． 我们知道，n 维欧式空间n R 是线性空间；[,]C a b 在通常加法和数乘意义下构成线性空间；n 阶实矩阵在矩阵的加法和数乘意义下构成线性空间．

13 度量空间的可分性与完备性

1.3度量空间的可分性与完备性 在实数空间R中，有理数处处稠密，且全体有理数是可列的，我们称此性质为实数空间R 的可分性．同时，实数空间R还具有完备性，即R中任何基本列必收敛于某实数．现在我们将这些概念推广到一般度量空间． 1.3.1 度量空间的可分性 定义1.3.1设X是度量空间，,A B X ?，如果B中任意点x B ∈的任何邻域(,) O xδ内都含有A的点，则称A在B中稠密．若A B ?，通常称A是B的稠密子集． 注1：A在B中稠密并不意味着有A B ?．例如有理数在无理数中稠密；有理数也在实数中稠密．无理数在有理数中是稠密的，无理数在实数中也是稠密的，说明任何两个不相等的实数之间必有无限多个有理数也有无限多个无理数． 定理1.3.1设(,) X d是度量空间，下列命题等价： (1) A在B中稠密； (2) x B ?∈，{} n x A ??，使得lim(,)0 n n d x x →∞ =； (3) B A ?（其中A A A ' =，A为A的闭包，A'为A的导集(聚点集)）； (4) 任取0 δ>，有(,) x A B O xδ ∈ ?．即由以A中每一点为中心δ为半径的开球组成的集合覆盖B． 证明按照稠密、闭包及聚点等相关定义易得． 定理1.3.2稠密集的传递性设X是度量空间，,, A B C X ?，若A在B中稠密，B在C 中稠密，则A在C中稠密． 证明由定理1.1知B A ?，C B ?，而B是包含B的最小闭集，所以B B A ??，于是有C A ?，即A在C中稠密．□ 注2：利用维尔特拉斯定理可证得{定理(Weierstrass多项式逼近定理) 闭区间[,] a b上的每一个连续函数都可以表示成某一多项式序列的一致收敛极限．} (1)多项式函数集[,] P a b在连续函数空间[,] C a b中稠密． 参考其它资料可知：

泛函分析中的度量空间

泛函分析主要内容 泛函分析是20世纪30年代形成的数学分科。是从变分问题，积分方程和理论物理的研究中发展起来的。它综合运用函数论，几何学，现代数学的观点来研究无限维向量空间上的函数，算子和极限理论。它可以看作无限维向量空间的解析几何及数学分析。主要内容有拓扑线性空间等。泛函分析在数学物理方程，概率论，计算数学等分科中都有应用，也是研究具有无限个自由度的物理系统的数学工具。泛函分析是研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数条件的映射的分支学科。 1、度量空间 定义：设X为一个集合，一个映射d：X×X→R。若对于任何x,y,z属于X，有 （I）（正定性）d(x,y)≥0,且d(x,y)=0当且仅当 x = y； （II）（对称性）d(x,y)=d(y,x)； （III）（三角不等式）d(x,z)≤d(x,y)+d(y,z） 则称d为集合X的一个度量（或距离）。称偶对（X，d）为一个度量空间，或者称X为一个对于度量d而言的度量空间。 例：实数带有由绝对值给出的距离函数d(x, y) = |y?x|，和更一般的欧几里得n维空间带有欧几里得距离是完备度量空间 2、赋范线性空间 泛函分析研究的主要是实数域或复数域上的完备赋范线性空间。这类空间被称为巴拿赫空间，巴拿赫空间中最重要的特例被称为希尔

伯特空间。 例：任何赋范向量空间通过定义d(x, y) = ||y?x|| 也是度量空间。 (如果这样一个空间是完备的，我们称之为巴拿赫空间)。例：曼哈顿范数引发曼哈顿距离，这里在任何两点或向量之间的距离是在对应的坐标之间距离的总和。 3、希尔伯特空间 希尔伯特空间可以利用以下结论完全分类，即对于任意两个希尔伯特空间，若其基的基数相等，则它们必彼此同构。对于有限维希尔伯特空间而言，其上的连续线性算子即是线性代数中所研究的线性变换。对于无穷维希尔伯特空间而言，其上的任何态射均可以分解为可数维度（基的基数为50）上的态射，所以泛函分析主要研究可数维度上的希尔伯特空间及其态射。希尔伯特空间中的一个尚未完全解决的问题是，是否对于每个希尔伯特空间上的算子，都存在一个真不变子空间。该问题在某些特定情况下的答案是肯定的。 4、巴拿赫空间 巴拿赫空间理论（Banach space）是192O年由波兰数学家巴拿赫（S.Banach)一手创立的，数学分析中常用的许多空间都是巴拿赫空间及其推广，它们有许多重要的应用。大多数巴拿赫空间是无穷维空间，可看成通常向量空间的无穷维推广。

度量空间的可分性与完备性

1.3 度量空间的可分性与完备性 在实数空间R 中，有理数处处稠密，且全体有理数是可列的，我们称此性质为实数空间R 的可分性．同时，实数空间R 还具有完备性，即R 中任何基本列必收敛于某实数．现在我们将这些概念推广到一般度量空间． 1.3.1 度量空间的可分性 定义1.3.1 设X 是度量空间，,A B X ?，如果B 中任意点x B ∈的任何邻域(,)O x δ内都含有A 的点，则称A 在B 中稠密．若A B ?，通常称A 是B 的稠密子集． 注1：A 在B 中稠密并不意味着有A B ?．例如有理数在无理数中稠密；有理数也在实数中稠密．无理数在有理数中是稠密的，无理数在实数中也是稠密的，说明任何两个不相等的实数之间必有无限多个有理数也有无限多个无理数． 定理1.3.1 设(,)X d 是度量空间，下列命题等价： (1) A 在B 中稠密； (2) x B ?∈，{}n x A ??，使得lim (,)0n n d x x →∞ =； (3) B A ?（其中A A A '=U ，A 为A 的闭包，A '为A 的导集(聚点集)）； (4) 任取0δ>，有(,)x A B O x δ∈?U ．即由以A 中每一点为中心δ为半径的开球组成的集合 覆盖B ． 证明 按照稠密、闭包及聚点等相关定义易得． 定理1.3.2 稠密集的传递性 设X 是度量空间，,,A B C X ?，若A 在B 中稠密，B 在C 中稠密，则A 在C 中稠密． 证明 由定理1.1知B A ?，C B ?，而B 是包含B 的最小闭集，所以B B A ??，于是有C A ?，即A 在C 中稠密．□ 注2：利用维尔特拉斯定理可证得{定理(Weierstrass 多项式逼近定理) 闭区间[,]a b 上的每一个连续函数都可以表示成某一多项式序列的一致收敛极限．} (1)多项式函数集[,]P a b 在连续函数空间[,]C a b 中稠密． 参考其它资料可知： (2)连续函数空间[,]C a b 在有界可测函数集[,]B a b 中稠密． (3)有界可测函数集[,]B a b 在p 次幂可积函数空间[,]p L a b 中稠密(1p ≤<+∞)． 利用稠密集的传递性定理1.3.2可得： (4)连续函数空间[,]C a b 在p 次幂可积函数空间[,]p L a b 中稠密(1p ≤<+∞)． 因此有[,][,][,][,]p P a b C a b B a b L a b ???． 定义1.3.2 设X 是度量空间，A X ?，如果存在点列{}n x A ?，且{}n x 在A 中稠密，则称A 是可分点集(或称可析点集)．当X 本身是可分点集时，称X 是可分的度量空间．

完备空间

完备空间 完备空间或者完备度量空间是具有下述性质的空间：空间中的任何柯西序列都收敛在该空间之内。 例子 ?有理数空间不是完备的，因为的有限位小数表示是一个柯西序列，但是其极限不在有理数空间内。 ?实数空间是完备的 ?开区间(0,1)不是完备的。序列(1/2, 1/3, 1/4, 1/5, ...)是柯西序列但其不收敛到任何(0, 1)中的点。 ?令S为任一集合，S N为S中的所有序列，定义S N上序列(x n)和(y n)的距离为1/N，其中若的最小索引存在则N为该索引否则N为0。按此方式定义的度量空间是完备的。该空间同胚于离散空间S的可数个副本的积。 [编辑]直观理解 直观上讲，一个空间完备就是指“没有孔”且“不缺皮”，两者都是某种“不缺点”。没有孔是指内部不缺点，不缺皮是指边界上不缺点。从这一点上讲，一个空间完备同一个集合的闭包是类似的。这一类似还体现在以下定理中：完备空间的闭子集是完备的。 [编辑]相关定理 ?任一紧致度量空间都是完备的。实际上，一个度量空间是紧致的当且仅当该空间是完备且完全有界的。 ?完备空间的任一子空间是完备的当且仅当它是一个闭子集。 ?若X为一集合，M是一个完备度量空间，则所有从X映射到M的有界函数f的集合B(X, M)是一个完备度量空间，其中集合B(X, M)中的距离定义为：

?若X为一拓扑空间，M是一个完备度量空间，则所有从X映射到M的连续有界函数f的集合C b(X,M)是B(X, M)（按上一条目的定义）中的闭子集，因而也是完备的。 ?贝尔纲定理：任一完备度量空间为一贝尔空间。就是说，该空间的可数个无处稠密子集的并集无内点。 [编辑]完备化 [编辑]定义 对任一度量空间M，我们可以构造相应的完备度量空间M'（或者表示为），使得原度量空间成为新的完备度量空间的稠密子空间。M'具备以下普适性质：若N为任一完备度量空间，f为任一从M到N的一致连续函数，则存在唯一的从M'到N的一致连续函数f'使得该函数为f的扩展。新构造的完备度量空间M'在等距同构意义下由该性质所唯一决定，称为M的完备化空间。 以上定义是基于M是M'的稠密子空间的概念。我们还可以将完备化空间定义为包含M的最小完备度量空间。可以证明，这样定义的完备化空间存在，唯一（在等距同构意义下），且与上述定义等价。 对于交换环及于其上的模，同样可以定义相对于一个理想的完备性及完备化。详见条目完备化 (环论)。 [编辑]构造 类似于从有理数域出发定义无理数的方法，我们可以通过柯西序列给原空间添加元素使其完备。 对M中的任意两个柯西序列x=(x n) 和y=(y n)，我们可以定义它们间的距离： d(x,y) = lim n d(x n,y n)（实数域完备所以该极限存在）。按此方式定义的度量还只是伪度量，这是因为不同的柯西序列均可收敛到0。但我们可以象很多情况中所做的一样（比如从L p到），将新的度量空间定义为所有柯西序列的集合上的等价类的集合，其中等价类是基于距离为0的关系（易于验证该关系是等价 关系）。这样，令ξx= {y是M上的柯西序列：}，M'={ξx：x ∈ M}，原空间M就以xξx的映射方式嵌入到新的完备度量空间M'中。易于验证，M 等距同构于M'的稠密子空间。 康托法构造实数是该完备化方法的一个特例：实数域是有理数域作为以通常的差的绝对值为距离的度量空间的完备化空间。

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

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

度量空间的可分性与完备性

度量空间的可分性与完备性 在实数空间R 中，有理数处处稠密，且全体有理数是可列的，我们称此性质为实数空间R 的可分性．同时，实数空间R 还具有完备性，即R 中任何基本列必收敛于某实数．现在我们将这些概念推广到一般度量空间． 1.3.1 度量空间的可分性 定义1.3.1 设X 是度量空间，,A B X ?，如果B 中任意点x B ∈的任何邻域(,)O x δ内都含有A 的点，则称A 在B 中稠密．若A B ?，通常称A 是B 的稠密子集． 注1：A 在B 中稠密并不意味着有A B ?．例如有理数在无理数中稠密；有理数也在实数中稠密．无理数在有理数中是稠密的，无理数在实数中也是稠密的，说明任何两个不相等的实数之间必有无限多个有理数也有无限多个无理数． 定理1.3.1 设(,)X d 是度量空间，下列命题等价： (1) A 在B 中稠密； (2) x B ?∈，{}n x A ??，使得lim (,)0n n d x x →∞ =； (3) B A ?（其中A A A '=，A 为A 的闭包，A '为A 的导集(聚点集)）； (4) 任取0δ>，有(,)x A B O x δ∈?．即由以A 中每一点为中心δ为半径的开球组成的集合 覆盖B ． 证明 按照稠密、闭包及聚点等相关定义易得． 定理1.3.2 稠密集的传递性 设X 是度量空间，,,A B C X ?，若A 在B 中稠密，B 在C 中稠密，则A 在C 中稠密． 证明 由定理知B A ?，C B ?，而B 是包含B 的最小闭集，所以B B A ??，于是有C A ?，即A 在C 中稠密．□ 注2：利用维尔特拉斯定理可证得{定理(Weierstrass 多项式逼近定理) 闭区间[,]a b 上的每一个连续函数都可以表示成某一多项式序列的一致收敛极限．} (1)多项式函数集[,]P a b 在连续函数空间[,]C a b 中稠密． 参考其它资料可知：

11 度量空间的定义与极限

第一章 度量空间 若在实数集 R 中点列n x 的极限是x 时，我们使用||n x x -来表示n x 和x 的接近程度，事实上，||n x x -可表示为数轴上n x 和x 这两 点间的距离，那么实数集R 中点列n x 收敛于x 也就是指n x 和x 之间的距离随着n →∞而趋于0，即lim (,)0n n d x x →∞ =． 于是人们就想， 在一般的点集 X 中如果也有“距离” ，那么在点集X 中也可借这一“距离”来定义极限，而究竟什么是“距离”呢？或者说“距离”的本质是什么？ 诗人顾城的一首诗《远和近》对距离的感受又如何呢？ 远和近 你 一会看我 一会看云 我觉得 你看我时很远 你看云时很近 这首诗诗似乎是纯理性的，十分冷静，但细细品味，其中暗暗催动着一股热流：呼唤一种相互理解、相互信任、和谐融洽的人际关系．现实距离和心理距离并不总是一致的．现实距离很远，但心理距离却可能很近，“海内存知己，天涯若比邻”，即是此意．也可能现实距离很近，而心理距离却很远，所谓“咫尺天涯”大概就是指此而言了．那么如何给出距离这一概念？ 1.1 度量空间的定义与极限 1.1.1 度量空间的定义与举例 定义 1.1.1 设X 为一非空集合．若存在二元映射:d X X ?→R ，使得,,x y z X ?∈，均满足以下三个条件： （1）(,)0,d x y ≥且(,)0d x y =当且仅当x y = (非负性 Positivity )； （2）(,)(,)d x y d y x = (对称性 Symmetry )； （3）(,)(,)(,)d x z d x y d y z ≤+ (三角不等式 Triangle inequality )， 则称d 为 X 上的一个距离函数，称(,)X d 为距离空间或度量空间(Metric Spaces)，(,)d x y 称为x 和y 两点间的距离．□ 注1：在不产生误解时，(,)X d 可简记为X ． 下面我们来看一些具体的例子 例 1.1.1 欧氏空间n R ． 设 n R 12{(,,,)|,1,2, ,}n i x x x x R i n =∈=，定义 (,)d x y 其中 12(,,,),n x x x x = 12(,,,)n y y y y =n R ∈，可以验证(,)n R d 是一个度量空间． 在证明之前，引入两个重要的不等式． 引理1.1.1 (许瓦兹(Schwarz)不等式) 任给 2n 个实数1212,,,,,,,n n a a a b b b ，有 1 12222 1 1 1 ()() n n n i i i i i i i a b a b ===≤∑∑∑ (1.1) 证明 任取实数 λ，则由

可测函数空间的完备性

可测函数空间的完备性

可测函数空间的完备性 学生姓名：张权 指导老师：宋儒瑛 （太原师范学院数学系14011班 山西·太原 030012） 【内容提要】 )(X M 是定义在X 上的 Lebesgue 可测 函数全体构成的可测函数空间,若+∞<)(X m ,引入距离 dx x g x f x g x f x g x f d X ? -+-=) ()(1)()())(),((, 则d)(M(X),为度量空间。在本文中，获得一个主要结论：可测函数空间d)(M(X),中,只要每一个Cauchy 函数列 {}∞=1 n n f 依测度收敛于某一可测 函数f ，则这样的空间就是完备的。 【关键词】 可测函数 度量空间 完备性 在定义积分时，对被积函数的一个基本要求是这个函数必须是可测的。所以，可测函数是一类很

广泛的函数。特别是Lebesgue 可测函数更为广泛。我们知道,实数域有一条重要性质,即其中任一满足柯西条件的序列必收敛.这条性质称为实数域的完备性,在数学分析中有重要作用。本文试图对定义在 X 上的 Lebesgue 可测函数全体构成的可测函数空 间M(X)的完备性做进一步的探讨。 一、可测函数空间d)(M(X),与度量空间 设 M(X) 为 X 上实值的可测函数全体， m 为 Lebesgue 测度，若+∞<)(X m 。对任意两个可测函数 f(x)及g(x)，由于1) ()(1) ()(<-+- x g x f x g x f 。故这是X 上的可积函数。 令dx x g x f x g x f x g x f d X ?-+ -=) ()(1)()())(),(( 如果把M(X)中两个几乎 处处相等的函数视为M(X)中同一元；那么d)(M(X),按上述距离))(),((x g x f d 成为度量空间。下面验证一下： ⑴在M(X)中任取f(x)及 g(x)。dx x g x f x g x f x g x f d X ?-+- =) ()(1) ()())(),((≥0显然。若0))(),((=x g x f d ，当且仅当g(x)f(x)=，也是显然的。 ⑵ 因为 ) ()(1)()() ()(1)()(x f x g x f x g x g x f x g x f -+-= -+-，所以

度量空间和线性赋范空间

度量空间和线性赋范空间

1 第六章 度量空间和线性赋范空间 第1次课 教学内容(或课题)： §6.1 度量空间的进一步例子 目的要求： 在复习第二章度量空间基本概念前提下，要求进一步掌握离散度量空间、序列空间、有界函数空间、可测函数空间等. 教学过程： 一 复习第二章度量空间的概念 设X 是个集合，若对于∈?y x ,X ，都有唯一确定的实数()y x d ,与之对应，且满足01 ()y x d ,0≥，()y x d ,=0y x =?;02 ()y x d ,≤()z x d ,+()z y d ,对∈?z y x ,,X 都成立， 则称(X ，d )为度量 空间或距离空间，X 中的元素称为点，条件02称为三点不等式. 欧氏空间n R 对n R 中任意两点()n x x x x ,,,21Λ=和 ()n y y y y ,,,21Λ=，规定距离为 ()y x d ,=()2 1 12??? ??-∑=n i i i y x . []b a C ,空间 []b a C ,表闭区间[]b a ,上实值(或复值)连续函数的全体.对[]b a C ,中任意两点y x ,，定义()y x d ,=()()t y t x b t a -≤≤max . 2 l 空间 记2l ={}? ??? ??∞<=∑∞ =∞ =12 1 k k k k x x x .设{}∞==1k k x x ，{}∞==1k k y y ∈2l ，定义 ()y x d ,=()2 112?? ? ??-∑∞ =i i i y x . 二 度量空间的进一步例子 例1 设X 是任意非空集合，对于∈?y x ,X ，令

13 度量空间的可分性与完备性

1、3 度量空间的可分性与完备性 在实数空间R 中,有理数处处稠密,且全体有理数就是可列的,我们称此性质为实数空间 R 的可分性.同时,实数空间R 还具有完备性,即R 中任何基本列必收敛于某实数.现在我们将 这些概念推广到一般度量空间. 1.3.1 度量空间的可分性 定义 1.3.1 设X 就是度量空间,,A B X ?,如果B 中任意点x B ∈的任何邻域(,)O x δ内都含有A 的点,则称A 在B 中稠密.若A B ?,通常称A 就是B 的稠密子集. 注1:A 在B 中稠密并不意味着有A B ?.例如有理数在无理数中稠密;有理数也在实数中稠密.无理数在有理数中就是稠密的,无理数在实数中也就是稠密的,说明任何两个不相等的实数之间必有无限多个有理数也有无限多个无理数. 定理1.3.1 设(,)X d 就是度量空间,下列命题等价: (1) A 在B 中稠密; (2) x B ?∈,{}n x A ??,使得lim (,)0n n d x x →∞ =; (3) B A ?(其中A A A '=,A 为A 的闭包,A '为A 的导集(聚点集)); (4) 任取0δ>,有(,)x A B O x δ∈?.即由以A 中每一点为中心δ为半径的开球组成的集合覆 盖B . 证明 按照稠密、闭包及聚点等相关定义易得. 定理1.3.2 稠密集的传递性 设X 就是度量空间,,,A B C X ?,若A 在B 中稠密,B 在C 中稠密,则A 在C 中稠密. 证明 由定理1、1知B A ?,C B ?,而B 就是包含B 的最小闭集,所以B B A ??,于就是有C A ?,即A 在C 中稠密.□ 注2:利用维尔特拉斯定理可证得{定理(Weierstrass 多项式逼近定理) 闭区间[,]a b 上的每一个连续函数都可以表示成某一多项式序列的一致收敛极限.} (1)多项式函数集[,]P a b 在连续函数空间[,]C a b 中稠密. 参考其它资料可知: (2)连续函数空间[,]C a b 在有界可测函数集[,]B a b 中稠密. (3)有界可测函数集[,]B a b 在p 次幂可积函数空间[,]p L a b 中稠密(1p ≤<+∞). 利用稠密集的传递性定理1.3.2可得: (4)连续函数空间[,]C a b 在p 次幂可积函数空间[,]p L a b 中稠密(1p ≤<+∞). 因此有[,][,][,][,]p P a b C a b B a b L a b ???. 定义1.3.2 设X 就是度量空间,A X ?,如果存在点列{}n x A ?,且{}n x 在A 中稠密,则称 A 就是可分点集(或称可析点集).当X 本身就是可分点集时,称X 就是可分的度量空间.

距离空间、线性赋范空间、内积空间的理解及其区别

距离空间、线性赋范空间、内积空间的理解 及其区别 从初中开始，我们就接触到了绝对值的概念。在以往学习过的实数域中，绝对值为一个非负的标量，表示某个数到0的长度。而在学完向量的计算后我们知道，绝对值为向量的模，即向量的长度。扩展到现代数学，绝对值不止应用于实数域、向量计算，还适用于点列、函数等，由此也就引出了距离的概念。 设X 是任一集合, ,x y X ?∈，按照一定的法则确定一个函数(),d x y ，这个函数满足定义域X X ?，且满足： 1. 非负性：(),0d x y ≥，且(),=0d x y 的充要条件是x y =； 2. 对称性：()(),=,d x y d y x ； 3. 三角不等式：()()(),,,d x y d x z d z y ≤+，()z X ?∈。 则称X 为一个距离空间，(),d x y 为空间中,x y 之间的距离。 有距离空间的定义可以发现，距离空间中的距离是一个二元函数，他可以简单地理解为x 与y 之间的长度，即(),=d x y x y -。 我们定义距离空间实际上是为了在空间这个概念上定义收敛。若点列{}n x X ∈，x X ∈，则{}n x 收敛于X 可以定义为(),0n d x x →，()n →+∞。 线性空间是具有线性结构的空间，他在空间上定义了加法和数乘运算。这就表示空间中的所有点都可以用一组基通过加法和数乘线性表示出来。转化到图像上就是线性空间可以表示某一点的位置。有一种特殊的线性空间叫做向量空间，向量空间可以表示起始点在原点的向量。若想知道两个向量相加的和向量或者向量数乘之后的向量长度，则需要引入范数的概念。范数可以近似理解为向量的长或者确定点到原点的距离，引入范数的线性空间称作线性赋范空间。定义为： X 为一线性空间，x X ?∈，定义实值函数x 满足： 1. 非负性：0x ≥，且=0=0x x ?； 2. 齐次性：=x x λλ； 3. 三角函数：+x y x y ≤+。 则称x 为X 的范数，X 为线性赋范空间。 对比距离空间和线性赋范空间的定义可以发现，线性赋范空间是在距离空间的基础上增

可测函数空间的完备性

可测函数空间的完备性 部门： xxx 时间： xxx 整理范文，仅供参考，可下载自行编辑

可测函数空间的完备性 学生姓名：张权指导老师：宋儒瑛 <太原师范学院数学系14011班山西·太原 030012） 【内容提要】是定义在上的Lebesgue可测函数全体构成的可测 函数空间,若,引入距离, 则为度量空间。在本文中，获得一个主要结论：可测函数 空间中,只要每一个Cauchy函数列依测度收敛于某 一可测函数，则这样的空间就是完备的。b5E2RGbCAP 【关键词】可测函数度量空间完备性 在定义积分时，对被积函数的一个基本要求是这个函数必须是可测的。所以，可测函数是一类很广泛的函数。特别是Lebesgue可测函数更为广泛。我们知道,实数域有一条重要性质,即其中任一满足柯西条件的序列必收敛.这条性质称为实数域的完备性,在数学分析中有重要作用。本文试图对定义在上的Lebesgue可测函数全体构成的可测函数空间 的完备性做进一步的探讨。p1EanqFDPw 一、可测函数空间与度量空间 设为上实值的可测函数全体，为Lebesgue测度，若 。对任意两个可测函数及，由于。故这 是X上的可积函数。DXDiTa9E3d

令如果把中两个几乎处处相等的 函数视为中同一元；那么按上述距离成为度量空 间。下面验证一下： ⑴在中任取及。≥0显 然。若，当且仅当，也是显然的。 ⑵ 因为，所以。 ⑶ 注意函数<求导大于0）是单调上升的，那么，任取有 从而上的实值Lebesgue可测函数有 由前面知，上式两边均可积分。则 即，。所以，按构成度量空间。 二、可测函数空间的完备性 ⑴ 定义：Cauchy点列或基本点列：

3.1 赋范线性空间和Banach空间

第3章 赋范线性空间 3.1 赋范线性空间和Banach 空间 3.1.1 赋范线性空间 定义3.1.1 (范数，赋范线性空间) 设X 为是实（或：复）数域F 的线性空间，若对x X ?∈，存在一个实数x 于之对应，且满足下列条件： (1) 0≥x ; 且0=x ?=0x ； （非负性 (non-negativity)） (2) αα=x x ，α∈F ； （正齐（次）性 (positive homogeneity)） (3) +≤+x y x y ，,X ∈x y ； （三角不等式(triangle inequality)） 则称x 为x 的范数(norm)，称(,)X ? （或：X ）为赋范线性空间(normed linear space)， 简称赋范空间(normed space). 例3.1.1 空间[,]C a b 是闭区间[,]a b 上的连续函数全体所成的线性空间。对[,]f C a b ?∈，规定 [,] max ()t a b f f t ∈=, (3.1.1) 易证f 是f 的范数，则[,]C a b 按上述范数成为赋范线性空间。 例 3.1.2 设[,]a b L 是闭区间[,]a b 上的Lebesgue 可积函数全体所成的线性空间。对 [,]f a b ?∈L ，规定 ()d b a f f t t =?, (3.1.2) 若将在[,]a b 上满足()()f t g t ?=的两个函数,f g 视为同一个函数，即将在[,]a b 上满足 ()0f t ? =的函数f 视为恒等于零的函数，即0f =，则在[,]a b L 上，f 是f 的范数，从而 [,]a b L 按上述范数成为赋范线性空间。 例 3.1.3 在n 维实向量空间n R 或n 维复向量空间（称为酉空间）n C 中，对 12(,,,)n n x x x x ?=∈R （或n C ），令 12 21n i i x x =??= ??? ∑， (3.1.3)

泛函分析题1.4线性赋范空间答案

泛函分析题1_4线性赋范空间p39 1.4.1 在2维空间 2中，对每一点z = (x, y)，令 || z ||1 = | x | + | y |；|| z ||2 = ( x 2 + y 2 )1/2；|| z ||3 = max(| x |, | y |)；|| z ||4 = ( x 4 + y 4 )1/4； (1) 求证|| · ||i( i = 1, 2, 3, 4 )都是 2的范数． (2) 画出( 2, || · ||i )( i = 1, 2, 3, 4 )各空间中单位球面图形． (3) 在 2中取定三点O = (0, 0)，A = (1, 0)，B= (0, 1)．试在上述四种不同的范数 下求出?OAB三边的长度． 证明：(1) 正定性和齐次性都是明显的，我们只证明三角不等式． 设z = (x, y), w = (u, v)∈ 2，s = z + w= (x + u, y + v )， || z||1 + || w||1 = (| x | + | y |) + (| u | + | v |) = (| x | + | u |) + (| y | + | v |) ≥ | x + u | + | y + v | = || z+ w||1． ( || z||2 + || w||2 )2 = ( ( x 2 + y 2 )1/2 + ( u 2 + v 2 )1/2 )2 = ( x 2 + y 2 ) + ( u 2 + v 2 ) + 2(( x 2 + y 2 )( u 2 + v 2 ))1/2 ≥ ( x 2 + u 2 ) + ( y 2 + v 2 ) + 2( x u+ y v ) = ( x + u )2 + ( y + v)2 = ( || z+ w||2 )2． 故|| z||2 + || w||2 ≥ || z+ w||2． || z||3 + || w||3 = max(| x |, | y |) + max(| u |, | v |) ≥ max(| x | + | u |, | y | + | v |) ≥ max(| x + u |, | y + v |) = || z+ w||3． || ·||4我没辙了，没找到简单的办法验证，权且用我们以前学的Minkowski不等式(离散的情况，用H?lder不等式的离散情况来证明)，可直接得到． (2) 不画图了，大家自己画吧． (3) OA = (1, 0)，OB = (0, 1)，AB = (- 1, 1)，直接计算它们的范数： || OA||1 = 1，|| OB||1 = 1，|| AB||1 = 2； || OA||2 = 1，|| OB||2 = 1，|| AB||2 = 21/2； || OA||3 = 1，|| OB||3 = 1，|| AB||3 = 1； || OA||4 = 1，|| OB||4 = 1，|| AB||4 = 21/4． 1.4.2 设c[0, 1]表示(0, 1]上连续且有界的函数x(t)全体．?x∈c[0, 1]，令 || x || = sup{| x(t) | | 0 < t≤ 1}．求证： (1) || ·||是c[0, 1]空间上的范数． (2) l∞与c[0, 1]的一个子空间是等距同构的． 证明：(1) 正定性和齐次性都是明显的，我们只证明三角不等式． || x || = sup{| x(t) | | 0 < t≤ 1}． || x || + || y || = sup{| x(t) | | 0 < t≤ 1} + sup{| y(t) | | 0 < t≤ 1} ≥ sup{| x(t) + y(t) | 0 < t≤ 1} = || x + y ||． 所以|| ·||是c[0, 1]空间上的范数． (2) 任意取定(0, 1]中的一个单调递减列{a k }，满足 (i) a1 = 1；