系列导言, 本文是作者在学习 Peter D. Lax 线性代数及其应用的读书笔记, 侧重于记录我当时没有看懂的部分, 以及对书中部分知识点的一些扩展. 非常零散, 不成系统. 对本系列的使用最好是读者也在学习 Peter D. Lax 线代并且恰好有某处不太明白, 可以参考着本系列说不定这里就有答案. 本系列文章在写作时参考了互联网上零零散散非常多的资料在此表示感谢!
接着上一篇文章, 这里我们继续补充下一些为了学习第 9 章所需要补充的一些知识.
定义 1, 设
- 正定性:若
时, ;若 ,则 , - 齐次性:
, - 三角不等式:
,
就称
P.S. 欧几里得空间总是赋范空间, 但赋范空间不一定是欧几里得空间.
P.S. 这里
定义 2, 设
就称
P.S. 令
9.2.zy1, 范数的等价关系满足反身性、对称性、传递性。证明: 显然.
9.2.zy2, 有限维线性空间 V 中任意两种范数都等价
证明: 由对称性和传递性可知只须证明任意范数都与特定范数
设
已证
当
P.S. 如上证明在复数域/实数域上创建, 但其实对其他数域也成立.
定义 3, 矩阵范数.
P.S. 易证我们之前定义的
9.2.zy3, 矩阵收敛当且仅当分量收敛.
证明: 首先由范数等价性易知矩阵以任一范数收敛都意味着以其他范数也收敛. 而针对 Frobenius 范数, 我们已经在 Tao analysis 中证明过收敛当且仅当分量收敛, Tao 命题 12.1.18.
9.2.zy4, 收敛的矩阵(向量)序列的范数有界. (任一种范数).
证明: 同实数序列收敛必有界一样证明.
9.2.zy5, 矩阵收敛运算法则
证明: (3) 设
(4) 设
P.S. 这里
P.S. 其实很像我们在 Tao 定理 15.6.14 复数的极限定律中的证明.
9.2.zy7,
证明: 设
即
P.S. 考虑到谱半径的定义, 这里意味着 A 的谱半径小于 1.
9.2.zy8,
证明:
P.S. 反过来若