7.3 双中心化子定理 � 定定定理理理 7.7 (双中心化子). 设 A是任一给定的方阵,如果方阵 C和每一个与 A可交换 的方阵都可交换,则 C可以表示为 A的多项式。 证明. 首先把 A, C都看成某个向量空间上的线性变换,如果结论成立的话,显然下面 的条件是必须满足的: 引引引理理理 7.8. A的不变子空间直和分解必定也是 C的不变子空间直和分解。 引理的证明:设 V在 A的作用下分解为不变子空间的直和 V = V1 ⊕ · · · ⊕ Vr,P是从 V 到 Vi 上的投影,则有 AP = PA,那么根据已知有 CP = PC,所以 Vi 也是 C的不 变子空间,引理得证。 我们还是来考虑 V 在 A的作用下的循环子空间分解 V = {v1} ⊕ {v2} ⊕ · · · ⊕ {vr}. 这里的 v1, . . ., vr 满足的条件仍然与定理 7.1中一致。由于 C在每个 {vi}上的限制与 A交换,所以立刻想到用上定理 7.5的结论:C在子空间 {vi}上可以表示为 A的多项 式 C = gi(A)。问题是这些 gi(x)相等吗?如果是同一个多项式那问题就解决了,但是 这个不那么显然,所以得分析的再细一点。我们回忆前面证过的结论(参考引理 7.4) 引引引理理理 7.9. 对任何 i > 1,存在与 A交换的变换 B使得 Bv1 = vi。(道理是一样一样的) 现在是它派上用场的时候了。我们有 v1 B−−−−→ vi C−−−−→ gi(A)vi, v1 C−−−−→ g1(A)v1 B−−−−→ g1(A)vi. 由于 CB = BC 所以两条路径的结果应该是一样的,也就是 gi(A)vi = g1(A)vi。再 强调一遍:循环空间上一个与 A 交换的变换由它在生成元处的值完全决定,所以 gi(A) 和 g1(A) 在 {vi} 上相同,所以我们可以统一用 g1(x) 来代替所有的 gi(x),即 C = g1(A)。 这个定理的意义就是在环Matn(F)中,对矩阵 A生成的子环 R求两次中心化子 以后又得到了 R,所以叫做双中心化子定理。双中心化子性质是单代数的核心性质, 在结合代数理论中会经常见到它。 29
2025-03-30 11:39:32 1.17MB
1
R语言的使用指南手册_r-guide
2024-11-06 13:32:42 17KB
1
EWARM_DevelopmentGuide.ENU
2024-05-22 14:06:46 7.39MB IAR
1
CODESYS基础编程及应用指南
2024-04-11 10:13:54 16.07MB CODESYS
1
客户自助实施式项目实施指南手册0822.pdf
1
Lenovo Storage V3700 V2 和 V5030 快速安装指南手册
2022-10-17 14:00:52 2.87MB 储存器
1
建议替代机型”列出了FX3U以及连接可能的机型,一对一的用iQ-F系列时的可连接型号。根据使用状况和系统构成(扩展模块的连接状况),以及在实际使用的I/O点数少等情况下,相比所记载的“建议替代机型”,其他机型可能更适合用于替换。 • 在扩展模块、功能扩展板和内置电池等的建议替代机型中,记载了可连接FX5U CPU模块的产品。 • 进行各机型的替代作业时,需要特别注意的内容被记为“特别记载事项”,但在很多建议替代机型中,“特别记载事项”以 外的各规格也可能存在差异,如尺寸小于当前机型,因此针对使用进行讨论时,不仅是“特别记载事项”的记载内容,也请 阅读手册确认尺寸和电源规格等各种规格的详细内容。 • 根据上述内容,没有建议替代机型时,记为“无建议替代机型”,但根据用途和系统构成,用FX5U的系统构成有可能实现替 代。请确认必要的功能和特点,讨论可否使用FX5U的系统构成替代。
2022-08-04 18:08:32 3.54MB 三菱FX5U 三菱FX3U 三菱PLC升级
1
F5 irule编程指南手册,包括条件、动作,以及如何触发irule脚本环境等等内容
2022-06-07 15:50:26 2.2MB F5 irule编程指南手册
1
NRF52832开发指南上下两册
2022-03-30 11:07:57 35.37MB NRF52832开发指南手册上下
1
SIMATIC HMI WinCC V7.3 WinCC/IndustrialDataBridge 入门指南[手册]pdf,
2022-02-26 11:46:37 1.62MB 说明书
1