泛函分析与小波变换

泛函分析与小波变换-CAL-FENGHAI-(2020YEAR-YICAI)_JINGBIAN

南京理工大学

作者:** 学

号：******

学院(系):********

专业:光学工程

题目:泛函分析与小波变换

任课老师：焦蕾

2012年11月

评分：

1 泛函分析简介

泛函分析（Functional Analysis）是现代数学的一个分支，隶属于分析学，其研究的主要对象是函数构成的空间。所谓的泛函就是定义域是一个函数集，而值域是实数集或者实数集的一个子集，推广开来，泛函就是从任意的向量空间到标量的映射。也就是说，它是从函数空间到数域的映射。泛函分析理论是为克服黎曼积分理论的缺陷而创立的新积分理论，其基础是集合与测度理论，所以也可以称为测度与积分理论。

泛函分析是由对变换（如傅立叶变换等）的性质的研究和对微分方程以及积分方程的研究发展而来的。使用泛函作为表述源自变分法，代表作用于函数的函数。巴拿赫（Stefan Banach）是泛函分析理论的主要奠基人之一，而数学家兼物理学家伏尔泰拉（Vito Volterra）对泛函分析的广泛应用有重要贡献。

泛函分析综合运用函数论，几何学，代数学的观点来研究无限维向量空间上的函数，算子和极限理论。它可以看作无限维向量空间的解析几何及数学分析。主要内容有拓扑线性空间等。泛函分析在数学物理方程，概率论，计算数学等分科中都有应用，也是研究具有无限个自由度的物理系统的数学工具。泛函分析是研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数条件的映射的分支学科。

2 泛函分析中的空间

泛函分析这门课程主要讲述了各种空间和算子的概念以及它们的性质，下面对泛函分析里学习过的空间进行简要的介绍。

度量空间

定义1：设X 施一个非空集合，X 叫做距离空间或度量空间，是指在X 上定义一个双变量的实值函数，满足下面三个条件：

(x,y)0(x,y)=0x =y (x,y)=(y,x)(x,y)(x,z)+(z,y)

(1)非负性,且当且仅当;(2)对称性;

(3)三角不等式ρρρρρρρ≥≤

成ρ为X 上的一个距离，以ρ为距离的空间X 记为(X, ρ)。

对于度量空间应当注意度量空间实际上是在定义了距离的基础上才定义它的.如果去掉了“(x,y)0ρ≥”这个条件，则称ρ为(X, ρ)的拟即离。只有在度量空间的基础上，可以定义完备度量空间。度量空间称为完备的当且仅当它的每一个Cauchy 序列收敛于X 中某一点).明显地说

线性空间

定义2：设X 是任一非空集合，若K 是一个数域（R 或C ）如果X 对某种规定的加法和数乘两种运算封闭，且?x,y ?X ，??K ，满足：

1x +y =y +x λλ(x +y)=λx +λy

();

(2)∀∈K,

则称X 为线性空间。

内积空间

定义3：设X 是数域K 上的线性空间，若对所有的x,y X ∈，都存在K 中唯一确定的数与之对应，记为x,y 〈〉，若,:X X K 满足：〈〉⨯→

(1)x,y 0x,y 00;

(2)αx βy,z αx,z βy,z ;(3)x,y y,x ;

，且=当且仅当x 〈〉≥〈〉=〈+〉=〈〉+〈〉〈〉=〈〉 则称x,y 〈〉是x 与y 的内积，定义了内积的线性空间X 称为内积空间。

由内积空间的定义可以推出：

(4)x,αy βz αx,y βx,z ;(5)x,0y,00;

〈+〉=〈〉+〈〉〈〉=〈〉=

当K 取实数域时，X 称为实内积空间，此时

(3')x,y y,x ;

(4')x,αy βz αx,y βx,z ;

〈〉=〈〉〈+〉=〈〉+〈〉

当K 取复数域时，称X 是复内积空间。

Hilbert 空间

在讨论Hilbert 空间前先要定义范数。 定义4：设X 是内积空间，对任意的x X,x x,x ∈〈〉称为向量x 的模或x

的范数，:X R →称为由内积导出的范数。对于有内积导出的范数，有以下

的性质：

(1)x x 0(2)ααx αx (3)x y x y ;(4)x y x y ;

非负性0，且当且仅当x=0：对任意的K,x X,；≥=∈∈=+≤+-≤-

设X 是内积空间，对于任意的x,y K ∈，定义度量

ρ(x,y)x y =-=

则(X,ρ)是度量空间，并称ρ是由内积导出的度量。

定义5：设X 是内积空间，若X 是按内积导出的度量空间是完备的（简称内积完备），则称X 是Hilbert 空间。

赋范线性空间

定义5：设X 是线性空间，

是X 上的实值函数，满足

(1)x X,x x 0(2)ααx αx (3)()x y x y ;

0，且当且仅当x=0：K,x X,；三角不等式∀∈≥=∀∈∈=+≤+

则称

为X 上的范数，（X ，

）称为赋范线性空间。注意赋范线性空间

未必是内积空间。

Banach 空间

令

ρ(x,y)x y x,y X ，=-∀∈

则为X 上的度量。若X 按此度量完备（简称按范数完备），则称X 为Banach 空间。此类空间是泛函分析的一类重要空间，Hibert 空间必为Banach 空间。

3 泛函分析中的算子

泛函分析中另外一个重要的概念就是算子，下面对算子进行简要的介绍。线性算子

定义1：设X，Y是同一个数域K上的内积空间，这里K为实数或负数域，满足：

T(αxβy)αTxβTy,α,βx,y X

+=+∀∈∀∈

K,

则称T是线性算子，若T在X上连续，则称T是X到Y上的连续线性算子。

特别的当Y=K时，线性算子T:X→K称为X上线性泛函，而连续线性算子T:X→K称为连续线性泛函，因此连续线性泛函是连续性算子的一种特殊情况。

有界线性算子

在线性算子的基础上可以定义有界线性算子，定义如下：

定义2：设X，Y是内积空间，T:X Y

→是线性算子，若存在C>0，对任意的x X

∈，使得

Tx C x

≤，

则称T是X上的有界线性算子，并用B(X,Y)表示X到Y上有界线性算子的全

体；若T是有界线性算子，则

x0

x X Tx

T sup

x

≠

∈

=满足范数公理，称为算子T的范数，特别的当Y=K时数域时，且存在C>0使得

Tx C x,x X

≤∀∈，

则称T是X上有界线性泛函，并用X*表示X上有界线性泛函的全体。

对于有界线性算子一个重要的概念就是它的收敛性，在无穷维空间范数意义下，许多经典分析的结论不一定成立，为此对于算子的收敛性有如下重新的定义：