束論の重要概念とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 束論の重要概念の意味・解説 

束論の重要概念

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

束 (束論)」の記事における「束論の重要概念」の解説

以下、束論において重要な順序集合論的概念いくつか定義する。以下、x はある束 L の元を表すものとし、L が最小元 0 を持つ場合には x ≠ 0 であることも要求することがある。 x が 結び既約元 (Join irreducible) であるとは、x = a ∨ b ならば x = a または x = b が L の各元 a, b について成り立つことをいう。 この最初条件任意個の結び ∨ a i {\displaystyle \lor a_{i}} に一般化した場合は x は完全結び既約 (completely join irreducible or ∨-irreducible) であるという。結び既約性の双対概念交わり既約性 (meet irreducibility or ∧-irreducible) である。 結び素元 (Join prime) であるとは x ≤ a ∨ b ならば x ≤ a または x ≤ b が成り立つことをいう。 これも同様に一般化して完全結び素元 (completely join prime) の概念得られる結び素元双対概念交わり素元 (meet prime) である。任意の結び素元は結び既約であり、任意の交わり素元交わり既約である。逆は、L が分配的ならば正しい。 束 L が最小元 0 を持つとし、L のある元 x が分解不能元(英語版)(あるいは原子元)であるとは、0 < x かつ 0 < y < x となるような L の元 y が存在しないことをいう。さらに束 L が 原子的あるいは分解不能英語版) (Atomic) であるとは、L の最小元 0 と異な任意の元 x に対して、a ≤ x となるような L の分解不能元 a が存在するときに言う。 原子論的 (Atomistic) であるとは、L の任意の元が分解不能の上限として得られるときに言う。すなわち、L の a ≰ b {\displaystyle a\nleq b} なる任意の元 a, b に対して x ≤ a かつ x ≰ b {\displaystyle x\nleq b} となるような L の分解不能元 x が存在する任意の半順序集合に対して互いに双対イデアル英語版)およびフィルター概念ある種部分集合族として考えることができるが、もちろん半順序集合である束の理論においてもそれはやはり重要な概念であるが、詳細それぞれの項に譲る。

※この「束論の重要概念」の解説は、「束 (束論)」の解説の一部です。
「束論の重要概念」を含む「束 (束論)」の記事については、「束 (束論)」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「束論の重要概念」の関連用語

束論の重要概念のお隣キーワード
検索ランキング

   

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



束論の重要概念のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの束 (束論) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS