《泛函分析》课程教学大纲-黎永锦

合集下载

泛函分析 教学大纲

泛函分析   教学大纲

泛函分析一、课程说明课程编号:130111Z10课程名称:泛函分析/Functional Analysis课程类别:专业教育课程(专业核心课)学时/学分:56/3.5先修课程:数学分析、高等代数、空间解析几何、实变函数、拓扑学适用专业:数学与应用数学教材、教学参考书:1. 黎永锦, 泛函分析讲义,科学出版社,20112. 张恭庆,林源渠,泛函分析讲义(上册),北京大学出版社,19873. 刘培德, 泛函分析基础,武汉大学出版社,20014. 夏道行,吴卓人等,实变函数与泛函分析(下),高等教育出版社,20055. 程其襄,张奠宙等,实变函数与泛函分析基础(下),高等教育出版社,2010二、课程设置的目的意义《泛函分析》是数学与应用数学专业核心课程,是现代数学中的主要数学分支之一。

泛函分析的基本知识、思想和方法已渗透到现代数学的各个领域以及其它学科的许多领域。

它综合地运用分析、代数和拓扑的观点与方法研究数学中的诸多问题,它在抽象空间上研究类似于实数上的分析问题,形成了综合运用代数和拓扑来分析处理问题的方法。

该课程是学习其他数学分支与科研工作的重要基础。

三、课程的基本要求通过该课程的学习,使学生了解泛函分析的基本思想、原理及在各门学科中的应用,掌握泛函分析中诸如度量,范数,线性算子,内积,直交投影等概念, 熟练掌握纲理论及有界线性算子的基本原理和线性泛函的延拓理论等,学会用代数、分析和拓扑学知识综合处理问题的新方法,弄清有限维空间与无穷维空间的差别,学会无穷维空间中处理线性问题的分析方法。

1、知识要求:(1)正确理解度量空间基本概念、度量空间点列收敛等概念;理解并掌握度量空间中的内点,极限点,开集、闭集、闭包等概念;(2)理解并掌握列紧集及紧集的概念以及紧集、列紧集上的连续映射的性质;(3)熟练掌握压缩映照原理及其应用;(4)理解线性空间和范数的概念以及相关的例子;掌握范数的等价性及判别方法;(5)掌握具有基的Banach空间、有限维赋范线性空间的性质;(6)理解并掌握线性连续泛函与Hahn-Banach保范延拓定理;(7)熟练掌握线性算子范数的计算;(8)熟练掌握一致有界原理;熟练掌握开映射定理、闭图像定理、逆算子定理以及应用;(9)掌握求序列空间的共轭空间的基本方法,具体空间上的有界线性泛函的表示;(10)理解并掌握共轭算子及其性质;(11)理解并掌握弱收敛;(12)掌握内积的定义,内积中的一些不等式;理解并掌握内积空间的正交集及其性质;(13)理解投影定理;理解并掌握Riesz表示定理。

《泛函分析》教学大纲

《泛函分析》教学大纲

《泛函分析》教学大纲一、课程概述《泛函分析》是数学专业的研究生核心课程之一,主要介绍泛函空间中线性算子、拓扑空间、紧算子、测度及积分、特征值问题等内容。

本课程的学习目标是让学生掌握泛函分析的基本理论和方法,培养学生独立分析和解决问题的能力。

二、教学目标1.掌握泛函空间的基本概念及性质;2.熟悉线性算子的定义、性质和范数;3.熟练运用拓扑空间的知识进行分析;4.理解紧算子的定义、性质和应用;5.熟悉测度及积分的基本概念和性质;6.能够解决特征值问题并应用于实际问题。

三、教学内容及课时安排1.泛函空间的基本概念与性质(3课时)1.1线性空间的定义和基本性质1.2赋范线性空间的定义和范数1.3内积空间的定义和内积2.线性算子的定义、性质和范数(3课时)2.1线性算子的定义和性质2.2算子的闭图像定理2.3范数的定义和性质3.拓扑空间及其性质(4课时)3.1拓扑空间的概念和性质3.2开集、闭集和邻域的定义3.3连通性、紧性与局部紧性4.紧算子的定义、性质和应用(4课时)4.1紧算子的定义和性质4.2 Arzelà-Ascoli定理4.3 Fredholm算子的性质和应用5.测度及积分的基本概念和性质(4课时)5.1测度的定义和性质5.2积分的定义和性质5.3可测函数的性质和分解6.特征值问题及其应用(4课时)6.1特征值问题的定义和基本性质6.2特征值问题的解法6.3特征值问题在物理和工程学中的应用四、教学方法1.讲授与讨论相结合,理论和实例相结合,拓展学生的思维;2.通过实例分析和讲解提高学生的应用能力;3.鼓励学生进行课外阅读和综合研究,提高学生的自主学习能力;4.组织学生进行小组讨论和展示,提高学生的合作和表达能力。

五、考核方式1.平时表现(10%):包括课堂参与、作业完成情况等;2.课程论文(30%):要求学生选择一个泛函分析领域的研究课题进行深入阅读和分析,并撰写一篇学术论文;3.期末考试(60%):考核学生对泛函分析的理论知识和应用能力。

部分习题解-黎永锦《泛函分析讲义》的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。

《泛函分析》课程教学大纲

《泛函分析》课程教学大纲

《泛函分析》课程教学大纲一、课程基本信息课程代码:课程名称:泛函分析英文名称:Functional analysis课程类别:选修课学时:54学分:3适用对象: 数学类本科生考核方式:考察先修课程:数学分析,高等代数,实变函数二、课程简介《泛函分析》是现代教学中的一门较新的数学分支,是高等师范院校数学专业的一门重要专业课,它是在学生掌握了数学分析、高等代数的理论知识的基础上,继实变函数之后开设的。

本课程主要内容包括:⑴度量空间和赋范线性空间;⑵有界线性算子和连续线性泛函;⑶内积空间和希尔伯特(Hilbert)空间;(4)巴拿赫空间中的基本定理;(5) 线性算子的谱等。

通过该课程的学习,学生不仅能学到泛函分析的基本理论和方法,而且对学习其他数学分支以及把他应用到数理经济,现代控制论,量子场论,工程技术等领域有很大帮助。

三、课程性质与教学目的1、本课程是数学基础之一,授课对象为数学专业学生。

在讲授和学习时,应注重提高学生分析问题和解决问题的能力,培养学生良好的逻辑思维习惯,让学生掌握全面考虑问题的思维方法,这将有助于学生们顺利地学习其他现代专业数学理论课。

2、本课程主要内容包括:⑴度量空间和赋范线性空间;⑵有界线性算子和连续线性泛函;⑶内积空间和希尔伯特(Hilbert)空间;(4)巴拿赫空间中的基本定理;(5) 线性算子的谱等内容。

3、本大纲的教学总时数为54学时(含习题课),各章节教学时数的具体分配,请参考附表。

4、本课程以课堂讲授为主,讨论辅导为辅,课堂练习与课外作业相结合。

5、在制定本教学大纲时,为了明确对教学大纲中所列具体内容的要求程度,将本要求分为由低到高的三个等级,即对概念和理论性的知识,由低到高分别用“知道”、“了解”、“理解”三级区分,对运算、方法和应用方面的知识,由低到高分别用“会或能”、“掌握”、“熟练掌握”三级区分。

四、理论教学内容与教学基本要求1、第一章度量空间和赋范线性空间(14学时)(1) 度量空间的进一步例子(2) 度量空间中的极限,稠密集,可分空间(几类特殊的点集,稠密性与可分性)(3) 连续映射(度量空间上的连续映射)(4) 柯西(Cauchy)点列和完备度量空间(5) 度量空间的完备化(完备的距离空间,第一第二类型集,距离空间的完备化)(6) 压缩映射原理及其应用(7) 线性空间(8) 赋范线性空间和巴拿赫(Banach)空间教学目的及要求:要求学生掌握距离空间的一些基本概念,为后面学习打下基础。

《泛函分析》教学大纲

《泛函分析》教学大纲

《高等数学(二)》教学大纲(适用专业:资环院各专业,核化工专业,化学类各专业,生命科学各专业,草业科学,教育学等专业)一﹑课程的性质、目的与要求高等数学课程是综合大学理科各专业必修的一门重要基础理论课,是为培养学生的基本素质、学习后续课程服务的。

通过本课程的学习,逐步培养学生的抽象思维的能力、逻辑推理能力、空间想象能力、运算能力、自学能力以及综合运用所学知识分析问题、解决问题的能力,为学生学习后续课程和进一步获得近代科学技术知识奠定必要的数学基础。

二、教学内容与学时安排下面打“*”号的内容可供基地班和对个别虽非基地班但对数学要求较高、课时较为充裕的专业讲授的,对非基地班来说,这部分内容或不讲或选讲或只介绍必要的结论,可视具体情况而定。

第一章函数与极限(18--20课时)§1 映射与函数集合的概念,映射、逆映射与复合映射,函数的概念,表示法,函数性态的简单讨论,反函数,复合函数及初等函数。

§2 数列的极限数列极限的定义,用定义求极限的几个例子,收敛数列的性质。

§3 函数的极限函数极限的定义,用定义求极限的几个例子,函数极限的性质。

§4无穷小与无穷大无穷小量与无穷大量的定义,记号O, o及∽, 主要部分及无穷小(大)量的阶的比较。

§5 极限的运算法则极限的基本性质,极限的四则运算法则,复合函数的极限运算法则。

§6 极限存在准则两个重要极限夹挤定理,单调有界定理,*Cauchy收敛准则。

§7 连续函数的连续性与间断点函数的连续性,函数的间断点。

§8 连续函数的运算与初等函数的连续性连续函数的运算性质, 反函数与复合函数的连续性,初等函数的连续性。

§9闭区间上连续函数的性质有界性与最大最小值定理,零点定理与介值定理,*一致连续性。

第二章导数与微分(10--12时)§1 导数概念几个实际例子,导数的定义,导数的几何意义,函数可导性与连续性的关系。

《泛函分析》教学大纲

《泛函分析》教学大纲

《泛函分析》教学大纲一、课程概述1.1课程名称:泛函分析1.2学分:3学分1.3总学时:54学时(每周3学时,共18周)1.4先修课程:数学分析、线性代数1.5课程性质:必修课程1.6课程教材:《泛函分析导论》(杨宗胜著)、《泛函分析》(顾兆麟著)二、教学目标2.1知识目标掌握泛函空间的基本概念、性质和结构;熟悉泛函的连续性、可分性和完备性的相关理论;学习泛函的一些常用技巧和方法。

2.2能力目标能够利用泛函分析的基本理论解决实际问题;能够运用泛函分析的方法进行数学建模和分析。

三、教学内容3.1泛函空间3.1.1基本概念:范数、内积、赋范线性空间、希尔伯特空间3.1.2基本算子:线性算子、有界线性算子、伴随算子、幂零算子3.1.3 例子和常见空间:有限维空间、无穷维空间、连续函数空间、$L^p$空间、Sobolev空间等3.2连续性与收敛性3.2.1等价范和等度量空间3.2.2函数序列的一致收敛与逐点收敛3.2.3一致收敛对收敛性的影响3.2.4可分性的等价定义3.3完备性与紧性3.3.1 Cauchy序列与完备性3.3.2 Baire范胞定理3.3.3可列并的完备性和范数完备性3.3.4紧性的等价定义3.4泛函空间的结构3.4.1赋范线性空间的线性性质3.4.2收敛序列的性质与特征3.4.3线性算子的开集定理3.4.4可分空间的稠密性3.5一些重要的泛函3.5.1 凸泛函与Legendre-Fenchel变换3.5.2泛函的连续可微性3.5.3范数空间的双共轭空间3.5.4双线性泛函和正交分解四、教学方法4.1讲授教学法:通过教师的讲授和示范,介绍泛函分析的基本概念、理论和技巧。

4.2引导教学法:通过引导学生解决实际问题和讨论习题,培养学生的分析和解决问题的能力。

4.3实践教学法:通过课堂练习、实例分析和泛函分析的应用实例,让学生对泛函分析的方法和技巧有更深入的认识。

五、教学评价方法5.1平时成绩:包括课堂表现、课后作业和小测验成绩等,占总评成绩的40%。

《泛函分析》课程教学大纲

《泛函分析》课程教学大纲

《泛函分析》课程教学大纲一、课程的适用专业、学时及学分本课程的适用专业为:数学与应用数学专业,72学时,4学分。

二、课程的性质、目的和任务泛函分析是数学专业一门重要的指定选修课,它是以集合论为基础的近代分析数学的一个重要组成部分。

通过课程的学习,使学生了解并进而掌握近代抽象分析的基本内容,扩大学生们通常的三维欧氏空间的视野,加深对数学分析和中学数学的认识和了解。

三、课程教学的基本要求在概要讲述和掌握实变函数中的集合论和欧氏空间中的点集等预备知识的基础上,理解和掌握度量空间的定义,性质及其上度量的特征,熟练掌握度量空间的典型例子;线性赋范空间的定义和性质及典型的Banach空间例子;内积空间的定义和性质;Hilbert空间及其特征;理解线性有界算子(线性连续泛函) 的概念,性质,了解线性算子空间和共朝空间的理论;初步理解和掌握空间中的四大基本定理;泛函延拓定理;一致有界性定理;逆算自定理和闭图象定理;理解线性算子的谱理论初步等。

四、课程的教学内容,重点和难点(-)预备知识1.集合的概念,运算,基数,可数集与不可数集。

2.欧氏空间中的聚点,内点,界点,开集,闭集和完备集等概念和性质。

(-)度量空间1.度量空间的定义及典型例子2.度量空间中的极限,连续映照3. Cauchy点列和完备度量空间4.压缩映照原理及其应用(三)赋范线性空间1.线性空间的定义2.赋范线性空间的定义性质和典型例子3. Banach空间及例子4.有限维赋范线性空间及性质(四)线性有界算子和线性连续泛函1.线性有界算子和线性连续泛函2.线性算子空间和共朝空间(五)内积空间1.内积空间的基本概念,性质,Herbert空间2.投影定理3. Herbert空间上的赋范直交系4. Herberl空间上的线性连续泛函5.自伴算子,酉算子和正常算子(六)Banach空间中的基本定理1.泛函延拓定理,C[a,b]的共舸空间2. 一致有界性定理3.强收敛,弱收敛和一致收敛4.逆算子定理5.闭图象定理(七)线性算子的谱论初步1.谱的概念2.有界线性算子谱的基本性质3.自伴全连续算子的谱论五、课程各教学环节的要求由于本课程概念较多,理论性强,比较抽象,学习时会感到困难,所以在教学过程中的各环节上要注意方法,尽量的多讲一些例子,以帮助学生理解。

《泛函分析》教学大纲

《泛函分析》教学大纲

《泛函分析》教学大纲课程编码:110819课程名称:泛函分析学时/学分:54/3先修课程:《数学分析》、《实变函数》适用专业:数学与应用数学开课教研室:分析与方程教研室一、课程性质与任务1.课程性质:本课程是数学与应用数学专业的一门专业选修课,是现代数学中的一个较新的重要分支,它综合地运用分析、代数和几何的观点与方法,研究分析数学,现代物理和现代工程技术提出的许多问题。

2.课程任务:通过该课程的学习,使学生掌握泛函分析中的基本概念、基本方法。

初步了解其思想方法对现代纯粹数学与应用数学、理论物理及现代工程技术理论等问题的渗透,为今后更进一步的数学研究工作打下坚实的基础。

二、课程教学基本要求在概要讲述和掌握实变函数中的集合论和欧氏空间中的点集等预备知识的基础上,理解和掌握度量空间的定义、性质及其上度量的特征,熟练掌握度量空间的典型例子;线性赋范空间的定义和性质及典型的Banach空间例子;内积空间的定义和性质;Hilbert空间及其特征;理解线性有界算子(线性连续泛函)的概念、性质,了解线性算子空间和共轭空间的理论;初步理解和掌握空间中的四大基本定理;泛函延拓定理;一致有界性定理;逆算自定理和闭图象定理;理解线性算子的谱理论初步等。

成绩考核形式:末考成绩(闭卷考试)(70%)+平时成绩(平时测验、作业、课堂提问、课堂讨论等)(30%)。

成绩评定采用百分制,60分为及格。

三、课程教学内容第一章距离空间与赋范空间1.教学基本要求通过本章学习使学生理解空间的线性结构和度量结构以及两者的结合,其中包括度量空间、赋范线性空间和内积空间,以及它们的拓扑结构和空间结构等。

2.要求学生掌握的基本概念、理论、技能通过本章教学使学生理解泛函分析研究的对象,掌握度量空间的定义及度量空间中极限、稠密集、可分空间的概念,能够对具体的问题进行判断;进一步了解连续映射的概念;掌握完备的度量空间;理解压缩映射原理,掌握压缩映射原理,能够应用压缩映射原理证明实际问题;掌握线性空间、赋范线性空间和Banach空间。

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

《泛函分析》教学大纲
Functional Analysis
课程编号:
适用专业:数学与应用数学
总学时数:学分:
一、本课程简介
《泛函分析》是现代数学中的的主要数学分支之一,它综合地运用分析、代数和拓扑的观点、方法,来研究数学中的许多问题,它在抽象空间上研究类似于实数上的分析问题,形成了综合运用代数和拓扑来分析处理问题的方法.通过这一课程,能使学生了解泛函分析的基本思想、原理及在各门学科中的应用,掌握泛函分析中主要的基本概念和重要的基本理论,学会用代数、分析和拓扑综合处理问题的新方法,弄清有限维空间与无穷维空间的差别,学会无穷维空间中处理线性问题的分析方法,该课程是学习其他数学分支与科研工作的重要基础.
二、本课程与其他课程的关系
《泛函分析》、《抽象代数》、《拓扑学》是现代数学的重要课程,它综合了分析、代数和拓扑的研究方法,因此学生最好有数学分析、线性代数、空间解析几何及点集拓扑学的基础.
三、教学内容、学时安排和基本要求
本课程主要是线性泛函分析的基本理论,重点介绍距离空间和赋范空间的基础,Banach空间最重要的定理,如Hahn-Banach保范延拓定理、逆算子定理、一致有界原理和Riesz表示定理等.
本课程学时为54学时.
(一)度量空间(12学时)
1、具体内容
度量空间的基本概念,度量空间中开集、闭集、完备性与可分性、连续映照的概念、距离空间中列紧集、紧集上连续映照的性质、不动点定理.
2、基本要求
(1)正确理解度量空间基本概念、度量空间点列收敛等概念.
(2)理解并掌握度量空间中的内点,极限点,开集闭集,闭包等.
(3)理解并掌握列紧集及紧集的概念,紧集、列紧集上的连续映射的性质.
(5)熟练掌握压缩映照原理及其应用.
3、重点、难点
重点:度量空间的紧性、不动点定理.
难点:具体度量空间上紧性的判别、压缩映射的构造及不动点定理的具体应用.
(二)赋范线性空间(10学时)
1、具体内容
赋范空间的定义,范数的等价性,有限维赋范空间, Schauder基等.
2、基本要求
(1)理解线性空间和范数的概念以及相关的例子.
(2)掌握范数的等价性及判别方法.
(3)掌握具有基的Banach空间、有限维赋范线性空间的性质.
(4)线性连续泛函与Hahn-Banach保范延扩定理.
3、重点、难点
重点:有限维赋范空间的性质和Hahn-Banach保范延扩定理.
难点:Hahn-Banach保范延扩定理及其推论的应用.
(三) 有界线性算子(10学时)
1、具体内容
有界线性算子基本性质、一致有界原理、开映射定理、闭图像定理、逆算子定理以及应用.
2、基本要求
(1) 熟练掌握线性算子范数的计算.
(2) 熟练掌握一致有界原理.
(3) 熟练掌握开映射定理、闭图像定理、逆算子定理以及应用.
3、重点、难点
重点:Banach空间中的一致有界原理、开映射定理、闭图像定理、逆算子定理.
难点:点点有界与一致有界的区别,闭图像定理、逆算子定理以及应用.这些是泛函分析的核心内容,因此必须重点讲述.
(四)共轭空间(10学时)
1、具体内容
具体空间的共轭空间,自反Banach空间的性质,弱收敛,共轭算子的性质.
2、基本要求
(1)掌握求序列空间的共轭空间的基本方法,具体空间上的有界线性泛函的表示.
(2)理解并掌握共轭算子以及性质.
(3)理解J映射和自反Banach空间的定义和性质.
(4)理解并掌握弱收敛.
3、重点、难点
重点:求序列空间的共轭空间的方法,自反Banach空间的判别.
难点:J映射的理解,自反Banach空间的性质和判别.
(五) Hilbert空间(12学时)
1、具体内容
内积空间的定义,投影定理,Hilbert空间的正交集,Riesz表示定理.
2、基本要求
(1)掌握内积的定义,内积中的一些不等式.
(2)理解并掌握内积空间的正交集以及性质.
(3)理解投影定理.
(4)理解并掌握Riesz表示定理.
3、重点、难点
重点:正交的性质,Riesz表示定理.
难点:投影定理的理解,Riesz表示定理的掌握和应用.
四、考核方法
本课程考核的形式采用闭卷笔试.
各教学环节占总分比例:作业及平时测验:30%,期末考试:70%.
五、教学和学习的参考书
1、黎永锦编,《泛函分析讲义》,科学出版社.
2、张恭庆等编,《泛函分析讲义》(第一册),北京大学出版社.
3、鲁丁著,刘培德译,《泛函分析》,机械工业出版社.。

相关文档
最新文档