22 同构与等价的范数.docVIP

2.2 同构与等价的范数 在《高等代数》上关于有限维线性空间，有一个重要的结论． 定理 数域上的两个有限维线性空间同构的充要条件是它们有相同的维数． 这里的同构就是在两个有限维线性空间存在保持加法和数乘的一一映射：满足,有 ,． 上的所有维线性空间同构． 2.2.1 同构问题 设为一线性赋范空间，如果作为线性空间时它的维数为，则称为维线性赋范空间．是上的维线性空间是指：在中存在个线性无关的向量，使得，有唯一的表达式 ，() 其中称为关于的坐标． 若为维线性赋范空间，自然存在从到上的一一映射：，，不妨设，可令 易证，其中，，即保持了与的线性结构不变． 定理 2.2.1 设是实数域上的维线性赋范空间，则与线性等距同构． 证明 设是从到上的一一映射，且，，显然是线性同构映射．下面仅需证明的保距性，即对于上的范数，在上设置一种范数，使得． ，在上的范数为，定义，下证是上的范数．为了书写的方面记，． (1) 正定性 显然，，而且 ． (2) 齐次性 ，，有 ． (3) 三角不等式 ，有 反之，对于上的一种范数，也可定义上的范数，例如．因此，是从到上的线性保距同构一一映射，从而定理成立．□ 注1：上述定理说明，对于任何有限维空间，都可以把看作的模型，还可以得到任何维线性赋范空间都是完备的(即为Banach空间)． 注2：在上述定理证明中，其实质是根据空间上的范数，构造了上的范数，或者逆向构造范数，自然想到：在同一维线性赋范空间上的这些范数有何关系？ 2.2.2 范数的等价问题 在同一空间上引入不同的范数，例如在上可定义下面不同的范数． ，定义 ；；；． 那么这些范数定义的收敛性是否相同？ 定义2.2.1 等价的范数 设和是同一线性赋范空间上的两个范数，如果由，则称比更强．如果比更强，且比更强，称范数和等价． 例2.2.1 利用定义直接证明上的范数 ， 是等价的，其中． 证明 设，显然，而对于，有 于是，即，因此 可见和等价．□ 定理2.2.2 范数等价的充要条件 线性赋范空间上的两个范数和等价当且仅当存在正实数和，使得，有 证明 充分性显然成立． 必要性：假设对任何正实数和，式子不能对一切成立．不失一般性，不妨设不能对一切成立．那么，，使得，即 令，则 ， 但 ， 这与和等价相矛盾，故必要性成立．□ 注3：利用定理2.1可证明范数的等价关系满足(1)自反性；(2)对称性；(3)传递性． 定理2.2.3 设是有限维线性赋范空间，那么上的任何范数都等价． 分析：在上定义一种范数，再证明其它任何范数均与它等价，根据个、等价关系的传递性可知上的任何两个范数都等价． 证明 (1) 定义上的范数． 设是维线性赋范空间的一组基，则，可唯一的表达为，可令，易验证是上的范数． (2) 设也是上的范数，下证与等价． 首先可证比强： ， 其中． 其次可证比强： 显然点集是上的有界闭集(闭球体减去开球)，对于，记，那么在范数意义下是上的非负连续函数，即当且时，有．根据下式可知此结论成立： ． 其中，，，．于是在的有界闭集上存在最小值，因为，所以．，这里，令，显然以及，从而 ， 可得．□ 注4：由上述定理2.2可知，在有限维线性赋范空间中讨论极限问题时，可以任意选取不同的范数，它们的收敛效果是相同的． (复习) 定理 设，是维殴氏空间，那么 (1) 是列紧集当且仅当是有界集； (2) 是紧集当且仅当是有界闭集． 定理2.2.4 设是线性赋范空间，那么的维数有限中的每一个有界集必是列紧集． 证明 (1) 必要性 当是有限维线性赋范空间，可将看成它的模型，因为中的有界集是列紧集，易证中的有界集也是列紧集． (2) 充分性 设是的单位球面，即，于是根据条件知有界集是列紧集，由豪斯道夫(Hausdorff)定理知度量空间中的列紧集必是全有界集(设，如果对于任给的，总存在有限的网,则称是中的全有界集)，可见对于，存在的网 ， 令，显然是的有限维闭子空间()，下证． 假设，由于是的有限维闭子空间，所以是完备的子空间，于是存在，有 ． 由确界定义知，满足 ． 显然，于是，使得，即 ． 由于及，所以向量，故有 ． 产生矛盾，可见，即是有限维空间．□ 上述定理2.2.4的等价命题如下： 定理2.2.5 设是无穷维线性赋范空间，那么至少有一个有界集不是列紧集． 注5：可见无穷维线性赋范空间中的列紧性与有限维不同，对于紧集而言，无穷维线性赋范空间中的紧集就更少． 引理2.2.1 设是线性赋范空间的闭子空间，且，则存在，使，． 证明 设，由于为闭子空间，可知 ， 选取，使得 ． 令，则得，故 ．□ 定理 2.2.6 设是无穷维线性赋范空间，那么中的闭单位球不是紧集． 证明 由于是无穷维空间，所以存在