目最 54.6 子空间 164 54.7 174 54.8商空间 179 第五章 线性变换···。· 182 55.1映射 182 55.2 线性映射 185 55.3 线性峡射的代数运算 192 55.4 与核 197 55.5 性 206 s5.6 210 557 215 特链 225 55.9 特狂值的 232 第六章Jordan标准形 238 661 提子间 。 238 6.2 243 963 252 260 565 的求法 269 275 287 第七章 29 57.1 291 572 301 57.3 线性与伴随变换 309 57.4 规范变换 316 57.5 正交夜换 326 57.6 自伴变换与制自 件发换 332 57.7正定对称方阵与短阵的奇值分解 339 57.8 方阵的正交相似 350 57.9一些例子···· 355 s7.10 Euclid空间的同构 364
⋅ IV ⋅ 目 录 ¹ §4.6 子空间 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 164 §4.7 直和 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 174 §4.8 商空间 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 179 第五章 线性变换 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 182 §5.1 映射 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 182 §5.2 线性映射 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 185 §5.3 线性映射的代数运算 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 192 §5.4 象与核 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 197 §5.5 线性变换 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 206 §5.6 不变子空间 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 210 §5.7 特征值与特征向量 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 215 §5.8 特征子空间 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 225 §5.9 特征值的界 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 232 第六章 Jordan 标准形 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 238 §6.1 根子空间 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 238 §6.2 循环子空间 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 243 §6.3 Jordan 标准形 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 252 §6.4 λ 矩阵的相抵 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 260 §6.5 Jordan 标准形的求法 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 269 §6.6 一些例子 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 275 §6.7 实方阵的实相似 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 287 第七章 Euclid 空间 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 291 §7.1 内积 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 291 §7.2 正交性 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 301 §7.3 线性函数与伴随变换 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 309 §7.4 规范变换 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 316 §7.5 正交变换 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 326 §7.6 自伴变换与斜自伴变换 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 332 §7.7 正定对称方阵与矩阵的奇异值分解 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 339 §7.8 方阵的正交相似 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 350 §7.9 一些例子 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 355 §7.10 Euclid 空间的同构 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 364 第八章 酉空间 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 367
w目录 s8.1 367 58.2 复方阵的酉相似··········.·.· 373 58.3 正定Hermite方阵与矩阵的奇异值分解 380 58.4 一些例子 383 第九章双线性函数·.的 .·.·388 59.1双线性函数 · 388 59.2 对称双线性函教与二次型 398 59.3斜对称双线性函数·, 48 59.4共轭双线性函数与Heme型 422 附录线性代数五拼 前言 .。 430 第一讲一些基本的代数结构·· 431 A11线性代数所研究的对象 431 A12主理想整环·········· 433 A1.3向量空间与线性变换 438 A1.4同构.等价、相似与相合····」 439 第二讲向量空间 。 442 A24基与矩阵表示· 442 A22A对偶空间· 445 A,3 双线性形式 448 A24内积空间 457 第三讲线性变换, 459 A3线性变换的矩阵表示 A3.2伴随第子 4 A3.3 463 第四讲主理想整环上的模及其分解·······.············。··· 469 A4.1环上的模的基本概念 469 A4.2主理想整环上的模···· 477 A4.3主理想整环上的有限生成模的分解定理 480
´ 目 录 ⋅ V ⋅ §8.1 酉空间的定义 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 367 §8.2 复方阵的酉相似 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 373 §8.3 正定 Hermite 方阵与矩阵的奇异值分解 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 380 §8.4 一些例子 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 383 第九章 双线性函数 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 388 §9.1 双线性函数 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 388 §9.2 对称双线性函数与二次型 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 398 §9.3 斜对称双线性函数 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 418 §9.4 共轭双线性函数与 Hermite 型 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 422 附 录 线 性 代 数 五 讲 前 言 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 430 第一讲 一些基本的代数结构 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 431 A1.1 线性代数所研究的对象 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 431 A1.2 主理想整环 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 433 A1.3 向量空间与线性变换 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 438 A1.4 同构、等价、相似与相合 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 439 第二讲 向量空间 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 442 A2.1 基与矩阵表示 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 442 A2.2 对偶空间 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 445 A2.3 双线性形式 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 448 A2.4 内积空间 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 457 第三讲 线性变换 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 459 A3.1 线性变换的矩阵表示 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 459 A3.2 伴随算子 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 461 A3.3 共轭算子 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 463 第四讲 主理想整环上的模及其分解 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 469 A4.1 环上的模的基本概念 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 469 A4.2 主理想整环上的模 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 477 A4.3 主理想整环上的有限生成模的分解定理 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 480
目录州 第五讲向量空间在线性算子下的分解 488 A5.1向量空间是主理想整环上的有限生成模 488 A5.2 向量空间的分解 491 A5.3特征多项式、特征值与特征向量 493 A5.4 Jordan标准形式·.- 496 A5.5 内积空间上算子 498 A5.6附 记 502 参考文献·· ··504
⋅ VI ⋅ 目 录 ¹ 第五讲 向量空间在线性算子下的分解 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 488 A5.1 向量空间是主理想整环上的有限生成模 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 488 A5.2 向量空间的分解 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 491 A5.3 特征多项式、特征值与特征向量 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 493 A5.4 Jordan 标准形式 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 496 A5.5 内积空间上算子的标准形式 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 498 A5.6 附 记 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 502 参考文献 ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ ⋅ 504
第一章 多项式 本章将介绍数城上的多项式理论.读者如 中的算基泰里选行比校,就可知 果有机会学习抽象代数中的环论的话,将 这定理的重要竞义 会对本章的内容有更深刘的理解 很据摊一析因定理,不可钓多项式的地位 么51.1从代数的观点定义了数环与数域即具 相当于整 数中素数的地位因此,自然需要 有加法与乘法两种运算且满足一定的运算 些方法来判定多项式的不可约性.51.5 规则的数的集合 说明复系女不可约多项式能是一次多 512给出了一元多项式环的定义,以及多项 项式,而实系教不可的多项式只能是一次 式的加法与乘法的基本性质.读者将会有 或次多项式 到,多项式有许多性质与整数相类似: 51.6给出了最有应用价值的判断整系数多 么513计论了多项式的整除性以及一组多项 项式不可约性的Eisenstein准则 式的最大公国式,这里的关镀是两个多项 式的辗转相除法, 51.8含本章的第生个主要定理 一对称多 54给出了本章的第一个主要定理 一析因定理,即每一个多项式都可以唯一 本对将多项式的式 地写成不可约多项式的乘积。读者把 它 §1.1 整数环与数域 迄今为止,我们已经接触到的数系有自然数系,整数系有理数系,实数系与复 数系。在这些数系中,都可以进行加法运算与乘法运算.警如自然数系中的加法 运算是指一个对应关系即对干任意一对自然数m与,按照加法,可以确定唯 一个自然数与它们对应这个自然数就是m与”的和m+:而自然数系中的乘法 运算也是一个对应关系,即对于任意一对自然数m有,按照乘法,可以确定唯 一个自然数与它们对应,这个自然数就是m与n的积m. 抽象地说,所谓集合3中的代数运算是指个对应关系,即对于集合S中任意 对元素a与b,按照这一对应关系,可以确定集合S中的唯 一个元素c与它们 对应.例如,复数的加,减,乘,除四则运算都是复数系中的代数运算。 一个集合引进了代数运算,这些代数运算往往具有某些性质.例如,整数系的 加法运算与乘法运算具有以下的性质: (A1)加法结合律
第一章 多 项 式 b 本章将介绍数域上的多项式理论.读者如 果有机会学习抽象代数中的环论的话,将 会对本章的内容有更深刻的理解. b §1.1 从代数的观点定义了数环与数域,即具 有加法与乘法两种运算且满足一定的运算 规则的数的集合. b §1.2 给出了一元多项式环的定义,以及多项 式的加法与乘法的基本性质.读者将会看 到,多项式有许多性质与整数相类似. b §1.3 讨论了多项式的整除性以及一组多项 式的最大公因式,这里的关键是两个多项 式的辗转相除法. b §1.4 给出了本章的第一个主要定理——唯 一析因定理,即每一个多项式都可以唯一 地写成不可约多项式的乘积.读者把它同 整数中的算术基本定理进行比较,就可知 道这一定理的重要意义. b 根据唯一析因定理,不可约多项式的地位 相当于整数中素数的地位.因此,自然需要 一些方法来判定多项式的不可约性.§1.5 说明了复系数不可约多项式只能是一次多 项式,而实系数不可约多项式只能是一次 或二次多项式. b §1.6 给出了最有应用价值的判断整系数多 项式不可约性的 Eisenstein 准则. b §1.7 把一元多项式推广为多元多项式. b §1.8 含本章的第二个主要定理——对称多 项式基本定理,即每一个对称多项式都是 基本对称多项式的多项式. §1.1 整数环与数域 迄今为止,我们已经接触到的数系有自然数系,整数系,有理数系,实数系与复 数系.在这些数系中,都可以进行加法运算与乘法运算.譬如,自然数系中的加法 运算是指一个对应关系,即对于任意一对自然数 m 与 n,按照加法,可以确定唯一 一个自然数与它们对应,这个自然数就是 m 与 n 的和 m + n;而自然数系中的乘法 运算也是一个对应关系,即对于任意一对自然数 m 与 n,按照乘法,可以确定唯一 一个自然数与它们对应,这个自然数就是 m 与 n 的积 mn. 抽象地说,所谓集合 S 中的代数运算是指一个对应关系,即对于集合 S 中任意 一对元素 a 与 b,按照这一对应关系,可以确定集合 S 中的唯一一个元素 c 与它们 对应.例如,复数的加,减,乘,除四则运算都是复数系中的代数运算. 一个集合引进了代数运算,这些代数运算往往具有某些性质.例如,整数系的 加法运算与乘法运算具有以下的性质: (A1) 加法结合律
2 第一章多项式州 (a+b)+c=a+(b+c): (A2)加法交换律 a+b=b+a; (A3)有整数0,它具有性质: at00ta=a (A4对每个整数a,总有负数a,使得 ar(d)=(a)+a0: (M1)乘法结合律 f(ab)ca(bc片 M2)乘法交换律 th ba: (M3)有整数1具有性质 al=la=a; D)加乘分配律 a(btc)=ab+ac. 其中a,b和c是任意整数 集合5的每种代数运算所适合的一些最基本的性质,以及不同代数运算之 间最基本的联系使构成了界定这些代数运算的公理.例如,上面提到的整数的加 法与乘法就适合结合律,交换律以及加乘分配律等。 把整数系连同加法与乘法运算的特性抽象化,便引出以下的定义 定义1,1.1在集合R中规定两种代数运算,一种称为加法运算,即对于集合 R中意可对元素。汽,按照加法运算,集会R中有唯一二个元素。十b与它们对 应,元素a+b称为与b的和。另一种称为乘法运算,即对于集合R中任意一对元 素a与,按照法运算,集合R中有唯一一个元素b与它们对应, 元素ab称为a 与b的积 并且,加法运算与乘法运算适合下列公理:对于R中任意元素a,5c,有 (A1)加法结合律 (atb)+c-a+(b-Oi (A2)加法交换律 (A3)存在零元素R中存在一个元素,它称为R的零元素,记作0,使得 a+0=0+a=a (A④存在负元素对于R中每个元素a,存在元素b,使得 a+b=b+a=0, 元素b称为元素a的负元素,记为-a;
⋅ 2 ⋅ 第一章 多 项 式 ¹ (a + b) + c = a + (b + c); (A2) 加法交换律 a + b = b + a; (A3) 有整数 ,它具有性质: a + = + a = a; (A4) 对每个整数 a,总有负数 −a,使得 a + (−a) = (−a) + a = ; (M1) 乘法结合律 (ab)c = a(bc); (M2) 乘法交换律 ab = ba; (M3) 有整数 ,它具有性质, a = a = a; (D) 加乘分配律 a(b + c) = ab + ac, 其中 a, b 和 c 是任意整数. 集合 S 的每一种代数运算所适合的一些最基本的性质,以及不同代数运算之 间最基本的联系便构成了界定这些代数运算的公理.例如,上面提到的整数的加 法与乘法就适合结合律,交换律以及加乘分配律等. 把整数系连同加法与乘法运算的特性抽象化,便引出以下的定义. 定义 1.1.1 在集合 R 中规定两种代数运算,一种称为加法运算,即对于集合 R 中任意一对元素 a 与 b,按照加法运算,集合 R 中有唯一一个元素 a + b 与它们对 应,元素 a + b 称为 a 与 b 的和.另一种称为乘法运算,即对于集合 R 中任意一对元 素 a 与 b,按照乘法运算,集合 R 中有唯一一个元素 ab 与它们对应,元素 ab 称为 a 与 b 的积. 并且,加法运算与乘法运算适合下列公理:对于 R 中任意元素 a, b 与 c,有 (A1) 加法结合律 (a + b) + c = a + (b + c); (A2) 加法交换律 a + b = b + a; (A3) 存在零元素 R 中存在一个元素,它称为 R 的零元素,记作 ,使得 a + = + a = a; (A4) 存在负元素 对于 R 中每个元素 a,存在元素 b,使得 a + b = b + a = , 元素 b 称为元素 a 的负元素,记为 −a;