AI 中文总结
本文从第一性原理推导西尔维斯特定理，将其应用于大型矩阵分解，生成线性代数方程和一阶线性常微分方程的精确简约系统，面向高年级本科生课程。
AI 中文摘要
大型线性方程组的有效自由度往往远少于其环境维度所暗示的数量。当大型矩阵分解为A = TSW时会出现一个特别清晰的实例，其中T为m×n矩阵，S为n×n矩阵，W为n×m矩阵，且m >> n。此时A的作用通过一个n维中间空间传递。西尔维斯特定理将乘积XY的非零特征值与逆乘积YX的非零特征值关联起来，循环应用该定理可证明，大型矩阵A的非零谱完全由小型矩阵B = (WT)S或C = S(WT)中的任意一个决定。本文从第一性原理出发推导该定理，并解释该分解背后的几何原理。该结果可生成精确的简约系统，既适用于线性代数方程，也适用于一阶线性常微分方程。通过详细示例展示了该方法的应用：谱简约、全空间特征向量的重构、移位系统的简约求解，以及通过二维模型对三维常微分方程的精确积分。单独一节讨论奇异值，A、B和C的奇异值通常不一致，但当基为标准正交基时一致，此情形下将该定理应用于A*A即可解决。最后几节将精确分解与基于投影的近似分离，并指出该定理未确定的内容：零特征值结构、条件数及瞬态行为。该材料是经典内容，本文新增的是从第一性原理到定理极限的连贯推导，面向高年级本科生课程。
英文摘要
Large systems of linear equations often contain far fewer active degrees of freedom than their ambient dimension suggests. A particularly transparent instance occurs when a large matrix factors as A = TSW, where T is m x n, S is n x n, and W is n x m, and m >> n. The action of A then passes through an n-dimensional intermediate space. Sylvester's theorem relates the nonzero eigenvalues of a product XY to those of the reversed product YX. Applied cyclically, it shows that the nonzero spectrum of the large matrix A is completely determined by either of the small matrices B = (WT)S, C = S(WT). This article develops the theorem from first principles and explains the geometry behind the factorization. The result yields exact reduced systems, both for linear algebraic equations and for first-order linear ordinary differential equations. Worked examples carry this through in detail: spectral reduction, reconstruction of full-space eigenvectors, reduced solution of shifted systems, and exact integration of a three-dimensional ODE through a two-dimensional model. A separate section takes up singular values. Those of A, B, and C do not agree in general, though they do when the bases are orthonormal, a case the same theorem settles once it is applied to A*A. The closing sections separate exact factorization from projection-based approximation, and flag what the theorem leaves undetermined: zero-eigenvalue structure, conditioning, and transient behavior. The material is classical. What this article adds is one continuous development, from first principles through to the limits of the theorem, pitched for an upper-level undergraduate course.
Comments36 pages, 3 figures, 15 exercises with selected solutions. Lecture notes for an upper-level undergraduate course in numerical analysis
