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

行列式的性质

1 行列式使用如下性质定义

1)单位矩阵行列式值为 1,

,对于任意单位矩阵均成立;

2)当矩阵交换一行后,行列式值改变符号,如置换矩阵的行列式值为 

(根据行交换次数决定);

3)矩阵任意行线性变换导致行列式值产生线性变换:

      

 ;

     使用以上三条基本性质,可以推导更多性质:

4)如果矩阵两行相等,行列式值为 0;

     利用性质2,交换两相等行,行列式值改变符号,故行列式值必须为 0;

5)对矩阵任意两行做如下运算:行2 = 行2 - k * 行1,新矩阵行列式值不发生改变,

     利用性质3,

 ;通过该性质,可以知道矩阵消元法仅改变矩阵行列式值的符号,

6)如果矩阵中存在一行全为 0, 矩阵行列式值为 0;

      利用性质5,将全零行改写为任意非零行与全零行的和,得到两个全零行,故原矩阵行列式值为 0;

7)上三角矩阵或者下三角矩阵行列式值为对角元素之积,

     a. 利用性质5,使用消元法可以对非零元素进行消元处理,最终形成对角矩阵,其对角元素保持不变,即 det U = det D;

     b. 利用性质3,

 ;

     c. 利用性质1,由于 

,则上三角矩阵行列式值为为对角元素之积;

8)如果矩阵为奇异矩阵,行列式值为 0;如果矩阵为非奇异矩阵,行列式值不为 0;

      当矩阵为奇异矩阵时,使用消元法至少一行全零行,性质5 表明 

, 根据性质6,det U = 0;

      当矩阵为非奇异矩阵时,使用消元法得到满秩,性质5 表明 

,根据性质7得 

9)矩阵乘积的行列式等于矩阵行列式的乘积,

;使用该性质,有 

      a. 构造 

      b. 当 A 为单位矩阵时,

,满足性质1;

      c. 当交换矩阵 A 中任意两行,矩阵 AB 中对应两行也发送交换,d(A) 符号发生改变,满足性质2;

      d. 矩阵 A 中任意行线性变换,矩阵 AB 中对应行发生同样线性变换,d(A) 值发生同样线性变换,满足性质3;

      e. 综上,d(A) 满足性质1,2,3,故 

10)矩阵转置后行列式不发生改变,

      a. 假定在不需行变换下可对矩阵进行 LU 分解,

      b. 利用性质9,

      c. 由于矩阵 L 为三角矩阵,且对角元素均为1,

      d. 由于矩阵 U 为三角矩阵,

,因此,

      e. 在矩阵 LU 分解时引入行变换,

, 由于 

,故可忽略行变换影响;

2 行列式计算公式

   1)以3*3矩阵为例,使用行列式线性特性,将矩阵第一行进行分解:

      

  2)对分解后的三项对矩阵第二行再次分解:

     

     

     

  3)对分解后的九项第三行再次分解:

     

     ...... 

  4)通过以上分解,3*3 矩阵的行列式被分解为 

 个行列式的线性组合。在 27 个行列式中,有很大一部分值为 0,仅当各行元素不再同一列时,行列式值不为0。

       通过交换矩阵行,所有矩阵可变为对角矩阵,故行列式值公式可表示为:

      

     其中,

 为 

 的全排列,

 取决于在该排列下将矩阵变为对角矩阵的行变换次数的奇偶性,

     当行变换次数为奇数时,

;当行变换次数为偶数时,

 。

3 代数余子式

   使用代数余子式,可以将 N 维行列式改写为 N - 1 维行列式得线性组合,降低计算量。方法如下:

   1)以 3*3 矩阵为例,其行列式值为

        

  2)提取公因子 

, 

       括号内部为余下 2*2 矩阵得行列式值(但符号可能相反);

  3)将括号内记为对应元素得代数余子式,上式改写为 

  4)由于 

,因此也可以在列方向上分解行列式 

 。

4 行列式应用

  1)计算 

   使用 Gaussian-Jordan Method 可以通过消元法计算矩阵得逆,使用代数余子式概念可计算矩阵的逆,但效率会低于 Gaussian-Jordan Method。

   以 3*3 矩阵为例,解释如下:

   a. 矩阵 A 与代数余子式构成的矩阵 C 的转置相乘得:

      

   b. 上式中,如 

 等项表示原矩阵 A 使用第一行替代第二行构成的新矩阵 B 的行列式,由于 B 的第一行与第二行相等,故行列式值为 0;

       因此,只有当 a 与 C 的下标相同时,项 

 的值等于 A  的行列式值,故上式可化简为:

       

   c. 进一步整理得 

,因此,

   2)求解 Ax=b

   a. 

,带入 

得 

   b. 向量 x 的各分量值 

,其分子部分为一个新矩阵 

 的行列式值,

      因此,向量 x 的各分量值为 

,这就是 Cramer's Rule 。

   3)多面体的体积

   在 N 维空间中,行列式值表示多面体体积。如在二维平面中,给定两条边构成的平行四边形面积等于以边为行构成的矩阵的行列式值(绝对值);

   在三维空间中,给定三条边构成六面体的体积为对应矩阵的行列式值(绝对值)。证明如下:

   a. 当各条边相互垂直时,

       

, 

      

   b. 当各条边不垂直时,如下图所示,

       由于 

,根据 a 结论,

,因此,

,结论得证。

       

http://www.lryc.cn/news/2402091.html

相关文章:

  • 联软NSPM自动化策略管理 助力上交所加速国产化替代提升运维效率
  • Flask + ECharts+MYSQL物联网数字化大屏
  • 业务到解决方案构想
  • 数据库系统概论(十六)数据库安全性(安全标准,控制,视图机制,审计与数据加密)
  • vue3从入门到精通(基础+进阶+案例)
  • 【Linux 学习计划】-- 系统中进程是如何调度的(内核进程调度队列)
  • gemini和chatgpt数据对比:谁在卷性能、价格和场景?
  • C#、VB.net——如何设置窗体应用程序的外边框不可拉伸
  • 基于SpringBoot的房屋租赁系统的设计与实现(thymeleaf+MySQL)
  • Spring Boot统一功能处理深度解析
  • 世事无常,比较复杂,人可以简单一点
  • 使用 Docker Compose 安装 PostgreSQL 16
  • 每日算法刷题Day23 6.5:leetcode二分答案3道题,用时1h40min(有点慢)
  • 【Android基础回顾】七:内存管理机制
  • 数据结构哈希表总结
  • Spring事务失效-----十大常见场景及解决方案全解析
  • KMP 算法中 next 数组的构建函数 get_next
  • IDEA 开发PHP配置调试插件XDebug
  • 奇异值分解(SVD):线性代数在AI大模型中的核心工具
  • 矩阵分解相关知识点总结(二)
  • MySQL——视图 用户管理 语言访问
  • 二、Sqoop 详细安装部署教程
  • 用Python开启游戏开发之旅
  • React 第五十四节 Router中useRevalidator的使用详解及案例分析
  • 【C语言预处理详解(下)】--#和##运算符,命名约定,命令行定义 ,#undef,条件编译,头文件的包含,嵌套文件包含,其他预处理指令
  • 03.搭建K8S集群
  • RDMA简介3之四种子协议对比
  • 【最新版】西陆洗车系统源码全开源+uniapp前端+搭建教程
  • 力扣LeetBook数组和字符串--二维数组
  • Linux开发工具(apt,vim,gcc)