既約成分とは? わかりやすく解説

既約成分

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/03/25 09:25 UTC 版)

ナビゲーションに移動 検索に移動

数学、とりわけ代数幾何学において、既約成分 (irreducible component) の概念は方程式 XY = 0 によって定義されるような集合は二本の直線 X = 0 と Y = 0 の和集合であるというアイデアを形式的にするために使われる。したがって空でない代数的集合 (algebraic set) が既約 (irreducible) であるとは、2つの真の代数的部分集合の和集合でないということである。次のことは古典的な代数幾何学の基本的な定理である。すべての代数的集合は有限個の既約代数的部分集合(多様体)の和集合であり、この分解はほかの部分集合に含まれるようなものをとり除けば一意的である[1]。この一意的な分解の元は既約成分 (irreducible component) と呼ばれる。

この概念はザリスキ位相(これは閉部分集合が部分多様体であるような位相である)という位相の用語を用いて再定式化することができる:代数的集合が既約であるとはそれがザリスキ位相で閉な2つの真の部分集合の和集合でないことである。これによってトポロジーにおける一般化ができ、それを通じて、有限分解の上記の性質が必ずしも正しくないような一般のスキームに一般化できる。

位相幾何学において

位相空間 X可約 (reducible) であるとは、それが X の2つの空でない真の部分集合 , の和集合 として書けるということである。位相空間が既約 (irreducible)(あるいは hyperconnected)であるとは、それが可約でないということである。同じことだが、X のすべての空でない開部分集合稠密である、あるいは任意の2つの空でない開集合は空でない共通部分をもつ。

位相空間 X の部分集合 F が既約あるいは可約であるとは、F相対位相 (subspace topology) によって位相空間と見たときに上記の意味での対応する性質をもつということである。つまり、 が可約であるとは、それが和集合 として書ける、ただし の閉部分集合でどちらも を含まない、ということである。

位相空間既約成分 (irreducible component) は極大既約部分集合である。ある部分集合が既約なら、その閉包も既約であり、したがって既約成分は閉集合である。

代数幾何学において

すべてのアフィンあるいは射影代数的集合多項式環イデアルの零点集合として定義される。この場合、既約成分は極小素イデアルに対応する多様体である。分解の一意性と有限性を証明できるようにするのはこの同一視である。この分解はイデアルの準素分解と強く関係している。

一般のスキーム論、すべてのスキームは既約成分の和集合であるが、成分の数が有限であるとは限らない。しかしながら、「実際」上起こるたいていのケースでは、すなわちすべてのネータースキームに対しては、既約成分は有限個である。

既約性は集合の位相にかなり依存する。例えば、直感に反するかもしれないが、実数全体は通常の位相で可約である:2つの閉集合 (-∞,0] と [0,+∞) の和集合である。

既約成分の概念は代数幾何学において基本的であり、数学のこの分野の外ではめったに考えられない:代数的集合

X := { (x, y) | xy = 0 }

を考えよう。これは平面の部分集合である。ザリスキ位相について、その閉部分集合はそれ自身、空集合、一元集合x = 0 と y = 0 で定義される二本の直線である。したがって X は可約であり、二本の直線がその既約成分である。

これは(多様体 X が体 k 上定義されているとして)座標環 k[xy]/(xy) からも読み取ることができる。その極小素イデアルは (x) と (y) である。

脚注

参考文献

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目irreducibleの本文を含む この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Irreducible componentの本文を含む


既約成分

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/30 08:53 UTC 版)

既約位相空間」の記事における「既約成分」の解説

位相空間既約部分空間分解することを考える。位相空間 X の既約成分(irreducible component)とは包含関係極大な X の既約部分空間である。ツォルンの補題によって X の任意の点 x {\displaystyle x} を含む既約成分が存在することが分かるまた、極大性により既約成分が閉集合であることが容易にわかる。 ハウスドルフ空間場合には既約成分はシングルトン1つの元からなる集合)である。したがって既約空間概念ザリスキ位相のようなタイプ位相でしか役に立たないネーター的スキームにおいて、既約成分は有限個である。一般にすべてのネーター的位相空間の既約成分は有限個である。

※この「既約成分」の解説は、「既約位相空間」の解説の一部です。
「既約成分」を含む「既約位相空間」の記事については、「既約位相空間」の概要を参照ください。

ウィキペディア小見出し辞書の「既約成分」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「既約成分」の関連用語

既約成分のお隣キーワード
検索ランキング

   

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



既約成分のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの既約成分 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの既約位相空間 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS