最終更新日：2025/12/02
(mathematics) A theorem stating that a set in (n + 1)-dimensional space defined by polynomial equations and inequalities can be projected down onto n-dimensional space, and the resulting set is still definable in terms of polynomial identities and inequalities.
音声機能が動作しない場合はこちらをご確認ください
正解を見る
Tarski-Seidenberg theorem
編集履歴（0）
元となった辞書の項目
Tarski-Seidenberg theorem
固有名詞
日本語の意味
多項式方程式および不等式で定義される(n+1)次元空間の集合をn次元に射影しても、射影された集合が依然として多項式の等式や不等式で定義可能であるという数学の定理
