主題
Search

半代數集

半代數集是 R^n 的子集，它是形如 的集合 {x^_=(x_1,...,x_n):f(x^_)>0} 和 {x^_:g(x^_)=0} 的集合的有限布林組合，其中 f 和 g 是關於實數的 x_1, ..., x_n 的多項式。

根據 塔斯基定理，實代數方程和不等式的量化系統的解集是一個半代數集 (Strzebonski 2000)。

另請參閱

塔斯基定理

使用 探索

參考文獻

Bierstone, E. and Milman, P. "Semialgebraic and Subanalytic Sets." IHES Pub. Math. 67, 5-42, 1988.Marker, D. "Model Theory and Exponentiation." Not. Amer. Math. Soc. 43, 753-759, 1996.Strzebonski, A. "Solving Algebraic Inequalities." Mathematica J. 7, 525-541, 2000.

在 中被引用

半代數集

請引用為

Weisstein, Eric W. "半代數集." 來自 Web 資源. https://mathworld.tw/SemialgebraicSet.html

主題分類