度量空间不是赋范空间的例子
- 格式:doc
- 大小:17.53 KB
- 文档页数:1
度量空间和赋范空间的关系无论是度量(distance)还是范数(norm),都是企图将任意的一个集合,通过定义关系,进而降维到我们熟知的实数空间进行研究。
度量空间和赋范空间的关系 1给定一个集合,它本来是无序的,元素之间没有关系,测度(距离)为它定义了2元关系。
对于一个集合的元素,如果定义任意两个元素之间有距离,那么这个集合就是度量空间和赋范空间1之间的关系。
这个距离的具体定义是:距离是一个实函数,它的自变量是集合中的任意两个元素。
那么这个实函数在定义的时候,并没有给出具体的公式,而是给出了实函数满足的性质,也就是•非负性(两个元素相等的时候,距离为0),•对称性,•三角不等式也就这3个性质。
赋范空间范数在线性空间中是确定的,定义的,因为范数的三角不等式需要元素和,和闭包是线性空间的一个重要性质。
首先,赋范线性空间是第一线性空间。
说到线性空间,马上就清楚了,它是定义加法和数乘的集合,而赋范线性空间是定义范数的线性空间。
那么norm是怎么定义的呢?它是一个元素对应的实函数,非负。
元素范数为0的充要条件是元素为0,齐次性和三角不等式。
只要线性空间的元素满足上面的性质的实函数就称为该元素的范数。
我们关注对应的三角不等式是:∣ ∣ x + y ∣ ∣≤ ∣ ∣ x ∣ ∣ + ∣ ∣ y ∣ ∣ ||x+y||\leq||x||+||y|| ∣∣x+y∣∣≤∣∣x∣∣+∣∣y∣∣。
我们比较距离和范数可以发现,距离指的是两个元素之间的关系,而范数指的是一个元素本身的性质。
另外范数的三角不等式中∣ ∣ x + y ∣ ∣ ≤ ∣ ∣ x ∣ ∣ + ∣ ∣ y ∣ ∣ ||x+y||\leq ||x||+||y||∣∣x+y∣∣≤∣∣x∣∣+∣∣y∣∣之所以成立是因为赋范线性空间中定义了两个元素的相加,因此 x + y x+y x+y 是有意义的,但是在度量空间和赋范空间的关系 1中,其没有意义,因为度量空间和赋范空间的关系 1没有定义任意两个元素之间的运算。
泛函分析度量空间知识和不动点的应用第七章度量空间和赋范线性空间知识总结 一、度量空间的例子定义:设X 为一个集合,一个映射d :X ×X →R 。
若对于任何x,y,z 属于X ,有 (I )(正定性)d(x,y )≥0,且d(x,y)=0当且仅当 x = y ; (Ⅱ)(对称性)d(x,y)=d(y,x );(Ⅲ)(三角不等式)d(x,z )≤d(x,y)+d(y,z )则称d 为集合X 的一个度量(或距离)。
称偶对(X ,d )为一个度量空间,或者称X 为一个对于度量d 而言的度量空间。
根据定义引入度量空间有离散的度量空间、序列空间、有界函数空间、可测函数空间、C 【a ,b 】空间、2l 空间,这6个空间是根据度量空间的定义可证它们是度量空间,在后面几节中给出它们相关的性质。
二、度量空间中的极限,抽密集,可分空间: 证明极限有二种方法:1、定义法:设{}n x 是(X ,d )中点列,如果存在x ∈X ,是lim (,)n x d x x →∞=0,则称点列{}n x是(X ,d )中的收敛点列,x 是点列{}n x 的极限。
2、M 是闭集是充要条件是M 中任何收敛点列的极限都在M 中。
即若n x M ∈,n=1、,2……,n x x →,则x M ∈。
给出n 维欧氏空间、C[a,b]序列空间、可测函数空间中点列收敛的具体意义,由这些系列例子可以看到,尽管在各个具体空间中各种极限概念不完全一致,所以我们引入度量空间中的稠密子集和可分空间的概念,根据定义可得出n 维欧氏空间nR 是可分空间,坐标为有理数的全体是nR 的可数稠密集,离散度量空间X 可分的充要条件为X 是可数集。
l ∞是不可分空间。
三、连续映射证明度量空间的连续映射有四种方法:1、定义法:设X=(X ,d ),Y=(Y ,d )是两个度量空间,T 是X 到Y 中的映射,0x X ∈,如果对于任意给定的正数ε,存在正数δ0,使对X 中一切满足d (x ,0x )δ 的x ,有(,)d Tx Tx ε ,则称T 在0x 连续。
设E 是集合,若映射:[0,)d E E R +×=+∞ 满足下述性质: M1:(,)0d x y x y =⇔= M2:(,)(,)d x y d y x = M3:(,)(,)(,)d x y d x z d z y ≤+则称映射d 是E 上的度量(metric),(,)d x y 称为点x ,y 间的距离(distance),(,)E d 称为度量空间(Metric space)[例1] 在实线R 上,映射(,)||x y x y →−是通常的度量 [例2] 设G 是一个(加法)交换群,映射:p G R + 满足:()00;()();()()()p x x p x p x p x y p x p y =⇔=−=+≤+则映射(,)()d x y p x y =−是G 上的度量 比如,12{(,,...,):}n n i R x x x x x R ==∈,1/1()(||),1nq q i i p x x q ==≥∑满足上述三个性质,因此1/1(,)()(||),1nq q i i i d x y p x y x y q ==−=−≥∑是n R 上的度量。
[例3] 离散度量:E 是一任意集合,(,)0;(,)1d x y if x y d x y if x y ===≠[距离空间的积]设{(,):1,2,...,}i i E d i n =是一簇度量空间,令积空间112(...)n i i n E E E E E ==×=×××,则(1)1/1(,)(,),1qnqq i i i i d x y d x y q =⎛⎞=≥⎜⎟⎝⎠∑(2)(,)sup (,)i i i i d x y d x y ∞= 均为积空间E 上的度量 [度量的等价性]设,d d ′是集合E 上的两个度量,如果存在常数12,0c c >使得1212(,)(,)(,),(,)()c d x y d x y c d x y x y E Ec d d c d ′≤≤∀∈×′≤≤则称,d d ′是等价的,记作d d ′∼[例4] 在积空间1n i i E E ==×中,不难验证:1/,1q q d d n d q ∞∞≤≤≥因此,{:[1,]}q d q ∈∞是E 上的一簇等价度量。
泛函分析第2章度量空间与赋范线性空间泛函分析是数学中的一个重要分支,研究函数空间上的函数和运算的性质。
在泛函分析中,度量空间和赋范线性空间是两个基本的概念。
本文将介绍这两个概念以及它们的性质。
度量空间是一个集合X,其中定义了一个度量函数d:X×X→R,满足以下条件:1.非负性:对于任意的x,y∈X,有d(x,y)≥0,且当且仅当x=y时,d(x,y)=0;2.对称性:对于任意的x,y∈X,有d(x,y)=d(y,x);3.三角不等式:对于任意的x,y,z∈X,有d(x,y)≤d(x,z)+d(z,y)。
度量函数d可以看作是度量空间X中点之间的距离,由其性质可以推导出许多重要结论。
例如,由三角不等式的性质可以得出X中点列的收敛性质,即对于度量空间X中的点列{x_n},如果存在x∈X,使得对于任意的ε>0,存在正整数N,当n≥N时,有d(x_n,x)<ε,那么称{x_n}收敛于x。
赋范线性空间是一个向量空间V,其中定义了一个范数函数∥·∥:V→R,满足以下条件:1.非负性:对于任意的x∈V,有∥x∥≥0,且当且仅当x=0时,∥x∥=0;2. 齐次性:对于任意的x∈V和实数a,有∥ax∥=,a,∥x∥;3.三角不等式:对于任意的x,y∈V,有∥x+y∥≤∥x∥+∥y∥。
范数函数∥·∥可以看作是赋范线性空间V中向量的长度或大小,具有度量空间的部分性质,如非负性和齐次性。
范数函数还满足一条重要的性质,即∥x+y∥≥,∥x∥-∥y∥,这被称为三角不等式强化定理。
度量空间和赋范线性空间都具有一些不同的性质和概念。
例如,度量空间中存在序列的收敛性质,而赋范线性空间中存在序列的收敛性质以及序列的Cauchy性质。
同时,度量空间和赋范线性空间都可以构建拓扑结构,使其成为一个拓扑空间。
在拓扑空间中,点列的收敛性质和序列的Cauchy性质是等价的。
此外,度量空间和赋范线性空间都是完备的,即满足序列的Cauchy 性质的序列都收敛于空间中的一些点。
泛函分析知识总结泛函分析知识总结与举例、应⽤学习泛函分析主要学习了五⼤主要内容:⼀、度量空间和赋范线性空间;⼆、有界线性算⼦和连续线性泛函;三、内积空间和希尔伯特空间;四、巴拿赫空间中的基本定理;五、线性算⼦的谱。
本⽂主要对前⾯两⼤内容进⾏总结、举例、应⽤。
⼀、度量空间和赋范线性空间(⼀)度量空间度量空间在泛函分析中是最基本的概念,它是n 维欧⽒空间n R (有限维空间)的推⼴,所以学好它有助于后⾯知识的学习和理解。
1.度量定义:设X 是⼀个集合,若对于X 中任意两个元素x ,y,都有唯⼀确定的实数d(x,y)与之对应,⽽且这⼀对应关系满⾜下列条件: 1°d(x,y)≥0 ,d(x,y)=0 ? x=y (⾮负性) 2°d(x,y)= d(y,x) (对称性)3°对?z ,都有d(x,y)≤d(x,z)+d(z,y) (三点不等式)则称d(x,y)是x 、y 之间的度量或距离(matric 或distance ),称为(X,d)度量空间或距离空间(metric space )。
(这个定义是证明度量空间常⽤的⽅法)注意:⑴定义在X 中任意两个元素x ,y 确定的实数d(x,y),只要满⾜1°、2°、3°都称为度量。
这⾥“度量”这个名称已由现实⽣活中的意义引申到⼀般情况,它⽤来描述X 中两个事物接近的程度,⽽条件1°、2°、3°被认为是作为⼀个度量所必须满⾜的最本质的性质。
⑵度量空间中由集合X 和度量函数d 所组成,在同⼀个集合X 上若有两个不同的度量函数1d 和2d ,则我们认为(X, 1d )和(X, 2d )是两个不同的度量空间。
⑶集合X 不⼀定是数集,也不⼀定是代数结构。
为直观起见,今后称度量空间(X,d)中的元素为“点” ,例如若x X ∈,则称为“X 中的点” 。
⑷在称呼度量空间(X,d)时可以省略度量函数d ,⽽称“度量空间X ” 。
泛函分析知识总结与举例、应用学习泛函分析主要学习了五大主要内容:一、度量空间和赋范线性空间;二、有界线性算子和连续线性泛函;三、内积空间和希尔伯特空间;四、巴拿赫空间中的基本定理;五、线性算子的谱。
本文主要对前面两大内容进行总结、举例、应用。
一、 度量空间和赋范线性空间(一)度量空间度量空间在泛函分析中是最基本的概念,它是n 维欧氏空间n R (有限维空间)的推 广,所以学好它有助于后面知识的学习和理解。
1.度量定义:设X 是一个集合,若对于X 中任意两个元素x ,y,都有唯一确定的实数d(x,y)与之对应,而且这一对应关系满足下列条件:1°d(x,y)≥0 ,d(x,y)=0 ⇔ x=y (非负性)2°d(x,y)= d(y,x) (对称性)3°对∀z ,都有d(x,y)≤d(x,z)+d(z,y) (三点不等式)则称d(x,y)是x 、y 之间的度量或距离(matric 或distance ),称为(X,d)度量空间或距离空间(metric space )。
(这个定义是证明度量空间常用的方法)注意:⑴ 定义在X 中任意两个元素x ,y 确定的实数d(x,y),只要满足1°、2°、3°都称为度量。
这里“度量”这个名称已由现实生活中的意义引申到一般情况,它用来描述X 中两个事物接近的程度,而条件1°、2°、3°被认为是作为一个度量所必须满足的最本质的性质。
⑵ 度量空间中由集合X 和度量函数d 所组成,在同一个集合X 上若有两个不同的度量函数1d 和2d ,则我们认为(X, 1d )和(X, 2d )是两个不同的度量空间。
⑶ 集合X 不一定是数集,也不一定是代数结构。
为直观起见,今后称度量空间(X,d)中的元素为“点” ,例如若x X ∈,则称为“X 中的点” 。
⑷ 在称呼度量空间(X,d)时可以省略度量函数d ,而称“度量空间X ” 。
泛函分析知识总结与举例、应用学习泛函分析主要学习了五大主要内容:一、度量空间和赋范线性空间;二、有界线性算子和连续线性泛函;三、内积空间和希尔伯特空间;四、巴拿赫空间中的基本定理;五、线性算子的谱。
本文主要对前面两大内容进行总结、举例、应用。
一、 度量空间和赋范线性空间(一)度量空间度量空间在泛函分析中是最基本的概念,它是n 维欧氏空间n R (有限维空间)的推 广,所以学好它有助于后面知识的学习和理解。
1.度量定义:设X 是一个集合,若对于X 中任意两个元素x ,y,都有唯一确定的实数d(x,y)与之对应,而且这一对应关系满足下列条件:1°d(x,y)≥0 ,d(x,y)=0 ⇔ x=y (非负性)2°d(x,y)= d(y,x) (对称性)3°对∀z ,都有d(x,y)≤d(x,z)+d(z,y) (三点不等式)则称d(x,y)是x 、y 之间的度量或距离(matric 或distance ),称为(X,d)度量空间或距离空间(metric space )。
(这个定义是证明度量空间常用的方法)注意:⑴ 定义在X 中任意两个元素x ,y 确定的实数d(x,y),只要满足1°、2°、3°都称为度量。
这里“度量”这个名称已由现实生活中的意义引申到一般情况,它用来描述X 中两个事物接近的程度,而条件1°、2°、3°被认为是作为一个度量所必须满足的最本质的性质。
⑵ 度量空间中由集合X 和度量函数d 所组成,在同一个集合X 上若有两个不同的度量函数1d 和2d ,则我们认为(X, 1d )和(X, 2d )是两个不同的度量空间。
⑶ 集合X 不一定是数集,也不一定是代数结构。
为直观起见,今后称度量空间(X,d)中的元素为“点” ,例如若x X ∈,则称为“X 中的点” 。
⑷ 在称呼度量空间(X,d)时可以省略度量函数d ,而称“度量空间X ” 。
泛函分析知识点 SANY GROUP system office room 【SANYUA16H-泛函分析知识点知识体系概述(一)、度量空间和赋范线性空间第一节度量空间的进一步例子1.距离空间的定义:设X是非空集合,若存在一个映射d:X×X→R,使得∀x,y,z∈X,下列距离公理成立:(1)非负性:d(x,y)≥0,d(x,y)=0⇔x=y;(2)对称性:d(x,y)=d(y,x);(3)三角不等式:d(x,y)≤d(x,z)+d(z,y);则称d(x,y)为x与y的距离,X为以d为距离的距离空间,记作(X,d)2.几类空间例1离散的度量空间例2序列空间S例3有界函数空间B(A)例4可测函数空M(X)例5C[a,b]空间即连续函数空间例6l2第二节度量空间中的极限,稠密集,可分空间1.开球定义设(X,d)为度量空间,d是距离,定义U(x0,ε)={x∈X|d(x,x0)<ε}为x0的以ε为半径的开球,亦称为x0的ε一领域.2. 极限定义若{x n }⊂X,∃x ∈X,s.t.()lim ,0n n d x x →∞=则称x 是点列{x n }的极限. 3. 有界集定义若()(),sup ,x y Ad A d x y ∀∈=<∞,则称A 有界4. 稠密集定义设X 是度量空间,E 和M 是X 中两个子集,令M 表示M 的闭包,如果E M ⊂,那么称集M 在集E 中稠密,当E=X 时称M 为X 的一个稠密集。
5. 可分空间定义如果X 有一个可数的稠密子集,则称X 是可分空间。
第三节连续映射1.定义设X=(X,d),Y=(Y,~d )是两个度量空间,T 是X 到Y 中映射,x0X ∈,如果对于任意给定的正数ε,存在正数0δ>,使对X 中一切满足()0,d x x δ< 的x ,有()~0,d Tx Tx ε<,则称T 在0x 连续.2.定理1设T 是度量空间(X,d )到度量空间~Y,d ⎛⎫ ⎪⎝⎭中的映射,那么T 在0x X ∈连续的充要条件为当()0n x x n →→∞时,必有()0n Tx Tx n →→∞3.定理2度量空间X 到Y 中的映射T 是X 上连续映射的充要条件为Y 中任意开集M 的原像1T M -是X 中的开集.第四节柯西(cauchy )点列和完备度量空间1.定义设X=(X,d)是度量空间,{}n x 是X 中点列,如果对任意给定的正数0ε>,存在正整数()N N ε=,使当n,m>N 时,必有(),n m d x x ε<,则称{}n x 是X 中的柯西点列或基本点列。
度量空间和线性赋范空间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 ,=()2112⎪⎭⎫⎝⎛-∑=ni i i y x .[]b a C ,空间 []b a C ,表闭区间[]b a ,上实值(或复值)连续函数的全体.对[]b a C ,中任意两点y x ,,定义()y x d ,=()()t y t x bt a -≤≤max .2l 空间 记2l ={}⎭⎬⎫⎩⎨⎧∞<=∑∞=∞=121k k k k x x x .设{}∞==1k k x x ,{}∞==1k k y y ∈2l ,定义 ()y x d ,=()2112⎪⎭⎫⎝⎛-∑∞=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 ,=∑∞=121k kk k k k y x y x -+-1. 显然右边的级数总是收敛的. 易知()y x d ,0≥,且()y x d ,=0y x =⇔. 即()y x d ,满足条件01.对C b a ∈∀,,先证≤+++ba b a 1aa +1+bb +1.实因令 ()ttt f +=1 (+∞<≤t 0),则因为()2)1(1t t f +='0>,所以函数 ()ttt f +=1 在[)+∞,0上单调递增. 又因为 b a b a +≤+,所以有≤+++ba b a 1b a b a +++1=b a a ++1+b a b ++1≤a a +1+bb+1. 再令 {}∞==1k k z z ,k k z x a -=,k k y z b -=,则 k k y x b a -=+. 由上述已证的不等式,得kk k k y x y x -+-1≤kk k k z x z x -+-1+kk 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 At -∈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 At -∈sup +()()t y t z At -∈sup所以 ()()t y t x At -∈sup ≤()()t z t x At -∈sup +()()t y t z At -∈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 ,=()()()()⎰-+-Xdm 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 gh h f h f 11=⎰-+-Xdm hf h f 1+⎰-+-Xdm gh 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.利用xx+1 当0≥x 时的递增性.第2次课教学内容(或课题): §6.2(1) 度量空间中的极限目的要求: 掌握一般的度量空间中的邻域、内点、外点、界点、导集、闭包、开集、闭集、收敛点列等概念,认识具体空间中点列收敛的具体意义. 教学过程:设()d X ,为度量空间,d 是距离,定义 ()ε,0x B =(){}ε<∈0,x x d X x 为0x 的以ε为半径的开球,亦称为0x 的ε邻域.例1 设()d X ,是离散的度量空间,d 是距离,则5()ε,0x B ={}⎩⎨⎧>≤<1,;10,0εε当当X x仿§2.2-§2.3,设E 是度量空间()d X ,中的一个子集,0x 是X 中一点若存在0x 的某一邻域()0x U ,s.t. ()0x U ⊂E ,则称0x 为E 的内点. 若0x 是CE 的内点,则称0x 为E 的外点. 若∀()0x U 内既有E 的点又有非E 的点,则称0x 为E 的边界点. 若∀()0x U 内都含有无穷多个属于E 的点,则称0x 为E 的聚点. E 的全体聚点所成集合称为E 的导集,记为E '. E Y E '称为E 的闭包,记为E . 若E 的每一点都是E 的内点,则称E 为开集. 若E '⊂E ,则称E 为闭集.例2在欧氏空间1R 中,记A 为全体有理数点的集合,B 为全体无理数点的集合.则集合A 及B 均无内点,均无外点; ∈∀x 1R 既是A 又是B 的界点,既是A 又是B 的聚点; 1R 既是A 又是B 的导集,既是A 又是B 的闭包; A 、B 既非开集又非闭集. 若如同例1,将集合1R 离散化,则∈∀x A 都是A 的内点,∈∀y B 都是B 的内点,因此A 、B 在离散空间中均为开集; A 、B 均无界点; A 之外点集合为B ,B 之外点集合为A ; A 、B 均无聚点,因此Φ='A ,Φ='B ,A A '⊃,B B '⊃,故A 、B 均为闭集.设{}∞=1n n x 是()d X ,中点列,若X x ∈∃,s.t.()0,lim =∞→x x d n n (*)则称{}∞=1n n x 是收敛点列,x 是点列{}∞=1n n x 的极限.6收敛点列的极限是唯一的. 实因若设n x 既牧敛于x 又收敛y ,则因为()()()0,,,0→+≤≤n n x y d x x d y x d ()∞→n ,而有 ()y x d ,=0. 所以x =y .附注 (*)式换个表达方式:()x x d n n ,lim ∞→=()x x d n n ,lim ∞→. 即当点列极限存在时,距离运算与极限运算可以换序. 更一般地有 距离()y x d ,是x 和y 的连续函数.证明 ()y x d ,≤()0,x x d +()00,y x d +()y y d ,0 ⇒()y x d ,-()00,y x d ≤()0,x x d +()y y d ,0;()00,y x d ≤()x x d ,0+()y x d ,+()0,y y d ⇒()00,y x d -()y x d ,≤()0,x x d +()y y d ,0. 所以|()y x d ,-()00,y x d |≤()0,x x d +()y y d ,0 例3(P 205.1) 设()d X ,为一度量空间,令()ε,0x B =(){}ε<∈0,,x x d X x x , ()ε,0x S =(){}ε≤∈0,,x x d X x x . 问()ε,0x B =()ε,0x S ?答 在n R 空间中,必有()ε,0x B =()ε,0x S . 在离散度量空间()d X ,中,当1=ε时,()ε,0x B ={}0x ,()ε,0x S =X ,此时()ε,0x B ≠()ε,0x S . 毕.设M 是度量空间()d X ,中的点集,定义. ()M δ=()y x d My x ,sup ,∈为点集M 的直径. 若()M δ=()y x d My x ,sup ,∈∞<,则称M 为()d X ,中的有7界集(等价于固定0x ,M x ∈∀,()B x x d ≤0,,B 为某正数,则为有界集).()d X ,中的收敛点列{}∞=1n n x 是有界集. 实因,设=∞→n n x lim0x ,则数列(){}0,x x d n 收敛于0,故00>∃M ,s.t.N ∈∀n 有()00,M x x d n ≤. 所以m n ,∀∈N ,有 ()≤m n x x d ,()0,x x d + ()m x x d ,002M ≤.()d X ,中的闭集可以用点列极限来定义: M 为闭集 ⇔ M 中任何收敛点列的极限都在M 中,即若∈n x M ,Λ,2,1=n ,x x n →,则∈x M .具体空间中点列收敛的具体意义:1. 欧氏空间n R m x =()()()()m n m m x x x ,,,21Λ,Λ,2,1=m ,为n R 中的点列,x =()n x x x ,,,21Λ∈n R ,()x x d m ,=()()()()()()2222211nm n m m x x x x x x -++-+-Λ. x x m →()∞→m ⇔ 对每个n i ≤≤1,有 ()i m i x x → ()∞→m .2. []b a C , 设{}⊂∞=1n n x []b a C ,,∈x []b a C ,,则()x x d n ,=()()0max →-≤≤t x t x n bt a ()∞→n ⇔ {}∞=1n n x 在[]b a ,一致收敛于()t x .3. 序列空间S 设m x =()()()()ΛΛ,,,,21m n m m ξξξ,Λ,2,1=m ,及x =()ΛΛ,,,,21n ξξξ分别是S 中的点列及点,则8()()()∑∞=→-+-=10121,k k m kkm k k m x x d ξξξξ ()∞→m ⇔ m x 依坐标收敛于x . 实因,若对每个k 有()k m kξξ→()∞→m ,则因∑∞=121k k收敛,所以N ∈∃m ,s.t. 221ε<∑∞=m k k. 因为对每个1,,2,1-=m k Λ,存在N ∈k N ,s.t.当k N n >时()k n k ξξ-2ε<. 令{}121,,,m ax -=m N N N N Λ,当N n >时,成立∑-=1121m k k ()()k n k k n k ξξξξ-+-1<∑-=1121m k k 212εε+<2ε. 所以当N n >时,成立()x x d n ,=∑-=1121m k k ()()k n k k n k ξξξξ-+-1+∑∞=m k k 21()()k n k k n k ξξξξ-+-1<2ε+2ε=ε.所以x x n →()∞→n反之,若x x n →()∞→n ,即()x x d n ,=∑∞=121k k ()()k n k k n k ξξξξ-+-10→()∞→n .又因为N ∈∀k ,有()()kn k kn k ξξξξ-+-1k 2≤()x x d n ,,所以当∞→n 时,()()kn k kn k ξξξξ-+-1→0所以0>∀ε,N ∈∃N ,s.t. 当N n >时,成立()()kn k kn k ξξξξ-+-1<εε+1. 所以()k n k ξξ-ε<. 所以N ∈∀k ,有()k n k ξξ→()∞→n .4. 可测函数空间()X M 设{}∞=1n n f ⊂()X M ,f ⊂()X M ,则9因()f f d n ,=()()()()⎰-+-Xn n dm t f t f t f t f 1,有 f f n → ⇔ f f n ⇒. 实因,若f f n ⇒,则0>∀σ,有[]()σ≥-f f X m n 0→ ()∞→n . 0>∀ε(不妨设()X m 2<ε),取()220εεσ-<<X m ,则()21εσσ<+X m . 今对这样取定的ε及σ,因f f n ⇒,故N ∈∃N ,s.t. 当N n >时,成立[]()σ≥-f f X m n 2ε<. 所以 ()f f d n ,=()()()()[]⎰≥--+-σf f X n n n dm t f t f t f t f 1+()()()()[]⎰<--+-σf f X n n n dm t f t f t f t f 1≤[]()σ≥-f f X m n 1⋅+()21εσσ<+X m +2ε=ε. 所以()f f d n ,0→()∞→n . 所以f f n →()∞→n .反之,若f f n →()∞→n ,即()f f d n ,0→()∞→n . 对0>∀σ,由于[]()≤≥-+σσσf f X m n 1()()()()[]⎰≥--+-σf f X n n n dm t f t f t f t f 1≤()f f d n ,.所以[]()0lim =≥-∞→σf f X m n n ,即f f n ⇒.以上各种极限概念不完全一致(依坐标收敛,一致收敛,依测度收敛),引进距离概念之后,都可以统一在度量空间的极限概念之中. 作业 P 205. 5.作业提示 均匀收敛即一致收敛. 证明大意如同“序列空间S ”,并利用 ()()()()()()()()t ft f t f t f r r n r r n bt a -+-≤≤1max=()()()()()()()()t f t f t f t f nax r r nbt a r r n bt a -+-≤≤≤≤max 1.第3次课教学内容(或课题): §6.2(2) 度量空间中的稠密集 可分空间目的要求: 掌握度量空间中的稠密集和可分空间的概念,能正确使用这两个概念. 教学过程:Th 设B 是度量空间X 的一个子集,则集合(){}ε<∈∈=y x d B y X x x O ,,,是个开集,且B ⊂O .证明 设∀0x ∈O ,则∃0y ∈B ,s.t. ()00,y x d <ε. 所以0x ∈()ε,0y U ⊂O . ()δ,0x U x ∈∀,其中εδ<<0-()00,y x d ,则()0,y x d <(ε-()00,y x d )+()00,y x d =ε. 所以()δ,0x U ⊂()ε,0y U ⊂O .所以∀0x 是O 之内点. 所以O 是开集.又证 以B 中每一点为心作半径ε的邻域,所有这些邻域的并集就是集合O .每个邻域都是开集,任意个开集之并仍为开集,故O 为开集. 至于B ⊂O 是很显然的. 证毕.附注 当0→ε时,得到是B 之闭包未必是B . 例如B =⎭⎬⎫⎩⎨⎧n 1⊂1R . O =Y ∞=⎪⎭⎫ ⎝⎛11,1n k n U ⊃⎪⎭⎫ ⎝⎛+k k U 1,11=()()⎪⎪⎭⎫ ⎝⎛+++-112,11k k k k k ⊃{}0,但∉0B . P 205.6. 设B ⊂[]b a ,,证明度量空间C []b a ,中的集(){}0,=∈t f B t f 时当为C []b a ,中的闭集,而集(){}()0,><∈=a at f B t f A 时当为开集 ⇔ B 为闭集.证明 设(){}∞=1n n t f ⊂(){}0,=∈t f B t f 时当且在[]b a C ,中()()t f t f n →.则当B t ∈时,对N ∈∀n ,有()t f n =0. 令∞→n ,得Bt ∈时,()0=t f . 所以()∈t f (){}0,=∈t f B t f 时当. 所以(){}0,=∈t f B t f 时当是闭集.“⇐” 设B 为闭集,()t f 0∈A ,则 ()a t f <0(当B t ∈). 因()t f 0在B 连续,所以()t f 0≤Bt ∈max ()t f 0a <(当B t ∈). 取ε:0<ε<a -Bt ∈max ()t f 0,则对()t f ∀∈()ε,0f U ,有()()t f t f 0-≤[]b a t ,max ∈()()t f t f 0-<ε. 所以()t f <()t f 0+ε. 所以当B t ∈()t f ≤()t f 0+ε<Bt ∈max ()t f 0+(a -Bt ∈max ()t f 0)=a所以()ε,0f U ⊂A . 所以A 为开集.“⇒” 设A 为开集. 设{}∞=1n n t ⊂B ,0t t n →且0t B ∉. 取点()t f :()t f ∈A =(){}a t f B t f <∈时,当,则()n t f <a ,令∞→n 得,()a t f ≤0.因为0t B ∉,故只有()a t f =0. 不妨设()0t f =a (()0t f =-a 时同法可证之). 因为A 为开集,所以00>∃ε,s.t.()0,εf U ⊂A =(){}a t f B t f <∈时,当.:ε∀00εε<<,因为()()()0εεε<=+t f t f d ,,所以点()t f +ε∈()0,εf U ⊂A . 因为()n n t f ∞→lim =()0t f ,所以对上述0>ε且0εε<,存在N t ∈B ,s.t.()()ε<-0t f t f N , 所以()0t f -ε<()N t f . 所以()N t f +ε>()0t f =a .但由方框,应有()ε+N x f <a ,与()N t f +ε>()0t f =a 相互矛盾. 这就证明了B B '⊃. 故B 为闭集. 证毕.Def 1 设X 是度量空间,N 和M 是X 的两个子集,令M 表示M 的闭包,若N ⊂M ,则称集M 在集N 中稠密,当N =X 时,称M 为X 的一个稠密子集. 若X 有一个可列的稠密子集,则称X 是可分空间.例1 n 维欧氏空间n R 是可分空间. 事实上,座标为有理数的点的全体是n R 的可列稠密子集.设M 是闭区间[]b a ,全体有理数集合,N 是[]b a ,全体无理数集合. 在1R 中,因为M ⊂N ,N ⊂M ,所以N 在M 中稠,M 在N 中稠. 因为[]b a ,⊂M ,[]b a ,⊂N ,所以M 和N 都在[]b a ,中稠密. 若X =[]b a ,视为1R 的子空间,则X 是可分空间.例2 离散距离空间X 可分 ⇔ X 是可列集.实因在X 中没有稠密的真子集(因X 中任何一个真子集的闭集还是这个真子集本身),所以X 中唯一的稠密子集只有X 本身,因此X 可分的充要条件为X 是可列集.例3 令∞l 表示有界实(或复)数列全体. 对∞l 中()Λ,,21ξξ=∀x ,y =()Λ,,21ηη,定义()y x d ,=k k kηξ-sup .显然()y x d ,≥0 且()y x d ,=0 ⇔ k k kηξ-sup =0 ⇔ 对N ∈∀k ,都有k k ηξ-=0 ⇔ 对N ∈∀k ,都有k k ηξ= ⇔ y x =. 其次设z ∀=()Λ,,21ςς∈∞l . 因为N ∈∀k ,都有k k ηξ-≤k k ςξ-+kk ςη-≤k k kςξ-sup +k k kςη-sup . 所以k k kηξ-sup ≤k k kςξ-sup +k k kςη-sup .即()y x d ,≤()z x d ,+()z y d ,. 所以∞l 按()y x d ,成为度量空间. 往证∞l 是不可分空间.令M 表示∞l 中坐标k ξ取值为0或1的点()Λ,,21ξξ=x 的全体,则M 与二进位小数一一对应,所以M 有连续统的基数,对M 中任意的两个不同点y x ,,有()y x d ,=1. 若∞l 可分,则∞l 中存在可列稠密子集,设为{}∞=1k k z . 对M 中每一点x ,作球⎪⎭⎫ ⎝⎛31,x B ,则⎭⎬⎫⎩⎨⎧∈⎪⎭⎫ ⎝⎛M x x B 31,是一族的两两不相交的球,总数有不可列个. 但由于{}∞=1k k z 在∞l 中稠密,所以每个⎪⎭⎫ ⎝⎛31,x B 中至少含有{}∞=1k k z 中的一点,这与{}∞=1k k z 是可列集矛盾. 证毕.作业: P 205. 3.7.8.9.作业解答: 3. 令n O =()⎭⎬⎫⎩⎨⎧<∈∈n y x d B y X x x 1,,,,则n O 是开集且n O B ⊃. 因为n O ↓,所以n n O ∞→lim =I ∞=1n n O . 因B 是闭集,所以n n O ∞→lim =B ,即I ∞=1n n O =B .7. 取ε:0<ε<()F E d ,31. 作开集 O =(){}ε<∈a x d E a x ,, 和G =(){}ε<∈b y d F b y ,,,则O ⊃E ,G ⊃F . 又∀a ∈E ,∀b ∈F ,∀x ∈O ,∀y ∈G ,有 ()b a d ,≤()x a d ,+()y x d ,+()b y d ,. 所以()y x d ,≥()b a d ,-()x a d ,-()b y d ,≥()F E d ,-()F E d ,31-()F E d ,31=()F E d ,31>0. 所以x ≠y . 所以O 与G 必不相交. 又证不相交 若c ∈O I G ,则存在()ε,a U 和()ε,b U ,a ∈E ,b ∈F ,s.t.c ∈()ε,a U I ()ε,b U . 于是 0<()F Ed ,≤()b a d ,≤()c a d ,+()b c d ,<ε+ε<32()F E d ,. 矛盾. 所以 O I G =Φ.8. ∀x ∈[]b a ,,令()t f x =[]{}⎩⎨⎧-∈=x b a t xt ,,0,1 则集合M =()[]{}b a x t f x ,∈含有不可数个元素()t f x ,M ⊂B []b a ,,∀()t f x 、()t f y ∈M 且x ≠y 时,()y x f f d ,=1. 若[]b a B ,可分,则[]b a B ,中存在可列的稠密子集,记为(){}t f n . 对M 中每一点()t f x ,作球()⎪⎭⎫ ⎝⎛31,t f B x ,则()()⎭⎬⎫⎩⎨⎧∈⎪⎭⎫⎝⎛M t f t f B x x 31,是一族两两不相交的球,总数有不可列个.但由于(){}t f n 在[]b a B ,中稠密,所以每个()⎪⎭⎫ ⎝⎛31,t f B x 中至少含有(){}t f n 中的点,这与(){}t f n 是可列集矛盾. 故[]b a B ,不可分.9. 因为X 可分,所以存在稠密子集B ={}Λ,,21x x . 对于每个O x ∈.存在()r x U ,⊂O . 因为B 在X 中稠密,所以可在⎪⎭⎫⎝⎛4,r x U 中取出B 中一点k x . 取有理数r ':24rr r <'<,所以x ∈()r x U k ',⊂()r x U ,⊂O ,且所有()r x U k ',至多可列个,包含它的开集O 至多可选出可列个. 证毕.第4次课教学内容(或课题): §6.3 连续映照目的要求: 掌握连续映照概念,掌握连续映照的充要条件,学会使用连续映照概念和连续映照充要条件处理与连续映照的实际问题.教学过程:Def 1 设X =()d X ,,Y =()d Y ~,是两个度量空间,T 是X 到Y 中的映照:X =()d X ,T → Y =()d Y ~,. 0x ∈X ,若∀ε>0,∃δ>0,s.t.∀x ∈X 且()0,x x d <δ,都有()0,~Tx Tx d <ε,则称T 在0x 连续: 用邻域来描述T 在0x 连续:对0Tx 的每一个ε-邻域N ,必存在0x 的某个δ-邻域0N ,s.t. 0TN ⊂N (0TN 表0N 在T 作用之下的像集). 也可以用极限来定义映照的连续性,基于Th 1 设T 是度量空间()d X ,到度量空间()d Y ~,中的映照:()d X ,T→()dY ~,, 则T 在0x 连续 ⇔ 当n x →0x 时,必有n Tx →0Tx . 证明 “⇒” 设T 在0x 连续,则∀ε>0,∃δ>0,s.t. ∀x ∈X且()0,x x d <δ,都有()0,~Tx Tx d <ε. 因为n x →0x ,所以∃N ∈N ,s.t.当n >N 时,有()0,x x d n <δ. 所以()0,Tx Tx d n <ε. 所以n Tx →0Tx . “⇐” 反证法. 若T 在0x 不连续,则∃0ε>0,s.t. ∀δ>0,∃x ≠0x ,虽然()0,x x d <δ,但是()0,~Tx Tx d ≥0ε. 特别取δ=n1,则有n x ,s.t.当()0,x x d <n1时,有()0,~Tx Tx d n ≥0ε. 即n x →0x 时,有n Tx 不→0Tx . 与假设矛盾.证毕.若映照T 在X 的每一点都连续,则称T 是X 上的连续映照. 称集合{}M Tx X x x ∈∈,(M ⊂Y )为集合M 在映照T 下的原像.简记为M T 1-.用开集刻划连续映照,就是Th 2 度量空间X 到Y 中的映照T 是X 上的连续映照 ⇔ 任意开集M ⊂Y ,M T 1-是X 中的开集.证明 “⇒” 设T 是连续映照,M ⊂Y 是Y 中开集. 若M T 1-=Φ,则M T 1-是X 中开集. 若M T 1-≠Φ,则0x ∀∈M T 1-,令0y =0Tx ,则0y ∈M . 由于M 是开集,所以存在邻域()ε,0y N ⊂M . 由T 的连续性,存在邻域()δ.0x N ,s.t. T ()δ.0x N ⊂()ε,0y N ⊂M . 从而 ()δ.0x N ⊂1-T ()ε,0y N ⊂M T 1-. 所以0x 是M T 1-的内点. 因为0x ∈M 是任意的,所以M T 1-是X 中的开集. “⇐” 设Y 中每个开集的原像是开集. 0x ∀∈X ,则()ε,01Tx N T -是X 中的开集. 又0x ∈()ε,01Tx N T -,所以0x 是()ε,01Tx N T -的内点,所以存在邻域()δ.0x N ⊂()ε,01Tx N T -. 所以T ()δ.0x N ⊂()ε,0Tx N ,所以T 在0x 连续. 又0x ∈X 是任意的,所以T 是X 上的连续映照. 证毕.利用()CM T 1-=()M T C 1-,又有Th 2' 度量空间X 到Y 中的映照T 是X 上的连续映照 ⇔ 任意闭集M ⊂Y ,M T 1-是X 中的闭集.证明 “⇒” 设T 是X 上的连续映照,又设M ⊂Y ,M 是闭集,则CM 是开集. 由Th2, ()CM T 1-是开集. 但()CM T 1-=()M T C 1-,故M T 1-是X 中的闭集.“⇐” M ∀⊂Y 且M 是闭集,则CM 是开集. 由()CM T 1-=()M T C 1-,及Y 中任何闭集M 的M T 1-总是X 中的闭集,得Y中任何开集CM 的原像()CM T 1-总是开集,由Th2, T 是X 上的连续映照. 证毕.P 206.10. 设X 为距离空间,A 为X 中的子集. 令()x f =()y x d Ay ,inf ∈, x ∈X . 证明()x f 是X 上的连续函数.证明 0x ∀∈X ,n x ∀∈X ,Λ,2,1=n ,s.t.n x →0x .y ∀∈A ⊂X ,因为 ()y x d n ,≤()0,x x d n +()y x d ,0,所以()y x d n Ay ,inf ∈≤()0,x x d n +()y x d ,0, 所以 ()y x d n Ay ,inf ∈-()0,x x d n≤()y x d ,0, 所以()y x d n Ay ,inf ∈-()0,x x d n ≤()y x d Ay ,inf 0∈,所以()y x d n Ay ,inf ∈-()y x d Ay ,inf 0∈≤()0,x x d n . 同理()y x d Ay ,inf 0∈-()y x d n Ay ,inf ∈≤()n x x d ,0.所以|()()0x f x f n -|=|()y x d n Ay ,inf ∈-()y x d Ay ,inf 0∈|≤()0,x x d n →0(∞→n ).所以()x f 是X 上的连续映照(Th 1). 作业: P 206. 11. 12. 13.作业解答: 11. 先证 ()y x d F y Fx ,inf 21∈∈>0. 否则>∀ε0,x ∃∈1F ,y ∈2F ,s.t. ()y x d ,<ε. 令ε=m1,则∃m x ∈1F ,m y ∈2F ,s.t. ()m m y x d ,<m1,令∞→m ,由于()y x d ,是二元连续函数,故得()00,y x d =0(0x ∈1F 是m x 的聚点,0y ∈2F 是m y 的聚点,聚点存在). 因此0x =0y 与1F I 2F =Φ相矛盾,故()21,F F d =()y x d F y F x ,inf 21∈∈>0.取ε:0<ε<21()21,F F d ,再令1G =()Y 1,F x x U ∈ε,2G =()Y 2,F y y U ∈ε,则1G 与2G 均为开集. 下证∀()ε,x U 与∀()ε,y U 都不相交. 若不然设∃z ∈()ε,x U I ()ε,y U ,则()y x d ,≤()z x d ,+()y z d ,<ε+ε<()21,F F d . 与()y x d ,≥()21,F F d 相矛盾. 故任意二邻域不相交,从而1G I 2G =Φ.12. ∀取开集G ⊂Z . 因为g 是Y 到Z 中的连续映照, 所以G g 1-⊂Y 是开集. 因为f 是X 到Y 中的连续映照,所以()G g f11--⊂X 是开集. 即()G gf 1-⊂X 是开集. 所以 gf 是X 到Z 中的连续映照.13. 由Th 2'或由()M T C 1-=()CM T 1-和Th2推得.附注区间(]c,c均为闭集.+-及[)∞∞,。
度量空间不是赋范空间的例子
度量空间是指一个集合和集合内的元素之间的距离函数构成的数学结构。
而赋范空间是指在度量空间的基础上,加入了线性空间的结构,并且定义了范数(即长度)的数学结构。
因此,度量空间是赋范空间的一种特殊情况,但并不是所有的度量空间都是赋范空间。
一个很典型的例子是Chebyshev距离,它的定义是:
对于两个n维向量x和y,它们之间的Chebyshev距离是它们各个维度之差的最大值。
即d(x,y) = max{|xi - yi|} (i = 1,2, ..., n)
Chebyshev距离是一种度量,但不是一种范数,因此它构成了一个度量空间,但不是一个赋范空间。
因为Chebyshev距离不满足三角不等式,即:
d(x, z) ≤ d(x, y) + d(y, z)
这意味着,在Chebyshev度量下,距离不满足传递性。
这就违反了范数的基本定义,因此Chebyshev距离所构成的空间不是一个赋范空间。
因此,Chebyshev距离是一个典型的例子,它展示了度量空间不是赋范空间的情况。
在实际应用中,Chebyshev距离在图像处理、机器学习和数据挖掘等领域有广泛的应用。
- 1 -。