半代数集合とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 半代数集合の意味・解説 

半代数集合

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/10/09 07:47 UTC 版)

数学において,半代数集合(semialgebraic set)は有限個の多項式の等式,あるいは不等式の合併として定義されている.また関連して,半代数関数は半代数的なグラフをもつ関数である.このような集合や関数は,実数における代数幾何の適切な枠組みである実代数幾何学において主要な研究題材となっている.

定義

を実閉体とする.(例えば は実数体 とすることができる) の部分集合 が半代数集合であるとは,有限個の多項式の等式,あるいは不等式の合併であることをいう.すなわち や { のような集合の合併で表せる集合である.

性質

代数多様体と同じように,有限個の半代数集合の交叉及び合併はまた,半代数集合である.また,代数多様体とは異なり半代数集合の補集合はまた半代数集合となる.さらに,最も重要なこととしてTarski–Seidenberg theoremは射影作用素の下でも閉性を持つと主張している.言い換えれば,半代数集合は線形部分空間上に射影することで,また他の半代数集合を導くのである.これらの性質は,半代数集合はR上のo-minimal structureをなすことを意味する.

半代数集合及び関数が部分環 上で定義されているとは,Aの係数のみによって作られた多項式によって半代数集合の定義が表現できることをいう.

半代数集合 の稠密開集合は,局所的に部分多様体である.また の次数は,各点における部分多様体の最大次数として定義することができる.代数多様体と同じ次元を持つことを見るのは難しくない.

関連項目

  • Łojasiewicz inequality
  • Existential theory of the reals
  • Subanalytic set
  • piecewise algebraic space

参考文献

外部リンク




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  
  •  半代数集合のページへのリンク

辞書ショートカット

すべての辞書の索引

「半代数集合」の関連用語

1
定義可能集合 百科事典
8% |||||

半代数集合のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



半代数集合のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの半代数集合 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS