https://en.wikipedia.org/wiki/Algebraic_extension
这问题其实牵涉到实数不遵守代数封闭性的特性。
历史上在解多项式的实根解时,到高斯那里提出了代数基本定理的假设。之后
很多人尝试证明,但是都不够完美。后来到了20世纪,抽象代数这门新学问出现
,以及代数几何,发现到所谓“域扩张”(field extension)的概念。这有点类似
有限维向量空间经由外积(exterior algebra)的引入而得以拓展到无穷维。
简单说,乘数和被乘数能不能交换。我们从微分形来看。
d(XY) = XdY + Y dX = d(YX) 两边同除XY
d(XY) / XY = dY / Y + dX / X
e^Y = e^X
这意谓 X和Y 是 unitarily equivalent (么正等价)