13泛函分析

合集下载

泛函分析

泛函分析

拓扑线性空间
巴拿赫空间
希尔伯特空 间
这是最常见,应用最广的一类拓扑线性空间。比如有限闭区间上的连续函数空间,有限闭区间上的k次可微函 数空间。或者对于每个实数p,如果p ≥ 1,一个巴拿赫空间的例子是“所有绝对值的p次方的积分收敛的勒贝格 可测函数”所构成的空间。
在巴拿赫空间中,相当部分的研究涉及到对偶空间的概念,即巴拿赫空间上所有连续线性泛函所构成的空间。 对偶空间的对偶空间可能与原空间并不同构,但总可以构造一个从巴拿赫空间到其对偶空间的对偶空间的一个单 同态。
非欧几何的确立拓广了人们对空间的认知,n维空间几何的产生允许我们把多变函数用几何学的语言解释成多 维空间的映像。这样,就显示出了分析和几何之间的相似的地方,同时存在着把分析几何化的一种可能性。这种 可能性要求把几何概念进一步推广,以至最后把欧氏空间扩充成无穷维数的空间。
20世纪初,瑞典数学家弗列特荷姆和法国数学家阿达玛发表的著作中,出现了把分析学一般化的萌芽。随后, 希尔伯特和海令哲开创了“希尔伯特空间”的研究。
历史
背景
研究现状
十九世纪以来,数学的发展进入了一个新的阶段。这就是,由于对欧几里得第五公设的研究,引出了非欧几 何这门新的学科;对于代数方程求解的一般思考,最后建立并发展了群论;对数学分析的研究又建立了集合论。 这些新的理论都为用统一的观点把古典分析的基本概念和方法一般化准备了条件。这时候,函数概念被赋予了更 为一般的意义,古典分析中的函数概念是指两个数集之间所建立的一种对应关系。现代数学的发展却是要求建立 两个任意集合之间的某种对应关系。
由于分析学中许多新部门的形成,揭示出分析、代数、集合的许多概念和方法常常存在相似的地方。比如, 代数方程求根和微分方程求解都可以应用逐次逼近法,并且解的存在和唯一性条件也极其相似。这种相似在积分 方程论中表现得就更为突出了。泛函分析的产生正是和这种情况有关,有些乍看起来很不相干的东西,都存在着 类似的地方。因此它启发人们从这些类似的东西中探寻一般的真正属于本质的东西。

理解泛函分析学习泛函分析的基本概念和方法

理解泛函分析学习泛函分析的基本概念和方法

理解泛函分析学习泛函分析的基本概念和方法泛函分析是数学中的一个重要分支,它研究的是函数的集合和函数间的映射关系。

泛函分析的基本概念和方法对于理解和应用许多数学分支和应用科学领域都具有重要意义。

本文将介绍泛函分析的基本概念和方法,帮助读者更好地理解和学习泛函分析。

1. 范数和内积空间泛函分析的基本概念之一是范数和内积。

范数是定义在线性空间上的一种函数,用来度量空间中的向量的大小。

内积是定义在内积空间上的一种函数,用来度量空间中向量之间的夹角和长度。

了解范数和内积的定义和性质是学习泛函分析的基础。

2. 巴拿赫空间巴拿赫空间是泛函分析中的一个重要概念,它是一个完备的赋范线性空间。

完备性意味着空间中的柯西序列在该空间中有极限。

了解巴拿赫空间的定义和性质对于理解泛函分析的相关定理和方法至关重要。

3. 可分性和正交性可分性是指线性空间中存在可数的稠密子集。

泛函分析中的许多定理和方法依赖于对可分空间的研究。

正交性是指内积空间中存在满足正交关系的向量组。

正交性在泛函分析中有重要应用,如勾股定理和傅里叶级数展开等。

4. 对偶空间和弱收敛对偶空间是泛函分析中的一个重要概念,它是一个原空间的线性函数全体构成的线性空间。

对偶空间的研究对于理解泛函分析的双重性质及其在数学和物理问题中的应用具有重要意义。

弱收敛是指序列在对偶空间中的收敛性质。

了解对偶空间和弱收敛的定义和性质有助于掌握泛函分析中的重要思想和方法。

5. 紧算子和谱理论紧算子是泛函分析中的一个重要概念,它是一种在巴拿赫空间中有紧性的线性算子。

紧算子在泛函分析和泛函微分方程等领域的研究中具有重要应用。

谱理论研究的是算子的谱结构及其与算子性质的关系。

理解紧算子和谱理论对于深入理解泛函分析的相关概念和方法非常重要。

6. 泛函分析的应用领域泛函分析作为数学中的一个重要分支,在许多领域都有广泛的应用,包括数学分析、微分方程、优化理论、量子力学等。

了解泛函分析在不同领域的应用,可以帮助读者更好地理解泛函分析的实际意义,并将其应用于实际问题的研究和解决中。

泛函分析课件

泛函分析课件

泛函分析课件泛函分析是数学中的一门重要学科,它研究的是无限维空间中的函数和算子。

在实际应用中,泛函分析广泛应用于物理学、工程学、经济学等领域。

本文将介绍泛函分析的基本概念和主要内容,以及其在实际应用中的一些例子。

一、泛函分析的基本概念泛函分析的基本概念包括向量空间、线性映射、内积、范数等。

向量空间是泛函分析的基础,它是一组满足一定条件的向量的集合。

线性映射是指将一个向量空间映射到另一个向量空间的函数,它保持向量空间的加法和数乘运算。

内积是向量空间中的一种运算,它是一个函数,将两个向量映射到一个实数。

范数是向量空间中的一种度量,它衡量向量的大小。

二、泛函分析的主要内容泛函分析的主要内容包括线性算子、连续性、紧性、谱理论等。

线性算子是指将一个向量空间映射到另一个向量空间的线性映射,它在泛函分析中起到了重要的作用。

连续性是指在一个向量空间中,如果两个向量足够接近,它们的映射也应该足够接近。

紧性是指一个映射将有界集映射到有界集,且将紧集映射到紧集。

谱理论是研究线性算子谱性质的一门学科,它对于解析和估计线性算子的特征值和特征向量具有重要意义。

三、泛函分析在实际应用中的例子泛函分析在实际应用中有许多例子,下面将介绍其中的几个。

首先是量子力学中的波函数,它是一个复数函数,描述了量子系统的状态。

泛函分析提供了一种理论框架,可以对波函数进行分析和计算。

其次是信号处理中的傅里叶变换,它将一个信号分解成一系列正弦和余弦函数的叠加。

泛函分析提供了一种数学工具,可以对信号进行分析和处理。

再次是优化问题中的拉格朗日乘子法,它是一种求解约束优化问题的方法。

泛函分析提供了一种理论基础,可以对优化问题进行建模和求解。

最后是经济学中的效用函数,它描述了个体对不同商品或服务的偏好程度。

泛函分析提供了一种数学工具,可以对效用函数进行分析和计算。

综上所述,泛函分析是一门重要的数学学科,它研究的是无限维空间中的函数和算子。

泛函分析的基本概念包括向量空间、线性映射、内积、范数等。

泛函分析简介

泛函分析简介

泛函分析简介什么是泛函分析泛函分析是数学的一个分支,主要研究无限维空间的线性算子及其性质。

它源于传统的分析学,特别是微分方程、积分方程和最优化理论等领域的发展。

通过研究空间中的点和函数,以及这些点和函数之间的映射关系,泛函分析提供了一种强大的工具用于解决各种实际问题。

在物理学、工程学、经济学和其他科学领域中,泛函分析有着广泛的应用。

泛函分析的基本概念线性空间线性空间(或称向量空间)是泛函分析的基础。

它由一组元素组成,这些元素可以通过向量加法和标量乘法进行组合。

形式上,若 (V) 是一个集合,满足以下条件,则 (V) 是一个线性空间:对于任意 (u, v V),则 (u + v V)(封闭性)。

对于任意 (u V) 和标量 (c),则 (c u V)(封闭性)。

存在零向量 (0 V),使得对于任意 (u V),有 (u + 0 = u)。

对于每个向量 (u V),存在一个对应的负向量 (-u V),使得 (u + (-u) = 0)。

向量加法满足交换律和结合律。

标量乘法满足分配律以及结合律。

拓扑空间拓扑空间是讨论连续性和极限的重要工具。

在泛函分析中,通常会结合线性空间与拓扑结构。

例如,一个拓扑向量空间需要具备以下性质:每个点都有邻域;任意多个开集的并集仍为开集;有限多个开集的交集仍为开集。

此时,可以引入收敛、限制、开集、闭集等概念,从而更深入地研究函数的性质。

巴拿赫空间与希尔伯特空间巴拿赫空间(Banach Space)是一类重要的完备线性空间,其定义为一个带有范数的线性空间,使得它是完备的。

也就是说,在这个空间中,每个柯西序列都收敛于某个元素。

范数是一个度量,用来描述向量之间的“距离”。

希尔伯特空间(Hilbert Space)则是一个完备的内积空间,是巴拿赫空间的一种特殊情况。

内积允许我们定义角度、正交性等概念,对于研究四维空间中的物理现象尤为重要。

主要定理与结果超平面定理与 Hahn-Banach 定理超平面定理指出,在有限维欧几里德空间中,任何非空闭子集至少可以由一个超平面相切。

泛函分析第一讲

泛函分析第一讲

线性算子和线性泛函
第二章 泛函分析
绪论
2.1 距离空间
第二章 泛函分析
一、距离空间的定义
lim
n
xn
x
0, N, 当 n 时N,有
dx, y x y
x y 0, x y 0当且仅当 x y
xy yx
xy xz zy
xn x
第二章 泛函分析
第一节 距离空间
一、距离空间的定义
第一节 距离空间
一、距离空间的定义
例2.1.2 设 X ,d 是距离空间,对任意 x, y X ,源自定义x,y
d
1+d
x,xy, y ,则
X
,
也是距离空间.
证明 三角不等式 d(x, y) d(x, z) d(z, y),
第二章 泛函分析
第一节 距离空间
一、距离空间的定义
例2.1.3 空间l p p 1.
x0 X. 如果d (xn , x0 ) 0, n , 则称该点列 xn
收敛于 x0 , 并记为
lim
n
xn
x0

xn x0 n
定理1 距离空间 X ,d 中,收敛点列的极限是唯一的.
第二章 泛函分析
第一节 距离空间
二、距离空间中的收敛
例2.1.5 在Rn 中,点列的收敛为按坐标收敛.
♣ 泛函分析在微分方程、概率论、函数论、计算 数学、控制论、最优化理论、连续介质力学、量 子物理等以及一些工程技术学科都有重要作用.
第二章 泛函分析
绪论
二、泛函分析课程内容 1.空间 集合 + 一定的结构
距离空间 赋范线性空间 内积空间 Banach空间 Hilbert空间

泛函分析 PPT课件

泛函分析 PPT课件
应用泛函分析薛小平哈工大胡适耕华中科技大程曹宗北京工大以上学校图书馆都有当然还有外文的不列举了泛函分析导论及应用泛函分析是研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数条件的映射的数学分支用的统一的观点把古典分析的基本概念和方法一般化运用代数学几何学等学科的观点和方法研究分析学的课题可以看作无限维的分析学
• 可数基数a,连续基数c。
• 主要结论:1.可数集的子集至多可数; 2.有限或可数多个可数集合的并是可数集; 3.有限个可数集的直积是可数集; 4. 无限集必于它的某真子集对等,含可数子集;
可数集的例子:整数集,有理数集,n维欧式空间中 的有理点集。
实数的基本定理:确界存在原理、单调有界原理、 闭区间套引理、聚点定理、有限覆盖定理等等都 当成已知
距离空间的拓扑
• 空间引入距离,才有了空间上映射的连续性概念 (开集的原像是开集)
• 称X的子集B(x,r)={y;p(x,y)<r}为以x为心半径为r的 开球
• 称X的子集S(x,r)={y; p(x,y)=r}为以x为心半径为r的 有着很大优越和方便之处,但并不完全一致。如:离散距离空间中的球 面只有两种可能:空集或全空间
• 紧集的连续象是紧集 • 紧集上的连续函数是一致连续的,能取到最大值
和最小值。 • 空间X是有限维的当且仅当X的闭单位球是紧集。 • 非紧的空间,可以通过一点紧致化,进而利用紧
空间的性质来研究
小结
• 我们讨论距离空间的基本性质 • 距离空间就是赋予距离的集合,是三维立体空间
概念的推广,二者既有相同又不完全相同。
• Zorn引理是集论的一个重要工具,与选择公理,良序原理都是彼此等价的,主要应用于 数学上存在性定理的证明,而不具体描述寻求的方法。

泛函分析与应用PPT优质资料

泛函分析与应用PPT优质资料
般的线性变换,并且由此引出矩阵对线性变换的表示,以及 变换的概念,古典变分法中关于泛函变分的概念,微分方程中定性分析与求解的概念等,纳入统一的框架中;
传统的综合方法不仅费时费事,而且解决问题的范围比较狭窄。
矩阵的运算等,这些都是线性代数的研究内容。 而泛函分析所提供的分析方法,有可能对包括多输入多输出的线性时变系统、分布参数系统,以及某些类型的非线性系统进行统一的
用来描述系统的行为或其中的各种关系。 非线性泛函分析还要把有限线性空间上函数微积分的概念,推广到无限维线性空间上算子的微积分。
线性泛函分析是本书讨论的重点,同时还涉及非线性泛函分析的基本知识,特别是有关凸集和凸泛函的凸分析理论,这对比较广泛的 一类泛函求极值问题有着重要意义。
泛函分析的研究对象
同时按泛函分析的理论体系,给出统一的分析和处理。
数学的抽象把三维立连体空续间中介向量质的概力念,学推广、到任电意有磁限维场线性理空间论; 等的研究对象,一般是分布
同时按泛函分析的理论体系,给出统一的分析和处理。
数学的抽象参把三数维立系体空统间中,向量需的概要念,用推广偏到任微意有分限维方线性程空间来;描述,而完全描述系统行为
又要结合专业体会理论对专业的指导作用,尽可能地把理论应用于解决实际问题。
的一组无关量有无限多个,即系统具无限多自由度。 首先要把有限维向量空间的概念,推广到一般线性空间,包括由函数类形成的无限维线性空间,接着要讨论一类在元素间定义了距离
的集合,称为“度量空间”。 本课程的特点与学习方法
所以,学习本课程现还要代求掌控握构制造各理种算论法的和技能系,并统能对科其数学值稳,定性已等进经行分由析。研究单个特定函数作
所以,本课程是针对工科研究生的一门理论基础课程,既要体现泛函分析理论体系的严谨性,又要体现工程的可应用性。

浅析泛函分析的基本概念

浅析泛函分析的基本概念

浅析泛函分析的基本概念泛函分析是现代数学中的一个重要分支, 它研究的是无限维空间上的函数集合, 以及函数与函数之间的关系, 使我们能够描述、研究和解决很多实际问题. 泛函分析独有的优点在于它能够描述和处理各种各样的无限维问题, 能够更加完美地对函数序列或函数空间上的各类性质进行分析, 而且很多经典数学中不能解决的问题, 泛函分析却能够给出解决的方案.泛函分析的基本概念主要包括:向量空间、集合、范数、内积、正交、测度、函数空间等等.以下是这些概念的具体阐述: 1. 向量空间向量空间是指一个满足一定公理的集合,其中这些公理一般包括向量运算的封闭性、加法结合律和交换律、零向量的存在、负向量的存在等等. 这些公理使得向量空间在进行加法和数乘运算时能够满足特定的条件.2. 范数范数是将向量空间中的向量映射到实数集合上的函数, 它通常定义为一个函数||·|| : V → R ,使得对于向量空间V中的任意两个向量,它们的范数都会有一定的关系,这关系通常包括非负性、齐次性和三角不等式等三个条件. 知道向量的范数, 可以想象向量在向量空间中的长度.3. 内积内积是向量空间中的两个向量进行一种数乘运算得到的数. 通常表示为(x, y) .内积可以描述两个向量在几何意义上是夹角余弦值. 从而可以定义正交和两个向量之间的距离.4. 正交在向量空间中, 如果两个向量的内积为0, 则这两个向量互相称之为正交向量. 在物理、机械等领域, 这个概念是经常用到的, 比如向量空间中的两个力相对偏轴正交等等,都是通过正交概念来进行描述的.5. 测度测度是将集合映射为其在一定空间上的数字性质.测度通常用于描述空间上的某些性质,如长度、面积、体积等,它们都是通过某种测度来进行度量的.这个概念经常用于描述概率论、拓扑学、微积分等领域中的问题.6. 函数空间函数空间是指一类函数的集合,函数空间中的元素是函数. 这些函数在某些特定的条件下,可以构成一个向量空间.通过对函数空间的研究, 可以得到很多关于函数性质的结论.总之,泛函分析中涉及的基本概念非常多,范围也很广.我们无法在短时间内全部理解, 因此需要不断地进行学习、思考、理解与探索, 才能真正掌握这门学科.。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
MB(y,)
yN
M是距离X空 的间 一个子M 集 是, 完称 全有界
如果 0,都存在 M的 着一个网 有。 穷
定1理 .3.( 7Haus) dor为 ff了(完间 备X ( ) ,) 距中 离空
的集M是 合列紧的必) 须 M是 (完 且全 仅有 须界集


“”




若M不






,则ຫໍສະໝຸດ 使0得M中
设 M 是一个紧的 带距 有离 , 距C 空 用 离 (M )表 间M 示 , R1
的一切连续 定映 义射全体.
d(u,v)ma u(xx)v(x) (u,vC(M )) xM
命题 1.3.12(C(M),d)是一个距离空间
证:只须验u证C(M),存在最大m值axu(x) xM
由于对任意点 yn 列u(M),xn M,使得u(xn) yn, 由于M是紧的,从而有x子 nk 列x0,由u是连续的,有 u(xnk ) u(x0)u(M). 令y0u(x0),即得 ynk u(xnk ) y0,从而u(M)是紧集 .
对1 / k 网,yk M ,有{ xn(k1)}的子列{ xn(k)},使得{ xn(k)} B( yk ,1 / k);
取子列{xk(k)}则 0,当n 2 / 时,
(xn
(n p
p),
xn(n))
(xn
(n p
p),
yn)
(yn ,
xn(n))
2/
2/
所以{ xk(k)}是一基本列,因此收敛
“ ”因为 F 是等度连续的,所以
0, , F , x1, x2
( x1 , x 2 ) 时, ( x1 ) ( x 2 ) / 3
因为 M 紧,所以 M 自列紧,所以 M 列紧,所以 M 完全有界
选取 M 上的有穷 网, N { x1 , x 2 , , x n }, 作映射 T : F R n T ( ( x1 ), ( x 2 ), , ( x n )) 记 F~ T ( F )
因为 F 一致有界,

M
1,(
(xi)
)2 1 / 2
( nM
)2 1 / 2
1
nM 1
所以 F~是 R n 上有界集,所以 F~是列紧集 , 所以 F~是完全有界的
所以 F~有有穷的 / 3 网, N ( / 3) {T 1 , T 2 , , T m }
下证
{ 1 , 2 , , m }是 F 的





0
任 取x1 M , x2 M \ B( x1, 0 );
对{ x1,x2 } M,x3 M \ B( x1, 0 ) B( x2 , 0 );
n
对{ x1,x2
xn}
M,xn1
M
\
k 1
B( xk
,0
);
所 以 存 在 数 列{ xn } M, 且m, n, ( xm , xn ) 0 (m n)
基本概念:可分、紧
定理1.3.9:完全有界的距离 是空 可间 分的
定1理 .3.1: 1 设 X,( ) 是 一 个 距了 离 M空 X是间 紧, 的为
必 须 且 仅 须集 它 是 自 列 紧
证 : “” ( 1) 证M是 闭 的 ,X即证 M是 开 的

取x0
XM,xM,令B(x,
(x0,
2
x)),则MB(x,
这蕴含u着(M)是有界闭的数 . 设 集minu(M) , maxu(M) , 由闭性推出, u(M).所以存在最大ma值xu(x)
xM
命题 1.3.13(C(M),d)是完备的
略证: 1.1.7仿 .须证任意柯. 西列收敛 设{un}是 柯 西d(列 un,u, m)m xMauxn(x)um(x) 0 则u(x)ln i m un(x)
FC(M).称它是一致有界的,如果M1>0,使得
(x) M1(xM,F); 称它是等度连续的如果0,0,使得 (x1)(x2) (x1,x2M,(x1,x2),F)
定1理 .3.1( 5Arz eA lasc) ol为 i F 了 C(M)是一个列
必须且 F是 仅一 须致有界的 且函 等数 度族 连续
且{ xn }不含收敛子列,与M列紧矛盾,从而M是完全有界集
定1理 .3.( 7Haus) dor为 ff了(完间 备X ( ) ,) 距中 离空
的集M是 合列紧的必) 须 M是 (完 且全 仅有 须界集
“”若{xn }是M中的无穷点列,欲证存在收敛子列 因 为M是 完 全 有 界 集
对1 网,y1 M ,有{ xn }的子列{ xn(1)},使得{ xn(1)} B( y1,1); 对1 / 2 网,y2 M ,有{ xn(1)}的子列{ xn(2)},使得{ xn(2)} B( y2 ,1 / 2);
命 题 : 列 紧 空( 间闭 内) 任子 意集 都列 是紧 (集 自
命 题 : 列 紧 空 间 必 是 完备 空 间
M 是距离 X的 空 一 间 个 子 0,N集 M ,
• 如果 x M 对 , y N ,于 使 ( x 得 ,y ) , 那N 么 是 M 的 称 网 一个
•如果 N还是一个有穷集 依( 赖个 于 ) , 数 那 么N称 是M的 一 个 有 网穷
yNn
由 假 设 n,, ynNn,使 得 B(yn,1/n)不 能 被 有 B覆 限盖 个
对{yn},由于 M是自列紧集,所以{y存 n}的在收敛子{列 ynk } 使得ynk y0,必存在某G个 0 ,使得y0 G0
所以 0,使得 B(y0,)G0 ,取k足够大,使nk得2/ 且(ynk , y0)2/,所以xB(ynk ,1/nk) (x, y0)(x, ynk )(ynk , y0)1/nk 2/ 所以xB(y0,),所以B(ynk ,1/nk)B(y0,)G0 ,与假设矛盾
度量空间
列紧集
列紧集
A是距离空间X的一个子集,
• 称A是有界的,如果A包含在X的某点的开 球中;
• 称A是列紧的,如果A中任意点列在X中有 一个收敛的子列;
• 称A是自列紧的,如果上述子列的极限点 在A中;
• 称X为列紧空间,如果X是列紧的。
命题:在 Rn中任意有界集是列, 紧集 任意有界闭集是自集 列紧
(x0,
2
x) )

于M紧




取x有 k(k限 1,个 2,,n),使
n
得M B(xk, k1
(x0,
2
xk))

mi n(x0,
1kn
2
x),xB(x0,)
(x,xk)(xk,x0)(x,x0)2
所 以B,(x0,)M为 空 集 ,M 从的而余 集 为 开 集M,闭从集而
(2) 证 M是 列 紧( . 的反 证 ) M不 若是 列 紧 的 ,{则 xn}存 没在 有 收 敛 子 列
假 定 xn互 异 ,S作 n {x1, x2,, xn1, xn1,},则Sn是 闭 集X, Sn是 开 集
(X\ Sn) X\Sn X M,从 而 {X\ Sn}是M的 一 个 开 覆 盖
N
N
由 于 M紧 , 从N 而,使 得 M (X\ Sn) X\ Sn
n1
n1
N
N
对xn1,显 然 xn1 M,但xn1 Sn, 从 x而 n1 X\ Sn, 矛 盾

.

使得
i
n (T ,T i )
/3
取 x r N 满足 ( x , x r ) , 则
(x) i(x) (x) (xi) (xi) i(xr ) i(xr ) i(x)
(T ,T i ) 2 / 3 所以 F 上存在有穷 网,所以 F 列紧
n1
n1
从 而 M是 列 紧 的 ,M所 是以 自 列 紧 的
“” ( 反 证M )自由列于紧 , M列 所紧 以,M 所 完以 全 有 界 假定存 M的 在某个开 覆 B 盖M不能取 M的 出有限覆盖 由于 M完全有界 , n所 N,以 有穷 1/n网Nn {x1(n),x2(n),xk(n(n))} 显然 B(y,1/n)M
使得 F, i, 使得 d ( , i ) / 3(i 1,2, , n)
同时对
,由
i
C
(M
)是连续函数的集合知
, x1 , x2满足 ( x1 , x2 ) , 使得 i ( x1 ) i ( x2 ) / 3
( x1 ) ( x2 ) ( x1 ) i ( x1 ) i ( x1 ) i ( x2 ) i ( x2 ) ( x2 ) 2d ( , i ) / 3
证:因为 C ( M )是完备的,所以由 1.3.7,为了 F是列紧的 必须且仅须它是完全有 界的
“ ”完全有界集是有界集 ,从而 F一致有界,欲证 F等度连续
0, 要证 ( ), 使得 F有
( x1 ) ( x 2 ) (当 ( x1 , x 2 ) )
因为 F完全有界,所以存在有 穷 / 3 网 N ( / 3) { 1 , 2 , , n }
相关文档
最新文档