21 线性赋范空间

合集下载

赋范空间

然 C( J) ( J 上的连续函数之全体) 是 B( J) 的子空间 . 若 u , un ∈ C( J) ( n = 1, 2, …) , ‖ u n - u ‖0 → 0 , 则 un → 一致收敛 , 参看 1 . 1 . 3) , 于是由熟知的数学分析 → u( 结果有 u ∈ C ( J). 可见 C ( J) 是 B( J) 的闭子空间 , 从而 C ( J) 亦为 Banach 空间 . 问题 , 这引出以下定义 : 1 . 1 . 5 定义
α n - α ‖ x ‖ → 0( n → ∞) ,
α n - α ‖ x‖
) ( 用( N1 )
无穷级数概念亦可引进赋范空间 : 若 x n ∈ X( n = 1, 2, …) , sn =
收敛 , 则说级数 ∑ x n 绝对收敛 .
∑x
n
∑ x, .若 ∑ ‖ x ‖
n 1 i n
指出范数时写作 ( X, ‖·‖) . 若 K = R( 或 C) , 则称 X 为实 ( 或复)赋范空间 .
n n n n n
( 以上 x , y ∈ X, α ∈ K) , 则称 X 为赋范向量空间 , 简称为赋范空间 , 当必要明确依定义 1 . 1 . 1 , R 就是一个实赋范空间 , 其中的范数即 Euclid 范数 ( 1) .类似
n n n
( 图 1 - 1) , 而 ‖ x‖ 即其“ 长度 ” . 三角不等式无 ‖ ∑ 1 x i ‖ ≤ ∑ 1 ‖ x i ‖;
你应当能说出这两个不等式的几何意义 . 对任给 x , y ∈ X, 称 ‖ x - y ‖ 为点 x 的距离为与 y 之间的距离 , 也记作 d ( x, y) . 更一般地 , 对任给 A , B X, 定义 A 与 B 之间 d( A, B)=

【研究生课件应用数学基础】4.线性赋范空间-文档资料

称级数

xn x1 x2 xn
n1
收敛于sV,如果 lim Sn s 0.
S x 这里
n

n
n
.
k

k 1

级数 xn称为绝对收敛的,如果 xn 收敛.
n1
n1
定理4.1 线性赋范空间V是完备的
V中每个绝对收敛的级数都收敛4 .
证明: )设V完备.级数
若 lim xn x,则lim xn x .
n
n
线性赋范空间V中加法是连续的,即
若 xnx,yny(n), 则 xn+ynx+y(n).
8
线性赋范空间V中数乘是连续的,即若n,xnx(n,n,F,xn,xV),则
nxnx(n); 定义4.2 设‖x‖1和‖x‖2(x∈V)是x的两个范数,如果存在两个正数A和B,使
第一章集合上的数学结构
（抽象空间）
4.线性赋范空间
一、线性赋范空间概念与性质二、有限维线性赋范空间有限维线性赋范空间的基本性质: 有限维线性赋范空间都是完备的
1
一、线性赋范空间的概念和性质
定义4.1 设V是数域F上的线性空间.
如果xV,对应一个非负实数‖‖,
即VR是一泛函,满足:
(1)xV,‖x‖≥0;‖x‖=0x=.

n
|
k1

k
kHale Waihona Puke |2 2

B
x

y
从而 Tx Ty Rn Rn
1
n
| k 1

k
|2

2

如何理解线性赋范空间、希尔伯特空间, 巴拿赫空间,拓扑空间

设 (x, y) ∈ R ，且满足：
（1）对称性；
（2）对第一变元的线性性；
（3）正定性；
则称(x, y) 为内积所以内积又是比范数更加具体的东西，因为范数只是到0的距离的时候多了线性性。但是内积是线性性的充分条件【A>B，B不能>A就称为A是B的充分条件；类似的，B>A,A不能>B，则称A是B的必要条件】举个栗子：我们可以把内积定义为：(x, y) = ∑Ni=1xiyi 也可以定义为：(f, g) = ∫∞0 f(x)g(y)dx 所以：内积可导出范数 | | x | | 2 = (x, x); 在线性空间上定义内积；其空间称为内积空间；内积可在空间中建立欧几里得空间学，例如交角，垂直和投影等，故习惯上称其为欧几里得空间。所以，我们平日中生活的空间就是欧几里得空间接下来，我们看几个听起来似乎很牛逼哄哄的东西
赋予范数或者距离的集合分别称为：赋范空间和度量空间若在其上再加上线性结构称为：线性赋范空间和线性度量空间
那么，我们日常生活的空间可以称为赋范空间或者度量空间么？答案是否定的因为这样的空间缺少角度的概念，从前面的定义中我们无法退出角度。所以，我们才有了接下来的内容。
内积空间
赋范空间有向量的模长，即范数。但是还缺乏一个很重要的概念——两个向量的夹角，为了克服这一缺陷，我们引入：内积定义：
赋线空范性间空度，间量拓，空扑度间空量，间空希如间尔何，伯不线特被性空他赋间们范，吓空到巴间？拿，赫函数空间
一、问题的提出
在微积分中可以定义极限和连续，依赖于距离那么，什么是距离呢？通俗的看法，大家都认为距离就是所谓的直线
但是，在这张图中，我们如何衡量两点之间的距离？因为地球仪上不能画直线，所以这里的距离显然就不是直线了。我们只能沿着地球仪取曲线作为距离再来看一张图

数值分析(03)赋范线性空间(1)

m ax a j
1 j n
1
m ax a ij
1 j n i 1
数值分析
数值分析
特征值及对应特征向量 :对 A R
特征对 ( , x )满足 Ax x , x 0
n n
Ax x , x 0 ( I A ) x 0 , x 0
2 2
|| x || || x ||2
n || x ||
注意： 1.等价性不等于互相代替，即在同一问题中不能混
用不同的范数。
2.在无限维空间中，向量范数的等价性不成立。
数值分析
数值分析
2. R
n n
, A ( a ij ) n n
n n n n
定义 (矩阵的范数 ) 若矩阵 A R 的一个实值函数 F ( A )( F : R R) 满足条件 ① ( 正定性 ) F ( A ) 0, 及 F ( A ) 0当且仅当 A 0; ② ( 齐次性 ) k R , 有 F ( kA ) k F ( A ); ③ ( 三角不等式 ) A , B R 有 F ( A B ) F ( A ) F ( B ); ④ ( 相容性 ) A , B R 有 F ( A B ) F ( A ) F ( B ). 则称 F ( A )是 R
2

max ( A T A )
T T
其中 max ( A A ) 表示 ( A A )的最大特征值 .
数值分析
数值分析
例：证明矩阵的 1范数： A R
n n
，A
1

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

第2章赋范线性空间虽然不允许我们看透自然界本质的秘密,从而认识现象的真实原因,但仍可能发生这样的情形：一定的虚构假设足以解释许多现象.Eurler L . (欧拉) (1707-1783,瑞士数学家)Schmidt E .在1908 年讨论由复数列组成的空间}||:){(12∞<∑∞=i ii zz 时引入记号||||z 来表示211)(∑∞=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 ∈λ ;(3) ||||||||||||y x y x +≤+,对任意X y x ∈, .则称||||⋅为X 上的范数,而||||x 称为x 的范数,这时称||)||,(⋅X 为赋范线性空间.明显地,若||)||,(⋅X 为赋范线性空间,则对任意X y x ∈,,定义||||),(y x y x d -=时,),(d X 为度量空间,但对一般的度量空间),(d X ,当X 为线性空间时,若定义)0,(||||x d x =,则||||x 不一定就是X 上的范数.例2.1.1 设s 数列全体,则明显地,s 为线性空间,对任意的s y x ∈,, 定义∑∞=-+-=1|)|1(!||),(i i i i i y x i y x y x d则∑∞=+=1|)|1(!||)0,(i i i x i x x d但)0,(|||)|||1(!||||)0,(1x d x i x x d i i i λλλλ≠+=∑∞=取)0,,0,1(0Λ=x ,210=λ,则 3121121)0,(00=+=x d λ 而412121)0,(||00=⨯=x d λ因此)0,(||)0,(0000x d x d λλ≠所以,)0,(0x d 不是s 上的范数.问题 2.1.1 对于线性空间X 上的度量d , 它满足什么条件时,)0,(||||x d x =才能成为范数？定理2.1.2 设X 是线性空间,d 是X 上的度量,在X 上规定)0,(||||x d x =,则X 成为赋范线性空间的条件是：(1) )0,(),(y x d y x d -=,对任意X y x ∈, ；(2) )0,(||)0,(x d x d λλ=,对任意X x ∈和任意K ∈λ.下面举出赋范线性空间的一些例子.例 2.1.3 对于}||,|){(11∞<∈=∑∞=i ii i xK x x l ,∑∞==1||||||i i x x 是1l 的范数, 即||)||,(1⋅l 是赋范线性空间.例2.1.4 对于∞<≤p 1,}||,|){(1∞<∈=∑∞=i p ii i p xK x x l 在范数pi pi x x 11)||(||||∑∞==下是赋范线性空间.例2.1.5 }||sup ,|){(∞<∈=∞i i i x K x x l 在范数||sup ||||i x x =下是赋范线性空间. 例2.1.6 }0lim ,|){(0=∈=∞→i i i i x K x x c 在范数||sup ||||i x x =下是赋范线性空间.例 2.1.7 }],[)(|)({],[上的连续函数为b a t x t x b a C =,在范数|)(|sup ||||t x x =下是赋范线性空间.由于赋范线性空间在度量||||),(y x y x d -=下是度量空间,因此,在度量所引入的序列收敛,开(闭)集、稠密和紧集等概念都可以在赋范线性空间中使用.定义 2.1.2 设X 是赋范空间X x X x n ∈⊂0,}{, 若n x 依度量||||),(y x y x d -=收敛于0x , 即0||||lim 0=-∞→x x n n ,则称n x 依范数||||⋅收敛于0x ,记为0||||x x n −→−⋅在赋范线性空间中,仍然用}|||||{),(00r x x X x r x U <-∈=记以0x 为球心,r 为半径的开球,用}|||||{),(00r x x X x r x B ≤-∈=记以0x 为球心,r 为半径的闭球. 为了方便,用}1|||||{=∈=x X x S X 记以0为球心,1为半径的闭单位球面. 用}1|||||{≤∈=x X x B X 记以0为球心,1为半径的闭单位球. 用}1|||||{<∈=x X x U X 记以0为球心,1为半径的开单位球.例2.1.8 在Euclid 空间2R 中,对于),(21x x x =可以定义几种不同的范数:||||||||211x x x += 2122212)|||(|||||x x x +=|}||,m ax {|||||213x x x =则对1),0,0(0==r x , 闭球)1,(0x B 在不同范数下的形状为：}1|||||{11≤=x x B}1|||||{22≤=x x B}1|||||{33≤=x x B思考题 2.1.1 设||)||,(⋅X 是赋范线性空间,问开球),(0r x U 的闭包是否一定是闭),(0r x B ?思考题2.1.2 设||)||,(⋅X 是线性空间,问闭球),(0r x B 内部是否一定是开球),(0r x U ?在赋范线性空间中,加法与范数都是连续的.定理2.1.8 若||)||,(⋅X 是赋范空间00,y y x x n n →→,则00y x y x n n +→+. 证明由||||||||||)()(||0000y y x x y x y x n n n n -+-≤+-+可知定理成立. 定理 2.1.9 若||)||,(⋅X 是赋范空间,0x x n →,则||||||||0x x n →. 证明由||||||||||||00x x x x n n +-≤和||||||||||||00n n x x x x +-≤,可知||||||||||||||00x x x x n n -≤-,因此||||||||0x x n →.定义2.1.3 设||)||,(⋅X 是赋范线性空间,若),(0||||,}{∞→→-⊂n m x x X x n m n 时, 必有X x ∈,使0||||→-x x n , 则称||)||,(⋅X 为完备的赋范线性空间.根据M.]1928,,,[Paris Villars Gauthier abstraits Espaces Frechet -的建议,完备的赋范线性空间称为Banach 空间.不难证明,∞∞<≤l p l c R p o n),1(,,都是Banach 空间.在数学分析中,曾讨论过数项级数,函数项级数,类似地,在赋范线性空间中,也可定义无穷级数.定义 2.1.4 设||)||,(⋅X 是赋范线性空间,若序列}{}{21n n x x x S +++=ΛΛ收敛于某个X x ∈时,则称级数∑∞=1n nx收敛,记为∑∞==1n nxx .定义2.1.5 设||)||,(⋅X 是赋范线性空间,若数列||}||||||||{||21n x x x +++ΛΛ收敛时, 则称级数∑∞=1n nx绝对收敛.在数学分析中绝对收敛的级数一定是收敛的,但在赋范空间上却不一定成立,先来看看下面一个定理.定理 2.1.10 设||)||,(⋅X 是赋范线性空间,则||)||,(⋅X 是Banach 空间的充要条件为X 的每一绝对收敛级数都收敛.证明设||)||,(⋅X 是Banach 空间,且∑∞=1n nx绝对收敛,则由∞<∑∞=1||||n nx可知,对于n n x x x S +++=ΛΛ21,有)(0||||||||||||||||11∞→→++≤++=-+++++n x x x x S S p n n p n n n p n ΛΛ,因此n S 是X 的Cauchy 列,由||)||,(⋅X 的完备性可知,存在X x ∈使x S n n =∞→lim ,即x xn n=∑∞=1反之,设X 的每一个绝对收敛级数都收敛,则对于X 的Cauchy 列n x ,对kk 21=ε,有 ΛΛ<<<<<+121k k n n n n , 使得),2,1(21||||1Λ=<-+k x x kn n k k因而+∞<-∑∞=+1||||1n n n k k x x.由假设可知+∞<-∑∞=+1)(1n n n k k x x收敛于某个X x ∈,即}{k n x 收敛x ,所以n x 必收敛于x ,从而||)||,(⋅X 完备.事实上,在实数空间R 中,正是由于R 的完备性才保证了绝对收敛级数一定是收敛的.定义 2.1.6 设||)||,(⋅X 是赋范线性空间,若X M ⊂是X 的线性子空间,则称||)||,(⋅M 为||)||,(⋅X 的子空间,若M 还是||)||,(⋅X 的闭集, 则称||)||,(⋅M 为||)||,(⋅X 的闭子空间.明显地,若||)||,(⋅X 是Banach 空间,M 为||)||,(⋅X 的闭子空间,则||)||,(⋅M 是Banach 空间,反之亦然.定理 2.1.11 设||)||,(⋅X 是Banach 空间,M 为||)||,(⋅X 的子空间,则||)||,(⋅M 是Banach 空间当且仅当M 是X 的闭集.证明设||)||,(⋅X 是Banach 空间,当M x n ∈,且x x n →时,则}{n x 为M 的Cauchy 列,因而}{n x 收敛于 M 上的一点,故M x ∈,即M M ∈',所以M 是闭集.反之,设M x n ⊂}{为Cauchy 列,则}{n x 为 ||)||,(⋅X 的Cauchy 列,由于||)||,(⋅X 是Banach 空间,因此}{n x 是收敛列, 即存在X x ∈使x x n →,又由于M 是||)||,(⋅X 的闭子空间,因此M x ∈,即n x 在M 中收敛于x ,所以||)||,(⋅M 是Banach 空间.定义2.1.7 设X 是线性空间,p 为X 上的一个实值函数,且满足：（1） 0)0(=p ；（2） )()()(y p x p y x p +≤+,对任意X y x ∈,；（3） )(||)(x p x p λλ=,对任意X x ∈,任意K ∈λ.则称p 为X 上的半范数.明显地,X 上的范数一定是半范数,但对X 上的半范数p ,由于0)(=x p 时不一定有0=x ,因此半范数不一定是范数.例2.1.9 在∞l 中,定义||)(11x x p =,易证)(1x p 是∞l 中的半范数,但对于),,,,0(2ΛΛn x x x =,都有0)(1=x p ,因此p 不是∞l 的范数.有什么办法能使),(p X 中的问题转化为赋范空间中来解决呢？定义 2.1.8 设X 是线性空间,M 是X 的线性子空间,若M x x ∈-21,则称1x 与2x 关于M 等价,记为)(~21M x x易知,等价具有下面的三个性质（1） x x ~（反射性）；（2） y x ~推出 x y ~（对称性）；（3） y x ~, z y ~ 推出z x ~（传递性）.明显地,若M 是线性空间X 的线性子空间,记}),(~|{~M y M x y y x ∈=, 则~x 的全体在加法~~~y x y x +=+和数乘~~x x αα=下是线性空间,称为X 对模M 的商空间,记为M X /.在商空间M X /中,对M X =∈~0,0, 即0是M X /的零元,而对M X /的每一元素~x ,~x 都是唯一确定的,并且对于加法和数乘都是唯一确定的.例2.1.10 对于}||sup |){(+∞<=∞i i x x l ,取}||sup ,0|){(1+∞<==i i x x x M , 则M 为∞l 的子空间,对M l y x /,∞∈,当~~y x =时有M y x ∈-,即011=-y x , 这时R M l ~/∞当||)||,(⋅X 为赋范线性空间,M 为X 的闭线性子空间时,在M X /商空间中还可以定义范数,使M X /成为赋范线性空间.定理 2.1.14 设||)||,(⋅X 是赋范线性空间,M 为X 的闭线性子空间,在M X /上定义范数}|||inf{||||||~~x y y x ∈=,则||)||,/(⋅M X 是赋范线性空间.利用上面的技巧,不难证明,当)(x p 为X 上的一个半范数时,取}|||inf{||||||},0)(|{~~x y y x x p x M ∈===,则||)||,/(⋅M X 是一个赋范线性空间,且对任意X x ∈有, )(||||~x p x =.当X 是空备赋范线性空间,M 为X 的闭子空间的,M X /还具有完备性.定理2.1.15 设X 是Banach 空间,M 为X 的闭子空间,则M X /是Banach 空间.2.2 范数的等价性与有限维赋范空间在同一线性空间上,可以定义几种不同的范数,使之成为不同的赋泛线性空间,但有时X 上的几种不同范数诱导出的拓扑空间是一样的,有时却很不相同,这主要是X 上的序列依范数收敛的不同引起的.定义 2.2.1 设X 是线性空间,1||||⋅和|2||||⋅是X 上的两个不同范数,若对X 中的序列}{n x ,当0||||10→-x x n 时,必有0||||20→-x x n ,则称范数1||||⋅比范数2||||⋅强,亦称2||||⋅比1||||⋅弱.若对X 中的序列}{n x ,0||||10→-x x n 当且仅当0||||20→-x x n 则称范数1||||⋅与2||||⋅等价.定理 2.2.1 设1||||⋅和2||||⋅是线性空间X 上的两个不同范数,则范数1||||⋅比2||||⋅强当且仅当存在常数0>C ,使得对任意X x ∈都有12||||||||x C x ≤.证明若存在0>C ,使12||||||||x C x ≤,则明显地0||||1→-x x n 时,有0||||||||12→-≤-x x C x x n n ,因而1||||⋅比2||||⋅强.反过来,若范数1||||⋅比2||||⋅强,则必有0>C ,使12||||||||x C x ≤. 若不然,则对任意自然数n ,存在X x n ∈,使12||||||||n n x n x >. 令2||||n nn x x y =,则nx x y n n n 1||||||||||||211<=故0||0||1→-n y ,因而0||0||2→-n y ,但这与1||||||||||0||222==-n n n x x y 矛盾,所以必存在0>C ,使12||||||||x C x ≤,对任意X x ∈成立.推论 2.2.2 设1||||⋅与2||||⋅是线性空间X 上的两个不同范数,则范数1||||⋅与2||||⋅等价当且仅当存在常数0,021>>C C ,使得对任意X x ∈,有12211||||||||||||x C x x C ≤≤推论 2.2.3 设1||||⋅与2||||⋅是线性空间X 上的两个等价范数,则)||||,(1⋅X 是Banach 空间当且仅当)||||,(2⋅X 是Banach 空间.思考题 2.2.1 若1||||⋅与2||||⋅是线性空间X 上的两个不同范数,且)||||,(1⋅X 和)||||,(2⋅X 都是Banach 空间,是否就一定有1||||⋅与2||||⋅等价呢？定义2.2.2 设X 是n 维线性空间,||||⋅是X 上的范数,则称||)||,(⋅X 为n 维赋范线性空间.有限维赋范线性空间是Minkowski 在1896年引入的,因此有限维赋范线性空间也称为Minkowski 空间.若||)||,(⋅X 为n 维线性空间,n e e e ,,,21Λ为X 的一组线性无关组,则称n e e e ,,,21Λ为||)||,(⋅X 的Hamel 基,此时对任意X x ∈,x 都可以唯一地表示成∑==nn i i e x 1α定理 2.2.4 设||)||,(⋅X 是n 维线性空间n e e e ,,,21Λ是X 的Hamel 基,则存在常数1C 及02>C 使得2112221121)||(||||)||(∑∑==≤≤ni i ni i C x C αα对任意∑==nn i i e x 1α都成立.证明对于任意ni K ∈=)(αα,定义函数||||)(1∑==nn i i e f αα则对任意n i K ∈=)(αα,ni K ∈=)(ββ,有21122112211211111)||()||||()||(|||||||||||||||||||||)()(|∑∑∑∑∑∑∑∑========-=-≤-≤-≤-=-n i iin i in i iini i i ini ni ii ii ni ii n n ii M ee e e e ef f βαβαβαβαβαβα这里2121)||||(∑==nn ieM ,因此f 是n K 到R 的连续函数.由于nK 的单位球面}1)||(|){(2112=∈=∑=ni in i K S αα是紧集,因此f 在S 上达到上下确界,即存在S i i ∈==)(),()0(0)0(0ββαα,使得10}|)(inf{)(C S f f =∈=ααα 20}|)(sup{)(C S f f =∈=ααβ因此对任ni K ∈=)(αα,有S ni iK n∈=∑=2112)||(||||αααα故21)||||(C f C nK≤≤αα即211221121121)||(||||)||(∑∑==≤++≤ni i n n ni i C e e C ααααΛ下面证明01>C ,容易知道02>C 的证法是类似的.假设01=C ,则有0||||)(1)0(0==∑=nn i ie f αα,故01)0(=∑=nn i ie α由}{i e 是X 的Hamel 基可知,0)0(=i α,从而00=α,但这与S ∈0α矛盾.定理 2.2.5 设X 是有限维线性空间,1||||⋅与2||||⋅是X 上的两个范数,则存在常数01>C , 02>C 使得12211||||||||||||x C x x C ≤≤定理 2.2.6 有限维的赋范线性空间一定是Banach 空间.证明若}{m x 为n 维赋范线性空间||)||,(⋅X 的Cauchy 列,则对于X 的Hamel 基n e e e ,,,21Λ有i ni m im e x ∑==1)(α,由2112221121)||(||||)||(∑∑==≤≤ni i ni i C x C αα可知}{)(m iα亦为Cauchy 列,故存在R i ∈α,使得i m i αα→)(,因而有)(i αα=,使得0)||(2112)(→-∑=ni i m iαα令i ni ie x ∑==1α,则0||||→-x x m ,因此}{m x 是收敛序列,所以X 是完备的.在nR 中,M 是列紧的当且仅当M 是有界闭集,在有限维赋范空间中是否成立呢？下面就来讨论有限维赋范线性空间||)||,(⋅X 中紧集与有界闭集的关系.定理2.2.7 设||)||,(⋅X 是有限维的赋范线性空间,则X M ⊂是紧的当且仅当M 是有界闭集.证明设n e e e ,,,21Λ为||)||,(⋅X 的Hamel 基,则对任意X x ∈,有i ni ie x ∑==1α定义nK 到X 的算子T :i ni i e T ∑==1)(αα则存在0,021>>C C ,使得2112221121)||(||)(||)||(∑∑==≤≤ni i i ni i C T C ααα从而T 是n K 到X 的连续算子,且是一一对应的. 由||)(||)||(21121ααT C ni i≤∑=可知1-T 是X 到n K 的连续算子, 因此T 是n K 到X 的拓扑同构.所以M 的紧集当且仅当 )(1M T -为n K 的紧集,从而M 是X 的紧集当且仅当M是有界闭集.问题2.2.1 若赋范线性空间||)||,(⋅X 的每个有界闭集都是紧集,则X 是否一定为有限维的赋范线性空间？为了回答上面的问题,先来讨论Riesz 引理,这是Riesz F .在1918年得到的一个很漂亮的结果.引理 2.2.8 （Riesz 引理）设M 是赋范线性空间||)||,(⋅X 的闭真子空间,则对任意10<<ε,存在1,=∈εεx X x ,使得εε≥-x x对任意M x ∈成立.证明由于M 是X 的闭真子空间,因此≠M X \φ,故存在M X y \0∈,令}|||inf{||),(00M x x y M y d d ∈-==,则0>d .对任意10<<ε,由d 的定义可知,存在M x ∈0,使得εdx y d ≤-≤||||00令||||0000x y x y x --=ε,则1||||=εx ,且对任意M x ∈,有||)||||(||||||1||||||||||||0000000000x x y x y x y x y x y x x x -+--=---=-ε由M x ∈0,M x ∈和M 是线性子空间,可知M x x y x ∈-+||||000因此d x x y x y ≥-+-||)||||(||0000故εεε=≥-≥-ddx y d x x ||||||||00由Riesz 引理,容易得到有限维赋范线性空间特征的刻画.定理 2.2.9 赋范线性空间||)||,(⋅X 是有限维的当且仅当X 的闭单位球}1|||||{≤=x x B X 是紧的.证明明显地,只须证明X B 是紧的时候,X 一定是有限维的.反证法,假设X B 是紧的,但X 不是有限维赋范线性空间,对于任意固定的,1X x ∈1||||1=x ,令}|{}{111K x x span M ∈==λλ,则1M 是一维闭真子空间,取21=ε,由Riesz 引理可知,存在1||||,22=∈x X x 且21||||2≥-x x 对任意1M x ∈成立,从而21||||12≥-x x . 同样地,令},{212x x span M =,则2M 是二维闭真空子空间,因而存在1||||,33=∈x X x ,使21||||3≥-x x 对任意2M x ∈成立,从而21||||13≥-x x 且21||||23≥-x x . 利用归纳法,可得一个序列X n B x ⊂}{,对任意n m ≠,有21||||≥-n m x x 因而}{n x 不存在任何收敛子序列,但这与X B 是紧集矛盾,由反证法原理可知X 是有限维赋范线性空间.推论2.2.10 赋范线性空间X 是有限维当且仅当X 的每个有界闭集是紧的.对于无穷维赋范线性空间X 的紧集的刻画,就比较困难.在]1,0[C 中,容易看出]1,0[}1|)(||)({C x f x f A ⊂≤=是]1,0[C 的有界闭集,但不是紧集.为了讨论]1,0[C 子集的紧性,需要等度连续的概念,它是由Ascoli 和Arzelà同时引入的.定义 2.2.3 设]1,0[C A ⊂,若对任意的0>ε,都存在0>δ,使得对任意的A f ∈,任意的]1,0[,∈y x ,δ<-||y x 时,一定有ε<-|)()(|y f x f ,则称A 是等度连续的.Ascoli 给出了]1,0[C A ⊂是紧的充分条件, Arzelà在1895年给出了]1,0[C A ⊂是紧的必要条件,并给出了清楚的表达.定理 2.2.11 (Arzel à-Ascoli 定理) 设]1,0[C A ⊂,则是紧的当且仅当A 是有界闭集, 且A 是等度连续的.2.3 Schauder 基与可分性一个Banach 空间,如果想把它看作序列空间来处理,最好的办法是引入坐标系,常用的方法是引入基的概念, Schauder 基是-Fun in stetiger Theorie Zur Schauder J [..]6547.)1927(26,,-pp t Zeitschrif che Mathematis men ktionalrau 引入的.定义 2.3.1 Banach 空间||)||,(⋅X 中的序列}{n x 称为X 的Schauder 基,若存在对于任意X x ∈,都存在唯一数列K a n ⊂}{,使得nn n x x ∑∞==1α容易看到,有限维赋范线性空间一定具有Schauder 基.例2.3.1 在1l 中令),0,1,0,,0(ΛΛ=n e ,则}{n e 为1l 的Schauder 基,明显地,在)01(,,0∞<<p l c c 中,}{n e 都是Schauder 基.Schauder J .在1928年还在]1,0[C 中构造一组基,因而]1,0[C 也具有Schauder 基. 具有Schauder 基的Banach 空间具有许多较好的性质,它与Banach 空间的可分性有着密切联系.定义 2.3.2 ||)||,(⋅X 是赋范线性空间,若存在可数集X M ⊂,使得X M =,即可数集在X 中稠密,则称X 是可分的.若||)||,(⋅X 可分,则存在可数集X x n ⊂}{,使得对任意X x ∈及任意0>ε,都有某个}{n n x x ∈ε,满足εε<-||||x x n .例2.3.2 由于有理数集Q 是可数集,且R Q =,因此R 是可分的.类似地,n R 也是可分的赋范空间.例2.3.3 对于p l p ,1+∞<≤都是可分的,因为取时，使得存在N i N x M i >=,|){(},,0都是有理数时并且i i x N i x <=,则M 是可数集,并且p l M =.实际上,对任意p l x ∈,由+∞<∑∞=pi pi x 11)||(可知,对任意0>ε,存在N ,使得2||1pN i pix ε<∑∞+=, 取有理数N q q q Λ,,21,使2||1pNi pi i x q ε<-∑=,则M q q q x N ∈=)00,,,(21ΛΛε,且εε<+-≤-∑∑∞+==pN i p iNi p i i xx q x x 111)||||(,因此p l M =,所以p l 是可分的.例 2.3.4 由Weierstrass 逼近定理可知对任意],[b a C x ∈,必有多项式0→-x p n ,取M 为],[b a 上有理系数的多项式全体,则M 是可数集,且],[b a C M =,因而],[b a C 是可分的赋范线性空间.定理2.3.5 若||)||,(⋅X 赋范空间有Schauder 基,则X 一定可分的. 证明为了简明些,这里只证明||)||,(⋅X 为实的情形.设}{i e 为X 的Schauder 基,则任意X x ∈有∑∞==1i ii ea x ,这里R a i ∈.令},|{1Q q N n eq M i ni ii ∈∈=∑=,则M 是可数集,且对任意X x ∈及任意0>ε,存在M x ∈ε,使得εε<-x x ,因此X M =,所以M 为可分的赋范空间.对于复赋范空间||)||,(⋅X ,可令},,|)({1Q pq N n e ip q M iini iii∈∈+=∑=,证明是类似的.问题2.3.1 是否每个赋范空间都具有Schauder 基？例2.3.6 赋范空间∞l 没有Schauder 基.由于∞l 不可分,因而一定没有Schauder 基.事实上,假设∞l 可分,则存在∞∈=l x x m im )()(,使得}{m x X =.令=)0(ix ⎪⎩⎪⎨⎧>≤+. 1|| 0；1|x | ,1)((i)i )(时当时当i i i i x ，x 则211||sup )0(=+≤i x ,即∞∈=l x x i)()0(0,并且1||||sup ||||)0()()0()(10≥-≥-=-∞<≤m m m i m i i m x x x x x x所以}{m x 不存在任何收敛子列收敛于0x ,故}{0m x x ∉,从而}{m x X ≠,但这与假设}{m x l =∞矛盾,因此∞l 不可分.另外,还再进一考虑下面的问题：问题2.3.2 是否每个可分的赋范空间都具有Schauder 基？上面问题自从S. Banach 在1932年提出后,很多数学家为解决这一问题做了很多的努力,由于常见的可分Banach 空间,如10,l c 等都具有Schauder 基，因此大家都以为问题的答案是肯定的,但所有的努力都失败了,大家才倾向于问题的答案是否定的.Enflo P .在1972年举出了一个例子,它是可分的赋范空间,但不具有Schauder 基[A counterexample to the approximation problem in Banach spaces. Acta Math. 130(1973), 309-317.]2.4 线性连续泛函与Banach Hahn -定理Banach S .1929年引进共轭空间这一重要概念,这也就是赋范线性空间上的全体有界线性泛函组成的线性空间,在这个线性空间上取泛函在单位球面的上界为范数,则共轭空间是完备的赋范线性空间. Banach S .还证明了每一连续线性泛函是有界的,但最重要的是Banach S .和Hahn H .各自独立得到的一个定理,这就是泛函分析中最著名的基本定理,即Banach Hahn -定理,它保证了赋范线性空间上一定有足够多的连续线性泛函.泛函这名称属于Hadamard ,他是由于变分问题上的原因研究泛函.定义 2.4.1 设||)||,(⋅X 是赋范线性空间,f 为X 到K 的映射,且对于任意X y x ∈,及K ∈βα,,有)()()(y f x f y x f βαβα+=+则称f 为X 的线性泛函.例2.4.1 在∞l 上,若定义1)(x x f =,则f 为∞l 上的线性泛函.由于线性泛函具有可加性,因此,线性泛函的连续性比较容易刻画.定理2.4.2 设f 是赋范线性空间||)||,(⋅X 上的线性泛函,且f 在某一点X x ∈0上连续,则f 在X 上每一点都连续.证明对于任意X x ∈,若x x n →,则00x x x x n →+-由f 在0x 点的连续性,因此)()(00x f x x x f n →+-所以)()(x f x f n →,即f 在x 点连续.这个定理说明,要验证泛函f 的连续性,只须验证f 在X 上某一点（例如零点）的连续性就行了.问题2.4.1 是否存在一个赋范线性空间X ,X 上任意线性泛函都连续？例2.4.3 n R 上任意线性泛函都是连续的.事实上令)0,0,1,0,0(ΛΛ=i e ,则任意nR x ∈,有∑==ni ii ex x 1,设0,→∈m nm x R x ,则∑==ni i m im e x x 1)(,且0)(→m ix 对任意i 都成立.因此)0(0)()()(1)(1)(f e f x e x f x f ni i m ini i m i m =→==∑∑==,所以f 在0点连续,从而f 在n R 上任意点都连续.定义 2.4.2 若X 上的线性泛函把X 的任意有界集都映为K 的有界集,则称f 为有界线性泛函,否则f 为无界线性泛函.定理 2.4.4 设f 为赋范线性空间||)||,(⋅X 上的线性泛函,则f 是有界的当且仅当存在0>M ,使|||||)(|x M x f ≤.证明若存在0>M ,使得对任意|||||)(|,x M x f X x ≤∈,则对于X 中的任意有界集F ,有0>r ,使得对任意F x ∈,有r x ≤||||,因此,Mr x M x f ≤≤|||||)(|对所有F x ∈成立,所以)(F f 为K 的有界集,即f 为有界线性泛函.反之,若f 为有界线性泛函,则f 把X 的单位球面}1|||||{)(==x x X S 映为K 的有界集,因此存在0>M ,使得对一切1||||=x ,有M x f ≤|)(|故对任意X x ∈,有M x xf ≤|)||||(| 所以|||||)(|x M x f ≤例2.4.5 对)(|){(i i x x c =为收敛序列},范数||sup ||||i x x =,若定义f 为i i x x f ∞→=lim )(,则f 为c 上的线性泛函,由于||sup ||||i x x =,因此|||||lim ||)(|x x x f i i ≤=∞→所以f 为c 上的有界线性泛函.对于赋范线性空间的线性泛函而言,有界性与连续性是等价的,Banach S .在1929年证明了每一个连续可加泛函（线性连续泛函）都是有界的.定理2.4.6 设X 是赋范线性空间,则X 上的线性泛函是连续的当且仅当f 是有界的. 证明若f 是有界的,则由上面定理可知存在0>M ,使得|||||)(|x M x f ≤,因此当x x n →时,有)()(x f x f n →,即f 为连续的.反之,假设f 为连续线性泛函,但f 是无界的,则对任意自然数n ,存在X x n ∈,使得|||||)(|n n x n x f >令0,||||0==y x n x y n nn ,则01||||0→=-n y y n ,由f 的连续性可知)()(0y f y f n →,但1||||)()(>=n n n x n x f y f ,0)(0=y f ,从而 1|)()(|0>-y f y f n ,但这与)()(0y f y f n →矛盾.所以f 为连续线性泛函时,f 一定是有界的.线性泛函的连续性还可以利用f 的零空间是闭集来刻画.定理 2.4.7 设X 是赋范线性空间,则X 上的线性泛函是连续的当且仅当}0)(|{)(==x f x f N 为X 的闭线性子空间.证明明显地)(f N 为线性子空间,因此只须证)(f N 是闭的.若f 是连续线性泛函,则当x x f N x n n →∈),(时,必有)()(x f x f n →,因而0)(=x f ,即)(f N x ∈,所以)(f N 是闭子空间.反之,若)(f N 是闭的,但f 不是有界的,则对于任意正整数n ,有X x n ∈,使|||||)(|n n x n x f >令||||n nn x x y =,则1||||=n y ,且n y f n >|)(|. 取)(,)()(11011y f yz y f y y f y z n n n -=-=, 由于01|)(|||||||)(||||||0→<==-ny f y y f y z z n n n n n 因而0z z n →,且0))()(()(11=-=y f yy f y f z f n n n ,即)(f N z n ∈,从而由)(f N 是闭集可知)(0f N z ∈,但这与1)(0-=z f 矛盾,因此当)(f N 是闭子空间时,f 一定是连续的. 从上面的讨论容易看出,X 上的全体连续线性泛函是一个线性空间,在这个线性空间上还可以定义其范数.定义2.4.3 设f 为X 上的线性连续泛函,则称|||||)(|sup||||0x x f f x ≠= 为f 的范数.明显地,若记X 上的全体线性连续泛函为*X ,则在范数||||f 下是一赋范空间,称之为X 的共轭空间.虽然Hahn H .在1927年就引起了共轭空间的概念,但Banach S .在1929年的工作更为完全些.容易看出,对于任意X f ∈,还有|)(|sup |)(|sup ||||1||||1||||x f x f f x x ≤===.但对于具体的赋范空间X ,要求出X 上的连续线性泛函的范数,有时是比较困难.例 2.4.8 设f 为1l 的连续线性泛函,若取}{i e 为1l 上的Schauder 基,则对任意)(i x x =,有∑∞==1i ii ex x , 故∑∞==1)()(i i ie f xx f ,因而)||(|)(|sup |)(||||)(||)(|111∑∑∑∞=∞=∞=≤≤=i iii iii iix e f e f x e f x x f从而|)(|sup ||||i e f f ≤. 取1)0,0,1,0,0(l e i ∈=ΛΛ, 则1||||=i e , 且|)(|||||||||||||i i e f e f f ≥=, 故|)(|sup ||||i e f f ≥,所以|)(|sup ||||i e f f =.设M 是赋范线性空间X 的子空间,f 为M 上的连续线性泛函,且存在0>C ,使得|||||)(|x C x f ≤对任意M x ∈成立,则f 是否可以延拓到整个范空间X 上？这一问题起源于n 维欧氏空间n R 上的矩量问题. Banach S . 在1920年提交的博士论文中,用几何语言将它推广到无限维空间．1922年,Hahn H .发表的论文也独立地得出类似结果． Hahn H . 在1927年将结果更一般化,在完备的赋范线性空间研究了这一问题,并证明了在X 上f 存在连续延拓F ,使得|||||)(|x C x F ≤对一切M x ∈成立,且对一切M x ∈,有)()(x f x F =. 1929年,Banach S .独立地发表了与Hahn H .相近的定理和证明,并把一定理推广为一般的情形,这就是下面的Banach Hahn -延拓定理.定理 2.4.9 设M 是实线性空间X 的线性子空间,f 为M 上的实线性泛函,且存在X 上的半范数)(x p 使得)(|)(|x p x f ≤, 对任意M x ∈成立则存在f 在X 上的延拓F ,使得(1) )(|)(|x p x F ≤, 对任意X x ∈成立; (2) )()(x f x F =, 对任意M x ∈成立.Bohnehbius F H ..与Sobczyk A . 在 1938 年还把Banach Hahn -定理推广到复线性空间.定理 2.4.10 设M 是复线性空间X 的复线性子空间,f 为M 上的线性泛函,p 是X 上半范数且满足)(|)(|x p x f ≤, 对任意M x ∈成立则存在f 在X 上的延拓F ,使得(1) )(|)(|x p x F ≤, 对任意X x ∈成立; (2) )()(x f x F =, 对任意M x ∈成立.利用线性空间的Banach Hahn -延拓定理,可以建立赋范线性空间上的保范延拓定理,它是Banach 空间理论的基本定理.定理 2.4.11 设M 是赋范线性空间X 的线性子空间,f 为M 上的连续线性泛函,则存在X 上线性连续泛函F ,使得(1) **=M X f F |||||||| ;(2) )()(x f x F =, 对任意M x ∈成立.这里*X F ||||表示F 在*X 的范数, *M f ||||表示f 在*M 的范数.证明由于f 为M 上的连续线性泛函,因此对任意M x ∈,有|||||||||)(|x f x f M *≤. 定义半范数||||||||)(x f x p M *=,则有)(|)(|x p x f ≤,对任意M x ∈.由线性空间的Banach Hahn -定理可知存在F ,使得)()(x f x F =, 对任意M x ∈且)(|)(|x p x F ≤, 对任意X x ∈因此对于任意X x ∈,有|||||||||)(|x f x F M *≤,故F 为X 上的连续线性泛函,且**≤M X f F ||||||||.反过来,由**==≥=≠∈≠∈≠∈M x M x x M x x X x X f x x f x x F x x F F |||||||||)(|sup |||||)(|sup |||||)(|sup||||0,0,0,可知**=M X f F ||||||||, 且)()(x f x F =对任意M x ∈成立.在上面定理中,若X 是复赋范线性空间,则M 必须是复线性子空间.很有意思的是Bohnehbius F H ..和Sobczyk A .在1938年证明在任意无穷维复Banach 空间X 中,一定存在实线性子空间M ,在M 上有一复连续线性泛函不能保范延拓到X 上.问题2.4.2 在Banach Hahn -定理中,什么条件下保范延拓是唯一的？例2.4.12 在},|),{(2121R x x x x X ∈=上,定义范数||||||),(||||||2121x x x x x +==. 令}|)0,{(11R x x M ∈=, 明显地，M 是赋线性空间X 的线性子空间,对M x y ∈=)0,(1,定义1)(x y f =,则|||||||)(|1y x y f ==故1||||≤*M f ,且对)0,1(0=x ,有1|)(|,1||||00==x f x ,因而1||||=*M f ,但对X 上的线性泛函211)(x x x F +=212)(x x x F -=这里X x x x ∈=),(21 在M 上,都有)()(1y f y F = )()(2y f y F =对任意的M x y ∈=)0,(1成立. 在M 上有f F f F ==21,,且***==M X X f F F ||||||||||||21,因此21,F F 是f 的两个不同的保范延拓.定理2.4.13 设||)||,(⋅X 是赋范空间,M 是X 的子空间,X x ∈0,),(0M x d d =0}|||inf{||0>∈-=M y y x ,则存在*∈X f ,使得（1）对任意0)(,=∈x f M x ；（2）d x f =)(0；（3）1||||=f .证明令}}{{0x M span E ⋃=∆,则对任意E x ∈,x 有唯一的表达式0'tx x x +=,这里M x K t ∈∈',.在E 上定义泛函g ：td x g =)(则g 为E 上的线性泛函,且（1）d x g =)(0；（2）对任意0)(,=∈x g M x .对0'tx x x +=,不妨假设0≠t .由}||inf{||,|||)'(||)(|00M y x y d d t tx x g x g ∈-==+=可知||||||'||||'||||||'|||||||)(|000x tx x x tx t x t x t d t x g =+=+=--≤=. 因此g 是E 上的线性连续泛函,且1||||≤*M g .根据Banach Hahn -定理,有连续线性泛函*∈X f ,使得（1）对任意)()(,x g x f E x =∈；（2）||||||||g f =.由0}|||inf{||0>∈-=M y y x d ,可知存在M x n ∈,使得d x x n →-||||0. 故df x x f x f x f x f d n n |||||||||||||)()(||)(|000→-⋅≤-==因此1||||≥f ,所以1||||=f ,且对所有M x ∈,有0)(=x f .特别地,当}0{=M 时,对任意00≠x ,有||||),(00x M x d =,因此由上面定理可知下面推论成立.推论 2.4.14 设X 是赋范线性空间,则对任意0,00≠∈x X x ,有*∈X f ,使得||||)(00x x f =,且1||||=f .该结论的重要意义在于它指出了任意赋范线性空间X 上都存在足够多的线性连续泛函.由下面推论还可知道X 中两个元素y x ,,若对所有*∈X f ,都有)()(y f x f =,则一定有y x =.推论 2.4.15 设X 是赋范线性空间,X y x ∈,则y x ≠当且仅当对存在*∈X f 使得)()(y f x f ≠.证明假设y x ≠,则对y x z -=,有0||||≠z ,因此Banach Hahn -定理的推论可知存在1||||=f ,使得0||||)(≠=z z f ,从而)()(y f x f ≠.例题2.4.1 设X 是赋范线性空间,试证明对任意X x ∈0,有|)(|sup||||0,1||||0x f x Xf f *∈==证明对任意*∈X f ,1||||=f ,有|||||||||||||)(|000x x f x f =≤因此|)(|sup||||0,1||||0x f x X f f *∈=≥另外, 但对0,00≠∈x X x ,存在*∈X f ,1||||=f ,使得 ||||)(00x x f =, 故|)(|sup||||0,1||||0x f x Xf f *∈=≤, 所以|)(|sup||||0,1||||0x f x Xf f *∈==.例题 2.4.2 设||)||,(⋅X 是赋范空间,若对于任意1||||,1||||,,==∈y x X y x 且y x ≠都有2||||<+y x ,试证明对于任意)1,0(∈α,有1||)1(||<-+y x αα.证明反证法. 假设存在1||||||||00==y x 和)1,0(0∈α,使得1||)1(||0000=-+y x αα由Banach Hahn -定理的推论,可知存在*∈X f , 1||||=f ,使得||)1(||))1((00000000y x y x f αααα-+=-+即1)()1()(0000=-+y f x f αα这时一定有1)()(00==y f x f . 否则的话,若1)(0<x f 或1)(0<y f ,则1)1()()1()(000000=-+<-+ααααy f x f ,矛盾.因此2)(|)(|sup||||0000,1||||00=+≥+=+*∈=y x f y x f y x X f f ,又由2|||||||||||0000=+≤+y x y x可知2||||00=+y x ,但这与2||||00<+y x 的题设矛盾,因此由反证法原理可知对于任意)1,0(∈α,有1||)1(||<-+y x αα.2.5 严格凸空间Clarkson A J ..在1936年引入了一致凸的Banach 空间的概念,证明了取值一致凸的Banach 空间的向量测度Nikodym Radon -的定理成立,从而开创了从单位球的几何结构来研究Banach 空间性质的方法.Clarkson A J ..和Gkrein M . 独立地引进了严格凸空间,严格凸空间在最佳逼近和不动点理论上有着广泛的应用.定义 2.5.1 赋范空间X 称为严格凸的,若对任意1||||,1||||,,==∈y x X y x ,y x ≠,都有1||2||<+yx严格凸的几何意义是指单位球面X S 上任意两点y x ,的中点2yx +一定在开单位球}1|||||{<=x x U X 内.例2.5.1 Banach 空间0c 不是严格凸的. 取000),0,0,1,0(),,0,1,1(c y x ∈==ΛΛ,则1||||||||00==y x ,且对),0,0,1,21(200Λ=+y x ,明显地有 1||2||00=+y x .类似地,易验证,Banach 空间 ∞l l c ,,1都不是严格凸空间.例2.5.2 若1||||,1||||,,2==∈y x l y x 且y x ≠,则4||||2||||2)||2()||2()||()||(||||||||221212121222=+=+=-++=-++∑∑∑∑∞=∞=∞=∞=y x y x y x y x y x y x i i i i i i i i i i从而4||||4||||22<--=+y x y x ,即1||2||<+yx . 所以2l 是严格凸的.类似地,容易证明Banach 空间)1(∞<<p l p 是严格凸的.定理2.5.3 若X 是严格凸赋范空间,则对任意非零线性泛函*∈X f , f 最多只能在X S 上的一点达到它的范数||||f .证明反证法.假设存在1||||||||,0000==≠y x y x ,使得||||)()(00f y f x f ==由于||||)]()([21)2(0000f y f x f y x f =+=+ 因此||2||||||)2(||||0000y x f y x f f +≤+= 从而1||2||0≥+y x 明显地,12||||||||||2||0000=+≤+y x y x .因此 1||2||00=+y x ,但这与X 的严格凸假设矛盾,所以由反证法原理可知定理成立.设X 是赋范空间,M 是X 的子空间,对*∈X f , f 在X 上可能有不同的保范延拓,不过,*X 的严格凸性能保证保范延拓的唯一性.Taylor A .在1939年证明了以下结果-function linear of extension The Taylor A ,.[ ].547538),1959(5..,-J Math Duke als .定理 2.5.4 若*X 是严格凸,M 是X 的子空间,则对任意*∈M f ,f 在X 上有唯一的保范延拓.证明反证法. 假设对*∈M f ,f 在X 上有两个不同的保范延拓1F 及2F ,即对任意M x ∈,都有)()()(21x F x F x f ==,且||||||||21F F =,则1||2/)||||||||(||21≤+f Ff F 由于2|)()(|sup 2||sup ||2||21,1||||21,1||||21x F x F F F F F Mx x X x x +≥+=+∈=∈= ||||2|)()(|sup,1||||f x f x f M x x ≥+=∈=因此1||2/)||||||||(||21=+f Ff F ,但这与*X 是严格凸矛盾. 所以f 在X 上只有唯一的保范延拓.思考题2.5.1 若对X 的任意子空间M ,任意的*∈M f ,f 在X 上都只有唯一的保范延拓,则*X 是否一定为严格凸的？严格凸性还保证了最佳逼近元的唯一性.定义2.5.2 设X 是赋范线性空间X x X M ∈⊂,,若存在M y ∈0,使得||||inf ||||0y x y x My -=-∈则称0y 为M 中对x 的最佳逼近元.定理2.5.5 设M 为赋范线性空间X 上的有限维子空间,则对任意X x ∈,存在M y ∈0,使得||||inf ||||0y x y x My -=-∈证明令||||inf y x d My -=∈,由下确界的定义,存在M y n ∈,使得d y x n →-||||因而}{n y 是有界序列,即存在0>C ,使得C y n ≤||||,对任意n 成立.事实上,若}{n y 不是有界序列,则对任意N k ∈有}{n n y y k ∈,使得k y k n >||||,故)(||||||||||||||||∞→∞→-≥-≥-k x k x y y x k k n n .但这与d y x k n →-||||矛盾,所以}{n y 为有界序列.由于M 是有限维,且}{n y 为M 中有界序列,因此}{n y 存在收敛子列0y y k n →,且M y ∈0.故d y x y x k n k =-=-∞→||||lim ||||0,所以存在M y ∈0.且||||inf ||||0y x y x My -=-∈.问题2.5.1 上述定理中的最佳逼近元是否一定唯一？例 2.5.6 在2R 中,取范数|}||,max{|||||21x x x =,}|)0,{(11R x x M ∈=,则M 为2R 的一维子空间,取20)1,0(R x ∈=,对于任意M x x ∈=)0,(1,有1}1||,max{||||)0,()1,0(||||||110≥=-=-x x x x故1}|||inf{||),(00≥∈-=M x x x M x d对于)0,1(0=w ,有1||||00=-w x .因此1}|||inf{||),(00=∈-=M x x x M x d . 但对于)0,0(=u 及)0,1(-=v ,都有1||||||||00=-=-v x u x ,因此0x 在M 的最佳逼元不唯一.既然上述定理中的最佳逼近元不唯一,那么什么时候才能保证唯一呢？定理2.5.7 设X 是严格凸空间,M 为X 的有限维子空间,X x ∈,则在M 中存在唯一的最佳逼近元,即存在M y ∈0,使得||||inf ||||0y x y x My -=-∈证明令||||inf y x d My -=∈,假设存在M y y ∈21,, 使得d y x d y x =-=-|||||,||||21则由M y y ∈+221,可知d y y x ≥+-||2||21. 由于d y x y x y y x =-+-≤+-||2||||2||||2||2121,从而d y y x =+-||2||21. 因此1||||,1||||21=-=-d y x d y x ,且1||2/)(||21=-+-dy x d y x .但这与X 的严格凸性。

线性赋范空间泛函有界性

目录1引言 (1)2线性赋范空间 (1)2.1预备知识 (2)2.2线性赋范空间的一些性质 (3)3线性有界泛函 (4)3.1线性有界泛函有关概念 (4)3.2线性有界泛函与线性连续泛函 (6)3.3共轭空间 (8)4线性有界算子 (11)4.1线性有界算子有关概念 (11)4.2线性有界算子与线性连续算子 (13)4.3线性有界算子空间 (14)参考文献 (15)致谢 (16)线性赋范空间泛函有界性研究数学系本1104班薛菊峰指导教师：何瑞强摘要：本文主要研究线性赋范空间泛函有界性。

从三个方面进行探讨：首先，阐述线性赋范空间泛函有界性、泛函连续性以及相关的概念；然后，研究线性赋范空间泛函有界性与连续性的关系，根据两者的等价性给出相关泛函理论的推导及应用；最后，将线性有界泛函理论推广到线性有界算子空间。

关键词：线性赋范空间，线性有界泛函，线性连续泛函，线性有界算子。

The Study of the Functional Boundedness in Linear Normed SpaceXue JuFengClass 1104, Mathematics DepartmentTutor: He RuiQiangAbstract: This paper mainly studies the functional boundedness in linear normed space. Carries on the discussion from three aspects: First of all, this paper expounds the linear normed space functional boundedness, functional continuity and related concepts; Then, researching the relationship of the linear normed space functional boundedness and continuity, giving derivation and application of the relevant functional theory according to the equivalence of them; Finally, the bounded linear functional theory are generalized to space of bounded linear operator .Keywords: linear normed space, bounded linear functional, linear continuous functionals , bounded linear operator.1引言有学者在这方面已经做了一定的研究如：李宗铎在《线性赋范空间中几个概念的探讨》证明了当给线性赋范空间装备以相应的拓扑，与线性拓扑空间体系下所定义的线性赋范空间，有界集、线性算子的有界性等概念是等效的，同时严格证明了有界线性算子范数两种规定的一致性；王艳博、张云峰在《关于泛函分析中定理的推广》对于赋范空间X 和Y ，从X 到Y 的全体线性有界算子()Y X B ,关于算子范数亦成为赋范空间，且知当Y 是完备空间时，()Y X B ,也是完备的。

2.1赋范线性空间

N 3 x x
N 4 x y x y
则称 x 为 x 的范数，称 X , . 简称赋范空间，也简记作 X 。

为赋范线性空间，
可以利用“范数”在 X 中定义距离
d x, y x y
称为由范数诱导的距离。范数导出的距离具有平移不变性和绝对齐次性。 ⑴ d x a, y a d x, y （平移不变性）； ⑵ d ax, ay a d x, y （绝对齐次性）。

e 叫做关于基 e 的表达式或展开式，
i 1 i i
n
并记作
x i ei
i.5 设{x1, x2, ……, xn}是任意维赋
范空间X中的一个线性无关组，则对任意
选定的一组系数α1， α2，…… αn，必存在一个常数 C > 0 , 使得
定义 2.1.4 (肖德基)
若赋范空间 X 包含一个序列 en ，
对每个 x X 都存在唯一的数列 n ，使得当 n 时，有
x 1e1 2 e2 n en 0
则称 en 为 X 空间的一个肖德（Schauder）基，

而把其和为 x 的级数
1 x1 2 x2 .... n xn
C ( 1 2 ... n )
定理2.1.6（有限维赋范空间的完备性）
赋范空间X的每一个有限维子空间M
都是完备的，特别是每个有限维赋范空间
都是完备的。
2.1.6 赋范空间的同构性
定义2.1.7（同构线性空间）
设X、Y是同一数域K上的两个线性空
i 1

i
x1 x2 xn

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 阶实矩阵在矩阵的加法和数乘意义下构成线性空间．2.1.1 线性赋范空间的定义与举例定义 2.1.2 线性赋范空间Normed Linear Spaces设X 是数域K 上的线性空间，其中K 表示R 或者C ．若对每个x ∈X ，有一个确定的实数，记之为x ，与之对应，并且,x y X ∀∈，α∈K 满足：(1) ||||0x ≥，||||0x =0x ⇔= (正定性or 非负性)；Positive definiteness or Nonnegativity (2) ||||||||||x x αα=⋅ (齐次性)；Multiplicativity(3) ||||||||||||x y x y +≤+ (三角不等式). Triangle inequality则称||||x 为向量x 的范数(norm )，称(,|| ||)X 为线性赋范空间.简记为X ．通常称定义中的(1)、 (2) 、(3)为范数公理．注1：线性赋范空间诱导的度量空间在线性赋范空间X 中可定义距离：,x y X ∀∈，定义(,)||||d x y x y =-容易验证非负性、对称性和三角不等式(,)X d 为度量(距离)空间，并称d 为由范数||||⋅导出的距离，X 按导出的距离成为一个度量空间．从而在线性赋范空间X 中，关于点的邻域、开集、闭集、点列的收敛、极限点、列紧、可分性以及完备性等概念都有了确定的含义．定义 2.1.3 巴拿赫空间Banach space设X 为一线性赋范空间，如果X 按照距离(,)||||d x y x y =-是完备的，则称X 为巴拿赫(Banach)空间.即完备的线性赋范空间称为Banach 空间.例 2.1.1 在n 维欧式空间n R 上，12(,,,)n n x x x x R ∀=∈ ，定义范数||||⋅1221||||(||)ni i x x ==∑．记d 为由范数||||⋅导出的距离(,)||||d x y x y =-，证明(,)n R d 为Banach 空间.证明容易验证正定性和齐次性成立，由于第二章已经证明n R 上距离1221(,)||||(||)ni i i d x y x y x y ==-=-∑满足三角不等式，所以有||||(,)(,0)(0,)||||||||x y d x y d x d y x y +=-≤+-=+．同时第二章已经证明n R 是完备的度量空间，故n R 为Banach 空间．□例 2.1.2 在[,]C a b 在通常加法和数乘意义下构成线性空间，定义范数[,]||||max |()|t a b x x t ∈=，此范数导出的距离为[,](,)||||max |()()|t a b d x y x y x t y t ∈=-=-，证明在此距离下[,]C a b 是完备的，即在此范数下[,]C a b 为Banach 空间．证明容易验证正定性和齐次性成立，又[,]||||max |()()|t a b x y x t y t ∈+=+[,][,]max |()|max |()|t a b t a b x t y t ∈∈≤+||||||||x y =+即满足三角不等式．第二章已证明[,]C a b 在此范数诱导的距离意义下是完备的度量空间，故[,]C a b 为Banach 空间．□也可证明线性空间l ∞，p l ，[,]p L a b (1p ≤<+∞)为Banach 空间，加之前两个例题的结果知在下列定义的范数意义下，均为Banach 空间：n 维欧式空间nR1221||||(||)ni i x x ==∑12(,,,)nn x x x x R =∈有界数列空间l ∞1||||sup ||i i x x ==12(,,,,)n x x x x l ∞=∈p 次幂可和的数列空间p l11||||(||)ppi i x x ∞==∑12(,,,,)pn x x x x l =∈连续函数空间[,]C a b [,]||||max |()|t a b x x t ∈=[,]x C a b ∈p 次幂可积函数空间[,]pL a b1[,]||||(|()|)ppa b x x t dt =⎰[,]p x L a b ∈例 1.3 在[,]C a b 上定义范数1|||||()|ba x x t dt =⎰，其导出的距离为11(,)|||||()()|ba d x y x y x t y t dt =-=-⎰，那么在范数1||||⋅下[,]C a b 不是Banach 空间．证明仿照前章证明[0,1]C 在1d 下不是完备的度量空间，可知1([,],)C a b d 不是完备的度量空间，又因1|||||()()||()||()|bbba a a x y x t y t dt x t dt y t dt +=+≤+⎰⎰⎰11|||||||||x y =+，可知1||||⋅符合范数的三条公理．故在范数1||||⋅下[,]C ab 不是Banach 空间．□如果在线性空间X 上具有定义好的距离函数(,)d x y ，那么(,)X d 就为一度量空间，试问是否在存在X 上的某范数||||⋅，使得d 是由这个范数||||⋅导出的距离，即满足(,)||||d x y x y =-．答案是否定的．例 2.1.4 设X 为线性赋范空间，令(,)||||1x y d x y x y x y=⎧=⎨-+≠⎩证明(,)X d 为度量(距离)空间，但d 不是由某范数||||⋅导出的距离．证明显然距离(,)d x y 定义中的非负性和对称性成立，,,x y z X ∀∈，下证三角不等式成立当x y =时，则(,)0(,)(,)d x y d x z d z y =≤+；当x y ≠时分为三种情况：(1)x z ≠和y z ≠．(,)||||1d x y x y =-+||||1x z z y =-+-+||||||||1x z z y ≤-+-+(,)(,)d x z d z y <+．(2)x z =和y z ≠．注意到||||0x z -=和(,)0d x z =，所以有(,)||||1d x y x y =-+||||||||1x z z y ≤-+-+(,)(,)d x z d z y =+．(3)x z ≠和y z =．注意到||||0z y -=和(,)0d z y =，所以有(,)||||1d x y x y =-+||||1||||x z z y ≤-++-(,)(,)d x z d z y =+．因此(,)X d 是度量空间．假设d 是由某范数1||||⋅导出的距离，即1(,)||||d x y x y =-，于是当x θ≠及x αθ≠时有1||||(,)||||1x d x x θ==+； 1||||(,)||||||1x d x x ααθα==+；可见1||||||||(,)||(||||1)x d x x ααθα==+显然11||||||||||x x αα≠产生矛盾，故d 不是由某范数导出的距离．□问题：对于实数集R 上定义的离散度量空间0(,)d d R ，是否存在某范数使得离散度量0d 是由该范数诱导的度量？定义 2.1.4 线性赋范空间的子空间设X 为一线性赋范空间，如果1X 是X 的线性子空间，并且1X 上的范数是X 上的范数在1X 上的限制，则称1X 是线性赋范空间X 的子空间．如果1X 在X 中是闭的，则称1X 为X 的闭子空间．复习：完备度量空间X 的子空间M 是完备的充要条件M 是X 的闭子空间．2.1.2 线性赋范空间的极限根据范数导出的距离(,)||||d x y x y =-可以得到有关极限的概念，并且可讨论线性赋范空间中点列的收敛性．定义 2.1.5 依范数收敛设X 为线性赋范空间，{}n x 是X 中的点列，x X ∈，如果lim 0n n x x →∞-=，则称{}n x 依范数收敛于x (简称{}n x 收敛于x )，记为lim n n x x →∞=或()n x x n →→∞．显然依范数收敛就是按范数导出的距离收敛．关于点列的极限有以下性质．定理 2.1.1 设X 为线性赋范空间，{}n x X ⊂，(1)范数的连续性：范数x 是x 的连续函数(即若n x x →，则有n x x →)． (2)有界性：若{}n x 收敛于x ，则{}n x 有界．(3)线性运算的连续性：若n x x →，n y y →()n →∞，则n n x y x y +→+，n x x αα→()n →∞，其中α为常数．证明 (1) 设()f x x =，则f ：X R →，若n x x →，即(,)0n n x x d x x -=→，又因为n n x x x x ≤-+，n n x x x x ≤-+，所以()()0n n n f x f x x x x x -=-≤-→，因此x 是x 的连续函数．(2) 根据n n x x x x ≤-+易得结论． (3) 根据范数、极限的定义易证结论．□在线性赋范空间中，由于范数刻画了向量的长度，因此，赋范空间中的概念具有更强的几何直观性．定理 2.1.2 设X 为线性赋范空间，d 是由范数导出的距离，则0,,x y z X ∀∈，α∈K (数域) 有：(1)平移不变性：00(,)(,)d x z y z d x y ++=． (2)绝对齐次性：(,)(,)d x y d x y ααα=．证明 (1) 0000(,)()()(,)d x z y z x z y z x y d x y ++=+-+=-=． (2) (,)()(,)d x y x y x y x y d x y ααααααα=-=-=-=．2.1.3 线性赋范空间上的级数在线性赋范空间中，既有代数运算，又有极限运算，因此可以引进无穷级数的概念．定义 2.1.6 级数 Progression设X 为线性赋范空间，点列{}n x X ⊂，称表达式121n n n x x x x ∞=++++=∑ 为X 中的级数．若部分和点列12n n S x x x =+++ 依范数收敛于s X ∈，则称级数1n n x ∞=∑收敛于s ，称s 为级数的和，记为1n n s x ∞==∑．如果数项级数1n n x ∞=∑收敛，则称级数1n n x ∞=∑绝对收敛．例 2.1.5 证明在Banach 空间中，绝对收敛的级数必收敛．(习题)证明设级数1k k x ∞=∑绝对收敛，令1nn k k S x ==∑，下面证明{}n S 是X 中的柯西列，当m n >时，有12m n n n m S S x x x ++-=+++12n n m x x x ++≤+++1110nk k k k n k k x x x ∞∞=+==≤=-→∑∑∑,因此{}n S 是完备空间X 中的柯西列，从而是收敛列，即级数的部分和点列收敛．例 2.1.6 如果在线性赋范空间X 中，任何级数的绝对收敛总蕴含级数收敛，那么X 是完备的(即为Banach 空间)．(习题课)由上例子可知，当且仅当在Banach 空间中有级数的绝对收敛蕴含着收敛．定义2.1.6 绍德尔(Schauder)基设X 为线性赋范空间，{}n e 是X 中的一个点列，如果对于每一个x X ∈，存在唯一的数列{}n α，使得1122()0()n n x e e e n ααα-+++→→∞则称{}n e 是空间X 中的一组绍德尔基，称1n n n x e α∞==∑为x 的展开式．例如，p 次幂可和的数列空间p l 有一个绍德尔基{}n e ，其中(0,,0,1,0,,0,)n e = ，n e 的第n 个坐标等于1，其余坐标为0．可以证明，若线性赋范空间X 有一组绍德尔基，则X 是可分的线性赋范空间，反之不真．2.1.4 线性赋范空间的完备化由例 2.1.3及 2.1.4可知[,]C a b 在范数[,]||||m a x |()|t a b x x t ∈=下是Banach 空间，在范数1222||||(|()|)bax x t dt =⎰下不是Banach 空间，同时知2([,],)C a b ⋅2[,]L a b ⊂，而2[,]L a b 是完备的空间，即为Banach 空间．定义 2.1.7 线性等距同构设11(,)X ⋅，22(,)X ⋅是同一数域K 上的两个线性赋范空间，如果存在一一映射T ：12X X →，满足：(1) 线性：1,x y X ∀∈，,αβ∈K ，()()()T x y T x T y αβαβ+=+． (2) 等距：1x X ∀∈，21Tx x =．则称1X 和2X 线性等距同构，并称映射T 是线性等距同构映射．在线性等距同构意义下，两个空间可看成“同”一个空间定理 2.1.3 完备化定理设X 为线性赋范空间，那么存在Banach 空间Y ，使X 和Y 的一个稠密子空间1Y 线性等距同构，且在线性等距同构意义下，Y 是唯一的．数学家简介斯特凡·巴拿赫（Stefan Banach ，1892年3月30日－1945年8月31日），波兰数学家1892年3月30日生于克拉科夫,1945年8月31日卒于利沃夫曾在克拉科夫的贾吉洛尼亚大学和利沃夫工业大学短期学习,但他主要靠自学1916 年结识H.斯坦豪斯后，开始科学研究,1920年获博士学位,1922年任利沃夫大学讲师，1927年为教授．成为泛函分析的开创者之一．不久在他和斯坦豪斯周围集中了一批年轻学者,发展成为利沃夫学派,并在1929年创办了第一个泛函分析杂志《数学研究》．1932年出版了他的名著《线性算子理论》．他在1936年的国际数学家大会上做了全会报告，这表明数学界重视波兰学者对泛函分析的研究．1939年被选为波兰数学会主席．第二次世界大战中，波兰被德国占领，他在一所医学研究所做喂养昆虫的工作．苏联军队攻克利沃夫后，他才回到大学工作，不过这时他已患肺癌．巴拿赫的主要工作是引进线性赋范空间概念，建立其上的线性算子理论，他证明的三个基本定理（哈恩—巴拿赫线性泛函延拓定理，巴拿赫－斯坦豪斯定理即共鸣定理，闭图像定理）概括了许多经典的分析结果，在理论上和应用上都有重要的价值．人们把完备的线性赋范空间称为巴拿赫空间．此外,在实变函数论方面,他在1929年同K.库拉托夫斯基合作解决了一般测度问题．在集合论方面，他于1924年同A.塔尔斯基合作提出巴拿赫－塔尔斯基悖论．1945年8月31日巴拿赫因肺癌在乌克兰的利沃夫逝世，逝世后在当地被葬．1946年波兰数学协会为纪念他颁发巴拿赫奖．线性与非线性泛函◇。

第二章-赋范线性空间

*（5）逆算子定理：E、E1 都是 Banach 空间，T:E E1
上的一一对应的有界线性算子，则逆算子T 1必存在，
且T 1 也是有界线性算子。
*（6）有限维赋范线性空间中一切线性算子均有界（故连续）。
3）线性泛函举例
① 设 E 是赋范线性空间，则 E 的范数 x 定义了一个泛函
f : x E x R1，则 f 连续有界、但不是线性的泛函。其范数
（1）线性算子 T 若在一点 x0 D(T)连续在 D(T )上处
处连续
（2）线性算子 T 有界 T 连续
Tx
（3）线性算子 T 有界 T
sup
x0
x
存在 ( ) 。
*（4）共鸣定理：设 E 为 Banach 空间，E1 为赋范线
性空间，Tn (E E1) ，则x E, Tnx 有界 Tn 有界。
第2章赋范线性空间
§2.1 定义和举例 §2.2 按范数收敛 §2.3 有限维赋范线性空间 §2.4 线性算子与线性泛函 §2.5 赋范线性空间中的各种收敛
在第 1 章，我们通过距离的概念引入了点列的极限。点列的极限是微积分中数列极限在抽象空间中的推广，然而它是只有距离结构、没有代数结构（代数运算）的空间，在应用时受到许多限制。本章和下章介绍的赋范线性空间及内积空间就是距离结构和代数结构相结合的产物，它比距离空间有明显的优势。
若又由
xn
0
2
xn
0 ，即
1
x
2比
x 1更强，
则称范数 x 1与 x 2等价。
注：范数等价具有传递性
例如：可以证明 Rn 中三种范数
x、 1
x、 2
x 相互等价

[理学]应用数学基础第三章-赋范线性空间和有界线性算子

1.4
等价范数
如果存在正实数 a 和 b，使得对一切 xX，均有： a ||x||2 ≤ ||x||1 ≤b ||x||2 则称 ||•||1 与 ||•||2 等价
定义6：设 ||•||1 和 ||•||2 是线性空间 X 中的两个范数，
10 如果 ||•||1 和 ||•||2 等价，则{xn} 为 (X, ||•||1) 中的 Cauchy 序列 {xn} 为 (X, ||•||2) 中的 Cauchy 序列； 20 如果 ||•||1 与 ||•||2 等价，则 {xn} 依范数 ||•||1 收敛于x {xn} 依范数 ||•||2 收敛于 x； 30 如果 ||•||1 与 ||•||2 等价，则 (X, ||•||1) 为 Banach 空间 (X, ||•||2) 为 Banach 空间； 40* 有限维空间中任何两种范数都等价。
d (x,y) d ( x, y)
1.2 收敛函数与连续映射

{xn }n1 X 定义2：设 X 为赋范线性空间，
xn x0 0 ，如果存在 x0 X ，使得 lim n
则称 {xn} 依范数收敛于 x0，记为
lim xn x0
n
这时也称 x0 为序列 {xn }n1 的极限。
20 并不是所有的赋范线性空间都可由内积空间按内积诱导成空间；
例如： l p {(1 , 2 ,, n ,) i C , i } ( p 2)
i 1

p
x (1, 2 ,, n ,) l p
P x i i 1
例 2：
X C[a, b（其中范数取最大值范数），则 ]
lim xn (t ) x (t ) xn (t ) 在 [a,b]上一致收敛于x(t)。

赋范线性空间

有界线性算子
(1) 线性性： ∀x = (x1, , xn ) , y = ( y1, , yn ) ∈ R ， α, β ∈ R
T T n
1
T (α x + β y) = A(α x + β y) = α Ax + β Ay = αTx + βTy
∀x = ( x1 , , xn )T ∈ R n ， Tx = Ax = ( z1 , , zm )T ∈ R m (2)有界性：
T 定义： E、 1 是赋范线性空间， : D(T ) ⊂ E → N (T ) ⊂ E1 。设 E
（1）线性算子：若 ∀x, y ∈ D(T ), α ∈ K (数域) ，有
⎧T ( x + y ) = Tx + Ty ⎨ 即 T (α x + β y) = αTx + β Ty T (α x) = α Tx ⎩
3）范数的等价性定义设线性空间 E 中定义了两种范数 x 1和 x 2 如果由 xn 1 → 0 ⇒ xn 2 → 0 ，称 x 1比 x 2 更强；若又由 xn 2 → 0 ⇒ xn 1 → 0 ，即 x 2 比 x 1更强，则称范数 x 1与 x 2 等价。注：范数等价具有传递性
例如：可以证明 Rn 中三种范数 x 1、 x 2 、 x ∞ 相互等价
m n
T 2
⎛ ⎞ = ∑ z = ∑ ⎜ ∑ aij x j ⎟ i =1 i =1 ⎝ j =1 ⎠
m 2 i
⎛ ⎞ ⎛ m n 2⎞ ≤ ∑ ⎜ ∑ aij x j ⎟ ≤ ⎜ ∑∑ aij ⎟ i =1 ⎝ j =1 ⎠ ⎝ i=1 j =1 ⎠
2
x2 = M x ∑ j
j =1

第二章赋范线性空间

第二章
§1 度量空间
一. 度量空间的概念
赋范线性空间
设平面上任意三个点 A，B，C，用 d ( A, B) 表示 A 到 B 之间的距离。有平面几何我们知道（i）
d ( A, B) ≥ 0 且 d ( A, B) = 0 ⇔ A = B ；（ii）d ( A, B) = d ( B, A) ；（iii）d ( A, B) ≤ d ( A, C ) + d (C , B) 。
n n
2 赋范线性空间的概念定义：设 X 为一个实（或复）的线性空间，若 X 上面定义了一个映射 || || : X → R 满足（i）对 x ∈ X ， || x ||≥ 0 且 || x ||= 0 ⇔ x = θ ；，|| λ x ||=| λ | || x || ；（ii）对 x ∈ X ， λ ∈ R （ C ）（iii）对 x, y ∈ X ， || x + y ||≤|| x || + || y ||
对任意的xyzx有dyzdxzdxy?事实上dyzdxzdxzdxydyzdxzdxy????dxydyzdxzdxzdxydyz???????dxydxzdyzdyzdxydxz????例21设12rr12nnnirrrin1212rnnnxy定义11dxyniii?zdzydxzydxyx212221dxyniii???????1xymaxiniid?以上定义的1dxy2dxy3dxy均是rn上的距离
证明：考虑 C[0,1] ，赋予距离 d1 。
3
⎧ ⎪0, ⎪ n ⎪ 取 xn (t ) = ⎨ nt − + 1, 2 ⎪ ⎪ ⎪1, ⎩
1 1 − 2 n 1 1 1 − ≤t< , 2 n 2 1 ≤ t ≤1 2 0≤t <

第5讲(2)线性赋范空间

范数定义为：
x
容易验证
α
∞
= max x(t )
a ≤t ≤b
满足范数三公理.
( x + y )(t ) = x(t ) + y (t )
导出距离如下：
d ( x, y ) = x − y
∞
(α x)(t ) = α x(t )
5—2 赋范空间
泛函分析研究的对象之一是数学、物理和工程中提炼出来的大量线性或非线性问题，为了有效地研究这些问题，仅有距离空间的概念是不够的，本章将介绍具有代数结构的一类空间——Banach空间，它们比距离空间具有更丰富的特性.
1
本章首先介绍线性空间的概念和性质，在此基础上引进赋范线性空间的概念并讨论其性质. 特别地，完备的赋范线性空间称为 Banach空间. 最后考察有限维赋范线性空间的特性.
k ⎡ ⎢ ⎢ ⎣ ⎤ ⎥ ⎥ ⎦ p P ⎡ ⎢ ⎢ ⎣ ⎤ ⎥ ⎥ ⎦
定义3.4 设X是F上的线性空间, M ⊂ X, 若 ∀x, y ∈ M , α , β ∈ F,都有 α x + β y ∈ M ,则称 M是X的线性子空间. 定义3.5 设X是F上的线性空间， ∀x1 , x2 ,K , xn ∈ X , ∀α1 ,K , α n ∈ F ，称
数乘： α x = (α x1 ,K , α xn ), α ∈ F . 可知此时 R 是线性空间. 范数定义为：∀x ∈ R n ,
x 2 = (∑ xk ) 2
2 k =1 n 1
间.
讫
n
易知满足范数三公理.
21
22
例3.20
(1)空间 l p (1 ≤ p < +∞) 是Banach空间.

4.线性赋范空间

(2)kF,xV,‖kx‖=|k|‖x‖.
(3)x,yV,‖x+y‖≤‖x‖+‖y‖,
则称‖x‖(xV)为x的范数,V成为F上的线性
赋范空间.
2
设V是线性赋范空间。定义映射：
：VVR，(x,y)=‖x–y‖(x,y∈V)
容易验证：是V上的度量，从而{V，}是度量
空间，因而，V是（度量）拓扑空间。于是，
V上有开集、闭集、极限点、导集、闭包、
收敛、连续、完备、紧致、列紧等概念。
完备的线性赋范空间称为Banach空间。
线性赋范空间V中序列{xn}称为范数收敛于xV,
如果
limxnx 0.
3
n
由于线性赋范空间V是线性空间，有加法和数乘
运算，故可讨论序列{xn}的级数及其收敛的概念。
称级数
xnx1x2xn
小值,设为f(0)(0S).
于是, S,有f()≥f(0).
12
下面证明: f(0)>0.显然,f(0)≥0.
只要证 f(0) 0.由于0S,故0不是零向量.
n
从而,
x e 0 0 . kk
k1
于是,
f(0)=‖x0‖0。
xX,且x,则x的坐标是Rn中非零向量。
1
所以，
Rn
n | k1
k
|22
14
•定理4.3 任何一个实数域R上的n维线性赋范空间 X都与n维欧氏空间Rn线性同胚，即存在线性双射T：XRn,且T与T–1连续。
证明：设{e1,e2, ,en}是X的一组基。xX有
n
x k ek k 1
其中=（1，2，，n)T为x的坐标。
15
定义映射T：XRn: Tx=（1，2，，n)T

【研究生课件应用数学基础】4.线性赋范空间.ppt

5
x x lim x 由假设得到 ( k 1
n k1
nk)收敛. 由此易知, k
nk x V.
从而,{xn}收敛.
例4.1 x=(x1,x2,,xn)TRn,定义范数
1
x x | n
p p
|
p
k 1
k
(1 p ).
则Rn是线性赋范空间,而且是Banach空间.
xC[a,b],定义范数
S上连续.由于S是有界闭集,故f()在S上达到最
小值,设为f(0)(0S).
于是, S,有f()≥f(0).
12
下面证明: f(0)>0.显然,f(0)≥0.
只要证 f(0) 0.由于0S,故0不是零向量.
n
从而,
x e 0
0 .
kk
k 1
于是,
f(0)=‖x0‖0。
xX,且x,则x的坐标是Rn中非零向量。
(2)kF,xV,‖kx‖=|k|‖x‖.
(3)x,yV,‖x+y‖≤‖x‖+‖y‖,
则称‖x‖(xV)为x的范数,V成为F上的线性
赋范空间.
2
设V是线性赋范空间。定义映射：
：VVR，(x,y)=‖x–y‖(x,y∈V)
容易验证：是V上的度量，从而{V，}是度量
空间，因而，V是（度量）拓扑空间。于是，
则存在两个正数A和B,使
1
| n
A x | k 1
22
k
B x.
10
证明: 由于
n
n
x k ek | k | ek
k 1
k 1
1
1
1
| e
n
|
k 1

数值分析(02)线性空间与赋范线性空间_图文

验证对上述加法与数乘运算构成线性空间．证明
所以对定义的加法与数乘运算封闭．
下面一一验证八条线性运算规律：
所以对所定义的运算构成线性空间．
3、线性空间的基和维数已知：在中，线性无关的向量组最多由
个向量组成，而任意个向量都是线性相关的．
问题：在线性空间V中，最多能有多少线性无关的向量？
Ｃ［a，ｂ］：区间［a，ｂ］上一元连续函数的全体。是Ｒ上的线性空间,因为两个连续函数之和以及实数ｋ与连续函数乘积仍是连续函数；Ｃｎ［a，ｂ］：类似于Ｃ［a，ｂ］，在区间［a，ｂ］上ｎ阶连续可微的一元函数全体.构成Ｒ上的线性空间。
线性空间的判定方法
（１）一个集合，如果定义的加法和数乘运算是通常的实数间的加乘运算，则只需检验对运算的封闭性．
数值分析(02)线性空间与赋范线性空间_图文 .ppt
第一节线性空间与赋范线性空间
一、线性空间
1.线性空间概念
定义2-1 设Ｖ是一个非空集合，F是数域，如果 ①在集合Ｖ中定义了加法运算，记为“+”， ②即∀α，β∈Ｖ，有α+β∈Ｖ； ③在数域F和集合Ｖ的元素之间定义了数量乘法， ④即∀ k∈F，α∈Ｖ，有kα∈Ｖ；
2、几个具体的线性空间实例
Ｒ：可以看成是实数域Ｒ上的线性空间，加法和数乘是
实数中的加法和数乘；
Ｃ：可以看成是复数域Ｃ上的线性空间，加法是复数的
加法，数乘是实数与复数按复数乘法相乘；
Ｒｍ×ｎ（Ｃｍ×ｎ）：实数域（复数域）上所有ｍ×ｎ矩
阵的集合。按矩阵的加法和数乘矩阵定义加法和数乘，构成线性空间；
P[x]n：实数域上所有次数≤ｎ的多项式。按多项式加法和数乘多项式定义加法和数乘，构成线性空间。但次数＝ｎ的多项式全体不能构成线性空间； P[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均为闭集.+-及[)∞∞，。

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

21 线性赋范空间

赋范空间

【研究生课件应用数学基础】4.线性赋范空间-文档资料

如何理解线性赋范空间、希尔伯特空间, 巴拿赫空间,拓扑空间

数值分析(03)赋范线性空间(1)

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

线性赋范空间泛函有界性

2.1赋范线性空间

21 线性赋范空间

第二章-赋范线性空间

[理学]应用数学基础 第三章-赋范线性空间和有界线性算子

赋范线性空间

第二章 赋范线性空间

第5讲(2)线性赋范空间

4.线性赋范空间

【研究生课件应用数学基础】4.线性赋范空间.ppt

数值分析(02)线性空间与赋范线性空间_图文

度量空间和线性赋范空间

[理学]应用数学基础第三章-赋范线性空间和有界线性算子

第二章赋范线性空间