【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(16):向量和矩阵的极限

563 阅读4分钟

「这是我参与2022首次更文挑战的第12天,活动详情查看:2022首次更文挑战」。

@TOC

在这里插入图片描述

前言

Hello!小伙伴! 非常感谢您阅读海轰的文章,倘若文中有错误的地方,欢迎您指出~   自我介绍 ଘ(੭ˊᵕˋ)੭ 昵称:海轰 标签:程序猿|C++选手|学生 简介:因C语言结识编程,随后转入计算机专业,有幸拿过一些国奖、省奖...已保研。目前正在学习C++/Linux/Python 学习经验:扎实基础 + 多做笔记 + 多敲代码 + 多思考 + 学好英语!   机器学习小白阶段 文章仅作为自己的学习笔记 用于知识体系建立以及复习 知其然 知其所以然!

往期文章

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(1):集合与映射

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(2):线性空间定义及其性质

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(3):线性空间的基与坐标

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(4):基变换与坐标变换

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(5):线性子空间

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(6):子空间的交与和

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(7):欧氏空间

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(8):标准正交基与Gram-Schmidt过程

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(9):正交补与投影定理

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(10):线性变换定义

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(11):线性变换的矩阵表示

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(12):相似形理论

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(13):Hamliton-Cayley定理、最小多项式

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(14):向量范数及其性质

【机器学习|数学基础】Mathematics for Machine Learning系列之矩阵理论(15):矩阵的范数

5.1 向量和矩阵的极限

5.1.1 向量序列极限

定义5.1

设给定nn维向量空间CnC^n中的向量序列{χ(k)}\{\boldsymbol\chi^{(k)}\},其中

χ(k)=(ξ1(k),ξ2(k),...,ξn(k))k=1,2,3,...\boldsymbol\chi^{(k)}=(\xi_1^{(k)},\xi_2^{(k)},...,\xi_n^{(k)})\quad k=1,2,3,...

如果每一个分量ξi(k)\xi_i^{(k)}kk\rightarrow\infty时,都有极限ξi\xi_i,即

limkξi(k)=ξii=1,2,...,n\lim_{k\rightarrow\infty}\xi_i^{(k)}=\xi_i\quad i=1,2,...,n

χ=(ξ1,ξ2,...,ξn)\boldsymbol\chi=(\xi_1,\xi_2,...,\xi_n)

则称向量序列{χ(k)}\{\boldsymbol\chi^{(k)}\}有极限或称{χ(k)}\{\boldsymbol\chi^{(k)}\}收敛于χ\boldsymbol\chi

简称{χ(k)}\{\boldsymbol\chi^{(k)}\}收敛,记为

limkχ(k)=χχ(k)χ\lim_{k\rightarrow\infty}\boldsymbol\chi^{(k)}=\boldsymbol\chi或\boldsymbol\chi^{(k)}\rightarrow\boldsymbol\chi

向量序列{χ(k)}\{\boldsymbol\chi^{(k)}\}含有很多项 简单的理解:由χ(1)χ(2)χ(3)...χ(k)\boldsymbol\chi^{(1)}、\boldsymbol\chi^{(2)}、\boldsymbol\chi^{(3)}...\boldsymbol\chi^{(k)}组成 然后随着kk的增大,逐渐趋近于向量χ\boldsymbol\chi


由向量序列极限定义易知,向量序列{χ(k)}\{\boldsymbol\chi^{(k)}\}收敛于χ\boldsymbol\chi的充分必要条件

  • {χ(k)χ}\{\boldsymbol\chi^{(k)}-\boldsymbol\chi\}收敛于零向量

或者是

  • 对任意一种向量范数||\cdot||,序列{χ(k)χ}||\{\boldsymbol\chi^{(k)}-\boldsymbol\chi\}||收敛于零

5.1.2 方阵序列极限

定义5.2

对于复方阵序列{Ak}\{A_k\},其中

a_{11}^{(k)} & a_{12^{(k)}} &... & a_{1n}^{(k)}\\ a_{21}^{(k)} & a_{22}^{(k)} & ... &a_{2n}^{(k)}\\ . & . & & . \\ . & . & & . \\ a_{n1}^{(k)} & a_{n2}^{(k)} &... & a_{nn}^{(k)}\\ \end{bmatrix}

若在kk\rightarrow\infty时,n2n^2个复数序列{aij(k)}\{a_{ij}^{(k)}\}都分别收敛于aija_{ij},即

limkaij(k)=aij(i,j=1,2,...,n)\lim_{k\rightarrow\infty}a_{ij}^{(k)}=a_{ij}\quad(i,j = 1,2,...,n)

则称AA{Ak}\{A_k\}kk\rightarrow\infty的极限,记作

limkAk=A\lim_{k\rightarrow\infty}A_k=A

在这里插入图片描述kk\rightarrow\infty时,{Ak}\{A_k\}不收敛,则称方阵序列{Ak}\{A_k\}是发散的

只要{Ak}\{A_k\}中有一个元素aij(k)a_{ij}^{(k)}kk\rightarrow\infty不收敛,则{Ak}\{A_k\}一定是不收敛的 只有{Ak}\{A_k\}中所有元素aij(k)a_{ij}^{(k)}kk\rightarrow\infty都收敛,则{Ak}\{A_k\}是收敛的

定理5.1.1

Cn×nC^{n×n}中的矩阵序列{Ak}\{A_k\}收敛于方阵AA的充分必要条件是:对任意一种方阵范数||\cdot||,序列{AkA}\{||A_k-A||\}都收敛于0

{Ak}\{A_k\}是矩阵序列,具体是A1,A2,A3,...,AkA_1,A_2,A_3,...,A_k {Ak}\{||A_k||\}是一般的数列,具体是A1,A2,...,Ak||A_1||,||A_2||,...,||A_k||,因为Ak||A_k||表示的只是一项,所以 {Ak}\{||A_k||\}则是一般的数列

Cn×nC^{n×n}中收敛的方阵序列的性质

(1)若limkAk=A\lim_{k\rightarrow\infty}A_k=A,则对Cn×nC^{n×n}中任意方阵范数||\cdot||Ak||A_k||有界

(2)若limkAk=A,limkBk=B\lim_{k\rightarrow\infty}A_k=A,\lim_{k\rightarrow\infty}B_k=B,且limkak=a,limkbk=b\lim_{k\rightarrow\infty}a_k=a,\lim_{k\rightarrow\infty}b_k=b{ak},{bk}\{a_k\},\{b_k\}是数列,则

limk(akAk+bkBk)=aA+bB\lim_{k\rightarrow\infty}(a_kA_k+b_kB_k)=aA+bB

(3)若limkAk=A,limkBk=B\lim_{k\rightarrow\infty}A_k=A,\lim_{k\rightarrow\infty}B_k=B,则

limkAkBk=limkAklimkBk=AB\lim_{k\rightarrow\infty}A_kB_k=\lim_{k\rightarrow\infty}A_k\cdot\lim_{k\rightarrow\infty}B_k=AB

(4)limkAk=A\lim_{k\rightarrow\infty}A_k=A,且Ak1A_k^{-1}A1A^{-1}存在,则

limkAk1=A1\lim_{k\rightarrow\infty}A_k^{-1}=A^{-1}

Jordan块的正整数次幂

在这里插入图片描述tt阶Jordan块,并记tt阶矩阵

在这里插入图片描述 则有

J(λ0,t)=λ0E+H(Et阶单位矩阵)J(\lambda_0,t)=\lambda_0 E + H\quad(E是t阶单位矩阵)

由于

在这里插入图片描述Ht=0H^t=0,便有

Jk(λ0,t)=(λ0E+H)kJ^k(\lambda_0,t)=(\lambda_0 E + H)^k

在这里插入图片描述


同理,对数值变量xx,由

J(λ0,t)x=λ0xE+xHJ(\lambda_0,t)x=\lambda_0xE+xH

可得

在这里插入图片描述

定理5.1.2

矩阵ACn×nA\in C^{n×n}的方幂E,A,A2,...,Ak,...E,A,A^2,...,A^k,...所构成的矩阵序列{Ak}\{A^k\}收敛于零矩阵的充分必要条件是AA的特征值的模都小于1

命题

Aa||A||_a是相容于向量范数χa||\boldsymbol\chi||_a的方阵范数,则ρ(A)Aa\rho(A)\leq||A||_a

定理5.1.3

Ak0A^{k}\rightarrow0的充分必要条件是至少存在一种方阵范数||\cdot||,使A<1||A||<1

结语

说明:

  • 参考于 课本《矩阵理论》
  • 配合书中概念讲解 结合了自己的一些理解及思考

文章仅作为学习笔记,记录从0到1的一个过程

希望对您有一点点帮助,如有错误欢迎小伙伴指正

在这里插入图片描述