矩阵对应多项式?多项式?→从特征多项式和哈密顿凯莱定理开始

2023-10-04 10:59

本文主要是介绍矩阵对应多项式?多项式?→从特征多项式和哈密顿凯莱定理开始,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

首先将一个矩阵和一个多项式对应起来(矩阵的多项式,矩阵的零化多项式,相似的矩阵对应零化多项式有相同的最小多项式[https://zhidao.baidu.com/question/273308991.html])

矩阵与对角化

两个相似的矩阵就是同一个线性映射在两组不同基底下的矩阵;寻找空间 中一个合适的基,使得映射在这个基下对应于一个对角矩阵

空间太大,处理起来麻烦。分解成直和后,就可以先在小范围处理再逐步扩展到原空间。但是很多时候还得保证我们处理后的结果不会“溢出”,这就要求不变子空间。

典型用处就是线代里的矩阵对角化。常微分方程里一个用处是寻找线性微分方程组的通解,当然本质上还是矩阵对角化。

名词解释:

特征子空间:特征值对应的子空间

特征子空间(characteristic subspace)是一类重要的子空间,即对应于线性变换的一特征值的子空间。设V是域P上的线性空间,σ是V的一个线性变换,σ的对应于特征值λ₀的全体特征向量与零向量所成的集合。

不变子空间:线性变换不改变的子空间

不变子空间亦称稳定子空间,又称平凡子空间,与线性变换有关的一种子空间。设σ是数域P上线性空间V的线性变换,W是V的子空间,若对W中的任意一个向量α,σ(α)也属于W,则称W是σ的不变子空间或称σ子空间。σ的值域与核以及σ的特征子空间等都是σ的不变子空间,有限维的复线性空间的所有的线性变换都有一维不变子空间,有限维实线性空间的线性变换都有一维或二维不变子空间,特别地,奇数维的实线性空间的每一个线性变换都有一维的不变子空间。

线性映射的特征子空间全部都是该映射的不变子空间。

若当标准型就是不变子空间分解

像与核一定是不变子空间:

像:首先线性变换不能升维,三维空间中的任何向量变到另一个同等或更低维度的空间,一定属于三维空间
核:在向量或矩阵的加法下核即映为零向量的向量,也就是T(核中的向量)=T(ker(T))=0,0属于核中的向量组成的空间

如何找到更多的不变子空间,使不变子空间的“和”能覆盖全空间?

如果 AB=BA,那么ker(B)也会是A不变子空间!线性变换及矩阵可交换的性质与应用_高明
又: T ∗ f ( T ) = f ( T ) ∗ T → k e r ( f ( T ) ) 维 不 变 子 空 间 T*f(T)=f(T)*T\rightarrow ker(f(T))维不变子空间 Tf(T)=f(T)Tker(f(T))
思考: 有 没 有 k e r ( f ( T ) ) 对 应 原 空 间 ? 这 样 k e r ( f ( T ) ) 覆 盖 了 整 个 全 空 间 , 全 空 间 都 是 A 的 不 变 子 空 间 有没有ker(f(T))对应原空间?\\ 这样ker(f(T))覆盖了整个全空间,全空间都是A的不变子空间 ker(f(T))ker(f(T))A

哈密顿凯莱定理

使 f ( T ) = 0 的 λ 的 多 项 式 f ( λ ) 称 为 矩 阵 A 的 零 化 多 项 式 , n 阶 方 阵 T 的 特 征 多 项 式 为 T 的 一 个 零 化 多 项 式 使f(T)=0的λ的多项式f(λ)称为矩阵A的零化多项式,\\n阶方阵T的特征多项式为T的一个零化多项式 使fT=0λfλA,nTT

如何应用Hamilton-Caylay定理将线性空间V按特征值分解成不变子空间的直和?

数学中的不变子空间问题

这篇关于矩阵对应多项式?多项式?→从特征多项式和哈密顿凯莱定理开始的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1944

相关文章

HTML5 中的<button>标签用法和特征

《HTML5中的<button>标签用法和特征》在HTML5中,button标签用于定义一个可点击的按钮,它是创建交互式网页的重要元素之一,本文将深入解析HTML5中的button标签,详细介绍其属... 目录引言<button> 标签的基本用法<button> 标签的属性typevaluedisabled

C/C++中OpenCV 矩阵运算的实现

《C/C++中OpenCV矩阵运算的实现》本文主要介绍了C/C++中OpenCV矩阵运算的实现,包括基本算术运算(标量与矩阵)、矩阵乘法、转置、逆矩阵、行列式、迹、范数等操作,感兴趣的可以了解一下... 目录矩阵的创建与初始化创建矩阵访问矩阵元素基本的算术运算 ➕➖✖️➗矩阵与标量运算矩阵与矩阵运算 (逐元

mybatis的mapper对应的xml写法及配置详解

《mybatis的mapper对应的xml写法及配置详解》这篇文章给大家介绍mybatis的mapper对应的xml写法及配置详解,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,... 目录前置mapper 对应 XML 基础配置mapper 对应 xml 复杂配置Mapper 中的相

pytorch+torchvision+python版本对应及环境安装

《pytorch+torchvision+python版本对应及环境安装》本文主要介绍了pytorch+torchvision+python版本对应及环境安装,安装过程中需要注意Numpy版本的降级,... 目录一、版本对应二、安装命令(pip)1. 版本2. 安装全过程3. 命令相关解释参考文章一、版本对

Python重命名文件并移动到对应文件夹

《Python重命名文件并移动到对应文件夹》在日常的文件管理和处理过程中,我们可能会遇到需要将文件整理到不同文件夹中的需求,下面我们就来看看如何使用Python实现重命名文件并移动到对应文件夹吧... 目录检查并删除空文件夹1. 基本需求2. 实现代码解析3. 代码解释4. 代码执行结果5. 总结方法补充在

MybatisGenerator文件生成不出对应文件的问题

《MybatisGenerator文件生成不出对应文件的问题》本文介绍了使用MybatisGenerator生成文件时遇到的问题及解决方法,主要步骤包括检查目标表是否存在、是否能连接到数据库、配置生成... 目录MyBATisGenerator 文件生成不出对应文件先在项目结构里引入“targetProje

uva 1342 欧拉定理(计算几何模板)

题意: 给几个点,把这几个点用直线连起来,求这些直线把平面分成了几个。 解析: 欧拉定理: 顶点数 + 面数 - 边数= 2。 代码: #include <iostream>#include <cstdio>#include <cstdlib>#include <algorithm>#include <cstring>#include <cmath>#inc

hdu 4565 推倒公式+矩阵快速幂

题意 求下式的值: Sn=⌈ (a+b√)n⌉%m S_n = \lceil\ (a + \sqrt{b}) ^ n \rceil\% m 其中: 0<a,m<215 0< a, m < 2^{15} 0<b,n<231 0 < b, n < 2^{31} (a−1)2<b<a2 (a-1)^2< b < a^2 解析 令: An=(a+b√)n A_n = (a +

hdu 6198 dfs枚举找规律+矩阵乘法

number number number Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others) Problem Description We define a sequence  F : ⋅   F0=0,F1=1 ; ⋅   Fn=Fn

OmniGlue论文详解(特征匹配)

OmniGlue论文详解(特征匹配) 摘要1. 引言2. 相关工作2.1. 广义局部特征匹配2.2. 稀疏可学习匹配2.3. 半稠密可学习匹配2.4. 与其他图像表示匹配 3. OmniGlue3.1. 模型概述3.2. OmniGlue 细节3.2.1. 特征提取3.2.2. 利用DINOv2构建图形。3.2.3. 信息传播与新的指导3.2.4. 匹配层和损失函数3.2.5. 与Super