非交和とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 非交和の意味・解説 

非交和

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/03/12 07:55 UTC 版)

集合論において集合の族の直和 (ちょくわ、: direct sum) あるいは非交和(ひこうわ、: disjoint union、discriminated union)は、以下の緊密に関連した二種類の概念を指して用いられる。

  • 識別された和:通常の合併の操作を少し改変して、合併に属する元がもともとどの集合に入っていたか識別することができるようにしたもの。
  • 交わりを持たない和:その族に属する部分集合のどの二つも互いに素であるときの、通常の合併

前者は識別のための補助的な添字を付与することで各集合は互いに素となるから後者の意味での直和でもあり、前者のことも非交和と呼ぶ場合もある。これらをともに「直和」と呼ぶのは直積の双対であることを示すもので、圏論の言葉で言えば集合の圏における圏論的直和(これは同型を除いて一意に定まる)の普遍性を上記の二つはともに満たす。

本項においては主に前者について扱い、それを非交和と呼称する。後者については和集合#定義を参照のこと。

定義

{Ai  |  iI}I で添え字づけられた集合族とする。この族の非交和は集合




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

辞書ショートカット

すべての辞書の索引

「非交和」の関連用語

非交和のお隣キーワード
検索ランキング

   

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



非交和のページの著作権
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