信号与系统——泛函分析初步.docVIP

第二章：泛函分析初步 (Fundamentals on functional) 《现代应用数学手册——现代应用分析卷》，《现代应用数学手册》编委会，清华出版社 《数学分析》（第二卷第4版），B.A.卓里奇著，蒋铎等译，高教出版社 §2.1 线性空间 定义（数域，Number field）： 设是某些复数构成的集合，包括0元和1元。如果对四则运算封闭，即中任意两数的和、差、积、商（除数不为零）仍是中的数，则称为一个数域。 例如，集合都是数域，而整数的全体则不是数域。 定义（线性空间，Linear space）： 设（为非空集合，符号(代表空集），满足下列两个条件： 第一，中的元对“+”构成交换群，即，有： ⅰ） （加法封闭性） ⅱ） （结合律） ⅲ），使 （存在唯一零元） ⅳ），使 （存在唯一逆元/负元） ⅴ） （交换律） （满足前2条，构成半群；满足前4条，构成群；满足5条，构成加法交换群，又称为Abel加群，简称Abel群。） 第二，(数域)，对数乘（scalar multiplication）封闭，即有： ⅵ） ⅶ） ⅷ） ⅸ） （存在元） 则称是数域上的线性空间。 加法和数乘统称为集合在数域上的线性运算（linear operation）。 注1：加法封闭 + 数乘封闭 ( ，则。 关于线性空间，简而言之，规定了非空集合在数域上的线性运算“+”和“·”，则、、+、·一起称为一个线性空间，也称作向量空间（vector space），记作（；；+，·），并把中的元称为向量。 注2：在（；；+，·）中，利用负元，可定义减法为 。 线性空间举例： 1）若，则为实线性空间；若，则为复线性空间。 2）（定义在区间上所有连续函数的全体）是线性空间。 （斜体的C代表复数域） 3）为由张成（生成）的线性空间。 所生成的线性空间中的元是的线性组合。 4）定义在区间上的实函数的全体，按函数的加法及数乘，构成实数域上的线性空间。 5）上黎曼可积的实函数的全体，按函数的加法及数乘，构成实数域上的线性空间。 6）每个数域，按数的加法与乘法，构成在自身上的线性空间。 7）若阶矩阵的元素属于数域，则按矩阵的加法及数与矩阵的乘法，构成上的一个线性空间。 定义（线性算子，Linear operator）：线性空间上的算子L为线性算子 （2-1） 推论：零状态线性系统系统算子为线性算子。详见后续章节叙述。 §2.2 线性子空间 定义（线性子空间，Linear subspace）： 设，即是的非空子集，如果对数域上的线性运算封闭，则也构成上的线性空间，称为的一个线性子空间，下面简称子空间。 即，是的线性子空间对，有。 在（；；+，·）中，单个零向量构成的子集和集合本身，都是的线性子空间，称为平凡子空间（trivial subspace）。 定义（和、直和，Sum、Direct sum）： 设是的线性子空间，称为子空间的和。如果，即p个子空间彼此无交集，则这些子空间的和称为直和，记为：。 定理：设是的线性子空间，则 （1）子空间的交也是的子空间； （2）子空间的和也是的子空间； （3）是直和 ( 对于，可唯一表示成 ，其中。 §2.3 距离空间（度量空间） 定义（距离空间/ 度量空间，Metric space）：设是非空集合，如果中定义了实值映射 （R+为含0的正实数），对，满足以下三条公理： ⅰ），且 （正定性） ⅱ） （可交换性） ⅲ） （三角不等式） 则称为上的距离（distance），或叫度量（metric）；而 称为距离空间，也叫度量空间。 注意1：是非空集合，它不一定是线性空间。 注意2：满足三条公里的距离定义可以有多种。因此，同一个集合与不同定义的距离结合，构成不同的度量空间。 定义（收敛，Convergence）：度量空间中的点列收敛于上的点 的极限点是(W 当 ( 趋于W上的点x0 (W 例如：（1）在一维实数/复数域R/C上，可定义的距离 （2）连续时间函数空间上可定义不同的距离： 对，有 按收敛是连续函数列在区间上的一致收敛；按收敛为积分平均收敛。且有：。 （3）欧氏空间（定义了线性运算和内积的n维实空间，亦记为）上亦可定义的几种不同距离： 依收敛是按坐标收敛；依收敛是按平均收敛。且有：。 在一个给定的集合上可定义出多种不同的距离，与构成不同的度量空间。例如，可与上述三种距离构成度量空间。 一般地，由集合上的距离，可导出上的另一个距离： 定理：在中，每个收敛点列有唯一的极限点。 证明：设(，( 对 当n ( max {n1, n2}时，有 即。 证毕。 定义（柯西序列Cauchy Sequence）：设是中的点列，若对，使，则称是中的柯西序列，也称基本列