泛函分析初步.pptVIP

§3.5.2希尔伯特空间若由内积导出的范数（欧氏范数）存在，则内积空间亦为赋范线性空间。有限维内积空间必完备：完备。完备，可定义内积。Hilbert空间：依欧氏范数完备的内积空间称为Hilbert空间。Hilbert空间是特殊的Banach空间：ipden举例：能量有限信号、物理空间、返回*第31页，共43页，星期日，2025年，2月5日*第1页，共43页，星期日，2025年，2月5日§3.1线性空间定义(线性空间)：非空集合W≠?，若满足(1)W中元对“+”构成交换群，即对?X,Y,Z?W，有ⅰ.ⅱ.ⅲ.ⅳ.ⅴ.（加法交换群，称为Abel加群，俗称Abel群）*第2页，共43页，星期日，2025年，2月5日(2)对?X,Y?W，??,??C（复数域），有：ⅵ.ⅶ.ⅷ.ⅸ.即对数乘封闭，则称W为线性空间；??,??C，W为复线性空间；?,??R，W为实线性空间。（接上页）*第3页，共43页，星期日，2025年，2月5日说明：*第4页，共43页，星期日，2025年，2月5日线性算子：线性空间W上的算子L为线性算子推论：零状态线性系统?系统算子为线性算子*第5页，共43页，星期日，2025年，2月5日§3.2线性子空间线性子空间：设?≠V?W，V是W的线性子空间（V上加法、数乘封闭）（空间求和——直和）返回*第6页，共43页，星期日，2025年，2月5日§3.3距离空间

（度量空间，MetricSpace）定义：设W≠?，称W为距离空间，指在W中定义了映射：（包括0元），?X,Y?W满足以下三条公理：则称为W上的距离，为度量空间。?返回*第7页，共43页，星期日，2025年，2月5日例子：例1：数域例2：函数空间*第8页，共43页，星期日，2025年，2月5日例3：向量空间*第9页，共43页，星期日，2025年，2月5日距离空间的收敛问题：收敛：定理：在中，每个收敛点列有唯一的极限点。（请同学自行证明）研究点列的轨迹，点迹收敛情况。*第10页，共43页，星期日，2025年，2月5日柯西序列：柯西序列（CauchySequence）例子：点列越来越靠近，无限靠近，靠到哪里呢？如果靠到W上，则可惜序列收敛于W。*第11页，共43页，星期日，2025年，2月5日关于柯西序列的说明：中任意收敛序列都是柯西序列中的柯西序列未必收敛到上*第12页，共43页，星期日，2025年，2月5日距离空间的完备性：完备度量空间——CompleteMetricSpace称为完备度量空间，指其中所有柯西序列都收敛于W。说明：极限运算在完备时可行，不完备则不能求极限如何完备化？度量空间（W,ρ）不要求W是线性空间*第13页，共43页，星期日，2025年，2月5日§3.4巴拿赫（Banach）空间*第14页，共43页，星期日，2025年，2月5日§3.4.1赋范线性空间定义（赋范线性空间）：设W≠?是线性空间，若对?X、Y?W，?，满足三条公理： 则称为X的范数（Norm）。定义了范数的线性空间称为赋范线性空间，记为。?*第15页，共43页，星期日，2025年，2月5日赋范空间与度量空间的关系：*第16页，共43页，星期日，2025年，2月5日举例：例1：n维实数空间（有限维空间）n维实空间：范数~广义长度*第17页，共43页，星期日，2025年，2月5日例2：离散时间序列空间l（无穷维空间）注意：sup为上确界；supp为支撑。*第18页，共43页，星期日，2025年，2月5日例3：连续时间信号空间C[a,b]（无穷维）*第19页，共43页，星期日，2025年，2月5日赋范线性空间的包含定