序域實閉包

序域實閉包(real closurof an ordered field)一個類似於代數閉包的重粵概念.設(F,>)是一個序域.所謂(F,>)的實閉包是指一個滿足下列條件的擴張R;1.R是實閉的.2關於R的惟一的序>, (R, >)是(F, >)的代數局擴張.對於任何一個序域(F,>),它的實閉包是不在的.設戶是F的代數閉包.在戶中,(F,>)的二體序擴張成一歸納集,因此有極大元存在.這種極少元就是(F,>)的實閉包.在序域的實閉包之間,不在某種意義下的惟一性,它可由阿廷一施賴埃爾定衛給出.

相關詞條

熱門詞條

聯絡我們