若尔当分解定理-若尔当分解定理

那些看不见的手，实际上都在动手做数学题 你坐在那儿刷题，盯着屏幕上的黑字发呆，突然认定脑子像被塞进了一团浆糊，记不住公式，想不起定理。
这时候，要是你只是认定“这东西真晦涩”，那你可能一辈子学不会它。出于数学不是靠死记硬背来的，它是靠一点点“暴力降维”把难题打散的。 想象一下，你想把一团乱麻的线头理顺，最笨的办法是拿着剪刀一把剪断。数学里的降维，就是拿那把“暴力剪刀”，把算子、把矩阵、把那些让人晕头转向的泛函，一个个地剪成一个个明确的、低维的块。 比如，你想算一个庞大的积分，要么解一个复杂的线性方程组，这时候你就会想起那个著名的“对角化”套路。
要是你手头有那个神仙级的大矩阵 $A$，你直接求它的特征值，算出特征向量，把它们拼凑起来，就能瞬间把 $A$ 变阵了。变乱了，乘法就好办了；变好办了，矩阵运算就像加减乘除一样顺溜。在这个过程中，你可能需求算几百个特征值，做几百次矩阵乘法。
这时候你就会认定，原来这堆令人望而却步的矩阵，不过是几千个好办数字的堆砌。 实际上，数学界早就把这种“降维打击”用光了。
那会儿毕达哥拉斯学派认定万物由数字构成，后来牛顿和莱布尼茨把微积分从物理中剥离出来，再把偏微分方程这一大串理论直接列出来，让人类文明瞬间提升了一个量级。目前，有人把这套理论又拿去对付更复杂的对象，比如量子力学里的算符，要么那个被叫作“降维”的数学对象——抽象代数里的群。 你看，一个群 $G$，它看起来像一个变形的集合，里面的元素如何算如何黑，如何跟其他群搞混。但一旦你用同态 $phi: G to H$ 把它映射到另一个群 $H$ 里，难题就迎刃而解了。你只需求算 $H$ 里的东西，算完了再拉回来，就像把大包围圈套进一个小圆里，难题就解出来了。
这种“借力打力”的法子，在数学里叫“降维”，它让人类文明飞速迭代，从研究具体的数，到研究数的性质，再到研究数的结构。 再比如，你想解那个著名的“高斯消元法”，看着矩阵上的数字，简直是灾难。
这时候，你只需求做一件事：把矩阵变成上三角矩阵。一旦变成了上三角，你只需求按顺序解方程，前面的变量直接省了，后面的变量只依赖前面的值。
这原本要算几百行几十列的复杂运算，瞬间就变成了一连串好办的除法。
这就是降维：把二维的难题，降成了四维的线性系统。 并且，你还能够持续降。
要是你发现这个四维系统还是忒大，如何办？那就把它拆开。拆成两个两个的，再拆成四个四个的。
这时候，四个变量的方程组就变得挺好办了：四个方程，四个未知数，每个方程的系数都是常数，彻底解耦了。
这时候的人就高兴了，出于他们终于把大难题变成了小难题，变成了能省事解决的琐事。 这种“分层法”在计算几何里用得还不少。
比如你想算一个多面体的体积，直接积分忒费事了。
那就把它切开，切成无数个小的立方体，然后加起来。
这时候，你只需求处理一维的和二维的和，就连一维的和一维的和。
原本复杂的三维空间难题，瞬间变成了好办的坐标计算。 就连到了代数几何的尽头，这种降维思维也无处不在。你面对一个费马曲线 $y^2 = x^3 + ax + b$，这看起来像个不可解的庞然大物。但你只要找一下它所有的有理点，再把它们从有理数域“降”到系数为 1 的域里，最终再降回整数系数，你就能用计算机暴力算出所有点。别看这听起来有点荒谬，但这就是数学家的思维：先降维，再暴力求解。 你可能会问，这有啥好笑的？实际上，这没啥好笑的，这是人类思维模式的一种极致体现。我们一直喜爱从宏观的、整体的视角去观察难题，认定这忒难了，然后试图找到一条捷径，把它拆解成一个个小难题去解决。 在这个意义上，降维不是数学家的专利，而是所有高级思维者的本能。从毕达哥拉斯到现代量子物理，从几何学到代数不等式，人类文明之故此能持续发展，就是出于我们将那些看似不可解的“高维”难题，一次次地降维打击，变成了一个个能够动手操作的、低维的模型。 你不需求再恐惧那些复杂的算子和矩阵了。
只要你愿意去拆解，去寻找那些内部的“低维”结构，你就能看到数学世界里隐藏的手。
那些手，实际上都在手里，它们正在一点点地，把那些原本庞大的、复杂的、让人头疼的数学难题，拆解成你看得懂的、能省事解决的块。
这就是降维，它不是魔法，而是一场场必要的、残酷的胜利。