序域實閉包(real closurof an ordered field)一個類似於代數閉包的重粵概念.設(F,>)是一個序域.所謂(F,>)的實閉包是指一個滿足下列條件的擴張R;1.R是實閉的.2關於R的惟一的序>, (R, >)是(F, >)的代數局擴張.對於任何一個序域(F,>),它的實閉包是不在的.設戶是F的代數閉包.在戶中,(F,>)的二體序擴張成一歸納集,因此有極大元存在.這種極少元就是(F,>)的實閉包.在序域的實閉包之間,不在某種意義下的惟一性,它可由阿廷一施賴埃爾定衛給出.
高層序域的實閉包(real closure of an ordered field of higher level)是指序域的實閉包在高層序域上的推廣。這類實閉包保留普通實閉包的一些特性,但在某些方面...
序域實閉包(real closurof an ordered field)一個類似於代數閉包的重粵概念.設(F,>)是一個序域.所謂(F,>)的實閉包是指一個滿足下列條件的擴張R;1.R是...
序閉包(order closure)是序域中實閉包概念在實域上的推廣。實域的序閉包總是存在的。此外,一個實域的任何一個序閉包都是畢達哥拉斯域。...
),則稱 是形式實的。每個有序域都是形式實域;形式實的定義本身不涉及序結構,但藉由實閉包的存在性可證明每個形式實域皆帶序結構。實...
《實域論》是2003年12月科學出版社出版的圖書,作者是曾廣興。...... 1·5序空間 第二章 實閉域與序域的實閉包 2·1實閉域 2·2實閉域的另一刻畫 2·3...
阿廷-施賴埃爾定理(Artin-Schreier theorem )序域實閉包的序同構性定理.對於任何一個序域(F,>),它所有的實閉包都是互為序同構的,換言之,除序同構不計外,序...
n畢達哥拉斯域(n-Pythagorean field)高層畢達哥拉斯域.它是出自於對域元素的2n次冪所組成的集合的加法封閉性的考慮.設n為一自然數一個實域F稱為n畢達哥拉...
麥克納給出了如下的重要結果:一個序域(F, >)具有弱希爾伯特性質,若且唯若F在它關於序>的實閉包中稠密.20世紀80年代以後,有關的概念推廣到亞序域上,並獲得...