Real Closed Field

定义 Definition

实闭域：一种有序域 \(F\)，满足两条关键性质：

1. \(F\) 不是代数闭域，但
2. 它的代数闭包等于 \(F(i)\)（加入虚数单位 \(i=\sqrt{-1}\) 后就变成代数闭域）。
   等价刻画还包括：在该域中每个正元素都有平方根，并且每个奇次数多项式都有根。
   （该术语主要用于实代数、模型论与有序域理论。）

发音 Pronunciation (IPA)

/ˈrɪəl kloʊzd fiːld/

例句 Examples

A real closed field extends the real numbers while preserving an order.
实闭域在保持“可比较大小”的顺序结构的同时，对实数域进行推广。

In real algebraic geometry, many arguments work over any real closed field, not only over \(\mathbb{R}\).
在实代数几何中，许多论证对任意实闭域都成立，并不只局限于实数域 \(\mathbb{R}\)。

词源与构词 Etymology

该短语由三部分构成：real（实的/与“有序”相关）+ closed（闭的/完备到某种意义）+ field（域）。这里的“closed（闭）”并非拓扑意义的“闭集”，而是指在“实数式”的代数性质上已达到一种不能再扩充而仍保持同类性质的状态：再向外做代数扩张就会破坏“实”这一有序特征，除非加入 \(i\) 进入复方向，从而得到代数闭包。

相关词 Related Words

• Algebraically Closed Field
• Ordered Field
• Real Algebraic Geometry
• Algebraic Closure
• Real Closed Extension
• Tarski–Seidenberg Theorem
• Quantifier Elimination
• Real Spectrum

文学与著作中的用例 Literary Works

• Emil Artin, Galois Theory（常在讨论“实闭域/实封闭”与域扩张时出现）
• Serge Lang, Algebra（在有序域、实闭域与代数闭包相关章节中出现）
• David Marker, Model Theory: An Introduction（用于讲解实闭域的量词消去等模型论结果）
• Bochnak, Coste, Roy, Real Algebraic Geometry（实代数几何的核心基础术语之一）