實位拓展定理是數學名詞，
基本介紹
- 中文名：實位拓展定理
- 外文名：theorem on extensions of realplaces
實位拓展定理，關於實位拓展的命題.即給出了一個域上的實位在某個實閉包上可以拓展的充分必要條件，同時肯定了拓展的惟一性.定理的存在部分首先由蘭(Lang , S.)獲得，其後，克魯布希(Knebusch , M.)等人簡化了蘭的原來證明，同時增添了定理的惟一性部分.該定理敘述如下:若幾是域F的一個實位，R是F的一個實閉包，則幾可以拓展為R上的一個實位，若且唯若幾與R的惟一序在F上的限制是相容的;並且在條件滿足的情況下，幾在R上的拓展是惟一的.
