当前位置: 首页 > news >正文

λ-矩阵知识点

原文: 链接

λ-矩阵

矩阵的秩

定义. 若矩阵 A \mathbf{A} A 的元素为关于 λ λ λ 的多项式,则称 A \mathbf{A} A λ λ λ-矩阵 (表示为 A ( λ ) \mathbf{A}(λ) A(λ)).

λ \lambda λ-矩阵也存在秩、初等变换、相抵、逆等概念, 但是有一些不同.

定义. λ \lambda λ-矩阵的秩是指最高阶非零子式的阶数. 对于方阵而言, 若秩等于阶数, 则称其为满秩的.

定理. 方阵满秩的充要条件是行列式非零.

定义. λ \lambda λ-矩阵的初等行变换是指由以下3种行操作构成的矩阵变换: ① 交换两行; ② 数乘行; ③ 一行乘以 ψ ( λ ) \psi(\lambda) ψ(λ) 倍加到另一行,其中 ψ ( λ ) \psi(\lambda) ψ(λ) 是以 λ \lambda λ 为变元的多项式. 类似地定义初等列变换. 由初等行变换和初等列变换构成的矩阵变换称为初等变换.

可以看出, 初等行/列变换仅③和常数矩阵不同, 乘以常数换成了乘以多项式.

定义. 若一个 λ \lambda λ-矩阵可经有限次初等变换得到另一个 λ \lambda λ-矩阵, 则称两个矩阵相抵.

定理. 初等变换不改变 λ \lambda λ-矩阵的秩, 即相抵的 λ \lambda λ-矩阵一定等秩.

但是等秩的矩阵不一定相抵, 如
A 1 = [ 1 0 0 0 λ 0 0 0 0 ] , A 2 = [ 1 0 0 0 1 0 0 0 0 ] A_1=\begin{bmatrix} 1 & 0 & 0\\ 0 & \lambda & 0\\ 0 & 0 & 0 \end{bmatrix}, A_2=\begin{bmatrix} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 0 \end{bmatrix} A1= 1000λ0000 ,A2= 100010000
秩都为2但不相抵 (显然, 二者的Smith标准形为自身, 但并不相等, 因此二者不相抵).

定理. 满秩方阵相抵的充要条件是行列式差一个非零常系数. (证明需借助Smith标准形的有关知识)

矩阵的逆

定义. 对于方阵 A ( λ ) \bm A(\lambda) A(λ), 若存在方阵 B ( λ ) \bm B(\lambda) B(λ), 使得 A ( λ ) B ( λ ) = B ( λ ) A ( λ ) = I \bm A(\lambda) \bm B(\lambda)=\bm B(\lambda)\bm A(\lambda)=\bm I A(λ)B(λ)=B(λ)A(λ)=I, 则称 A ( λ ) \bm A(\lambda) A(λ) 为可逆阵, B ( λ ) \bm B(\lambda) B(λ) A ( λ ) \bm A(\lambda) A(λ) 的逆矩阵.

类似常数矩阵, 有如下定理:

定理. λ λ λ-矩阵可逆的充要条件是行列式为非零常数.

由此可知: λ λ λ-矩阵可逆一定满秩,但满秩不一定可逆.

定理. 对于 n n n λ λ λ-矩阵 A ( λ ) \bm A(\lambda) A(λ), 若存在 n n n λ λ λ-矩阵 B ( λ ) \bm B(\lambda) B(λ), 满足 A ( λ ) B ( λ ) = I \bm A(\lambda) \bm B(\lambda)=\bm{I} A(λ)B(λ)=I B ( λ ) A ( λ ) = I \bm B(\lambda) \bm A(\lambda)=\bm{I} B(λ)A(λ)=I, 则 A ( λ ) \bm A(\lambda) A(λ) 是可逆的, 且其逆矩阵为 B ( λ ) \bm B(\lambda) B(λ).

定理. 方阵可逆的充要条件是相抵于单位阵. (证明需借助Smith标准形的知识)

证明: n n n λ \lambda λ-矩阵 A ( λ ) \mathbf{A}(\lambda) A(λ) 可逆 ⟺ \iff 其行列式为非零常数 ⟺ \iff 其满秩且 n n n 阶行列式因子为 1 1 1 ⟺ \iff 其 Smith 标准形为单位阵.

定理. 对 A ( λ ) \mathbf{A}(\lambda) A(λ) 作初等行变换 ϕ \phi ϕ 相当于左乘可逆阵 ϕ ( I ) \phi(I) ϕ(I), A ( λ ) \mathbf{A}(\lambda) A(λ) 作初等列变换 ψ \psi ψ 相当于右乘可逆阵 ψ ( I ) \psi(I) ψ(I).

推论. m × n m \times n m×n λ \lambda λ-矩阵 A ( λ ) \mathbf{A}(\lambda) A(λ) 相抵于 m × n m \times n m×n λ \lambda λ-矩阵 B ( λ ) \mathbf{B}(\lambda) B(λ) ⇒ \Rightarrow 存在 m m m 阶可逆阵 P ( λ ) \mathbf{P}(\lambda) P(λ) n n n 阶可逆阵 Q ( λ ) \mathbf{Q}(\lambda) Q(λ), 使得: P ( λ ) A ( λ ) Q ( λ ) = B ( λ ) \mathbf{P}(\lambda)\mathbf{A}(\lambda) \mathbf{Q}(\lambda)=\mathbf{B}(\lambda) P(λ)A(λ)Q(λ)=B(λ).

修订于2024年2月12日

相关文章:

  • 酷开科技荣获消费者服务平台黑猫投诉“消费者服务之星”称号
  • Swift Combine 级联多个 UI 更新,包括网络请求 从入门到精通十六
  • 《UE5_C++多人TPS完整教程》学习笔记4 ——《P5 局域网连接(LAN Connection)》
  • re:从0开始的CSS之旅 13. 文档流
  • VueCLI核心知识综合案例TodoList
  • Android 自定义BaseFragment
  • Panalog 日志审计系统 sessiptbl.php 前台RCE漏洞复现
  • 蓝桥杯(Web大学组)2022国赛真题:水果消消乐
  • Python学习之路-爬虫进阶:爬虫框架雏形
  • 构建智慧交通平台:架构设计与实现
  • Python爬虫——解析库安装(1)
  • 【操作系统】Ubuntu Swap内存扩容
  • 【30秒看懂大数据】数据标准
  • AlmaLinux更换鼠标样式为Windows样式
  • WordPress函数wptexturize的介绍及用法示例,字符串替换为HTML实体
  • [译]CSS 居中(Center)方法大合集
  • [原]深入对比数据科学工具箱:Python和R 非结构化数据的结构化
  • 5分钟即可掌握的前端高效利器:JavaScript 策略模式
  • Android系统模拟器绘制实现概述
  • css属性的继承、初识值、计算值、当前值、应用值
  • github指令
  • Java 23种设计模式 之单例模式 7种实现方式
  • java8-模拟hadoop
  • JavaScript对象详解
  • miniui datagrid 的客户端分页解决方案 - CS结合
  • Perseus-BERT——业内性能极致优化的BERT训练方案
  • Python socket服务器端、客户端传送信息
  • Redash本地开发环境搭建
  • RxJS 实现摩斯密码(Morse) 【内附脑图】
  • VuePress 静态网站生成
  • 对话 CTO〡听神策数据 CTO 曹犟描绘数据分析行业的无限可能
  • 工作踩坑系列——https访问遇到“已阻止载入混合活动内容”
  • 诡异!React stopPropagation失灵
  • 力扣(LeetCode)22
  • 从如何停掉 Promise 链说起
  • ​​快速排序(四)——挖坑法,前后指针法与非递归
  • #QT项目实战(天气预报)
  • (11)MSP430F5529 定时器B
  • (java版)排序算法----【冒泡,选择,插入,希尔,快速排序,归并排序,基数排序】超详细~~
  • (poj1.3.2)1791(构造法模拟)
  • (十七)Flask之大型项目目录结构示例【二扣蓝图】
  • (转)LINQ之路
  • .NET/C# 判断某个类是否是泛型类型或泛型接口的子类型
  • .NET简谈互操作(五:基础知识之Dynamic平台调用)
  • .Net开发笔记(二十)创建一个需要授权的第三方组件
  • /bin/bash^M: bad interpreter: No such file or directory
  • /ThinkPHP/Library/Think/Storage/Driver/File.class.php  LINE: 48
  • @RequestParam,@RequestBody和@PathVariable 区别
  • @拔赤:Web前端开发十日谈
  • [ vulhub漏洞复现篇 ] Apache Flink目录遍历(CVE-2020-17519)
  • [Bada开发]初步入口函数介绍
  • [C puzzle book] types
  • [C#]OpenCvSharp使用帧差法或者三帧差法检测移动物体
  • [C++]STL之map
  • [CareerCup] 14.5 Object Reflection 对象反射