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 (么正等價)