ch2 群、环、域及空间.ppt

2 群和域及空间的概念 2.1 群和域 2.2 向量空间 2.3 度量空间和赋范空间 2.4 函数空间 2.5 点集拓扑的几个概念 2.6 线形变换 2.1 群和域 结合律 逆元素 分配律 左分配律 群 域 2.2 向量空间 2.3 度量空间和赋范空间 范数 2.4 函数空间 不同的度量方法会产生很大的差别 2.5 点集拓扑的几个概念 这里聚点(注意与1.3.2的定义实质是一样，只是表述方式不同，这也是初学者容易困惑的地方) 2.5 点集拓扑的几个概念 2.5 点集拓扑的几个概念 2.5 点集拓扑的几个概念 2.5 点集拓扑的几个概念 2.5 点集拓扑的几个概念 内点、外点、边界点和闭包点 2.5 点集拓扑的几个概念 孤立点 闭包点中不是极限点的点称为孤立点。 闭包点要么是极限点，要么是孤立点。 同胚 完备度量空间和压缩映射定理 柯西收敛 完备度量空间 算子和压缩映射定理 算子 从度量空间到它自己的函数T：X X有时也称为算子(Operator) 例 紧集 覆盖和开覆盖 几个结论（续） 连通集 定理2.9.2 实数集合S是连通的充要条件是： S是一个区间。 定理2.9. 令f ：X Y是两个度量间中的连续映射，若C是X中连通子集，则f（C）也是连通的。 2.6 线性变换 两个向量空间之间的函数有时称为变换。下面我们将介绍一类能保持集合的代数性质非常重要的变换。 线性函数的像和核 线性映射的范数 令X和Y是两个向量空间。从X到Y的线性变换的集合L（X，Y）是一个向量空间。若X和Y是赋范空间，很自然就会问能否在L(X，Y)中定义一个范数，即能否使L(X，Y）成为赋范空间。由于没有一个“自然”的方法来定义一个映射的“长度”，我们试图根据映射所作用的向量的范数来定义线性变换T的范数。这样，我们记： 定理3.4.7 令T : X?Y是有界线性映射，x是X中任意向量，则 ║T(x)║? ║T║?║x║。 定理3.4.8 令X和Y是赋范向量空间，则从X到Y的有界线性映射集合B (X,Y)按照上面定义的范数是赋范向量空间。 * 交换律 单位元 右分配律 开集和闭集 集合的内部、边界和闭包 巴拿赫(Banach)空间 一个完备的赋范向量空间称为巴拿赫(Banach)空间 柯西序列可以在“有洞” 的度量空间中存在，而一般的极限序列则不具备。只在完备度量空间时二者相同。 压缩(Contraction) 压缩映射定理 压缩映射 紧集 几个结论 定理2.8.14 紧空间中任意闭子集都是紧的集。 定理2.8.15 度量间中紧集都是闭的。 定理2.8.16 度量间中一个集合是紧集的充要条件是它是完备且有界的。 定理 度量间中紧集是完备。（问题2.8.17） 定理2.8.19 任意一个闭且有界的实数集合都是紧集。 定理2.8.20 Rm中任意一个闭且有界的子集合都是紧集。 注意到上式中的符号║?║有三个不同的意义：║x║是X中向量的范数， ║T(x)║是Y中向量的范数， ║T║是线性映射的“范数”，（这还需要证明它确实是范数）。