泛函分析第七章 习题解答1-25

合集下载

泛函分析第七章 习题解答

泛函分析第七章 习题解答

第七章 习题解答1.设(X ,d )为一度量空间,令}),(,|{),(},),(,|{),(0000εεεε≤∈=<∈=x x d X x x x S x x d X x x x U问),(0εx U 的闭包是否等于),(0εx S ?解 不一定。

例如离散空间(X ,d )。

)1,(0x U ={0x },而)1,(0x S =X 。

因此当X 多于两点时,)1,(0x U 的闭包不等于)1,(0x S 。

2. 设 ],[b a C ∞是区间],[b a 上无限次可微函数的全体,定义 证明],[b a C ∞按),(g f d 成度量空间。

证明 (1)若),(g f d =0,则)()(1)()(max)()()()(t g t ft g t f r r r r bt a -+-≤≤=0,即f=g(2))()(1)()(max 21),()()()()(0t g t f t g t f g f d r r r r b t a r r -+-=≤≤∞=∑=d (f ,g )+d (g ,h )因此],[b a C ∞按),(g f d 成度量空间。

3. 设B 是度量空间X 中的闭集,证明必有一列开集ΛΛn o o o 21,包含B ,而且B o n n =⋂∞=1。

证明 令n n n o n nB x d Bo o .2,1},1),({K =<==是开集:设n o x ∈0,则存在B x ∈1,使n x x d 1),(10<。

设,0),(110>-=x x d n δ则易验证n o x U ⊂),(0δ,这就证明了n o 是 开集 显然B o n n ⊃⋂∞=1。

若n n o x ∞=⋂∈1则对每一个n ,有B x n ∈使n x x d 1),(1<,因此)(∞−→−−→−n x x n 。

因B 是闭集,必有B x ∈,所以B o n n =⋂∞=1。

4. 设d (x ,y )为空间X 上的距离,证明),(1),(),(___y x d y x d y x d +=是X 上的距离。

泛函分析习题及参考答案

泛函分析习题及参考答案

泛函分析习题及参考答案一、在2R 中定义如下三种距离:21212(,),(,)x x x y y y R ==∈,1(,)d x y =21122(,)max{,}d x y x y x y =−−,31122(,)d x y x y x y =−+−,试证:212d d ≤≤3132d d d ≤≤,2322d d d ≤≤,从而这三种距离诱导出的极限是等价的。

二、设),(y x d 为空间X 上的距离,试证:),(1),(),(~x y d x y d x y d +=也是X 上的距离。

证明:显然,0),(~≥y x d 并且y x y x d y x d =⇔=⇔=0),(0),(~。

再者,),(~),(1),(),(1),(),(~y x d y x d y x d x y d x y d x y d =+=+=;最后,由tt t +−=+1111的单调增加性及),(),(),(y z d z x d y x d +≤,可得 ),(),(1),(),(),(1),(),(),(1),(),(),(1),(),(~y z d z x d y z d y z d z x d z x d y z d z x d y z d z x d y x d y x d y x d +++++=+++≤+= ),(~),(~),(1),(),(1),(y z d z x d y z d y z d z x d z x d +=+++≤。

三、设1p ≥,1()()(,,,)i n n pn x l ξξ=∈ , ,2,1=n ,1(,,,)pi x l ξξ=∈ ,则n →∞时,1()1(,)0ppn n i i i d x x ξξ∞=⎛⎞=−→⎜⎟⎝⎠∑的充要条件为)1(n →∞时,()n i i ξξ→,1,2,i = ;)2(0ε∀>,存在0N >,使得()1pn p ii N ξε∞=+<∑对任何自然数n 成立。

《泛函分析》习题解答(不完全版)

《泛函分析》习题解答(不完全版)

第一章 练习题1. 记([,])C a b 是闭区间[,]a b 上连续函数全体构成的集合, 在([,])C a b 上定义距离如下:(,)|()()|,,([,])baf g f x g x dx f g C a b ρ=-∀∈⎰,(1)([,])C a b 按ρ是否完备?(2)(([,]),)C a b ρ的完备化空间是什么? 答:(1) 不完备, 例如对于[,][0,2]a b =以及1,2,n =,定义,01,():1,1 2.n n x x f x x ⎧≤<=⎨≤≤⎩则{()}([0,2])n f x C ⊂在本题所定义的距离的意义下是Cauchy 列, 因为111(,)|()()|110,(,).11n m n m n m f f f x f x dxx dx x dxm n n m ρ=-≤+=+→→∞++⎰⎰⎰另一方面, 点列{()}n f x 并不能在本题所定义的距离的意义下收敛到([0,2])C 中的某个元. 事实上, 在几乎处处收敛的意义下, 我们有0,[0,1)()()1,[1,2].n x f x g x x ∈⎧→=⎨∈⎩因此, 根据Lebesgue 有界收敛定理, 可以得到11100(,)|()()|1|0|0.1n n nnf g f x g x dxx dx x dx n ρ=-=-==→+⎰⎰⎰但()([0,2])g x C ∉.(2) ([,])C a b 的完备化空间是1([,])L a b . 因为(i) 在距离ρ的意义下, ([,])C a b 是1([,])L a b 的稠密子集. 事实上, 任意取定一个1()([,])f x L a b ∈, 需要证明: 对于任意的0ε>, 存在()[,]g x C a b ∈, 使得[,](,)|()()|a b f g f x g x dx ρε=-<⎰.事实上, 首先根据积分的绝对连续性, 存在0δ>, 使得当[,]E a b ⊂, 只要mE δ<, 就有|()|3Ef x dx ε<⎰.因为()f x (Lebesque)可积, 故几乎处处有限, 即10N N mE ∞==,其中{[,]||()|}N E x a b f x N =∈>. 由此可以得到 lim ()0N N m E →∞=(因为{}N E 是渐缩集列并且[,]a b 的测度有限),故存在某个自然数N , 使得N mE δ<且|()|3NE f x dx ε<⎰,因此有|()|f x N ≤,[,]\N x a b E ∈.引入一个新函数定义为(),[,]\():0,,NN f x x a b E f x E ∈⎧=⎨⎩显然对于[,]x a b ∈恒有|()|f x N ≤. 由Lusin 定理, 存在连续函数()(,)g x C ∈-∞+∞和闭集[,]F a b ⊂, 使得([,]\)min{,/3}m a b F N δε<且|()|g x N ≤, 进而()()g x f x ≡,x F ∈.则()g x 限制在[,]a b 即为所求, 因为:[,](,)|()()|a b f g f x g x dx ρ=-⎰([,]\)|()()|a b F Ff xg x dx ⋃=-⎰[,]\|()()||()()|a b FFf xg x dx f x f x dx ≤-+-⎰⎰[,]\\(|()|)|()()||()()|NNa b FF E F E f x N dxf x f x dx f x f x dx⋂≤++-+-⎰⎰⎰[,]\|()|([,]\)a b Ff x dx Nm a b F ≤+⎰\|()|0NNF E F E f x dx dx ⋂++⎰⎰333εεεε<++=.(ii) 1(([,]),)L a b ρ是完备的空间.2. 设(,)X ρ是距离空间,A 是X 的子集,对任意的x X ∈,记(,)inf (,)y Ax A x y ρρ∈=,则(1)(,)x A ρ是x 的连续函数.(2) 若{}n x 是X 中的点列, 使(,)0n x A ρ→,{}n x 是否为Cauchy 列? 为什么? 证:(1) 任意取定12,x x X ∈, 对于任意的y X ∈根据三角不等式, 有1122(,)(,)(,)x y x x x y ρρρ≤+, 2211(,)(,)(,)x y x x x y ρρρ≤+.对两端关于y A ∈取下确界, 可以得到1122inf (,)(,)inf (,)y Ay Ax y x x x y ρρρ∈∈≤+, 2211inf (,)(,)inf (,)y Ay Ax y x x x y ρρρ∈∈≤+. 即1122(,)(,)(,)x A x x x A ρρρ≤+, 2211(,)(,)(,)x A x x x A ρρρ≤+.由此可得1212|(,)(,)|(,)x A x A x x ρρρ-≤.由此容易证明()f x (,)x A ρ=是X 上的连续函数, 实际上, (,)x A ρ还满足Lipschitz 常数等于1的Lipschitz 条件.(2) 答: 未必是Cauchy 列. 例如取X =R , 其中的距离是Euclid 距离. 对于{1,1}A =-, 对于1,2,n =, 定义点列为1(1).n n x n=-+对于点列{}n x ,不难验证,1(,)0n x A nρ=→; 但显然{}n x 不是Cauchy 列. 这里的原因就在于(,)x A ρ不是点到点之间的距离, 而是点到集合的距离, 当这个集合A 含有不止一个点时, (,)x A ρ不再具有点点之间距离的性质. 3. E 是nR 中的Lebesgue 可测集合, 试证()L E ∞按距离(,)esssup |()()|x Ef g f x g x ρ∈=-是不可分空间.证法一:记为方便起见, 设[,]E a b =. 定义[,]1,[,],()()0,(,].a x a f x x x b λλλχλ∈⎧==⎨∈⎩显然()f x λ有界,可测, 因此必属于([,])L a b ∞. 记{()|(,]}A f x a b λλ=∈.则([,])A L a b ∞⊂.既然对于不同的12,[,]a b λλ∈, 1f λ与2f λ不同的部分是正测度集, 容易看出A 的势是ℵ.进而有(不妨设12λλ<)1212121212[,][,]\0[,][,]\0[,][,][,][,]\0(,][,][,]\0(,)infsup |()()|inf sup |()()|inf sup |()()|infsup () 1.E a b x a b EmE E a b x a b E mE a a E a b x a b E mE E a b x a b E mE f f f x f x f x f x x x x λλλλλλλλλλρχχχ⊂∈=⊂∈=⊂∈=⊂∈==-=-=-==我们用反证法证明所需的结论.设([,])L a b ∞是可分的,则其必有可数的稠密子集123{,,,,,}i g g g g ,因此至少有一个i g 属于两个不同的1(,1/3)S f λ和2(,1/3)S f λ.而由三角不等式, 我们有12121(,)(,)(,)112.333i i f f f g g f λλλλρρρ=≤+≤+=这是一个矛盾. 因此([,])L a b ∞不可能是可分的.证法二:既然E 是正测度集,存在0R >使得((0,))0m S R E ⋂>. 不难验证, 存在一列正数1{}i i R ∞=满足:120i R R R R <<<<<<;且1([(0,)\(0,)])0i i m E S R S R +⋂>.对于每一个12(,,,,)i λλλλ=,其中0i λ=或1, 定义1(),[(0,)\(0,)]i i i f x x E S R S R λλ+=∈⋂,1,2,i =. 显然()f x λ有界,可测, 因此必属于()L E ∞. 记{()|{0,1}}A f x λλ=∈N ,其中{0,1}N 表示具有上述性质的λ的全体. 则()A L E ∞⊂.既然对于不同的,λμ∈{0,1}N , (不妨设1(,,,)i λλλ=, 1(,,,)i μμμ=且对于某个i ,0i λ=1i μ=)f λ与f μ不同的部分至少是正测度集1[(0,)\(0,)]i i E S R S R +⋂, 容易看出A 的势与{0,1}N 的势都是连续统的势ℵ.进而有11\0((0,)\(0,))\0((0,)\(0,))\01(,)inf sup |()()|infsup|()()|inf sup|| 1.i i i i F E x E F mF F E x E S R S R FmF i i F E x E S R S R F mF f f f x f x f x f x λμλμλμρλμ++⊂∈=⊂∈⋂=⊂∈⋂=≥=-≥-=-= 我们用反证法证明所需的结论.设()L E ∞是可分的,则其必有可数的稠密子集123{,,,,,}i g g g g , 因此至少有一个j g 属于两个不同的(,1/3)S f λ和(,1/3)S f μ.而由三角不等式, 我们有1(,)(,)(,)11.33j j f f f g g f λμλμρρρ=≤+≤+这是一个矛盾. 因此()L E ∞不可能是可分的. 补充题.证明[,]L a b ∞是不可分空间. 证:记{}[,]()a t K x a t b χ=<<,其中[,]1,,():0,.a t a x t x t x b χ≤≤⎧=⎨<≤⎩显然[,]K L a b ∞⊂, 且只要12,[,]t t a b ∈,12t t ≠, 则有12[,][,],a t a t K χχ∈, 且因为(不妨设12t t <)12(,]t t 的测度为正, 故1212[,][,][,][,][,]||||sup |()()|a t a t a t a t L a b ess x x χχχχ∞-=-1212(,](,]sup |()|1t t x t t x χ∈==.因此, 由(,)a b 是不可数集, 而K 的基数与(,)a b 的基数相同, 故也是不可数集,且K 中任何两个不同元的距离均为1.如果[,]L a b ∞是可分的, 因此有一个可数的稠密子集合{()|1,2,}k A f x k ==, 且11(,)3k k S f K ∞=⊇.但这是荒谬的, 因为上式左端只有可数多个开球, 右端有不可数多个元, 所以至少有K 中的两个不同的12[,][,],a t a t χχ属于同一个开球01(,)3k S f , 由此得到矛盾:121002[,][,][,][,][,][,][,]1||||||||||||112.333a t a t L ab a t k k a t L a b L a b f f χχχχ∞∞∞=-≤-+-<+= 此矛盾表明[,]L a b ∞不可能是可分的.4. 设([,])k C a b 是闭区间[,]a b 上具有k 阶连续导数的函数全体, 定义:()()[,](,)max |()()|,,([,])ki i k x a b i f g f x g x f g C a b ρ∈==-∈∑试证:(1)([,])kC a b 是完备的距离空间; (2)若定义||||(,0)f f ρ=,则(([,]),||||)kC a b ⋅是Banach 空间.证:(1) 这里只证明该距离是完备的. 设1{()}n n f x ∞=是([,])k C a b (0k =时, 0([,])C a b 就理解为[,]C a b )中该距离意义下的Cauchy 列. 因此当,m n →∞时,有()()[,]0(,)max |()()|0ki i m n m n x a b i f f f x f x ρ∈==-→∑.由此容易知道对于每一个0,1,,i k =, ()1{()}i n n f x ∞=是0([,])C a b 中的Cauchy 列. 根据0([,])C a b 的完备性,知()1{()}i n n f x ∞=收敛到0([,])C a b 中的某个元, 记其为()i f x , 则0()([,])i f x C a b ∈, 且()()()i i n f x f x −−→−−→,,0,1,,n i n →∞=,其中“−−→−−→”表示是一致收敛. 如果我们记0()()f x f x =,利用数学分析中函数序列一致收敛的分析性质, 可以得到12()()(),()(),,()().k kf x f x f x f x fx f x '''=== (*)例如, 因为1()()n f x f x −−→−−→', 故 1()()xxn aaf t dt f t dt −−→−−→'⎰⎰, 即1()()()xn n af x f a f t dt −−→−−→-⎰, 又0()()n f x f x −−→−−→及0()()nf a f a −−→−−→, 故 001()()()xaf x f a f t dt -=⎰.求导即可得到01()()f x f x '=, 即 1()()f x f x '=.归纳地可得(*).因此0()()f x f x =([,])kC a b ∈且()[,](,)max |()()|ki i n n x a b i f f f x f x ρ∈==-∑()()[,]max |()()|0ki i n x a b i f x f x ∈==-→∑.即([,])kC a b 是完备的距离空间. (2)证略.7. 证明有限维线性赋范空间是完备的.证:记该有限维(实)线性赋范空间为E , 是n 维的,范数记为||||x ,需要证明(,||||)E ⋅是完备的. 记E 中的一组基为:12,,,n v v v .因此对于任意的x E ∈, 存在唯一一组实数12,,,n x x x , 使得1122n n x x x x =+++v v v ,反之亦然.(i) 我们断言存在一个与x 无关的常数0K >, 使得||||||i x K x ≤, 1,2,,i n =. (*)首先定义一个映射:nf →为: 对于任意的12(,,,)n x x x n∈,121122(,,,):||||||||n n n f x x x x x x x ==+++v v v .则对于任意的,x y E ∈(1122n n y y y y =+++v v v )有1122||||(,,,)n n x y f x y x y x y -=---111||||||||||||n n n x y x y ≤-⋅++-⋅v v2222111()()||||||||n n n x y x y ≤-++-⋅++v v .由此容易知道f 是n R 上的连续函数. 记1B ∂是n R 中的单位球面, 即21121{(,,,)|1}nn k k B x x x x =∂==∑. 则对于任意的11(,,)n x x B ∈∂, 有1(,,)0n f x x >.(事实上, 若有1(,,)0n f x x =则111(,,)||||0n n n f x x x x =++=v v ,因此110n n x x ++=v v , 但12,,,n v v v 线性无关, 故必有120n x x x ====, 此与11(,,)n x x B ∈∂相矛盾. )注意到1B ∂是n R 中的有界闭集(紧子集), 连续函数f 必可在其上达到正的最小值1/0K >.现在我们可以证明式(*). 事实上, 对于任意的x E ∈,存在唯一的一组实数12,,,n x x x , 使得1122n n x x x x =+++v v v , 不失一般性, 可设0x ≠因此,12,,,n x x x 不全为零, 注意到111222111,,,n nnn kkk k k k x x x y B xxx ===⎛⎫ ⎪ ⎪=∈∂ ⎪ ⎪⎝⎭∑∑∑,故111222211111222111()1,,,,nn nnnkkkk k k n nnn kkk k k k x x x f y xxxx x x f K xxx ======+++=⎛⎫ ⎪⎪=≥ ⎪ ⎪⎝⎭∑∑∑∑∑∑v v v或2112211||||nn n kk x x x x xK==+++≥∑v v v .由此容易得出(*)式.(ii) 设()1{}k k x ∞=是E 中的基本列, 这里()()()()1122k k k k n n x x x x =+++v v v ,即()()||||0k l x x -→, 当,k l →∞.利用(*)式便可以得到对于每一个1,2,,i n =, 成立()()()()||||||0k l k l i i x x K x x -≤-→, 当,k l →∞.即()1{}k i k x ∞=是1中的基本列, 因此收敛. 设()(0)k i i x x →, (k →∞,1,2,,i n =).记(0)()(0)(0)1122k n n xx x x =+++v v v , 显然(0)x E ∈. 根据E 中收敛的等价性(即按范数收敛意味着每个分量收敛或即按坐标收敛), 容易得到()(0)||||0k x x -→, 当k →∞.因此(,||||)E ⋅是完备的.9. 设X 为线性赋范空间, 0X 是X 的线性闭子空间. 在X 中定义等价关系为0xy x y X ⇔-∈. 对任意的x X ∈, 以[]x 记x 的等价类, 令0/{[]|}X X x x X =∈.称0/X X 为商空间, 在0/X X 上定义线性运算如下: (i) [][][]x y x y +=+, ,x y X ∈, (ii) [][]x x λλ=, ,x X λ∈∈C .并定义0||[]||inf ||||y X x x y ∈=+.试证: 0/X X 按0||[]||x 也是一个线性赋范空间.证:(一) 0/X X 按照所定义的线性运算是线性空间 (证明略).(二) 0||[]||x 是0/X X 中的范数. 按照定义, 对于每一个 0[]/x X X ∈显然0||[]||inf ||||y X x x y ∈=+是一个确定的数, 因此00||||:/X X ⋅→R 是映射.(i) (非负性) 对于x X ∈, 显然0||[]||inf ||||0y X x x y ∈=+≥.(正定性) 当0[]=[0]=x X 时, 有00||[]||||[0]||inf ||||0y X x y ∈===.反之, 如果我们假设0000||[]||inf ||||0y X x x y ∈=+=, 需要证明 00[]=[0]=x X , 也只需证明00x X ∈. 事实上, 根据下确界的定义, 对每一个自然数1,2,k =, 存在0k y X ∈, 使得00000111||||||[]||inf ||||k y X x y x x y k k k∈+<+=++=, 由此得到一个序列0{}k y X ⊂且||||0k y x ⋅−−−→-.因为0X 是闭子空间因此00x X -∈故00x X ∈, 即00[]=[0]=x X . (ii) (正齐性) 对于,x X λ∈∈C , 如果0λ=, 则000x x X λ==∈, 故0[][0]0[][]x X x x λλ====. 如果0λ≠, 则当y 取遍0X 中的所有元时,yλ也取遍0X 中的所有元, 反之亦然, 因此 00||[]||inf ||||inf ||||||y X y X yx x y x λλλλ∈∈=+=⋅+||inf ||||||inf ||||yy X X yyx x λλλλλ∈∈=+=+||inf ||||||||[]||z X x z x λλ∈=+=⋅,(iii) (三角不等式) 设,x y X ∈. 设0,u v X ∈, 当,u v 取遍0X 中的所有元时, u v +也取遍0X 中的所有元, 反之亦然, 进而, ,u v 的取法是相互独立的, 因此0||[]||inf ||||u X x y x y u ∈+=++,inf ||||u v X x y u v ∈=+++()0,inf ||||||||u v X x u y v ∈≤+++inf ||||inf ||||u X v X x u y v ∈∈=+++00||[]||||||x y =+.也可用下面的证明方法: 对于任意的0ε>, 由下确界的定义, 存在0,u v X εε∈使得0||||||[]||x u x εε+<+, 0||||||[]||y v y εε+<+,因此可以得到0||[]||inf ||||||||u X x y x y u x y u v εε∈+=++≤+++||||||||x u y v εε≤+++ 00||[]||||[]||2x y ε<++.因为0ε>的任意性, 可得0||[]||x y +00||[]||||[]||x y ≤+.10. 设X 为线性赋范空间,1nn x∞=∑收敛, 即1kk nn S x==∑按X 中的范数收敛, 则11nn n n xx ∞∞==≤∑∑.证:记1kk n n S x ==∑.对于有限项之和, 利用三角不等式, 成立111||||kk k nn n n n n S xx x ∞====≤≤∑∑∑. (*)又因为1kk nn S x==∑在范数意义下收敛, 其极限自然可以记为1nn x∞=∑, 即1k n n S x ∞=→∑,再一次利用三角不等式, 可以得到当k →∞时11||||0k nk n n n S xS x ∞∞==-≤-→∑∑,即1||||k nn S x∞=→∑, 因此在(*)式中令k →∞, 可得11nn n n xx ∞∞==≤∑∑.11. 设{0}X ≠为线性赋范空间, 试证X 是Banach 空间当且仅当{|||||1}x X x ∈=是完备的.证:记{|||||1}T x X x =∈=.(必要性) 设X 是Banach 空间, {}n x T ⊂是T 中的Cauchy 列, 即||||1n x =且||||0m n x x -→(当,m n →∞).因为X 是Banach 空间, 故{}n x 收敛, 即存在0x X ∈, 使得||||0n x x ⋅−−→, 由三角不等式容易得到:||||||||||||x y x y -≤-,因此00||||||||||||0n n x x x x -≤-→,知0||||||||n x x →, 故0||||1x =因此0x T ∈, 即T 完备.(充分性) 设T 是完备的, 并设{}n x X ⊂是X 中的Cauchy 列, 即||||0m n x x -→当,m n →∞. 由||||||||||||0m n m n x x x x -≤-→,知{||||}n x 是1中的Cauchy 数列, 因此收敛, 即存在某个数A ∈使得||||n x A →.如果0A =, 显然{}n x 收敛于X 中的零元, 故不妨设0A >. 由此知当n 充分大时, 总有||||0n x >, 不失一般性, 可设对所有的n , 都有||||0n x >. 考虑新的点列:||||nn n x y x =, 显然n y T ∈. 进而 ||||||||||||m n m n m n x xy y x x -=- ||||||||||||||||m m m n m n n n x x x xx x x x ≤-+- 111||||||||||||||||m m n m n n x x x x x x =-+-, 由此易知{}n y T ⊂是T 中的Cauchy 列. 因为T 作为距离空间是完备的, 故{}n y 收敛, 即存在0y T ∈, 使得||||0n y y ⋅−−→. 最后我们断言: ||||0n x Ay ⋅−−→.事实上,0||||||||||||||||n n n n n x Ay x Ay x x x -=- 0||||||||n n n Ay x y x =-00||||||||n n n Ay x y y y x ⎛⎫≤-+-⎪⎝⎭00||||1||||n n n A x y y y x ⎛⎫=-+- ⎪⎝⎭0→.综上可得X 是Banach 空间.15.试证定理4中(f)式定义的(,)x y 的确满足内积分的定义.证明: 即要证明: 对于赋范线性空间(,||||)X ⋅, 如果范数满足平行四边形法则:2222||||||||2(||||||||)x y x y x y ++-=+(*)则由221(,):[||||||||]4x y x y x y =+--R (K =R 时) (f ’)或221(,):[||||||||4x y x y x y =+--C22||||||||]i x iy i x iy ++-- (K =C 时) (f)所定义的确实是内积. (i) 对于x X ∈,221(,)[||||||||4x x x x x x =+--C22||||||||]i x ix i x ix ++--2||||0x =≥,因为|1||1|i i +=-, 并且根据范数的性质2(,)00(,)||||0x x x x x x =⇔==⇔=C C .同理可证(,)0x x ≥R 且(,)00x x x =⇔=R . (ii)首先考虑K =R 时的情形, 对于,,x y z X ∈, 可将(,)(,)x z y z +R R 表示为如下形式: (,)(,)x z y z +R R221[||||||||4x z x z =+--22||||||||]y z y z ++-- ()()22221||||||||||||||||4x z y z x z y z ⎡⎤=+++--+-⎣⎦ 22142222x y x yx y x yz z ⎛⎫+-+-=++++-⎪ ⎪⎝⎭ 22142222x y x y x y x y z z ⎛⎫+-+---++--⎪ ⎪⎝⎭, 再由平行四边形法则222222x y x yx y x yz z +-+-++++-22222x y x y z ⎛⎫+-=++ ⎪ ⎪⎝⎭; 222222x y x yx y x yz z +-+--++--22222x y x y z ⎛⎫+-=-+ ⎪ ⎪⎝⎭. 因此(,)(,)x z y z +R R 221222x y x yz z⎛⎫++=+-- ⎪ ⎪⎝⎭2,2x y z +⎛⎫= ⎪⎝⎭R.进而, 令0y =可以得到(,)x z R 2,2x z ⎛⎫= ⎪⎝⎭R,这里利用了(0,)0z =R . 因为x 是任意的, 故可将x 换为x y +, 即可得到(,)x y z +R 2,2x y z +⎛⎫= ⎪⎝⎭R. 对照上述二式, 即有(,)(,)x z y z +R R =(,)x y z +R .(**)至于K =C 时的情形, 注意到从形式上看(,)=(,)(,)x y x y i x iy +C R R ,利用上述已经证明了的等式(**)不难得到(,)(,)x z y z +C C =(,)x y z +C .(iii) 首先考虑K =R 时的情形, 对于,x z X ∈和任意实数,s t ∈R , 由已经证明的(**)式有(,)(,)sx z tx z +R R =((),)s t x z +R ,可知函数():(,)f t tx z =R 满足如下的函数方程:()()()f s f t f s t +=+.(***)又():(,)f t tx z =R 关于t 是连续的, 因此必有()(1)(,)f t f t t x z ==R .(事实上, 由(***)式对于任意的正整数n 和m , 利用数学归纳法有()()f ns f s s s =+++()()()()f s f s f s nf s =+++=;进而取1s n =, 有11()(1)f f n n=, 因此 1()()(1)n nf nf f m m m==. 又(***)中取0s t ==可得(0)0f =, 取s t =-可得()()f s f s -=-. 因此对于所有的有理数, 均成立()(1)f s sf =.利用()f s 的连续性, 可知对所有的实数也成立. ) 因此得到(,)()(1)(,)tx z f t f t t x z ===R R .至于K =C 时的情形, 注意到由(f)221(,)[||||||||4ix y ix y ix y =+--C 22||||||||]i ix iy i ix iy ++--221[||||||||4ix y ix y =+--22||||||||]i x y i x y ++-- 22221[||||||||4i ix y i ix y =-++-22||||||||]i x y i x y ++-- 22[||||||||4ii x iy i x iy =--++22||||||||]x y x y ++-- (,)i x y =C .由此也容易得到, 对于t ∈C(,)(,)tx z t x z =C C .(iv) 当K =R 时, 容易知道221(,)[||||||||](,)4x y x y x y y x =+--=R R ;而当K =C 时, 直接计算也可得到221(,)[||||||||4x y x y x y =+--C 22||||||||]i x iy i x iy -++-221[||||||||4y x y x =+--22||||||||]i y ix i y ix --++ (,)y x =C .16.设D 是C 中单位开圆盘, 即{|||1}D z z =∈<C . dA 是D 上的面积测度, 2()a L D 定义为22(){|()|}a L D f f Df z dz =<∞⎰在中解析且|. (见课本第六页例4)在2()a L D 中定义内积为,()()Df g f z g z dA =⎰.试证(1)1()n n nz z ϕπ-=(1,2,n =)构成2()a L D 的正交基.(2) 若2()a f L D ∈的Taylor 展开式是0()kk k f z a z∞==∑, 则21kk a k ∞=<∞+∑;(3) 若2()ag L D ∈的展开式是0()kk k g z b z∞==∑, 则0,1k kk a b f g kπ∞==+∑.证:先给出一个预备性结果: 对于2()a f L D ∈,因为()f z 是解析函数, 因此可以展开为幂级数: 0()kk k f z a z∞==∑.由此可以断言:(),()n f z z ϕ=1.n a nπ- (*)事实上,因为()f z 是解析函数,幂级数kk k a z∞=∑在D 中内闭一致收敛, 即对于D 的任意闭子集F ,kk k a z∞=∑在F 上一致收敛. 对于01ε<<, 以下取闭子集F 为:{|||1}D z D z εε=∈≤-.容易知道D ε是D 中的闭子集.对于每一个1,2,n =, 注意到级数10kn k k a z z π-=∑在D ε中仍旧一致收敛, 以下的积分号和求和号可以交换顺序:(),()()()n n Df z z f z z dA ϕϕ=⎰0lim ()()n D f z z dA εεϕ→=⎰100lim kn k D k na z z dA εεπ∞-→==∑⎰10limk n k D k na z z dA εεπ∞-→==∑⎰10lim(cos sin )(cos(1)sin(1))k n k D k na r k i k n i n dAεεθθπθθ∞+-→==+⋅⋅---∑⎰2110lim(cos sin )(cos(1)sin(1))k n k k na d r k i k n i n rdrπεεθθθπθθ∞-+-→==+⋅⋅---∑⎰⎰1210lim(cos sin )(cos(1)sin(1))k n k k na r rdr k i k n i n d επεθθπθθθ∞-+-→==+⋅⋅---∑⎰⎰12110lim2n n na r dr εεππ---→=⎰210(1)lim 22nn n a nεεππ-→-= 1.n a nπ-=因此(*)式得证.(1) 首先证明{}111()n n n n n z z ϕπ∞∞-==⎧⎫⎪⎪=⎨⎬⎪⎪⎩⎭是正交集.事实上, 对于复数(cos sin )z r i θθ=+,根据所给的定义11112(),()(cos sin )(cos sin )m n m n Dm n n m Dz z z z dAmni i r dAϕϕππθθθθππ----+-==+-⎰⎰2(cos(1)sin(1))(cos(1)sin(1))n m Dmnr m i m n i n dAθθπθθ+-=-+-⋅⋅---⎰2120(cos(1)sin(1))(cos(1)sin(1))n m mnd r m i m n i n rdrπθθθπθθ+-=-+-⋅⋅---⎰⎰122(cos(1)(1)sin )(cos(1)sin(1))n m mnrrdr m i m n i n d πθθπθθθ+-=-+-⋅---⎰⎰121,,20,.mm m n mm n ππ⎧==⎪=⎨⎪≠⎩因此{}1()n n z ϕ∞=是正交集. 因为2()a L D 是完备的空间, 故只需再证{}1()n n z ϕ∞=是完备的即可得知其也是正交基. 设有2()a f L D ∈且{}1()()n n f z z ϕ∞=⊥. 因为()f z 是解析函数, 因此可以展开为幂级数:()k k k f z a z ∞==∑.根据(*)式,可以得到,对于每一个1,2,n =,0(),()n f z z ϕ=1.n a nπ-=由此即得10n a -=, (1,2,n =). 所以()0f z ≡. 即{}1()n n z ϕ∞=是完备的, 因此是2()a L D 中的正交基.(2) 既然{}1()n n z ϕ∞=是基,由Parseval 等式可以得到221(),()||||n n f z z f ϕ∞==<∞∑.利用(*)式,上式的左端可以表示为:2122211110(),().1n n n n n n n n f z z a aa nn n ϕπππ∞=∞∞∞--======+∑∑∑∑由此可得所预期的结论. (3) 对于0()kk k f z a z∞==∑和0()kk k g z b z∞==∑, 有10()()1kk k f z a z k πϕ∞+==+∑和10()()1kk k g z b z k πϕ∞+==+∑,利用内积的连续性和(*)式,10,(),()1kk k f g a z g z k πϕ∞+==+∑10(),()1kk k a z g z k πϕ∞+==+∑10(),()1kk k a g z z k πϕ∞+==+∑11kk k a b k k ππ∞=⎛⎫= ⎪++⎝⎭∑0.1k kk a b k π∞==+∑18.设H 是内积空间,{}n e 是H 中的正交集, 求证:1(,)(,)||||||||nnn x e y e x y ∞=≤⋅∑, (,x y H ∀∈).证: 对于任意的正整数k , 由Cauchy 不等式和Bessel 不等式可以得到22111(,)(,)(,)(,)kkkn n n n n n n x e y e x e y e ===≤⋅∑∑∑2211(,)(,)n n n n x e y e ∞∞==≤⋅∑∑||||||||x y ≤⋅,由k 的任意性, 知正项级数1(,)(,)nnn x e y e ∞=∑收敛, 因此级数1(,)(,)nnn x e y e ∞=∑绝对收敛,并且11(,)(,)(,)(,)||||||||nnnnn n x e y e x e y e x y ∞∞==≤≤⋅∑∑.19.试证2sin nt π⎧⎫⎪⎪⎨⎬⎪⎪⎩⎭构成2([0,])L π的正交基, 但不是2([,])L ππ-的正交基. 证:(1) 首先证明{}112()sin n n n t nt ϕπ∞∞==⎧⎫⎪⎪=⎨⎬⎪⎪⎩⎭是2([0,])L π中的正交集. 事实上,[]022(),()sin sin 2cos()cos()2m n t t mtntdtm n t m n t dtππϕϕπππ==-+--⎰⎰1()1,,0,.m n m n ππ⎧--==⎪=⎨⎪≠⎩因此{}1()n n t ϕ∞=是2([0,])L π中的正交集. 同理, 也容易证明{}1()n n t ϕ∞=还是2([,])L ππ-中的正交集.(2) 因为2([0,])L π是完备的空间, 故只需再证{}1()n n t ϕ∞=是完备的即可得知其也是正交基.设有2([0,])f L π∈且{}1()()n n f t t ϕ∞=⊥. 将()f t 做奇延拓成为()f t :(),[0,],():(),[,0).f t t f t f t t ππ∈⎧=⎨--∈-⎩则()f t ∈2([,])L ππ-. 注意到对于1,2,n =, 利用{}1()()n n f t t ϕ∞=⊥,,()sin n f f t ntdt ππϕ-=⋅⎰()sin ()sin f t ntdt f t ntdt ππ-=⋅+⋅⎰⎰()sin ()sin f t ntdt f t ntdt ππ-=--⋅+⋅⎰⎰()sin ()sin f t ntdt f t ntdt ππ-=--⋅+⋅⎰⎰00()sin ()()sin f s n s ds f t ntdt ππ=-⋅-+⋅⎰⎰2()sin 0f t ntdt π=⋅=⎰.设{}{}00()cos n n n t nt ψ∞∞===,对于0,1,2,n =,利用()f t 是奇函数, 可得,()cos 0n f f t ntdt ππψ-=⋅=⎰.因此{}{}()10()()()n n n n f t t t ϕψ∞∞==⊥⋃.进而也容易得到()f t ⊥1cos sin cos sin ,,,,,,2t tnt ntπππππ⎧⎫⎨⎬⎩⎭. 又已经知道与{}{}{}{}1010()()sin )cos n n n n n n t t t nt ϕψ∞∞∞∞====⋃=⋃仅相差一个常数因子的三角函数系1cos sin cos sin ,,,,,,2t tnt ntπππππ⎧⎫⎨⎬⎩⎭是2([,])L ππ-中的正交基, 因此()0f t =, a.e. [,]t ππ∈-,即有()0f t =, a.e. [0,]t π∈.因此{}1()n n t ϕ∞=是2([0,])L π中的正交基.(3) 注意到2sin nt π⎧⎫⎪⎪⎨⎬⎪⎪⎩⎭在2([,])L ππ-中不是完备的, 例如对于恒等于常数1的函数2()1([,])f t L ππ≡∈-是非零元, 但对于1,2,n =,,1sin 0n f ntdt ππϕ-=⋅=⎰.因此, 2sin nt π⎧⎫⎪⎪⎨⎬⎪⎪⎩⎭虽然是2([,])L ππ-的正交集, 但不是正交基.24. 试给出1([,])C a b 中列紧集的判别条件. 证:设子集1([,])A C a b ⊂且0x 是[,]a b 中一个数. 记{()|()}A f x f x A ''=∈及0{()|()}B f x f x A =∈.则A 是1([,])C a b 中的列紧集的充分必要条件是 (i) A '在([,])C a b 中有界; (ii) B 是R 中的有界集;(iii) A '是([,])C a b 中等度连续的集合.[充分性] 设1([,])A C a b ⊂满足条件(i), (ii)和(iii). 根据1([,])C a b 中范数的定义: 对于1([,])f C a b ∈,1([,])[,][,]:max |()|max |()|C a b x a b x a b ff x f x ∈∈'=+,容易看出,1([,])([,])C a b C a b k k f f f f −−−−→⇔−−−−→且([,])C a b k f f ''−−−−→因此只需证明A 和A '分别是([,])C a b 中的列紧集即可, 根据Arzela-Ascoli 定理, 这也只需证明A 和A '分别在([,])C a b 中有界且等度连续即可. 事实上, A '在([,])C a b 中有界性和等度连续已由所给条件得到保证(即(i)和(iii)). 还需证明A 在([,])C a b 中的有界性和等度连续性. 记A '在([,])C a b 中的一个界为A M ',B 作为R 中的有界集, 一个界纪为B M .对于任意的[,]x a b ∈, 利用中值定理, 有0000|()||()()||()||()()||()|().A B f x f x f x f x f x x f x M b a M ξ'≤-+'=-+≤-+ 此即表明[,]m a x |()|()A B x a b f x Mb a M '∈≤-+, 所以A 在([,])C a b 中有界,且界为()A B M b a M '-+. 进而对于,[,]x y a b ∈|()()||()()|||.A f x f y f x y M x y ξ''-=-≤-由此易知A 具有等度连续性.[必要性] 设A 是1([,])C a b 中的列紧集, 即对于A 的任何点列1{()}n n f x ∞=, 1{()}n n f x ∞=在1([,])C a b 中的范数(距离)1([,])[,][,]:max |()|max |()|C a b x a b x a b ff x f x ∈∈'=+意义下都有收敛的子列1{()}k n k f x ∞=. 因此, 1{()}n n f x ∞=和1{()}n n f x ∞='分别在([,])C a b 中有收敛的子列的1{()}k n k f x ∞=和1{()}k n k f x ∞='. 这表明, 根据Arzela- Ascoli 定理, A 和A '均是([,])C a b 中的列紧集, 因此A 和A '均在([,])C a b 中有界且等度连续, 因此得到(i)和(iii). 由A 的有界性, 可以知道集合0{()|()}B f x f x A =∈对于任意的0x [,]a b ∈都是R 中的有界集, 因此得到(ii). 26. 设(,)X ρ是紧距离空间,映射:f X X →满足1212((),())(,)f x f x x x ρρ<. (12x x ≠)则(1) f 是否有唯一的不动点? (2) f 是否为压缩映射?解答: (1) f 存在唯一的不动点, 证明如下: (存在性) 定义映射:h X →R 为()(,())h x x f x ρ=.由所给条件知此映射是连续的, 而X 是紧空间表明此映射能在X 中取得上下确界. 因此存在y X ∈, 使得()(,())inf ()x Xh y y f y h x ρ∈==.断言()inf ()0x Xh y h x ∈==,则y 是f 的不动点:()y f y =. 若不然, ()0h y >, 则在所给的条件中取()x f y =有(())((),(()))(,())()h f y f y f f y y f y h y ρρ=<=,此与y 达到()h x 的下确界相矛盾.(唯一性) 若还有z X ∈使得()z f z =但z y ≠. 仍由所给的条件, 有0(,)((),())(,)z y f z f y z y ρρρ<=<.这是个矛盾. 故必有z y =.(2) f 可以不是压缩映射. 反例如下:[反例1] 记[0,1]X =, 其中距离定义为两点之间的Euclid 距离: ,x y X ∀∈,(,):||x y x y ρ=-.因为X 是R 的闭子集, 因此是完备的, 显然也是紧的. 定义映射:T X X →为: 对于x X ∈,():1x T x x=+. 显然T 是自映射, 且有唯一的不动点0.对于任意的,x y X ∈, 设x y ≠, 则,x y 中至少有一个不为零, 由此容易得到||(,)11(1)(1)x y x y Tx Ty x y x y ρ-=-=++++ ||x y <-(,)x y ρ=.所以T 满足所需的条件, 但T 不是压缩映射, 因为,[0,1],[0,1](,)1supsup 1(,)(1)(1)x y x y x yx yTx Ty x y x y ρρ∈∈≠≠==++.因此不存在常数[0,1)α∈, 使得对于所有的,x y X ∈,(,)(,)Tx Ty x y ραρ≤.[反例2] 记1{0}1,2,X n n ⎧⎫=⋃=⎨⎬⎩⎭, 其中距离定义为两点之间的Euclid 距离: ,x y X ∀∈, (,):||x y x y ρ=-.因为X 是R 的闭子集, 因此是完备的, 显然也是紧的. 定义映射:T X X →为: 对于x X ∈,11,,():10,0,x T x n n x ⎧=⎪=+⎨⎪=⎩显然T 是自映射, 且有唯一的不动点0.对于任意的,x y X ∈, 设x y ≠, 如果,\{0}x y X ∈, 则有正整数,m n , m n ≠, 使得11,x y n m==, 且11||(,)11(1)(1)m n Tx Ty n m n m ρ-=-=++++ ||m n nm -<11(,)x y n mρ=-=; 如果,x y 中有一个为零, 例如0x =, 也有11(,)011Tx Ty m m ρ=-=++1m<(,)x y ρ=. 所以T 满足所需的条件, 但T 不是压缩映射, 因为例如对于 11,x y n m==, 当,m n →∞时, 成立11(,)11111(,)(1)(1)Tx Ty mnn m x y n m n mρρ-++==→++-,即不存在[0,1)α∈, 使得(,)(,)Tx Ty x y ραρ≤..补充题. 设二元函数(,)([,][,])g x y C a b a b ∈⨯,A 是([,])C a b 中的一个有界集, 记():(,)()()ba A F x g x y f y dy f x A ⎧⎫⎪⎪==∈⎨⎬⎪⎪⎩⎭⎰.(i) 证明A 是([,])C a b 中的列紧集;(ii) 问当A 还是([,])C a b 中的闭集时, A 是不是紧集?证:(i) 因为(,)([,][,])g x y C a b a b ∈⨯, 不难得知A ⊆ ([,])C a b . 根据Arzela-Ascoli 定理, 只需再证明A 在([,])C a b 中有界且等度连续即可.(a) A 在([,])C a b 中有界, 即A 作为由连续函数组成的集合是一致有界的. 事实上, 如果记A 的一个界为M , |(,)|g x y 在[,][,]a b a b ⨯上的最大值为K , 则对于任意取定的()F x A ∈, 有某个()f x A ∈, 使得()(,)()baF x g x y f y dy =⎰, 由此得知|()|(,)()baF x g x y f y dy =⎰|(,)()|bag x y f y dy ≤⎰max |(,)|max |()|ba xb a y ba a y bg x y f y dy ≤≤≤≤≤≤≤⎰[,]||||bC a b af Kdy =⎰[,]||||()C a b f K b a ≤- ()KM b a ≤-.因此A 是([,])C a b 中有界集, 且A 的一个界为()KM b a -.(b) A 在([,])C a b 中等度连续. 对于()F x A ∈,有某个()f x A ∈, 使得()(,)()baF x g x y f y dy =⎰. 因为(,)([,][,])g x y C a b a b ∈⨯, 因此在[,][,]a b a b ⨯上一致连续, 故对于任意的0ε>,存在0δ>, 当,[,]x x a b '∈且||x x δ'-<时, 有|(,)(,)|g x y g x y ε'-< ([,]y a b ∀∈),由此可以得到|()()|(,)()(,)()bbaaF x F x g x y f y dy g x y f y dy ''-=-⎰⎰[(,)(,)]()bag x y g x y f y dy '=-⎰|(,)(,)||()|ba g x y g x y f y dy '≤-⎰max |()||(,)(,)|ba y ba f y g x y g x y dy ≤≤'≤-⎰[,]|||||(,)(,)|bC a b af g x y g x y dy '=-⎰()M b a ε≤-. 由此易知A 具有等度连续性.(ii) 当A 还是([,])C a b 中的闭集时, A 未必是紧集! 反例可以构造如下: 考虑([0,1])C 中的集合{|1,2,}k A x k ==,显然A 是([0,1])C 中的有界集, 一个界可以取为1.可以断言A 是([0,1])C 中的闭集, 因为对于任意的,klx x A ∈, 不妨设l k >, 则[0,1][0,1]max ||k lk l C x x x x x ∈-=-1k l k l kl kl kk k k k l l l l ---⎛⎫⎛⎫⎛⎫⎡⎤=-=- ⎪ ⎪ ⎪⎢⎥⎝⎭⎝⎭⎝⎭⎣⎦, 对于任意固定的k , 当l 趋于无穷大时, 右端项趋向于1, 由此容易知道, 作为([0,1])C 中的子点列, 集合A 不是Cauchy 列, 因此不可能在([0,1])C 中有收敛的子列, 故集合A 没有聚点, 因此是([0,1])C 中的闭集.定义(,)1K x y =,显然(,)([0,1][0,1])K x y C ∈⨯. 对于上述的集合A , 不难计算{}11()|1,2,|1,2,1k A F x x dx k k k ⎧⎫=====⎨⎬+⎩⎭⎰ 显然, A 是([0,1])C 中列紧集,唯一的聚点是零函数,但零函数不在A 中,因此不是闭集. 补充题. 设A 是([,])C a b 中的一个有界集, 记():()()xa B F x f t dt f x A ⎧⎫⎪⎪==∈⎨⎬⎪⎪⎩⎭⎰.证明B 是([,])C a b 中的列紧集.证:根据Arzela-Ascoli 定理, 需证明B 在([,])C a b 中有界且等度连续即可.(i) B 在([,])C a b 中有界, 即B 作为由函数组成的集合是一致有界的. 事实上, 如果记A 的界为M ,则对于任意取定的()F xB ∈, 有某个()f t A ∈, 使得()()xaF x f t dt =⎰, 由此得知|()|()|()|xxaaF x f t dt f t dt =≤⎰⎰[,]max |()|||||x xC a b a t baaf t dt f dt ≤≤≤=⎰⎰[,]||||()()C a b f b a M b a ≤-≤-.因此B 是([,])C a b 中有界集, 且B 的界为()M b a -.(ii) B 在([,])C a b 中等度连续. 对于()F x B ∈,有某个()f t A ∈, 使得()()xaF x f t dt =⎰.对于,[,]x x a b ∈|()()|()()xxaaF x F x f t dt f t dt -=-⎰⎰()|()|xxxxf t dt f t dt =≤⎰⎰[,]max |()|||||xxC a b a t bxxf t dt f dt ≤≤≤=⎰⎰||M x x ≤-. 由此易知B 具有等度连续性.补充题.证明课本20页定理8:对于距离空间(,)X ρ中的任何集合G , G '与G 均是闭集. 证:(i) 根据闭集的定义, 仅需证明()G G '''⊆.事实上, 设()y G ''∈, 则对于任意的0ε>((,)\{})S y y G ε'⋂≠∅.设((,)\{})x S y y G ε'∈⋂, 根据极限点的定义, 对于min{(,),(,)}0x y x y δρερ=->,有((,)\{})S x x G δ⋂≠∅.又(,)(,)S x S y δε⊆,因此有((,)\{})((,)\{})S y y G S x x G εδ⋂⊇⋂≠∅.注意到0ε>的任意性, 即可得到y G '∈. 因此G '是闭集. (ii) 需证明的是G G '⊆. 因为G G G '=⋃, 又()A B A B '''⋃⊆⋃,(*)故由(i)中已经证明了的结果, 有()G G G G G G G '''''''=⋃⊆⋃⊆⊆,因此G 是闭集.如下证明(*): 设y A B ''∉⋃, 则y A '∉, 且 y B '∉.由前者知存在某个00ε>, 使得0((,)\{})S y y A ε⋂=∅;由后者知存在某个10ε>, 使得1((,)\{})S y y B ε⋂=∅.取001min{,}δεε=, 则00δ>, 且0((,)\{})()S y y A B δ⋂⋃=∅,所以()y A B '∉⋃, 即(*)得证.。

泛函分析习题

泛函分析习题

第七章 度量空间和赋范线性空间复习题:1。

设(,)X d 为一度量空间,令0000(,){|,(,)},(,){|,(,)},U x x x X d x x S x x x X d x x εεεε=∈<=∈≤问0(,)U x ε的闭包是否等于0(,)S x ε?2.设[,]C a b ∞是区间[,]a b 上无限次可微函数的全体,定义()()()()01|()()|(,)max.21|()()|r r r r r a t b r f t g t d f g f t g t ∞≤≤=-=+-∑ 证明[,]C a b ∞按(,)d f g 成度量空间.3。

设B 是度量空间X 中闭集,证明必有一列开集12,,,,n O O O 包含B ,而且1.n n O B ∞==4.设(,)d x y 为空间X 上的距离,证明(,)(,)1(,)d x y d x y d x y =+也是X 上的距离.5。

证明点列{}n f 按题2中距离收敛于[,]f C a b ∞∈的充要条件为n f 的各阶导数在[,]a b 上一致收敛于f的各阶导数.6.设[,]B a b ⊂,证明度量空间[,]C a b 中的集 {|t , (t)=0}fB f ∈当时为[,]C a b 中的闭集,而集 {||()|}(0)A ft B f t a a =∈<>当时,为开集的充要条件是B 为闭集。

7。

设E 及F 是度量空间中两个集,如果(,)0d E F >,证明必有不相交开集O 及G 分别包含E 及F 。

8.设[,]B a b 表示[,]a b 上实有界函数全体,对[,]B a b 中任意两元素,[,]f g B a b ∈,规定距离为(,)sup |()()|.a t bd f g f t g t ≤≤=-证明[,]B a b 不是可分区间.9.设X 是可分距离空间,f 为X 的一个开覆盖,即f 是一族开集,使得对每个x X∈,有f 中开集O ,使x O ∈,证明必可从f 中选出可数个集组成X 的一个覆盖. 10。

泛函分析课后习题答案

泛函分析课后习题答案

___ ___ ___
1 n
d ( x, y ) 1 d ( x, y )
t 在 [o, ) 上是单增函数, 1 t
___ d ( x, y ) d ( x, z ) d ( y , z ) d ( x, y ) 1 d ( x, y ) 1 d ( x, z ) d ( y , z )
1 n
x1 B ,使 d ( x0 , x1 )
1 1 。设 d ( x0 , x1 ) 0, 则易验证 U ( x0 , ) on ,这就 n n
证明了 on 是 开集 显然 n on B 。若 x on 则对每一个 n,有 xn B 使 d ( x , x1 ) ,因 1 n 1 此 xn x(n ) 。因 B 是闭集,必有 x B ,所以 on B 。证毕 n 1 4 设 d(x,y)为空间 X 上的距离,证明 d ( x, y ) 是 X 上的距离 证明 (1)若 d ( x, y ) 0 则 d ( x, y ) 0 ,必有 x=y (2)因 d ( x, y ) d ( x, z ) d ( y, z ) 而 于是 d ( x, y ) =
___
因此 f o (t ) A 由于 A 是开集,必有 0 ,当 f C[a,b]且 d ( f , f 0 ) 时, f A 定义,n=1,2。 。 。 。 。则 d ( f n , f 0 ) | t n t0 | 0(n ) 因此当 | t n t0 | 时, f n A 。 但是 f n (t n ) a | t t0 | | t n t0 | a ,此与 f n A 的必要条件:对 任意
t B ,有 f n (t ) a 矛盾

泛函分析习题及参考答案

泛函分析习题及参考答案



ξi( n ) < ε p 对任何自然数 n 成立。
1 p
p
p⎞ ⎛ ∞ (n) (n) 证明:必要性证明,由 d ( xn , x) = ⎜ ∑ ξi − ξi ⎟ → 0 可知, ξi → ξi , i = 1, 2, ⎝ i =1 ⎠

由 x = (ξ1 ,

, ξi , ) ∈ l p 可知, ∀ε > 0 ,存在 N1 > 0 ,使得
1 3
1 3
1 1 1 ⎧ ⎫ O( x, ) ∩ O( y, ) = Φ ,从而 ⎨O( x, ) x ∈ M ⎬ 是一族互不相交的球,其总数是不可数的。 3 3 3 ⎩ ⎭
(或:由 ∪O 因此 {y n }至少也有不可数个,这与 {y n }是可数的相矛盾。 (yn , ) ⊃l ⊃M 以

1 3
p p
En
∫x
n
பைடு நூலகம்
− x dt +
p
Fn
∫x
n
− x dt 。此时,
p
1 1 ⎡ ⎤ p p p p p p x x dt ( x dt ) ( x dt ) − ≤ + ⎢ ⎥ , ∫ x n − x dt < (b − a ) ⋅ ε 。 n n ∫ ∫ ∫ ⎢ En ⎥ Fn En En ⎣ ⎦
依测度收敛于 x(t ) 。
, 令n → ∞, 可得 m( E ( x n − x ≥ σ ) → 0 。 即 x n (t )
由 x(t ) 的积分绝对连续性可知,对任何 ε > 0 ,存在 δ 1 > 0 ,使得 e ⊂ E ,me < δ 1 时,
( ∫ x(t ) dt ) <

泛函分析第七章-习题解答1-25

泛函分析第七章-习题解答1-25

第七章 习题解答1.设(X ,d )为一度量空间,令}),(,|{),(},),(,|{),(0000εεεε≤∈=<∈=x x d X x x x S x x d X x x x U问),(0εx U 的闭包是否等于),(0εx S ?解 不一定。

例如离散空间(X ,d )。

)1,(0x U ={0x },而)1,(0x S =X 。

因此当X 多于两点时,)1,(0x U 的闭包不等于)1,(0x S 。

2. 设 ],[b a C ∞是区间],[b a 上无限次可微函数的全体,定义)()(1)()(max 21),()()()()(0t g t f t g t f g f d r r r r b t a r r -+-=≤≤∞=∑证明],[b a C ∞按),(g f d 成度量空间。

证明 (1)若),(g f d =0,则)()(1)()(max)()()()(t g t ft g t f r r r r bt a -+-≤≤=0,即f=g(2))()(1)()(max 21),()()()()(0t g t f t g t f g f d r r r r b t a r r -+-=≤≤∞=∑ )()(1)()()()(1)()(max 21)()()()()()()()(0t g t h t g t h t g t f t g t f r r r r r r r r b t a r r -+-+-+-≤≤≤∞=∑ )()(1)()(max 21)()(1)()(max 21)()()()(0)()()()(0t g t h t g t h t g t f t g t f r r r r b t a r r r r r r b t a r r -+-+-+-≤≤≤∞=≤≤∞=∑∑ =d (f ,g )+d (g ,h )因此],[b a C ∞按),(g f d 成度量空间。

3. 设B 是度量空间X 中的闭集,证明必有一列开集 n o o o 21,包含B ,而且B o n n =⋂∞=1。

北大出版社 泛函分析 习题答案

北大出版社 泛函分析 习题答案
2.3.4 设 X , Y 是 B∗ 空间, D 是 X 的线性子空间并且 A : D → Y 是线性映射. 求证: (1) 如果 A 连续且 D 是闭的, 则 A 是闭算子; (2) 如果 A 连续且是闭算子, 那么 Y 完备蕴涵 D 完备; (3) 如果 A 是单射的闭算子, 则 A−1 也是闭算子; (4) 如果 X 完备, A 是单射的闭算子, R(A) 在 Y 中稠密并且 A−1 连续, 那么 R(A) = Y .
4.3 紧算子的谱理论 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4.4 Hilbert-Schmidt 定理 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
由习题 1.4.7, 存在 x0 ∈ X , 使 x0 ≤ 2 [x0] 0 ≤ 2M y0 .
若 y0 = 0, 由习题 1.4.7, 存在 xn ∈ [xn], xn ≤ 2 [xn] 0 ≤ 2M yn → 0.

若 y0 [zn] ∈
= 0, 由 yn X /N (A), 使
→ y0, 则存在 k, 当 n A˜[zn] = yn − y0. 由习题
4 紧算子与 Fredholm 算子
8
4.1 紧算子的定义和基本性质 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
4.2 Riesz-Fredholm 理论 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

泛函分析答案(完整版)

泛函分析答案(完整版)

1.}{ .1的极限是唯一的中的收敛列证明距离空间n x X *.** 0*)**,( )( 0*)*,(*),(*)**,(0)( *** x x x x n x x x x x x n x x x x n n n n ==∞→→+≤≤∞→→→,即所以,则,设ρρρρ第七章距离空间、赋范线性空间2.* }{* }{ .2x x X x x X n n 的任一子列收敛于收敛于中的序列试证距离空间⇔∈.* 0*),( 0*),(}{}{)( *x x x x x x x x n x x kkk n n n n n n →→→∞→→,所以,故的任一子列,依条件,是,设ρρ.*}{.*}{*),( }{}{*),(0*}{*}{000x x x x x x x x x x N n N x x x x n n n n n n n n k k k收敛于此与假设矛盾,故不收敛于显然使的一个子列,于是可选取,使,都存在,使对任意的自然数则必存在,不收敛于,如果的任一子列收敛于反之,设ερερε≥≥>>3),(),(|),(),(| )ii (),(|),(),(| )i ( .3w z y x w y z x y x z y z x X w z y x ρρρρρρρ+≤−≤−:中的任意四个点,证明是距离空间、、、设),(|),(),(|)2()1()2( ),(),(),( ),(),(),()1( ),(),(),( ),(),(),( )i (y x z y z x y x z x z y z x x y z y y x z y z x z y y x z x ρρρρρρρρρρρρρρρ≤−≤−+≤≤−+≤即得:、结合得再由得由),(),(|),(),(|)4()3()4( ),(),(),(),( ),(),(),(),()3( ),(),(),(),( ),(),(),(),(),(),( )ii (w z y x w y z x w z y x z x w y w z z x x y w y w z y x w y z x z w w y y x z y y x z x ρρρρρρρρρρρρρρρρρρρρρρ+≤−+≤−++≤+≤−++≤+≤即得:、结合得再由得由4距离吗?是定义在实数集合上的2)(),( .4y x y x −=ρ.,24120),(),(),(),(.)(),(2上式就不成立时,,,比如取满足、、不能对所有的因为的距离不是定义在实数集合上>===+≤⋅⋅−=z y x y z z x y x z y x y x y x ρρρρρ.),( }{}{ .5收敛中的基本列,证明是距离空间、设n n n n n y x X y x ρα=.Cauchy }{),(),( |),(),(|||),( 0),( ),( 0),(数列,故收敛是即知再由依条件:n m n m n m m n n m n m n m n y y x x y x y x m n y y m n x x αρρρρααρρ+≤−=−∞→→∞→→5的闭包是闭集。

泛函分析课后习题答案

泛函分析课后习题答案

有某自然数 n,使 U ( x, ) Ox 。
1 ) 中必有 2n 1 1 1 某 U ( xk , ) ,且 U ( xk , ) Ox 。 。事实上,若 y U ( xk , ) ,则 2n 2n 2n 1 1 1 1 d ( y , x ) d ( y , xk ) + d ( x k , x ) + = 所以 y U ( xk , ) Ox 。 2n 2n n 2n 1 这样我们就证明了对任意 x X ,存在 k,n 使 x U ( xk , ) 且 2n 1 1 存在 U ( xk , ) O 任取覆盖 U ( xk , ) 的 O,记为 Ok ,n 是 2n 2n
8
设 B[a,b]表示[a,b]上实有界函数全体,对 B[a,b]中任意 两元素 f,g B[a,b],规定距离为 d ( f , g ) = sup | f (t ) − g (t ) | 。
a t b
证明 B[a,b]不是可分空间 证明
0
对任意 t0 [a,b],定义 ft (t ) = 1, t [a, t0 )2, t [to , b)}
5,证明点列{ f n }按习题 2 中距离收敛与 f C [a, b] 的充要条件为 f n 的 各阶导数在 [a,b]上一致收敛于 f 的各阶导数 证明 若{ f n }按习题 2 中距离收敛与 f C [a, b] ,即
f n (t ) − f ( r ) (t ) 1 ——>0 d ( f , f n ) r max (r ) a t b 1 + f n (t ) − f ( r ) (t ) r =0 2

f ( r ) (t ) − g ( r ) (t ) h ( r ) (t ) − g ( r ) (t ) 1 max + r a t b 1 + f ( r ) (t ) − g ( r ) (t ) 1 + h ( r ) (t ) − g ( r ) (t ) r =0 2

刘炳初泛函分析部分习题解答

刘炳初泛函分析部分习题解答
n
. 要证 x0 A ,即证 F x 0 k . 由
xn x0 , n 且 F 连 续 F xn F x0 . 由 于
xn A
, 故
F xn k F x0 k x0 A . 故 x X : F x k 为闭集 . 所以每一个 wk 为
d x,0 d x,0 d 0,0 即 7 3 3 6 . 矛盾
(7)证明在空间 S 中,按距离收敛等价于按坐标收敛. 证 设 x x 1 ,x 2 , ,x n S , y y1 , y2 ,, yn S , 则
d x, y
d xn , xm .
(1)
由 rn 0 , n 知, 对上述 0, N 2 , 当 n N 2 时有 rn . 而当 m n 时,
som , rm son , rn ,从而 xm son , rn , 有
d xn , xm rn .
பைடு நூலகம்



d x n , x0 0 ,

n .
1 xi x 0 0 , n . i n n x0 i 1 2 1 xi

n
n
故有
xi
n
0 xi , i 1,2, , n .
(1)
反之若(1)成立,从(1)依次递推可得 xn x0 , n . 即 S 中点列若按坐 标收敛, 则按距离收敛. (8)试举例说明有界集不是全有界集. 证 取 C 0, 1 中的点列 xn ,
0
Sx 0 ,r U , M k 0 ,命题得证.
(16)举例说明,在压缩映射原理中, 1)空间完备性条件不可少; 2)映射 T 所满足的条件不能代之以条件: d Tx, Ty d x, y 解 1) 设T : 0, 0, 且Tx x ,x 0, ,其中 0 1 . 可以 看出 T 为 0, 上的压缩映射. 事实上 x ,y 0, 有

泛函分析答案

泛函分析答案

泛函分析答案(总5页)--本页仅作为文档封面,使用时请直接删除即可----内页可以根据需求调整合适字体及大小--泛函分析答案:1、 所有元素均为0的n ×n 矩阵2、 设E 为一线性空间,L 是E 中的一个子集,若对任意的x,y ∈L ,以及变数λ和μ均有λx +μy ∈L ,则L 称为线性空间E 的一个子空间。

子空间心室包含零元素,因为当λ和μ均为0时,λx +μy =0∈L ,则L 必定含零元素。

3、 设L 是线性空间E 的子空间,x 0∈E\L,则集合x 0+L={x 0+l,l ∈L}称为E 中一个线性流形。

4、 设M 是线性空间E 中一个集合,如果对任何x,y ∈M ,以及λ+μ=1,λ≥0,μ≥0的λ和μ,都有λx +μy ∈M ,则称M 为E 中的凸集。

5、 设x,y 是线性空间E 中的两个元素,d(x,y)为其之间的距离,它必须满足以下条件:(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(y,z) for every x,y,z ∈E n 维欧几里德空间常用距离定义: 设x={x 1,x 2,…x n }T ,y={y 1y 2,…y n }Td 2(x,y)=(21||ni i i x y =-∑)1/2d 1(x,y)=1||ni i i x y =-∑d p (x,y) = (1||np i i i x y =-∑ )1/p d ∞(x,y)=1max ||i i i nx y ≤≤-6、距离空间(x,d)中的点列{x n }收敛到x 0是指d(x n ,x 0)?0(n?∞),这时记作0lim nn xx -->∞=,或简单地记作x n ?x 07、设||x||是线性空间E 中的任何一个元素x 的范数,其须满足以下条件: (1)||x||≥0,且||x||=0 iff x=0 (2)||λx||=λ||x||,λ为常数(3)||x+y||≤||x||+||y||,for every x,y ∈E8、设E 为线性赋范空间,{x n }∞n=1是其中的一个无穷列,如果对于任何ε>0,总存在自然数N ,使得当n>N,m>N 时,均有|x m -x n |<ε,则称序列{x n }是E 中的基本列。

部分习题解-黎永锦《泛函分析讲义》的Word文档

部分习题解-黎永锦《泛函分析讲义》的Word文档

泛函分析讲义-黎永锦134部分习题解答意义深刻的数学问题从来不是一找出解答就完事了,好象遵循着的格言,每一代的数学家都重新思考并重新改造他们前辈所发现的解答,并把这 解答纳入当代流行的概念和符号体系之中L. Bers (贝尔斯)(1914-1993,美国数学家)习题一1.2 设∑=∞≤∈=n i ii i x R x x l 11}||,|){(,对任意1)(),(l y y x x i i ∈==,∑∞=-=1||),(i iiy x y x d ,||sup ),(i i y x y x -=ρ, 试证明d 和ρ为X 上的两个度量,且存在序列1}{l x n ⊂,1l x o ∈,使得0),(0→x x n ρ,但),(0x x d n 不收敛于0.1.2证明:(1)只须按度量定义验证即可知道为上的两个度量(,)d x y 和(,)x y ρ为 1l 上的两个度量.(2)取111(,,,,0,)n x n n n= 当i n ≤时,()1n i n x = , 当i n >时()0n ix =,则1n x l ∈且()1(,0)sup |0|0n n inx xρ=-=→,但()111(,0)|0|1nn n in i i d x x∞===-==∑∑.因此(,0)0n x ρ→,但),(0x x d n 不收敛于0.黎永锦-部分习题解答1351.4 试找出一个度量空间),(d X ,在X 中有两点y x ,,但不存在X z ∈,使得=),(z x d ),(21),(y x d z y d =. 1.4 证明:在2R 上取离散度量(,)d x y =0, 1,.x y x y ⎧=⎨≠⎩当时当时,则对于x y ≠,有(,)1d x y =,但不存在2z R ∉,使得12(,)(,)(,)d x z d y z d x y ==.1.6 在∞l 中,设F 为的非空子集,G 为开集,试证明G F +为开集.1.6证明:由(,)sup ||i i d x y x y =-可知,对任意,x y l ∞∈,有(,)(,0)d x y d x y =-,若G 是开集,则对于任意,x F y G ∈∈,有开球(,)U y r G ⊂.故(,)x U y r x G +⊂+,因而G x r y x U +⊂+),(,从而对任意,x F x G ∈+是开集,由()x FF G x G ∈+=+ 可知F G +是开集.1.8 在∞l 中,设|){(i x M =只有限个i x 不为0},试证明M 不是紧集. 1.8证明:取()()n n i x x =,当i n >时,()0n ix =当i n ≤时,()1n i i x = ,则n x M ∈,且lim n n x x →= ,这里112(1,,,,)n x = ,但x M ∉,因此M 不是闭集,所以M 不是紧集.1.10 设),(d X 为度量空间,X F ⊂,试证明CC F F )(0=.1.10证明:对于任意0x F ∈,有0(,)U x r F ⊂,故φ=C F r x U ),(,因而C C F x )(∈,从而C C F F )(0⊂.对于任意C C F x )(∈,有()Cx F ∉,因而存在φ=C F r x U ),(,故(,)U x r F ⊂,从而0x F ∈,故0)(F F C C ⊂.所以,0()C CF F ⊂.1.12 设),(d X 为度量空间,X F ⊂,试证明}|),(inf{),(F y y x d F x d ∈=为X 到 ),0[+∞的连续算子.泛函分析讲义-黎永锦1361.12 证明:对于任意,x z X ∈,有.(,)inf{(,)|}inf{(,)(,)|}(,)inf{(,)|}(,)(,)d x F d x y y F d x z d y z y F d x z d y z y F d x z d z F =∈≤+∈=+∈=+故(,)(,)(,)d x F d z F d x z -≤类似地,有(,)(,)(,)d z F d x F d z x -≤因此|(,)(,)|(,)d x F d z F d x z -≤所以,0n x x →时,必有0(,)(,)n d x F d x F →,即(,)d x F 是连续函数. 1.14 设),(d X 为度量空间,F 为闭集,试证明存在可列个开集n G ,使n G F =.1.14 证明:由于F 是闭集,因此{|(,)0}F x d x F ==,又因为(,)d x F 是连续的,所以对任意1,{|(,)}n n x d x F <是开集,从而对于开集1{|(,)}n n G x d x F =<,有1{|(,)0}{|(,)1/}n F x d x F x d x F n ∞====< ,所以1n n F G ∞== .1.16 试证明∞l 是完备的度量空间.1.16证明:设{}n x 为 ∞l 的Cauchy 列,则对于任意0ε>,存在 N,使得n N >时有()()(,)sup ||n p n n p n i i d x x x x ε++=-<.故对每个固定的i,有()()||(,1)n p n i i x x n N p ε+-<>>.因此(){}n i x 是Cauchy 列.因而存在i x ,使得()lim n ii n x x →∞=,令()i x x =,则由可知(1)||N i i x x ε+-≤故黎永锦-部分习题解答137(1)||||N i i x x ε+≤+由于(1)1()N N ix x l ++∞=∈,因此存在常数1N M +使得11sup ||N i N x M ++≤<+∞.又由()()||n p n ii x x ε+-<可知||n i i x x ε-<对任意i 及n N ∈成立.故()(,)sup ||n n i i d x x x x ε=-<所以,n x x →,即l ∞是完备的度量空间. 1.18 证明0c 中的有界闭集不一定是紧集.1.18 证明:令{()|||1}i i M x x =≤,则M 是0c 的有界闭集,但M 是不紧集.1.20 设),,1[+∞=X |/1/1|),(y x y x d -=,试证明),(d X 为度量空间,但不是完备的. 1.20证明:容易验证|/1/1|),(y x y x d -=是),(d X 的度量.取X x n ∈,),1[+∞∈=n x n ,则}{n x 为X 的Cauchy 列,但}{n x 没有极限点,因此}{n x 不是收敛列,所以不是完备的.1.22 试证明度量空间),(d X 上的实值函数f 是连续的当且仅当对于任意R ∈ε,})(|{ε≤x f x 和})(|{ε≥x f x 都是),(d X 的闭集.1.22证明: 若度量空间),(d X 上的函数f 是连续的,则明显地,对于任意R ∈ε,})(|{ε≤x f x 和})(|{ε≥x f x 都是),(d X 的闭集.如果对于任意R ∈ε,})(|{ε≤x f x 和})(|{ε≥x f x 都是),(d X 的闭集,则于任意R ∈21,εε,容易知道})(|{})(|{\})(|{2121εεεε≥≤=<<x f x x f x X x f x 是开集,对于R 上的开集G ,有G 的构成区间),(n n βα,使得),(n n G βα =,因而)(1G f -是开集,所以f 是连续的.1.24 设R 为实数全体,试在R 上构造算子T ,使得对任意R y x ∈,,y x ≠,都有||||y x Ty Tx -<-,但T 没有不动点.泛函分析讲义-黎永锦1381.24证明:(1) 设R 为实数全体,12:,tan T R R Tx x x π-→=+- 则对任意,,x y R x y ∈≠,由'()()()()f x f y f x y ξ-=-可知22|()()|||||1f x f y x y x y ξξ-=-<-+ 但f(x)没有不动点.实际上,若()x f x = ,则1tan 2x π-=,因而矛盾.(2) 设),,1[+∞=X 11:,x T X X Tx x +→=+ 则对任意,,x y R x y ∈≠,由'()()()()f x f y f x y ξ-=-可知21|()()|[1]||||(1)f x f y x y x y ξ-=--<-+但f(x)没有不动点.实际上,若()x f x =,则110x +=,矛盾,所以f(x)没有不动点.1.25 设函数),(y x f 在)},(],,[|),{(+∞-∞∈∈=y b a x y x H 上连续,处处都有偏导数),('y x f y ,且满足+∞<≤≤<M y x f m y ),('0试证明0),(=y x f 在],[b a 上有唯一的连续解)(x y ϕ=. 提示:定义:],[],[:b a C b a C T →为),(1ϕϕϕx f MT -= 证明T 为压缩算子,然后利用S. Banach 不动点定理.1.26 设),(d X 为度量空间,T 为X 到X 的算子,若对任意X y x ∈,,y x ≠,都有 ),(),(y x d Ty Tx d <,且T 有不动点,试证明T 的不点是唯一的.1.26证明:反证法,假设A 有两个不动点12,x x ,使得1122,A x x A x x ==,则121212(,)(,)(,)d x x d Ax Ax d x x =<但这与12x x ≠矛盾,所以A 只有唯一的不动点.黎永锦-部分习题解答1391.27 设),(d X 为度量空间,且X 为紧集,T 为X 到X 的算子,且y x ≠时,有),(),(y x d Ty Tx d <,试证明T 一定有唯一的不动点.证明思路:构造X 上的连续泛函),(),(y x d Ty Tx d <,利用紧集上的连续泛函都可以达到它的下确界,证明存在X x ∈0,使得}|)({inf )(0X x x f x f ∈=,0x 就是T 的不动点. 1.28 试构造一个算子22:R R T →,使得T 不是压缩算子,但2T 是压缩算子.1.28证明:定义)0,(),(:221x x x T →,则T 不是压缩算子,但2T )0,0(),(:21→x x 是压缩算子.1.30 设||),(),,1[y x y x d X -=+∞=,x x Tx X X T /13/,:+=→,试证明T 是压缩算子. 1.30证明:由 x x Tx /13/+=,可知|/13//13/|||y y x x Ty Tx +--=-),(32|||131|2y x d y x ≤--=ξ,所以T 是压缩算子.习题二2.2 设X 为赋范线性空间,||||⋅为X 上的范数,定义⎩⎨⎧≠+-==.y x 1||||;y x ,0),(时当时当,y x y x d试证明),(d X 为度量空间,且不存在X 上的范数1||||⋅,使得1||||),(y x y x d -=. 2.2证明:由度量的定义可知是X 上的度量.假设存在X 上的范数1||||⋅,使得1(,)||||d x y x y =-,则对于,K x X λ∈∈,一定有11||||||||||x x λλ=⋅.泛函分析讲义-黎永锦140如果取001,,||||12x X x λ=∈=,则 001000013||||||||1||||||1122x x x λλλ=+=⋅+=+= , 但是1)11(21)1||(||||||||||00100=+=+=x x λλ,因此11||||||||||x x λλ=⋅不成立,所以一定不存在X 上的范数1||||⋅,使得1(,)||||d x y x y =-.2.4设M 是赋范空间X 的线性子空间,若M 是X 的开集,证明M X =.2.4证明:由于M 是线性子空间,因此0M ∈.由M 是开集可知存在(0,){|||||}U x x M εε=<⊂.因而对于任意,0x M x ∈≠,有),0(2εεU x∈,从而M x∈2ε,因为M 是线性子空间,所以x M ∈,即M X =.2.6设X 是赋范线性空间,若λλλλ→∈∈n n n X x x K ,,,,且x x n →,试证明x x n n λλ→.2.6证明:由n x x →可知存在0M >,使得||||x M ≤,故||||||||||||||||||||||||||||||||0n n n n n n n n n n n x x x x x x x x x M x x λλλλλλλλλλλλ-≤-+-≤-⋅+⋅-≤-+⋅-→所以,n n x x λλ→.2.10 在∞l 中,若M 是∞l 中只有有限个坐标不为零的数列全体,试证明M 是∞l 的线性子空间,但M 不是闭的.2.10证明:明显地M 是线性子空间,取112(1,,,,0,0)n n x = ,则n x M ∈ 且0n x x →,但1102(1,,,,0,0)n x M =∉ ,所以M 不是闭的子空间.2.12 设R R f →:,满足)()()(y f x f y x f +=+对任意X y x ∈,成立,若f 在R 上连续,试证明f 是线性的.黎永锦-部分习题解答1412.12证明:由)()()(y f x f y x f +=+可知,)()(x nf nx f =对所有正整数N n ∈都成立.并且)()()(m x mf m x m x m x f x f =+⋅⋅⋅++=,故)(1)(x f mm x f =对所有正整数N m ∈都成立.因此所有正有理数Q q ∈都有)()(x qf qx f =成立,由)()())((x f x f x x f -+=-+和)0()0()0(f f f +=可知0)0(=f 并且)()(x f x f -=-,因而)()(x qf qx f =对所有有理数Q q ∈都有成立.由于f 在R 上连续,因此,对于任意R ∈α,有Q q n ∈,使得α→n q ,从而)()(lim )(lim )(x f x f q x q f x f n n n n αα===∞→∞→,所以f 是线性的.2.14设X 是有限维Banach 空间,n i i x 1}{=为X 的Schauder 基,试证明存在*∈X f i ,使得1)(=i i x f ,且0)(=j i x f ,对j i ≠成立.2.14证明:令{|}i j M span x i j =≠,则M 是 n-1维的闭子空间,且i i x M ∉,由Hahn Banach -定理可知存在*,||||1i g X x ∈=,使得()(,)i i i i g x d x M =,且()0g x =对任意i x M ∈成立,令(,)ii i g i d x M f = ,则*i f X ∈,且()1,()0i i i j f x f x ==,对任意i j≠成立.2.16设X 是赋范空间,M 为X 的闭线性子空间,M X x \0∈,试证明存在*∈X f ,使得),(1||||,1)(00M x d f x f ==,且0)(=x f ,对所有M x ∈成立.2.16证明: 由M 是闭线性子空间,M X x \0∈因此,因此0(,)0d x M >存在*,||||1g X g ∈=,使得00()(,)g x d x M =,且()0g x =对于任意x M ∈成立.令0(,)gd x M f =,则00||||10(,)(,)()1,||||g d x M d x M f x f ===,且()0f x =对任意x M ∈成立.2.18设X 是严格凸空间,试证明对任意,0,0,,≠≠∈y x X y x 且||||||||||||y x y x +=+时,有0>λ 使得x y λ=.2.18证明:假设存在00,x y ,使得0000||||||||||||x y x y +=+,但00x y λ≠,对任意0λ>成泛函分析讲义-黎永锦142立,则0000||||||||xy x y ≠,故有0000000000||||||||||||||||||||||||||||||||||||||||1x x y yx y x x y y ++⋅+⋅<因而0000||||||||||||1x yx y ++< 但这与0000||||||||||||x y x y +=+矛盾,所以||||||||||||y x y x +=+时,有x y λ=对某个0λ>成立.2.20试证明1l 和∞l 都不是严格凸的赋范线性空间. 2.20证明:在1l 中,取1111(,0,,0,0,,0),(0,,0,,0,,0)2222x y == ,则||||1,||||1x y ==,且x y ≠,但||||2x y +=,因而1l 不是严格凸的.类似的,在∞l 中,取(1,0,1,0,0,,0),(1,1,0,,0)x y == ,则 ||||1,||||1x y ==,且x y ≠,但 ||||2x y +=,所以l ∞不是严格凸的.2.22举例说明在赋范线性空间中,绝对收敛的级数不一定是收敛级数.2.22证明:令{()|N 0}i i i X x x R i N x =∈>=存在某个,使得时,有,定义1||||||()||||i i i x x x ∞===∑,则(,||||)X ⋅是赋范空间,取12(0,0,,0,,0,0,,0)n n x = ,则1211||||nni i x∞∞===∑∑,因此1ni x∞=∑绝对收敛,但级数1ni x∞=∑不收敛.2.24 设是X 赋范线性空间,,,X x x n ∈x x n →,试证明对任意*∈X f ,有)||||()||||(x xf x x f n n →. 2.24证明:由x x n →可知, ||||||||x x n →,因而,||||||||x xx x n n →,所以, ≤-|)||||()||||(|x x f x x f n n 0||||||||||||||||→-x xx x f n n . 2.26在]1,0[C 中,]},[),()(|)({b a C x b x a x t x M ∈==,试证明M 是]1,0[C 的完备线性子空间.黎永锦-部分习题解答1432.26证明:容易验证M 是]1,0[C 的线性子空间.由于]1,0[C 是完备赋范线性空间,M 是]1,0[C 的闭子空间,因此M 是]1,0[C 的完备线性子空间.2.28 在2R 中,取范数||||||||21x x x +=,}|)0,{(11R x x M ∈=,则M 为2R 的线性子空间,对20)1,0(R x ∈=,试求出M y ∈0,使得),(||||000M x d y x =-.2.28证明:由于1||})1,(inf{||}|||inf{||),(100≥=∈-=x M y y x M x d ,并对于M y ∈=)0,0(0,有1||)1,0(||||||00==-y x ,所以1),(0=M x d ,且),(||||000M x d y x =-.习题三3.2 设1)(l x i ∈,算子11:l l T →, 1)(),3(l x x x Tx i i i∈==任意,试证明T 是线性有界算子,并求||||T .3.2证明: 由T 的定义可知T 是线性算子,且||||31||31||)3(||||||1x x x Tx i i i =≤=∑∞=, 因此13||||T ≤,从而T 是线性有界算子.取0(1,0,,0)x = ,则01x l ∈,且0||||1x =,故01||||||||3T Tx ≥=,所以1||||3T =. 3.4 设),(Y X L T ∈,试证明||||sup ||||1||||Tx T x <=.3.4证明:由于||||||||sup ||||supsup 111T x Txx Tx Tx x x x =≤≤≠<<,因此Tx T x 1||||sup ||||<≥.对于任意10n >,由||||sup ||||||||sup ||||||||sup||||1||||0||||0||||Tx x xT x Tx T x x x =≠≠===可知,有||||1n x =,使得1||||||||n n Tx T ≥-,故111||(1)||(1)(||||)n n n n T x T -≥--,因而111||||1sup ||||||(1)||(1)(||||)n n n n x Tx T x T <≥-≥--对任意n 成立泛函分析讲义-黎永锦144从而||||1||||sup ||||x T Tx <≤,所以||||sup ||||1||||Tx T x <=3.6 设X 是赋范空间,X x ∈α,若对任意*f X ∈,有+∞<|)(|sup ααx f ,试证明+∞<||||sup ααx .3.6 证明:定义*:,()()T X K T f f x ααα→=,则T α是*X 到K 的线性有界算子,且对于任意*f X ∈,有sup |()|sup |()|T f f x ααα=<+∞因为任意赋范空间X 的共轭空间 *X 都是完备的,因此由一致有界原理,有sup ||||T α<+∞.由αT 的定义可知||)(||sup |)(||sup ||||1||||1||||αααx f f T T f f ====故||||||||T x αα=,所以,sup ||||x α<+∞.3.7 设X ,Y 是赋范空间,}0{≠X , 试证明Y 是Banach 空间当且仅当),(Y X L 是Banach 空间.证明思路:明显地,只需证明),(Y X L 是Banach 空间时,Y 是Banach 空间.由于}0{≠X ,因此有1||||,00=∈x X x ,故由Hahn-Banach 定理存在1||||=f ,使得1||||)(00==x x f .若Y y n ∈}{是Cauchy 列,定义算子列),(Y X L T n ∈为n n y x f x T )(=,则),(Y X L T n ∈,并且||||||||n m n m y y T T -=-,因而}{n T 为),(Y X L 的Cauchy 列,所以存在),(Y X L T ∈,使得T T n →.不难证明0Tx y n →,从而Y 是Banach 空间.3.8 设X 是Banach 空间,*X f n ∈且对任意)()(lim ,x f x f X x n n =∈∞→,试证明*∈X f .3.8证明: 由于lim ()()n n f x f x →∞=,因此sup{|()|}n f x <∞对任意x 成立,由X 是Banach黎永锦-部分习题解答145空间可知sup{||||}n f M <<∞因而|()|||||||||||||n n f x f x M x ≤⋅<,所以|()|||||f x M x ≤,即f 是X 的线性连续泛函. 3.10 设X ,Y 是赋范空间,Y X T →:是线性算子,且T 是满射,若存在0>M ,使得||||||||x M Tx ≥对任意X x ∈成立,试证明1-T 是线性连续算子,且MT1||||1≤-. 3.10 证明:由||||||||Tx M x ≥可知T 是单射,因而1T -存在,且对于任意y Y ∈,由T 满射可知存在x X ∈,使得y Tx =,容易验证T 是线性算子,故1111||||||||||||||||||||T y T Tx x Tx y --==≤=,所以,1T -连续,且11||||MT-≤.3.12 设X 是Banach 空间,f 是X 上的非零线性泛函,试证明f 一定是开映射. 3.12证明:由0f ≠可知存在00x ≠,使得0()1f x =,故对于X 的开集G 及任意()f G α∈,必有x G ∈,使得()f x α=,由于是G 开集,故有0ε>,使(,)U x G ε⊂,因此对00,||||||x x x λλε+<,有0x x G λ+∈,因而0()f x x G λ+∈,但00()()()f x x f x f x λλαλ+=+=+,故(,)()f G αεαε-+⊂ ,即α为G 的内点,所以()f G 为开集,即f 一定开映射.3.13 设X 是赋范空间,T 是从X 到X 的线性算子,X T D =)(,S 是从*X 到*X 的线性算子,*=X S D )(若对任意*∈∈X f X x ,,有)())((Tx f x Sf =,试证明T 和S 都是线性连续算子.证明思路:先证S 为闭算子,从而S 是线性连续算子,然后利用Hahn-Banach 定理的推论可泛函分析讲义-黎永锦146知, 当0≠Sx 时,存在1||||,*=∈f X f ,使得||||)(Sx Sx f =,不难进一步证明T 为是线性连续算子.3.14 设X ,Y 是赋范空间,T 为X 到Y 的闭线性算子,F 为X 的紧集,试证明)(F T 为Y 的闭集.3.14证明:若()n y T F ∈,且0n y y →,则存在n x F ∈使得()n n y f x =,由于F 是紧集,因此存在k n x ,使得0k n x x →,且0x F ∈.由0y Tx k n →及T 是闭线性算子可知0y Tx =,所以0()y T F ∈,即)(F T 是闭集.3.15 设X 为Banach 空间,T 为X 到X 的线性算子,若T T =2,且)(T N 和)(T R 都是闭的,试证明),(X X L T ∈.证明思路:由于T 的定义域为X ,因此明显地,只需证明T 为闭线性算子.设有点列X x n ∈}{,X y x ∈,,当∞→n 时,x x n →,y Tx n →.由)(T R 是闭的,)(T R Tx n ∈可知必有X x ∈0,使得0Tx y =.由于T T=2,因此0)(2=-=-n n n n Tx x T x Tx T ,即)(T N x Tx n n ∈-.由)(T N 是闭的,可得)()(lim T N x Tx x y n n n ∈-=-∞→,从而0)(=-x y T .因此y Tx Tx T Ty Tx ====00)(,所以T 为闭线性算子.由闭图像定理可知),(X X L T ∈3.16 设X ,Y 赋范空间,),(,Y X L T T n ∈,若n T 强收敛于T ,试证明n T 弱收敛于T . 3.16证明:由于n T 强收敛于,因此T 对任意x X ∈,有||||0n T x Tx -→,故对于任意*f Y ∈,有|()()||()|||||||||0n n n f T x f Tx f T x Tx f T x Tx -=-≤⋅-→,所以n T 弱收敛于T .黎永锦-部分习题解答147习题四4.2 试证明∞=l l *1.4.2证明:对于任意1x l ∈,有11lim ni ii i n i i x x ex e ∞→∞====∑∑,故对于任意*1f l ∈,有11()lim ()lim ()nni i i i n n i i f x f x e x f e →∞→∞====∑∑由于1111|()||||()|||||||||||||||||n n n niiiiiiii i i i x f e x f e x f e x f ====≤≤⋅⋅=⋅∑∑∑∑因此由1()i x x l =∈可知1||n ii x =∑收敛,从而1()niii x f e =∑绝对收敛,且11|()||()|sup |()|sup |()|||||i i i i i i i f x x f e f e x f e x ∞∞===≤=⋅∑∑令()(())i i y f e α==,则y l ∞∈,且对于任意,都1()i x x l =∈,有1()i i i f x x α∞==∑ 且||||||||f y =.反过来,对于任意 ()i y l α∞=∈,则定义f 为11(),()i iii f x x x x l α∞==∀=∈∑则f 是上的线性连续泛函,且||||sup ||||||i f y α==,所以 ∞=l l *1 4.4 试证明1*l l ≠∞.4.4证明: 用反证法,假设 *1l l ∞=,则由于1l 是可分的,因此是l ∞可分的,但这与1l 不可分矛盾,所以1*l l ≠∞泛函分析讲义-黎永锦1484.6 试证明在2l 中强收敛比按坐标收敛强.4.6证明:若()(0)202(),()n n i i x x l x x l =∈=∈,且0n x x →,则()(0)21/21(||)0n i i i x x ∞=-→∑因此,对于任意i 有()(0)()(0)21/21||(||)n n iii i i xxx x ∞=-≤-∑从而()(0)n ii x x →,所以强收敛比按坐标收敛强.4.7 设X 是无穷维的赋范空间,试证明*X 一定也是无穷维的赋范空间.证明思路:对于任意的自然数n ,由于X 是无穷维的赋范空间,因此存在n 个线性无关的的X e e e n ∈⋅⋅⋅,,,21,由Hahn-Banach 定理,不难证明存在*21,,,X f f f n ∈⋅⋅⋅,使得都成立对任意并且j i e f e f j i i i ≠==,0)(,1)(,从而只需证明n f f f ,,,21⋅⋅⋅是线性无关的,则n X >)dim(*,所以*X 一定也是无穷维的赋范空间.4.8设X 是赋范空间,X x x n ∈,,x x wn −→−,若}{n x 是相对紧的,试证明x x n −→−. 4.8证明:由于{}n x 是相对紧的,因此存在子列{}k n x 收敛于y ,但n x 弱收敛于x ,因此对于任意*f X ∈,有()()k n f x f x →.由{}k n x 收敛于y 可知|()()|||||k kn n f x f y f x y -≤⋅-→,从而()()f x f y =,对任意成*f X ∈立.因而x y =.故k n x x →,所以x x n −→−. 4.10设Y X ,为赋范空间,),(Y X L T ∈,若x x w n −→−,试证明Tx Tx wn −→− 4.10证明:对于任意*g Y∈,定义X 上的泛函()()f x g T x =,则由|()||()||||||f x g T x g T x =≤⋅⋅,可知f 是X 上的线性连续泛函,由于n x 弱收敛x ,因黎永锦-部分习题解答149此()()n f x f x →,因而()()n g Tx g Tx →,所以n Tx 弱收敛Tx .4.12 设X 为Banach 空间,*,,,X f f X x x n n ∈∈n x 弱收敛于x ,且n f 收敛于f ,试证明)()(x f x f n n →.4.12证明:由于n x 弱收敛于x 时,有0M >,使得||||n x M ≤<∞,因此|()()||()()||()()||||||||||()()||||||()()|n n n n n n n n n n n f x f x f x f x f x f x f f x f x f x M f f f x f x -≤-+-≤-⋅+-≤-+-所以,当n x 弱收敛于x ,且n f 收敛于f 时,有()()n n f x f x →.4.14设Y X ,是Banach 空间,),(Y X L T ∈,且1-T 存在且有界,试证明*T 的逆存在且*11*)()(--=T T .4.14证明:由 **11*()()T T T T I --==及 1**1*()()T T TT I --==可知*1()T -存在,并且*11*)()(--=T T .4.16设X 是赋范空间,}{,0n w n x span M x x =−→−,试证明M x ∈0. 4.16证明:反证法,假设0x M ∉,则由于M 是闭子空间,因此0(,)0d x M >,故由Hahn Banach-定理可知存在*f X ∈,使得00()(,)f x d x M =且对于任意 ,()0x M f x ∈=,所以00()0,()(,)0n f x f x d x M ==>,但这与n x 弱收敛于0x 矛盾,因而n x 弱收敛0x 时,一定有0x M ∈.习题五泛函分析讲义-黎永锦1505.2设X 是内积空间,X y ∈,试证明),()(y x x f =是X 上的线性连续泛函,且||||||||y f =.5.2证明: 由()(,)f x x y =可知f 线性泛函,且|()||(,)|||||||||f x x y x y =≤⋅,因此f 是X 上的连续线性泛函,并且||||||||f y ≤,取||||y y x =,则||||||||1,|()||(,)|(,)||||y y x f x x y y y ====,所以,||||||||f y =.5.4 设X 是内积空间,X e e n ∈,,1 ,若=),(j i e e ⎩⎨⎧=≠.1j,0j i ,i试证明n e e ,,1 线性无关.5.4证明:若12,,,n e e e X ∈ ,且=),(j i e e ⎩⎨⎧=≠.1j ,0j i ,i则对于i K α∈,当10ni ii eα==∑时,有1(,)0ni i i i i e e αα===∑.因此120n ααα==== ,所以12,,,n e e e 线性无关.5.6 设M 是Hilbert 空间X 的闭真子空间,试证明⊥M 含有非零元素.5.6 证明: 由M 是X 的真子空间,因而对\x X M ∈,存在0x M ⊥∈,使得 00x x y =+,由x M ∉及0x M ∈可知00x x -≠所以0y ≠,且y M ⊥∈,即M ⊥含有非零元.5.8 设M 是Hilbert 空间X 的闭真子空间,试证明⊥⊥=M M .5.8证明:由于M M⊥⊥⊂,因此只须证MM ⊥⊥⊂.对于任意x M ⊥⊥∈有y M ⊥∈使得0x x y =+,由M M ⊥⊥⊂可知0x M ⊥⊥∈,故0x x M ⊥⊥-∈,因此0y x x M ⊥⊥=-∈,所以y y ⊥,因而0y =,从而MM ⊥⊥⊂.黎永锦-部分习题解答1515.9 设f 是实内积空间3R 上的线性连续泛函,若32132)(x x x x f ++=,试求X y ∈,使得),()(y x x f =.5.9 解答:取)3,2,1(,3=∈y R y ,则一定有32132)(x x x x f ++=. 5.10 设M 是内积空间X 的非空子集,试证明⊥⊥⊥⊥=M M . 5.10 证明:由()MM ⊥⊥⊥⊥⊥⊥=可知, M M ⊥⊥⊥⊥⊂.反过来,对任意x M ⊥⊥⊥∈,及y M M⊥⊥∈⊂,可知(,)0x y =,因而x y ⊥对于任意y M ∈成立,故x M ⊥∈因此M M ⊥⊥⊥⊥⊂,所以M M ⊥⊥⊥⊥=.5.12 设X 是Hilbert 空间,M 、N 是X 的闭真空间,N M ⊥,试证明N M +是X 的闭子空间.5.12证明:明显地N M +是X 的线性子空间,因此只须证N M +在X 中是闭的,若,,n n n n x y M N x M y N +∈+∈∈,且n n x y z +→,则由于X 是Hilbert 空间,M 是闭子空间,因此,,z x y x M y M ⊥=+∈∈,故,n n x x M y y M ⊥-∈-∈.因而22222||||||||||||||()||||||0n n n n n n n n x x y y x x y y x y x y x y z -+-=-+-=+-+=+-→,所以,n n x x y y →→,故,,z x y x M y N =+∈∈,即N M +是的X 闭子空间. 5.14 设X 是内积空间,X y x ∈,,试证明y x ⊥的充要条件为对任意K ∈α,有||||||||y x y x αα-=+.5.14 证明:若x y ⊥,则对任意K α∈,有2222||||(,)(,)(,)(,)(,)||||||||||x y x y x y x x x y y x y y x y αααααααα+=++=+++=+ 且2222||||||||||||||x y x y αα+=+ 因此||||||||y x y x αα-=+.泛函分析讲义-黎永锦152反过来,若K α∈,有||||||||y x y x αα-=+,则由(,)(,)(,)(,)(,)x y x y x x x y y x y y αααααα++=+++和(,)(,)(,)(,)(,)x y x y x x x y y x y y αααααα--=--+可知2(,)2(,)0x y y x αα+=令(,)x y α= ,则22|(,)||(,)|0x y x y += 因而(,)0x y =,所以x y ⊥.5.16设X 是内积空间,X y x ∈,,试证明y x ⊥当且仅当对任意K∈α,有||||||||x y x ≥+α.5.16证明:若x y ⊥,则对任意K α∈,有x y α⊥,因此 22222||||||||||||||||||x y x y x αα+=+≥,所以||||||||x y x ≥+α.反过来,若对任意K α∈,有||||||||x y x ≥+α,则 令2(,)||||x y y α=-,由22||||||||0x y x α+-≥及|||||),(|),(|||||),(||||||),(||||||),(|),(||),(),(),(),(),(),(),(),(),(224222222≥-=+--=++=-+++=-++y y x y y y y x y y x y y x y y x y y x x x y y x y y x x x x x y x y x αααααααα因此(,)0x y =,所以,x y ⊥.5.17 设}|{N i e i ∈是内积空间X 的正交规范集,试证明黎永锦-部分习题解答153|||||||||),)(,(|1y x e y e x i ii⋅≤∑∞=对任意X y x ∈,成立.5.17证明:由于{|}i e i N ∈是X 的正交规范集,因此对任意,x y X ∈,有222211|(,)|||||,|(,)|||||ii i i x e x y e y ∞∞==≤≤∑∑故21/221/2111|(,)(,)|[|(,)|][|(,)|]||||||||iiiii i i x e y e x e x e x y ∞∞∞===≤=⋅∑∑∑5.18设}|{N i e i ∈为Hilbert 空间的正交规范集,}{i e span M =,试证明M x ∈时,有i i i e e x x ∑∞==1),(.5.18证明:若x M ∈,则由于{}i e 是正交规范集,因此221|(,)|||||ii x e x ∞=≤∑.因为X 是完备的,所以由22||(,)|||(,)|0n p n p iiii ni nx e e x e ++===→∑∑ 可知1(,)i ii x e e ∞=∑是收敛级数,记1(,)iii y x e e ∞==∑,则1(,)((,),)(,)(,)0j i i j j j i x y e x x e e e x e x e ∞=-=-=-=∑故x y M -⊥,由,x y M ∈,可知x y M -∈,因而x y x y -⊥-,所以,0x y -=,即ii iee x x ∑∞==1),(.泛函分析讲义-黎永锦1545.19设}{n x 是Hilbert 空间X 的正交集,试证明1{}ii x ∞=∑弱收敛当且仅当21||||ii x ∞=<∞∑.5.19证明:若1ii x ∞=∑弱收敛,则存在0M >,使得M x ni i≤∑=||||1对任意n 成立,故由{}ix 是正交集可知22211||||||||ii i i x x M ∞∞===≤∑∑,所以21||||i i x ∞=<∞∑.反之,若21||||ii x ∞=<∞∑,则由0||||||||2121→=∑∑++=++=pn n i ipn n i ix x 可知1{}i i x ∞=∑是X 的Cauchy 列,所以1i i x ∞=∑在Hilbert 空间X 中收敛,因而1i i x ∞=∑弱收敛.5.20设}|{∧∈=ααe S 是内积空间X 的正交规范集,则对于任意}|),{(,∧∈∈ααe x X x 中最多只有可列个不为零,且22|||||),(|x e x i ≤∑∧∈α.5.20证明:若Λ是有限集,则明显地,有22|||||),(|x e x i≤∑∧∈α若Λ不是有限集,则对于任意}1),(|{,me x e S N m m ≥=∈αα,只能是有限集,因而'1m m S S ∞== 是可数集,且对任意'\e S S α∈,有(,)0x e α=,故22|||||),(|x e x i ≤∑∧∈α5.21 设X 是Hilbert 空间,),(X X L T ∈,若1-T 存在,且),(1X X L T∈-,试证明1*)(-T 存在且*11*)()(--=T T .5.21 证明:由于X 是Hilbert 空间,且),(1X X L T∈-,因此1*()T -存在.对于任意,x y X ∈,有11**1*(,)(,)(,())(,())x y T Tx y Tx T y x T T y ---===黎永锦-部分习题解答155又因为11*1**(,)(,)(,)(,())x y TT x y T x T y x T T y ---===,所以,*1*1**()()T T T T --=,因而*11*)()(--=T T .5.22 设X 是Hilbert 空间,),(,X X L T T n ∈,若T T n →,试证明**T T n →.5.22证明:由***()n n T T T T -=-及*||()||||||n n T T T T -=-,可知n T T →时,有**||||||||0n n T T T T -=-→,因此**T T n →.5.24 若X 是Hilbert 空间,),(,X X L T S ∈是自伴算子,R ∈βα,,试证明T S βα+是自伴算子.5.24证明:由于,S T 是自伴算子,因此*S S = ,且*T T =,所以对于***,,()R S T S T S T αβαβαβαβ∈+=+=+.5.25 设X 是Hilbert 空间,),(X X L T ∈,若T 是自伴算子,N n ∈,试证明n T 是自伴算子.5.25证明:由于*T T =,因此***()()()n nnT T T T T T =⋅⋅⋅== ,所以n T 是自伴的.5.26 设X 是复H i l b e r t 空间,),(X X L T ∈若试证明存在唯一的自伴算子),(,21X X L T T ∈,使得21iT T T +=,且21*iT T T -=.5.26 证明:令**111222(),()iT T T T T T =+=-,则),(,21X X L T T ∈,且*1212,T T iT T T iT =+=-由于***1111*******11122222()(),[()]()()iii T T T T T T T T T T T T T T =+=+==-=--=-=因此1T 和2T 都是自伴算子.假设存在自伴算子12,(,)S S L X X ∈,使得12T S iS =+,则1212S iS T iT +=+且**12121212()()S iS S iS T iT T iT -=+=+=-,因此1122,S T S T ==.泛函分析讲义-黎永锦156所以,存在唯一的自伴算子),(,21X X L T T ∈,使得*1212,T T iT T T iT =+=-. 5.27 设X 是Hilbert 空间,T T X X L T T n n →∈),,(,,若n T 是正规算子,试证明T 是正规算子.5.27 证明:由于n T 是正规,因此**n n n T T T T =故************************||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||n n n n n n n n n n n n n n n nn n n nn n n n n T T TT TT T T T T T T TT T T TT T T TT T T TT TT TT T T T T T T T T T T T T T T T T T T T T T -≤-+-+-≤-+-≤-+-⋅-+-≤⋅-+⋅-+⋅-+⋅**||n T -由n T T →可知**n T T →,所以**||||0T T TT -=即T 是正规算子.5.28 设X 是复H i l b e r t 空间,),(X X L T ∈,试证明T 是正规算子当且仅当||||||||*Tx x T =对于任意X x ∈成立.5.28 证明:若T 是正规算子,则**T T TT =,因此对于任意x X ∈,有**((),)0T T TT x x -=,故**(,)(,)T Tx x TT x x =,因此**(,)(,)Tx Tx T x T x =,所以*||||||||T x T x =对任意x X ∈成立.反之,若对任意x X ∈有*||||||||T x Tx =,则**(,)(,)Tx Tx T x T x =,故**(,)(,)T Tx x TT x x =.因而**((),)0T T TT x x -=对任意x X ∈成立.所以**0TT T T -=,即是T 正规算子.5.29 设X 是Hilbert 空间, T 是X 到X 的线性算子,若对任意,x y X ∈,有(,)(,)Tx y x Ty =,试证明T 是连续线性算子.5.29 证明:由于()D T X =,因此只须证T 是闭线性算子,若00,n n x x Tx y →→,则对于黎永锦-部分习题解答157任意y X ∈,有000(,)lim(,)lim(,)(,)(,)n n n n y y Tx y x Ty x Ty Tx y →∞→∞====故00(,)(,)y y Tx y =对任意y X ∈成立,因此00Tx y =,因而T 是闭线性算子,所以由闭图象定理可知T 是连续的.学年论文可选的题目学完一门课程,如能对所学内容做些比较系统的整理和思考,对加深该课程的理解和进一步学习都会有很好的帮助.学年论文的写作,可以提高阅读有关文献资料的能力,学会从书本和论文中了解有关信息、得到启发.并可有目的、有计划地搜集相关资料,可以养成独立思考和研究探索的好习惯. 下面的一些题目和思路可供参考:1. 抽象空间的球具有哪些奇怪的性质,在度量空间和赋范空间中,它们的性质有哪些不同,如开球的闭包一定是与开球球心和半径一样的闭球吗?开球有可能是闭集吗?2. 不动点定理的推广和应用,特别是在微分方程中的一些应用.3. 度量空间和赋范空间中,序列的各种收敛性的相互关系.4. 度量空间和赋范空间中,紧、完备、闭、有界等的相互关系.5. 凸集和凸函数的性质.6. 线性连续泛函和可加泛函的性质.7. 一致有界原理的应用.8. 逆算子定理或闭算子定理的应用. 9. Hahn-Banach 定理及其推广和应用. 10. 内积空间中的正交性的推广.11. 平面几何的有关概念和性质在Hilbert 空间的推广.泛函分析讲义-黎永锦12. 数学分析中的Fourier 级数相关概念在内积空间的推广.13. 赋范空间中的级数收敛的判别法.158。

实变函数与泛函分析基础第七章(1-3)

实变函数与泛函分析基础第七章(1-3)
t A
则 ρ(x, y) 是 B(A) 上的度量,事实上, ρ(x, y)显然满足1 ,以下证明也满足2 . 对另一连续函数 z∈B(A), 由
0 0
x(t ) y(t ) x(t ) z(t ) y(t ) z(t )
sup x( t ) z( t ) sup y( t ) z( t )
其次注意到在递增11nnnggg?所以于是11nnngxgxg?????????????????????????11nnngmxgmxg??????????????????????????0lim
现代分析学
实变函数论与泛函分析基础
第七章 度量空间和赋范线性空间
§1 度量空间的进一步例子
§2 度量空间中的极限,稠密集,可分空间
都是 R 中的元素,由Cauchy不等式
n n 2 2 x y x y k k k k k 1 k 1 k 1 n 2
n
再令右端 n→∞,即得
xk yk k 1
n
2
2 2 x y k k k 1 k 1
2 2 2 2 xk 2 x . y y k k k k 1 k 1 k 1 k 1
1 2
2 2 xk yk k 1 k 1


再令左端的 n→∞,即得
2 2 x y x y k k k k k 1 k 1 k 1 n 2
由此可得
2 2 x y x 2 x y y k k k kk k 2 k 1 k 1 k 1 k 1

《泛函分析》课后习题答案(张恭庆)

《泛函分析》课后习题答案(张恭庆)

2 a
n
fn
2 b
ba
.
1.4.6 设 X 1, X 2 是两个线性赋范空间,定义
X
X1 X2
x1, x2 | x1
X1, x2
X2 称
为 X1 与 X2 的 Decard笛卡尔空间. 规定线性运算如下:
x1, x2
y1, y2
x1
y1, x2
y2
5
,
K, x1, y1
X1, x2, y2
X 2 ,并赋以范数
n 1
x1
,
1
x
n 2
x2 2
2
n N.
1.4.7 设 X 是 B 空间,求证: X 是 B 空间,必须且仅须

6
xn
X,
xn
n1
mp
xn
n1 mp
收敛.
xn
xn


m
m
显然.
设 xn 是基本列, 由1.2.2 只要 xn 存在一
串收敛子列.
事实上, 对 k 是基本列,
, 取k
1 2k
,
因为
xn
所以 N k, 使得
但因为 F 2 紧, 存在它们的子序列 ynkj 收敛,设
y nk j
x2
F 2 , 即有
d
xnkj , ynkj
d
1
j
nkj
d
x1, x2 .
1.3.5 设 M 是 C a, b 中的有界集,求证集合
x
M
Fx
f t dt | f M
a
是列紧集.
证: 设 E
Fx
x f t dt | f

泛函分析习题参考答案

泛函分析习题参考答案

泛函分析习题参考答案一、设),(y x d 为空间X 上的距离,试证:),(1),(),(~x y d x y d x y d +=也是X 上的距离。

证明:显然,0),(~≥y x d 并且y x y x d y x d =⇔=⇔=0),(0),(~。

再者,),(~),(1),(),(1),(),(~y x d y x d y x d x y d x y d x y d =+=+=;最后,由tt t +-=+1111的单调增加性及),(),(),(y z d z x d y x d +≤,可得 ),(),(1),(),(),(1),(),(),(1),(),(),(1),(),(~y z d z x d y z d y z d z x d z x d y z d z x d y z d z x d y x d y x d y x d +++++=+++≤+=),(~),(~),(1),(),(1),(y z d z x d y z d y z d z x d z x d +=+++≤。

二、设1p ≥,1()()(,,,)i n n p n x l ξξ=∈, ,2,1=n ,1(,,,)pi x l ξξ=∈,则n →∞时,1()1(,)0pp n n i i i d x x ξξ∞=⎛⎫=-→ ⎪⎝⎭∑的充要条件为)1(n →∞时,()n i i ξξ→,1,2,i =;)2(0ε∀>,存在0N >,使得()1pn i i N ξε∞=+<∑对任何自然数n 成立。

必要性证明:由1()1(,)0ppn n i i i d x x ξξ∞=⎛⎫=-→ ⎪⎝⎭∑可知,()n i i ξξ→,1,2,i =。

由1(,,,)pi x lξξ=∈可知,ε∀>,存在10N >,使得11(2ppi i N εξ∞=+<∑,并且1n N >时,()1(2p n p i i i εξξ∞=-<∑。

(完整word版)泛函分析习题标准答案

(完整word版)泛函分析习题标准答案

(完整word版)泛函分析习题标准答案第⼆章度量空间作业题答案提⽰ 1、试问在R 上,()()2,x y x y ρ=-能定义度量吗?答:不能,因为三⾓不等式不成⽴。

如取则有(),4x y ρ=,⽽(),1x z ρ=,(),1z x ρ= 2、试证明:(1)()12,x y x y ρ=-;(2)(),1x y x y x yρ-=+-在R 上都定义了度量。

证:(1)仅证明三⾓不等式。

注意到21122x y x z z y x z z y ??-≤-+-≤-+- ?故有111222x yx z z y-≤-+-(2)仅证明三⾓不等式易证函数()1xx x=+在R +上是单调增加的,所以有()()a b a b ??+≤+,从⽽有1111a b a b a b++≤≤+++++++令,,x y z R ?∈,令,a z x b y z =-=- 即111y x z x y zy x z x y z---≤++-+-+-4.试证明在[]b a C ,1上,)12.3.2()()(),(?-=ba dt t y t x y x ρ定义了度量。

证:(1)0)()(0),(≡-?=t y t x y x ρ(因为x,y 是连续函数) 0),(≥y x ρ及),(),(x y y x ρρ=显然成⽴。

[]),(),()()()()()()()()()()(),()2(y z z x dtt y t z dt t z t x dtt y t z dt t z t x dtt y t x y x bab ab aba ρρρ+≤-+-≤-+-≤-=5.试由Cauchy-Schwarz 不等式证明∑∑==≤??ni in i i x n x 1221证:∑∑∑∑=====?≤??ni in i n i i n i i x n x x 1212122118.试证明下列各式都在度量空间()11,ρR 和()21,R R 的Descartes 积21R R R ?=上定义了度量{}212/1222121,max ~~)3(;)(~)2(;)1(ρρρρρρρρρ=+=+= 证:仅证三⾓不等式。

(完整版)实变函数与泛函分析基础第三版第七章答案

(完整版)实变函数与泛函分析基础第三版第七章答案

习题解答1、设为一度量空间,令 ,(,)X d 00(,){|,(,)}U x x x X d x x εε=∈<00(,){|,(,)}S x x x X d x x εε=∈≤问的闭包是否等于。

0(,)U x ε0(,)S x ε解答:在一般度量空间中不成立,例如:取的度量子空间,则中00(,)(,)U x S x εε=1R [0,1][2,3]X = X 的开球的的闭包是,而(1,1){;(1,)1}U x X d x =∈<[0,1](1,1){;(1,)1}[0,1]{2}S x X d x =∈≤= 2、设是区间上无限次可微函数全体,定义,证[,]C a b ∞[,]a b ()()()()01|()()|(,)max21|()()|r r r r r r a t bf tg t d f g f t g t ∞=≤≤-=+-∑明:按构成度量空间。

[,]C a b ∞(,)d f g 证明:(1)显然且有(,)0d f g ≥(,)0d f g =⇔()()()()1|()()|,max 021|()()|r r r r r a t bf tg t r f t g t ≤≤-∀=+-⇒,[,]r t a b ∀∀∈,特别当时有有。

()()|()()|0r r f t g t -=0,[,]r t a b =∀∈|()()|0f t g t -=⇒[,]t a b ∀∈ ()()f t g t =(2)由函数在上单调增加,从而对有()1t f t t=+[0,)+∞,,[,]f g h C a b ∞∀∈()()()()0()()()()()()()()0()()01|()()|(,)max 21|()()|1|()()()()|=max21|()()()()|1|()()| max2r r r r r r a t br r r r r r r r r a t b r r r r a t b r f t g t d f g f t g t f t h t h t g t f t h t h t g t f t h t ∞=≤≤∞≤≤=∞≤≤=-=+--+-+-+--+≤∑∑∑()()()()()()()()()()()()0()()()()0|()()|1|()()||()()|1|()()|=max21|()()||()()|1|()()|max21|()()|r r r r r r r r r r r r r a t b r r r r r r a t b r h t g t f t h t h t g t f t h t f t h t h t g t h t g t f t h t ∞≤≤=∞≤≤=-+-+--+-+--++-+∑∑()()()()()()()()()()00|()()|1|()()|1|()()|max max 21|()()|21|()()| (,)(,)r r r r r r r r r r r r a t b a t b r r h t g t f t h t h t g t f t h t h t g t d f h d h g ∞∞≤≤≤≤==---≤++-+-=+∑∑即三角不等式成立。

张恭庆-泛函分析(上册答案)

张恭庆-泛函分析(上册答案)

课后习题解答与辅导张秀洲二 0 0 九年三月一十日1.1.51.1.61.1.71.2.21.2.31.2.41.3.31.3.41.3.51.3.71.3.81.3.91.4.11.4.5-61.4.91.4.111.4.121.4.131.4.141.4.151.4.171.5.1证明:(1) (⇒) 若x∈int(E),存在δ > 0,使得Bδ(x) ⊆E.注意到x + x/n→x ( n→∞ ),故存在N ∈ +,使得x + x/N ∈Bδ(x) ⊆E.即x/( N/( 1 + N ) ) ∈E.因此P(x) ≤N/( 1 + N ) < 1.(⇐) 若P(x) < 1.则存在a > 1,使得y = a x∈E.因θ∈int(E),故存在δ > 0,使得Bδ(θ) ⊆E.令η = δ(a - 1)/a,∀z∈Bη(x),令w = (a z-y )/(a - 1),则|| w || = || (a z-y )/(a - 1) || = || a z-y ||/(a - 1)= || a z-a x ||/(a - 1) = a || z-x ||/(a - 1) < aη/(a - 1) = δ.故w∈Bδ(θ) ⊆E.故z = ((a - 1)w + y )/a ∈E,因此,Bη(x) ⊆E.所以x∈int(E).(2) 因int(E) = E,故有cl(int(E)) ⊆ cl(E).下面证明相反的包含关系.若x∈cl(E),则∀ε > 0,存在y∈E,使得|| x -y || < ε/2.因ny/(n + 1) →y ( n →∞ ).故存在N ∈ +,使得|| Ny/(N + 1) -y || < ε/2.令z = Ny/(N + 1),则z∈E,且P(z) ≤N/(N + 1) < 1,由(1)知z∈int(E).而|| z -x || ≤ || z -y || + || y -x || < ε/2 + ε/2 = ε.故x∈cl(int(E)),因此cl(E) ⊆ cl(int(E))所以cl(int(E)) = cl(E).1.5.3证明:因为C是紧集,所以C是闭集.因为C是紧集,故C的任意子集都列紧.而T(C) ⊆C,故T(C)列紧.于是,由Schauder不动点定理,T在C上有一个不动点.[Schauder定理:B*空间中闭凸集C上使T(C)列紧的连续自映射T必有不动点] 1.5.41.5.5证明:设C = {x = (x1, x2, ..., x n)∈ n | ∑ 1 ≤i ≤n x i = 1,x i ≥ 0 ( i = 1, 2, ..., n) }.则C是有界闭集,且是凸集,因此C是紧凸集.因为∀x∈C,x i 不全为0,而a ij> 0,故Ax的各分量也非负但不全为零.∀x∈C,设f (x) = (Ax)/( ∑ 1 ≤i ≤n (Ax)i ),则f (x)∈C.容易验证f : C→C还是连续的.由Brouwer不动点定理,存在f的不动点x0∈C.即f (x0) = x0,也就是(Ax0)/( ∑ 1 ≤i ≤n (Ax0)i ) = x0.令λ= ∑ 1 ≤i ≤n (Ax0)i,则有Ax0 = λ x0.1.5.6证明:设B = { u∈C[0, 1] | ⎰[0, 1]u(x) dx = 1,u(x) ≥ 0 },则B是C[0, 1]中闭凸集.设max (x, y)∈[0, 1]⨯[0, 1]K(x, y) = M,min (x, y)∈[0, 1]⨯[0, 1]K(x, y) = m,⎰[0, 1] (⎰[0, 1]K(x, y) dy) dx = N,max x∈[0, 1] | ⎰[0, 1]K(x, y) dy |= P.令(S u)(x) = (⎰[0, 1]K(x, y) u(y) dy)/(⎰[0, 1] (⎰[0, 1]K(x, y) u(y) dy) dx )则⎰[0, 1] (S u)(x) dx = 1,u(x) ≥ 0;即S u∈B.因此S是从B到B内的映射.∀u, v∈B,|| ⎰[0, 1]K(x, y) u(y) dy -⎰[0, 1]K(x, y) v(y) dy ||= || ⎰[0, 1]K(x, y) (u(y)-v(y)) dy ||= max x∈[0, 1] | ⎰[0, 1]K(x, y) (u(y)-v(y)) dy |≤M · || u -v ||;因此映射u #⎰[0, 1]K(x, y) u(y) dy在B上连续.类似地,映射u #⎰[0, 1] (⎰[0, 1]K(x, y) u(y) dy) dx也在B上连续.所以,S在B上连续.下面证明S(B)列紧.首先,证明S(B)是一致有界集.∀u∈B,|| S u || = || (⎰[0, 1]K(x, y) u(y) dy )/(⎰[0, 1] (⎰[0, 1]K(x, y) u(y) dy) dx )||= max x∈[0, 1] | ⎰[0, 1]K(x, y) u(y) dy |/(⎰[0, 1] (⎰[0, 1]K(x, y) u(y) dy) dx )≤ (M ·⎰[0, 1]u(y) dy |/(m ⎰[0, 1] (⎰[0, 1]u(y) dy) dx ) = M/m,故S(B)是一致有界集.其次,证明S(B)等度连续.∀u∈B,∀t1, t2∈[0, 1],| (S u)(t1) - (S u)(t2)|= | ⎰[0, 1]K(t1, y) u(y) dy-⎰[0, 1]K(t2, y) u(y) dy |/(⎰[0, 1] (⎰[0, 1]K(x, y) u(y) dy) dx )≤⎰[0, 1] | K(t1, y) -K(t2, y) | u(y) dy /(m⎰[0, 1] (⎰[0, 1]u(y) dy) dx )≤ (1/m) · max y∈[0, 1] | K(t1, y) -K(t2, y) |由K(x, y)在[0, 1]⨯[0, 1]上的一致连续性,∀ε > 0,存在δ> 0,使得∀(x1, y1), (x2, y2)∈[0, 1],只要|| (x1, y1) - (x2, y2) || < δ,就有| K(x1, y1) -K(x2, y2) | < m ε.故只要| t1-t2 | < δ时,y∈[0, 1],都有| K(t1, y) -K(t2, y) | < m ε.此时,| (S u)(t1) - (S u)(t2)| ≤ (1/m) · max y∈[0, 1] | K(t1, y) -K(t2, y) |≤ (1/m) ·m ε = ε.故S(B)是等度连续的.所以,S(B)是列紧集.根据Schauder不动点定理,S在C上有不动点u0.令λ= (⎰[0, 1] (⎰[0, 1]K(x, y) u0(y) dy) dx.则(S u0)(x) = (⎰[0, 1]K(x, y) u0(y) dy)/λ= (T u0)(x)/λ.因此(T u0)(x)/λ= u0(x),T u0 = λ u0.显然上述的λ和u0满足题目的要求.1.6.1 (极化恒等式)证明:∀x, y∈X,q(x + y) -q(x-y) = a(x + y, x + y) -a(x-y, x-y) = (a(x, x) + a(x, y) + a(y, x) + a(y, y)) - (a(x, x) -a(x, y) -a(y, x) + a(y, y))= 2 (a(x, y) + a(y, x)),将i y代替上式中的y,有q(x + i y) -q(x-i y) = 2 (a(x, i y) + a(i y, x))= 2 (-i a(x, y) + i a( y, x)),将上式两边乘以i,得到i q(x + i y) -i q(x-i y) = 2 ( a(x, y) -a( y, x)),将它与第一式相加即可得到极化恒等式.1.6.2证明:若C[a, b]中范数|| · ||是可由某内积( · , · )诱导出的,则范数|| · ||应满足平行四边形等式.而事实上,C[a, b]中范数|| · ||是不满足平行四边形等式的,因此,不能引进内积( · , · )使其适合上述关系.范数|| · ||是不满足平行四边形等式的具体例子如下:设f(x) = (x–a)/(b–a),g(x) = (b–x)/(b–a),则|| f || = || g || = || f + g || = || f –g || = 1,显然不满足平行四边形等式.1.6.3证明:∀x∈L2[0, T],若|| x || = 1,由Cauchy-Schwarz不等式,有| ⎰[0, T]e- ( T-τ)x(τ) dτ|2≤ (⎰[0, T] (e- ( T-τ))2dτ) (⎰[0, T] ( x(τ))2dτ)= ⎰[0, T] (e- ( T-τ))2dτ = e- 2T ⎰[0, T]e 2τdτ= (1-e- 2T )/2.因此,该函数的函数值不超过M = ((1-e- 2T )/2)1/2.前面的不等号成为等号的充要条件是存在λ∈ ,使得x(τ) = λ e- ( T-τ).再注意|| x || = 1,就有⎰[0, T] (λ e- ( T-τ))2dτ= 1.解出λ= ±((1-e- 2T )/2)- 1/2.故当单位球面上的点x(τ) = ±((1-e- 2T )/2)- 1/2 ·e- ( T-τ)时,该函数达到其在单位球面上的最大值((1-e- 2T )/2)1/2.1.6.4证明:若x∈N⊥,则∀y∈N,(x, y) = 0.而M⊆N,故∀y∈M,也有(x, y) = 0.因此x∈M⊥.所以,N⊥⊆M⊥.1.6.51.6.6解:设偶函数集为E,奇函数集为O.显然,每个奇函数都与正交E.故奇函数集O ⊆E⊥.∀f∈E⊥,注意到f总可分解为f = g + h,其中g是奇函数,h是偶函数.因此有0 = ( f, h) = ( g + h, h) = ( g, h) + ( h, h) = ( h, h).故h几乎处处为0.即f = g是奇函数.所以有E⊥⊆O.这样就证明了偶函数集E的正交补E⊥是奇函数集O.1.6.7证明:首先直接验证,∀c∈ ,S = {e2π i n x| n∈ }是L2[c, c + 1]中的一个正交集.再将其标准化,得到一个规范正交集S1 = {ϕn(x) = d n e2π i n x| n∈ }.其中的d n= || e2π i n x|| (n∈ ),并且只与n有关,与c的选择无关.(1) 当b–a =1时,根据实分析结论有S⊥ = {θ}.当b–a <1时,若u∈L2[a, b],且u∈S⊥,我们将u延拓成[a, a + 1]上的函数v,使得v(x) = 0 (∀x∈(b, a + 1]).则v∈L2[a, a + 1].同时把S = {e2π i n x| n∈ }也看成L2[a, a + 1]上的函数集.那么,在L2[a, a + 1]中,有v∈S⊥.根据前面的结论,v = θ.因此,在L2[a, b]中就有u = θ.故也有S⊥ = {θ};(2) 分成两个区间[a, b– 1)和[b– 1, b]来看.在[a, b– 1)上取定非零函数u(x) = 1 ( ∀x∈[a, b– 1) ).记p n = ⎰[a, b– 1)u(x)ϕn(x) dx.我们再把u看成是[b– 2, b– 1]上的函数(u在[b– 2, a)上去值为0).那么p n就是u在L2[b– 2, b– 1]上关于正交集S1 = {ϕn(x)| n∈ }的Fourier系数.| p n |2 < +∞.由Bessel不等式,∑n∈再用Riesz-Fischer定理,在L2[b– 1, b]中,∑n∈ p n ϕn收敛.并且,若令v = -∑n∈p n ϕn,则(v, ϕn)= -p n (∀n∈ ).设f : [a, b] → 为:f(x) = u(x) (当x∈[a, b– 1)),f(x) = v(x) (当x∈[b– 1, b]).则f∈L2[a, b],f≠θ,但( f, ϕn) = ⎰[a, b– 1)f(x)ϕn(x) dx + ⎰[b– 1, b]f(x)ϕn(x) dx= ⎰[a, b– 1)u(x)ϕn(x) dx + ⎰[b– 1, b]v(x)ϕn(x) dx= p n -p n = 0,因此,f∈S1⊥= S⊥,故S⊥≠ {θ}.1.6.8证明:( z n/(2π)1/2, z n/(2π)1/2 ) = (1/i)⎰| z | = 1 ( z n/(2π)1/2 · (z*)n/(2π)1/2 )/z dz= (1/(2πi))⎰| z | = 1z n· (z*)n/z dz = (1/(2πi))⎰| z | = 1 1/z dz = 1.若n > m,则n- m - 1 ≥ 0,从z n -m - 1而解析.( z n/(2π)1/2, z m/(2π)1/2 ) = (1/i)⎰| z | = 1 ( z n/(2π)1/2 · (z*)m/(2π)1/2 )/z dz= (1/(2πi))⎰| z | = 1z n· (z*)m/z dz = (1/(2πi))⎰| z | = 1z n -m - 1dz = 0.因此,{ z n/(2π)1/2 }n ≥ 0是正交规范集.1.6.91.6.10证明:容易验证{e n}⋂{ f n}是正交规范集,下面只证明{e n}⋂{ f n}是X的基.∀x∈X,由正交分解定理,存在x关于X0的正交分解x = y + z,其中y∈X0,z∈X0⊥.因{e n}, { f n}分别是X0和X0⊥的正交规范基,( y, e n ) e n,z = ∑ n∈ ( z, f n ) f n.故y = ∑ n∈因z∈X0⊥,故(x, e n) = ( y + z, e n) = ( y, e n) + ( z, e n) = ( y, e n).因y∈X0,故(x, f n) = ( y + z, f n) = ( y, f n) + ( z, f n) = ( z, f n).( y, e n ) e n + ∑ n∈ ( z, f n ) f n故x = y + z = ∑ n∈= ∑ n∈ ( x, e n ) e n + ∑ n∈ ( x, f n ) f n.因此{e n}⋂{ f n}是X的正交规范基.1.6.11证明:首先,令ϕk (z) = (( k +1 )/π)1/2 z k ( k≥ 0 ),则{ ϕk }k≥ 0是H2(D)中的正交规范基.那么,∀u(z)∈H2(D),设u(z) = ∑k≥ 0 a k z k,则∀k∈ ,有(u, ϕk) = ⎰D u(z) ·ϕk(z)*dxdy= ⎰D (∑j≥ 0 a j z j) ·ϕk(z)*dxdy= ∑j≥ 0 a j(π/( j +1 ))1/2⎰D (( j +1 )/π)1/2 z j ·ϕk(z)*dxdy= ∑j≥ 0 a j(π/( j +1 ))1/2⎰Dϕj(z) ·ϕk(z)*dxdy= ∑j≥ 0 a j(π/( j +1 ))1/2 (ϕj, ϕk)= a k(π/( k +1 ))1/2.即u(z)的关于正交规范基{ ϕk }k≥ 0的Fourier系数为a k(π/( k +1 ))1/2( k≥ 0 ).(1) 如果u(z)的Taylor展开式是u(z) = ∑k≥ 0 b k z k,则u(z)的Fourier系数为b k(π/( k +1 ))1/2( k≥ 0 ).由Bessel不等式,∑k≥ 0| b k(π/( k +1 ))1/2|2≤ || u || < +∞,于是有∑k≥ 0| b k|2/( k +1 ) < +∞.(2) 设u(z), v(z)∈H2(D),并且u(z) = ∑k≥ 0 a k z k,v(z) = ∑k≥ 0 b k z k.则u(z) = ∑k≥ 0 a k(π/( k +1 ))1/2ϕk (z),v(z) = ∑j≥ 0 b j(π/( j +1 ))1/2ϕj (z),(u, v) = ( ∑k≥ 0 a k(π/( k +1 ))1/2ϕk (z), ∑j≥ 0 b j(π/( j +1 ))1/2ϕj (z) )= ∑k≥ 0∑j≥ 0 (a k(π/( k +1 ))1/2ϕk (z), b j(π/( j +1 ))1/2ϕj (z))= ∑k≥ 0∑j≥ 0 (a k(π/( k +1 ))1/2 ·b j*(π/( j +1 ))1/2) (ϕk (z), ϕj (z))= ∑k≥ 0 (a k(π/( k +1 ))1/2 ·b k* (π/( k +1 ))1/2) = π∑k≥ 0 (a k·b k* )/( k +1 ).(3) 设u(z)∈H2(D),且u(z) = ∑k≥ 0 a k z k.因1/(1 -z) = ∑k≥ 0z k,1/(1 -z)2 = ∑k≥ 0 (k +1) z k,其中| z | < 1.故当| z | < 1时,有1/(1 - | z | )2 = ∑k≥ 0 (k +1) | z | k.根据(2),|| u(z) ||2 = π∑k≥ 0 (a k·a k* )/( k +1 ) = π∑k≥ 0 | a k|2/( k +1 ).|| u ||2/(1 - | z |)2 = (π∑k≥ 0 | a k|2/( k +1 )) · ( ∑k≥ 0 (k +1) | z | k )≥ (π∑k≥ 0 | a k|2/( k +1 ) | z | k) · ( ∑k≥ 0 (k +1) | z | k )≥π ( ∑k≥ 0 ( | a k|/( k +1 )1/2 | z | k/2) · ((k +1)1/2 | z | k/2))2 (Cauchy-Schwarz不等式)= π ( ∑k≥ 0 | a k| · | z | k )2≥π | ∑k≥ 0a k z k |2 = π | u(z)|2,故| u(z) | ≤ || u ||/(π1/2 ( 1 - | z | )).(4) 先介绍复分析中的Weierstrass定理:若{ f n }是区域U ⊆ 上的解析函数列,且{ f n }在U上内闭一致收敛到f,则f在U上解析.(见龚升《简明复分析》)回到本题.设{ u n }是H2(D)中的基本列.则∀z∈D,由(3)知{ u n(z) }是 中的基本列,因此是收敛列.设u n(z) →u(z).对 中任意闭集F⊆D,存在0 < r < 1使得F⊆B(0, r) ⊆D.∀ε > 0,存在N∈ +,使得∀m, n > N,都有|| u n-u m|| < επ1/2 ( 1 -r ).再由(3),∀z∈F,| u n(z) -u m(z) | ≤ || u n-u m||/(π1/2 ( 1 - | z | )) ≤ || u n-u m||/(π1/2 ( 1 -r )) < ε.令m→∞,则| u n(z) -u(z) | ≤ε.这说明{ u n }在D上内闭一致收敛到u.由前面所说的Weierstrass定理,u在D上解析.把{ u n }看成是L2(D)中的基本列,因L2(D),故{ u n }是L2(D)中的收敛列.设{ u n }在L2(D)中的收敛于v.则v必然与u几乎处处相等.即{ u n }在L2(D)中的收敛于u.因此{ u n }在H2(D)中也是收敛的,且收敛于u.所以,H2(D)完备.1.6.12证明:由Cauchy-Schwarz不等式以及Bessel不等式,∀x, y∈X,有| ∑n≥ 1 (x, e n) · (y, e n)* |2≤ (∑n≥ 1 | (x, e n) |· | (y, e n)* | )2= (∑n≥ 1 | (x, e n) |· | (y, e n) | )2≤ (∑n≥ 1 |(x, e n) |2) · (∑n≥ 1 | (y, e n)|2)≤ || x ||2 · || y ||2.因此,| ∑n≥ 1 (x, e n) · (y, e n)* | ≤ || x || · || y ||.1.6.13证明:(1) 因范数是连续函数,故C = { x ∈X | || x - x0 || ≤r }是闭集.∀x, y∈C,因|| x - x0 || ≤r,|| x - x0 || ≤r },故∀λ∈[0, 1],|| (λ x + (1-λ) y ) - x0 || = || λ( x-x0 ) + (1-λ) (y - x0)||≤ || λ( x-x0 ) + (1-λ) (y - x0)|| ≤λ|| x-x0 || + (1-λ) || y - x0 || ≤λ r + (1-λ) r = r.所以,C是X中的闭凸集.(2) 当x ∈C时,y = x.显然y是x在C中的最佳逼近元.当x ∈C时,y = x0 + r (x - x0)/|| x - x0 ||.∀z∈C,|| x-y || = || ( x-x0 -r (x - x0)/|| x - x0 ||) ||= || (1 -r/|| x - x0 ||) (x - x0) || = || x - x0 || -r.≤ || x - x0 || - || z - x0 || ≤ || x - z||.因此,y是x在C中的最佳逼近元.1.6.14解:即是求e t在span{1, t, t2}中的最佳逼近元(按L2[0, 1]范数).将{1, t, t2}正交化为{1, t- 1/2, (t- 1/2)2 - 1/12 } (按L2[0, 1]内积)再标准化为{ϕ0(t), ϕ1(t), ϕ2(t)},则所求的a k= (e t, ϕ k(t)) = ⎰[0, 1]e tϕ k(t) dt,k = 0, 1, 2.1.6.15证明:设g(x) = (x-a) (x-b)2,则g(a) = g (b) = 0,g’(a) = (b-a)2,g’(b) = 0.由Cauchy- Schwarz不等式,我们有(⎰[a, b] | f’’(x) |2 dx)· (⎰[a, b] | g’’(x) |2 dx)≥ (⎰[a, b]f’’(x) ·g’’(x) dx )2.因g’’(x) = 3x- (a + 2b),故⎰[a, b] | g’’(x) |2 dx = ⎰[a, b] (3x- (a + 2b))2 dx = (b-a)3;又⎰[a, b]f’’(x) ·g’’(x) dx = ⎰[a, b] (3x- (a + 2b)) ·f’’(x) dx = ⎰[a, b] (3x- (a + 2b))d f’(x)= (3x- (a + 2b)) ·f’(x)| [a, b] - 3⎰[a, b]f’(x) dx = 2(b-a);故(b-a)3 ·⎰[a, b] | f’’(x) |2 dx ≥ (2(b-a))2 = 4(b-a)2.所以⎰[a, b] | f’’(x)|2 dx≥ 4/(b-a).1.6.16 (变分不等式)证明:设f(x)= a(x, x) - Re(u0, x).则f(x) = a(x, x) - Re(u0, x) ≥δ || x ||2 - | (u0, x) |≥δ || x ||2 - || u0 || · || x || ≥- || u0 ||2/(4δ) > -∞.即f在X上有下界,因而f在C有下确界μ = inf x∈C f(x).注意到a(x, y)实际上是X上的一个内积,记它所诱导的范数为|| x ||a = a(x, x)1/2,则|| · ||a与|| · ||是等价范数.因此f(x) = a(x, x) - Re(u0, x) = || x ||a2- Re(u0, x).设C中的点列{ x n }是一个极小化序列,满足μ≤f(x n ) < μ + 1/n ( ∀n∈ + ).则由平行四边形等式,|| x n-x m ||a2 = 2(|| x n ||a2 + || x m ||a2 ) - 4|| (x n + x m)/2||a2= 2( f(x n) + Re(u0, x n) + f(x m) + Re(u0, x m) ) - 4( f((x n + x m)/2) + Re(u0, (x n + x m)/2)) = 2( f(x n) + f(x m)) - 4 f((x n + x m)/2) + 2 Re( (u0, x n) + (u0, x m) - (u0, x n + x m) )= 2( f(x n) + f(x m)) - 4 f((x n + x m)/2)≤ 2( μ + 1/n + μ + 1/m ) - 4 μ= 2(1/n + 1/m) → 0 ( m, n→∞ ).因此|| x n-x m ||2≤ (1/δ) || x n-x m ||a2→ 0 ( m, n→∞ ).即{ x n }为X中的基本列.由于X完备,故{ x n }收敛.设x n→x0 ( n→∞ ).则|| x n-x0 ||a2≤M || x n-x0 ||2→ 0 ( m, n→∞ ).而由内积a( · , ·),( · , ·)的连续性,有a( x n , x n) →a( x0 , x0 ),且(u0, x n) → (u0, x0),( n→∞ ).因此f(x n) = a(x n, x n) - Re(u0, x n) →a(x0, x0) - Re(u0, x0) = f(x0),( n→∞ ).由极限的唯一性,f(x0) = μ = inf x∈C f(x).至此,我们证明了f在C上有最小值.下面说明最小值点是唯一的.若x0, y0都是最小值点,则交错的点列{ x0, y0, x0, y0, x0, ... }是极小化序列.根据前面的证明,这个极小化序列必须是基本列,因此,必然有x0 = y0.所以最小值点是唯一的.最后我们要证明最小点x0∈C满足给出的不等式.∀x∈C,∀t∈[0, 1],有x0 + t ( x - x0)∈C,因此有f(x0 + t ( x - x0)) ≥f(x0).即|| x0 + t ( x - x0) ||a2- Re(u0, x0 + t ( x - x0)) ≥ || x0 ||a2- Re(u0, x0).展开并整理得到t Re ( 2a(x0, x - x0) - (u0, x - x0) ) ≥-t2 || x - x0 ||a2.故当∀t∈(0, 1],有Re ( 2a(x0, x - x0) - (u0, x - x0) ) ≥-t|| x - x0 ||a2.令t→ 0就得到Re ( 2a(x0, x - x0) - (u0, x - x0) ) ≥ 0.2.1.22.1.32.1.42.1.52.1.62.1.72.1.82.1.92.2.22.2.52.3.12.3.3-22.3.42.3.52.3.72.3.82.3.92.3.112.3.122.3.132.3.142.4.42.4.52.4.62.4.72.4.82.4.92.4.102.4.112.4.122.4.132.4.142.5.42.5.52.5.72.5.82.5.10。

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

第七章 习题解答1.设(X ,d )为一度量空间,令}),(,|{),(},),(,|{),(0000εεεε≤∈=<∈=x x d X x x x S x x d X x x x U问),(0εx U 的闭包是否等于),(0εx S ?解 不一定。

例如离散空间(X ,d )。

)1,(0x U ={0x },而)1,(0x S =X 。

因此当X 多于两点时,)1,(0x U 的闭包不等于)1,(0x S 。

2. 设 ],[b a C ∞是区间],[b a 上无限次可微函数的全体,定义)()(1)()(max 21),()()()()(0t g t f t g t f g f d r r r r b t a r r -+-=≤≤∞=∑证明],[b a C ∞按),(g f d 成度量空间。

证明 (1)若),(g f d =0,则)()(1)()(max)()()()(t g t ft g t f r r r r bt a -+-≤≤=0,即f=g(2))()(1)()(max 21),()()()()(0t g t f t g t f g f d r r r r b t a r r -+-=≤≤∞=∑ )()(1)()()()(1)()(max 21)()()()()()()()(0t g t h t g t h t g t f t g t f r r r r r r r r b t a r r -+-+-+-≤≤≤∞=∑ )()(1)()(max 21)()(1)()(max 21)()()()(0)()()()(0t g t h t g t h t g t f t g t f r r r r b t a r r r r r r b t a r r -+-+-+-≤≤≤∞=≤≤∞=∑∑ =d (f ,g )+d (g ,h )因此],[b a C ∞按),(g f d 成度量空间。

3. 设B 是度量空间X 中的闭集,证明必有一列开集 n o o o 21,包含B ,而且B o n n =⋂∞=1。

证明 令n n n o n nB x d Bo o .2,1},1),({ =<==是开集:设n o x ∈0,则存在B x ∈1,使n x x d 1),(10<。

设,0),(110>-=x x d n δ则易验证n o x U ⊂),(0δ,这就证明了n o 是 开集 显然B o n n ⊃⋂∞=1。

若n n o x ∞=⋂∈1则对每一个n ,有B x n ∈使n x x d 1),(1<,因此)(∞−→−−→−n x x n 。

因B 是闭集,必有B x ∈,所以B o n n =⋂∞=1。

4. 设d (x ,y )为空间X 上的距离,证明),(1),(),(___y x d y x d y x d +=是X 上的距离。

证明 (1)若0),(___=y x d 则0),(=y x d ,必有x=y (2)因),(),(),(z y d z x d y x d +≤而tt+1在),[∞o 上是单增函数,于是),(),(1),(),(),(),(1),(),(______z y d z x d z y d z x d y x d y x d y x d y x d +++=≤+==),(),(1),(),(),(1),(z y d z x d z y d z y d z x d z x d +++++),(1),(),(1),(z y d z y d z x d z x d +++≤=),(),(_____z y d z x d +。

5. 证明点列{n f }按习题2中距离收敛与],[b a C f ∞∈的充要条件为n f 的各阶导数在 [a ,b]上一致收敛于f 的各阶导数。

证明 若{n f }按习题2中距离收敛与],[b a C f ∞∈,即 )()(1)()(max 21),()()()()(0t f t f t f t f f f d r r n r r n b t a r r n -+-≤≤≤∞=∑——>0 )(∞−→−n 因此对每个r ,)()(1)()(max 21)()()()(0t f t f t f t f r r n r r n bt a r r -+-≤≤∞=∑——>0 )(∞−→−n ,这样 bt a ≤≤max )()()()(t f t f r r n -——>0 )(∞−→−n ,即)()(t f r n 在 [a ,b] 上一致收敛于)()(t f r 。

反之,若的n f (t )各阶导数在[a ,b]上一致收敛于f (t ),则任意o >ε,存在0r ,使2211ε<∑∞+=o r r r;存在r N ,使当r N n >时,max )()()()(t f t f r r n - 00,2,1,0,2r r r =<ε,取N=max{ N N N 1},当n>N 时,)()(1)()(max 21),()()()()(0t f t f t f t f f f d r r n r r n b t a r r n -+-≤≤≤∞=∑ )()(1)()(max 21)()()()(0t f t f t f t f r r n r r n b t a r r -+-≤≤≤∞=∑∑∞+=+121o r r r εεε=+<22.00r r 即),(n f f d ——>0 )(∞−→−n 。

6. 设],[b a B ⊂,证明度量空间],[b a C 中的集{f|当t ∈B 时f (t )=0}为],[b a C 中的闭集,而集A={f|当t ∈B 时,|f (t )|〈a }(a >0)为开集的充要条件是B 为闭集。

证明 记E={f|当t ∈B 时f (t )=0}。

设E f n ∈}{,}{n f 按],[b a C 中度量收敛于f ,即在[a ,b]上)(t f n 一致收敛于f (t )。

设B t ∈,则0)(lim )(==∞>-t f t f n n ,所以f ∈E ,这就证明了E 为闭集充分性。

当B 是闭集时,设f ∈A 。

因f 在B 上连续而B 是有界闭集,必有B t ∈0,使)(max )(0t f t f Bt ∈=。

设 0)(0>=-δt f a 。

我们证明必有A f U ⊂),(δ。

设),(δf U g ∈,则若B t ∈,必有δ<-)()(t g t f ,于是a t f t f t g t f t g =+<+-≤)(||)(|)()(|)(|0δ,所以A g ∈,这样就证明了A 是开集必要性。

设A 是开集,要证明B 是闭集,只要证明对任意.....2,1,=∈n B t n 若0t t n >-)(∞−→−n ,必有B t ∈0。

倘若B t ___0∈,则定义||)(0t t a t f o --=。

于是对任意B t ∈,a t t a t f o <--=||)(0因此A t f o ∈)(由于A 是开集,必有0>δ,当∈f C[a ,b]且δ<),(0f f d 时,A f ∈。

定义,n=1,2。

则)(0||),(00∞>->--=n t t f f d n n因此当δ<-||0t t n 时,A f n ∈。

但是a t t t t a t f n n n =-+--=||||)(00,此与A f n ∈的必要条件:对 任意B t ∈,有a t f n <)(矛盾 因此必有B t ∈0。

7. 设E 及F 是度量空间中的两个集,如果o F E d >),(,证明必有不相交开集O 及G 分别包含E 及F 。

证明 设o F E d >=δ),(。

令 }2),(|{},2),(|{δδ====F x d x G E x d x o则,,G F O E ⊂⊂且Φ≠⋂G O ,事实上,若Φ≠⋂G O ,则有Φ≠⋂∈G O z ,所以存在E 中的点x 使2),(δ〈zx d ,F 中点y 使2),(δ〈zy d ,于是δ〈),(),(),(zy d z x d y x d +≤,此与≥),(y x d ),(F E d δ=矛盾。

8. 设 B[a ,b]表示[a ,b]上实有界函数全体,对B[a ,b]中任意两元素f ,g ∈ B[a ,b],规定距离为|)()(|sup ),(t g t f g f d bt a -=≤≤。

证明B[a ,b]不是可分空间。

证明 对任意∈0t [a ,b],定义{)},[,2),[,1)(00b t t t a t t f o t ∈∈=则)(0t f t ∈B[a ,b],且若21t t ≠,1),(21=t t f f d 。

倘若B[a ,b]是不可分的,则有可数稠密子集{}n g n ∞=1,对任意∈0t [a ,b],)21,(0t f U 必有某n g ,即21),(0<t n fg d 。

由于[a ,b]上的点的全体是不可数集。

这样必有某n g ,21,t t ,使n g ∈)21,(1t f U ,n g ∈)21,(2t f U ,于是12121),(),(),(2121=+<+≤t n n t t t f g d g f d f f d 此与1),(21=t t f f d 矛盾,因此B[a ,b]不是可分空间。

9. 设X 是可分距离空间,ϑ为X 的一个开覆盖,即ϑ是一族开集,使得对每个X x ∈,有ϑ中的开集O ,使得O x ∈,证明必可从ϑ中选出可数个集组成X 的一个开覆盖。

证明 若X x ∈,必有ϑ∈x O ,使x O x ∈,因x O 是开集,必有某自然数n ,使x O nx U ⊂)1,(。

设{}n x n ∞=1是X 的可数稠密子集,于是在)21,(n x U 中必有某)21,(nx U k ,且x k O n x U ⊂)21,(。

事实上,若)21,(nx U y k ∈,则nn n x x d x y d x y d k k 12121),(),(),(=+<+≤所以)21,(n x U y k ∈x O ⊂。

这样我们就证明了对任意X x ∈,存在k ,n 使)21,(n x U x k ∈且存在O nx U k ⊂)21,(任取覆盖)21,(n x U k 的O ,记为n k O ,是X 的可数覆盖。

10. X 为距离空间,A 为X 中子集,令,.),,(inf )(X x y x d x f Ay ∈=∈证明)(x f 是X 上连续函数。

相关文档
最新文档