泛函分析
文章平均质量分 90
i写作业
May the Force be with you.
展开
-
赋范线性空间1
类比实数域,我们需要建立起函数以发挥其作用。推广到度量空间中,在建立起函数前,函数的极限与连续等性质均需要距离(度量)才能描述,于是本节先明确【距离(度量)】的概念。研究数量的连续性变化,需要极限的概念,于是将实数域的极限概念推广到抽象的集合上。首先需要“距离”来刻画元素的接近程度,即度量dxyξ1−η12ξ2−η22dxyξ1−η12ξ2−η22dxy∣ξ1−η1∣∣ξ2−η2∣dx。原创 2023-11-14 11:31:23 · 161 阅读 · 0 评论 -
赋范线性空间2
一般的集合可以通过定义不同的度量而称为度量空间,但实际应用中希望能定义出具有更多优良性的度量。线性空间是赋予了线性运算的集合由此可以借助在线性空间上定义度量以获得线性性线性空间只要定义了“长度”就可以定义度量,向量长度推广到一般线性空间就是【范数】赋予了范数的线性空间即【赋范线性空间】设XXX是数域FFF上的线性空间,如果映射∥⋅∥X→R∥⋅∥X→R满足:对一切xy∈Xα∈Fxy∈Xα∈F,有∥x∥≥0\|x\|\geq0∥x。原创 2023-11-20 20:27:27 · 277 阅读 · 0 评论 -
赋范线性空间3
设XXX是数域FFF(实数域or复数域)上的线性空间,若映射⋅⋅X×X→F⋅⋅>:X×X→F满足∀xyz∈Xαβ∈F∀xyz∈Xαβ∈Fxx≥0\geq0xx>≥0,取等号当且仅当x0x=0x0xyyx‾xy>=yx(这里的共轭指复数的共轭)αxβyzαxzβyzαxβyz>=αxzβyz,其中αβ∈Fαβ∈F设XX。原创 2023-11-22 09:50:19 · 37 阅读 · 0 评论 -
赋范线性空间4
设XXX为一内积空间,MMM为XXX的子空间,对于x∈Xx\in Xx∈X,若xxx可以表示为xx0x1x=x_0+x_1xx0x1,其中x0∈Mx_0\in Mx0∈Mx1∈M⊥x1∈M⊥3,则称上式为xxx的正交分解,称x0x_0x0为XXX在MMM上的投影。原创 2023-11-27 10:21:16 · 66 阅读 · 0 评论 -
有界线性算子1
设XYX、YXY是两个赋范线性空间,TX→YT:X\to YTX→Y是线性算子1若存在常数c0c>0c0,使得对一切x∈Xx\in Xx∈X有∥Tx∥≤c∥x∥∥Tx∥≤c∥x∥,则称TTT是有界线性算子在 1 的基础上,当YYY为R\RR或时,TTT便称为有界线性泛函设XYX、YXY是两个赋范线性空间,TX→YT:X\to YTX→Y是有界线性算子,∥T∥supx∈X。原创 2023-12-02 17:31:28 · 254 阅读 · 0 评论 -
有界线性算子2
称赋范线性空间XXX上有界线性泛函的全体X∗X^*X∗是XXX的对偶空间,或共轭空间。原创 2023-12-02 21:27:10 · 137 阅读 · 0 评论 -
Lebesgue积分及应用
Lebesgue积分及应用文章目录Lebesgue积分及应用一、Lebesgue测度和可测函数1.1 Riemann积分和Lebesgue积分1.2 直线上的Lebesgue测度【定义】外测度(Outer Measure)【定理】外测度的性质【定义】内测度【定义】可测、Lebesgue测度【定理】卡氏条件(Carathéodory 条件)【定理】可测集与Lebesgue测度的性质1.3 可测函数【定义】可测函数【定理】可测函数的等价表述【定理】可测函数的性质二、Lebesgue积分2.1 Lebesgue原创 2023-12-06 19:40:30 · 213 阅读 · 0 评论