1.空间及概念4学时.pptVIP

第一讲、空间的概念 何小祥 Outline Set and mapping space operators Set and mapping Hilbert space Linear operators Symmetric operators Self-adjoint operators Hilbert space 完备的按内积赋范（线性）空间称为Hilbert空间，简称H空间 Square Lebesgue-integrable space 平方可积空间 加权平方可积空间 矢量平方可积空间 距离空间 线性空间 赋范空间 内积空间 完备空间 Banach空间 Banach空间 Hilbert空间 平方可积空间 A B 定义域、空间 值域、空间 算子 线性算子的定义 一般不满足交换率 线性算子的性质 特征值问题 确定性问题 线性算子方程 已知而 未知 算子方程的求解任务就是算子求逆运算 存在，则解存在且唯一 连续，则解稳定 正定算子 正算子 非负算子 下有界算子 对称算子 对称算子 下有界算子 正算子 正定算子 设A是H空间的线性连续算子，若存在B使任意 都满足等式 则B称为A的伴随算子 A为A的伴随算子的伴随算子 * * 一 集合的相关概念 集合，简单地说就是一堆东西的总体， 其中每个东西称为这个集合的元素。 一般用英文大写字母A, B, C, X, Y, Z表示集合，用英文小写字母a, b, c, x, y, z等表示集合的元素 属于 a是A的元素称为a属于A，记为a?A，a不是A的元素称为 a不属于A，记为a?A。?称为属于关系。 集合的确定性： 任何一个东西是或者不是这个集合的元素，但不能既是 又不是这个集合的元素。 从集合的确定性要求看，日常生活中使用的某些概念不能简单地看作集合的，如青年、新鲜的苹果等。(非二元) 有别于模糊数学 集合的相等 A和B有同样的元素称为A和B相等， 记为A = B。即A ? B =df ?x(x?A?x?B) 空集 没有任何元素的集合称为空集，记为?。 子集 如果B的元素都是A的元素，则称B是A的子集， 也称B包含于A，记为B ? A。? 称为包含关系。 集合的交与并 交集 并集 集合的交和并都是用两个集合去形成一个新的集合，它们都称为集合的运算。 二 映射的相关概念 A B 函数：表示一个数的空间到另外一个数的空间的映射 泛函：表示一个函数的空间到一个数的空间的映射 算子：表示一个函数的空间到另外一个函数的空间的映射 Y=f(x), x不同，y不同 Y=F(U(x)), U(x)不同，y不同 两点间的距离随路线的不同而不同 Space Number space (度量)距离空间 在形式几何的意义上，用点表示元素，用空间表示集合 是数或向量集合的拓扑表示 Function space 是函数集合的拓扑表示 常规意义上的空间 举例 这里距离的定义可以有很多种，只要满足前面的三个条件即可以称之为距离 理解 极限 设{Xn}是度量X=(X,d)中的点列，若有 ， 使得 则称点列{xn}按照距离收敛于x， 或称x 是{xn}的极限 有界 设A是度量空间X的一个子集，若存 和正数M使得 则称A是度量空间上的有界集，否则是无界集 正常情况下，常用的是2次可积空间 Linear space 自闭性，完备性 交换律 分配律 单位元素 设D（E）是定义在E（X）上的函数集，在D（E）中任意取三个元素f(X),g(X),h(X), 存在零元素和负元素 线性空间的维和基 线性空间X中可以找到n个线性无关的向量，且任意n+1个向量均线性相关，则成X的维数为n， dimX=n， n个线性无关向量叫基 R1， R2， R3， Rn空间 在一维空间中，实轴上任意两点 ???距离用两点差的绝对值 ????表示。绝对值是一种度量形式的定义。 Normed space 范数是对函数、向量和矩阵定义的一种度量形式。任何对象的范数值都是一个非负实数。使用范数可以测量两个函数、向量或矩阵之间的距离。向量范数是度量向量长度的一种定义形式。范数有多种定义形式，只要满足下面的三个条件即可定义为一个范数。同一向量，采用不同的范数定义，可得到不同的范数值。 范数 　　定义3.1 对任一向量 ?????????????，按照一个规则确定一个实数与它对应，记该实数记为 ???????，若 ???????满足下面三个性质： （3） ??????， ????????????，有 ????????????????????????