矩阵的对角化互动演示
若矩阵有足够多线性无关的特征向量,就可以以它们为基底,把复杂的线性变换看成沿各坐标轴的单纯伸缩,这就是对角化。本演示展示换基前后同一变换的不同表示,并说明对角化如何简化矩阵幂的计算。
在实验室中查看
实验目的
理解矩阵对角化的条件、几何意义及 A = PDP⁻¹ 的含义。
实验原理
n 阶矩阵 A 可对角化的充要条件是 A 有 n 个线性无关的特征向量。把这些特征向量作为列组成 P,对应特征值放在对角线上组成 D,则 A = PDP⁻¹。于是 Aᵏ = P Dᵏ P⁻¹,而 Dᵏ 只需对对角线元素取 k 次幂。实对称矩阵一定可以正交对角化。
实验器材
- 标准坐标系中的网格与图形
- 以特征向量为轴的新坐标系
- 矩阵 A、P、D 的数值显示
- 可调整的矩阵元素
- 矩阵幂 Aᵏ 的结果显示
实验步骤
- 选定一个矩阵 A,观察它在标准坐标系中的变换效果。
- 显示 A 的特征向量,把它们作为新的坐标轴。
- 切换到新坐标系,观察变换变为沿两轴的伸缩。
- 对照读出 P 和 D,验证 A = PDP⁻¹。
- 增大幂次 k,比较 Aᵏ 与 P Dᵏ P⁻¹ 的结果。
- 换成特征向量不足的矩阵,观察无法对角化的情形。
实验现象与结论
在特征向量构成的坐标系下,变换只沿各轴按特征值伸缩,矩阵为对角矩阵。用 Dᵏ 计算矩阵幂十分简便。若特征向量个数不足(如 [[1,1],[0,1]]),则无法对角化。结论:可对角化取决于线性无关特征向量的个数。
常见问题
- 有重特征值的矩阵一定不能对角化吗?
- 不一定。只要该特征值对应的线性无关特征向量个数等于其重数即可对角化。
- 对角化有什么用?
- 可以方便地计算矩阵的高次幂,也常用于求解线性微分方程组和递推数列。
同一课题的其他实验 · 特征值
特征向量与特征值互动演示拖动向量并观察变换前后方向,找出变换后仍与原向量共线的特征向量,读出对应的特征值。
二次型与椭圆互动演示改变对称矩阵的元素,观察二次型 x^T A x = 1 的曲线形状,由特征值和特征向量确定…
大学数学热门实验
复数的模与辐角在复平面上拖动复数对应的点,观察模 |z| 与辐角 θ 如何随点的位置变化,并理解复数的三…
复数乘法:旋转与伸缩拖动两个复数,观察它们的乘积在复平面上的位置:模相乘、辐角相加,对应一次伸缩加一次旋转。
乘以 i 就是转 90°拖动复数点 z,观察 z 乘以虚数单位 i 后得到的点如何绕原点逆时针旋转 90°,并验证…
单位圆上的 e^(iθ)改变角度 θ,观察 e^(iθ) 在复平面单位圆上的位置,理解 e^(iθ)=cosθ+i…
复指数螺旋与正弦、余弦投影观察复指数函数 e^((a+bi)t) 在复平面上的轨迹,及其在实轴、虚轴上的投影如何得到…
从泰勒级数推出欧拉公式把 e^x、sin x、cos x 的泰勒级数对照,令 x=iθ,观察级数项如何分成实部与…
用极限(1+iθ/n)ⁿ理解欧拉公式改变θ和n,观察复数(1+iθ/n)ⁿ在复平面上的位置如何随n增大而趋近单位圆上辐角为θ的…
欧拉恒等式 e^(iπ)+1=0 演示让θ从0增大到π,观察 e^(iθ) 沿单位圆从1转到−1,从几何上理解欧拉恒等式 e^(…
相关搜索:矩阵对角化 · 矩阵对角化条件 · A=PDP^-1 · 矩阵的幂怎么算 · 相似对角化 · 实对称矩阵正交对角化 · 矩阵的对角化互动课件 · 矩阵的对角化虚拟仿真实验