|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 非 ： [ひ] 1. (adj-na,n,pref) faulty- 2. non- ・ 和 ： [わ] 【名詞】 1. (1) sum 2. (2) harmony 3. peace
集合論において、集合の族の直和 (direct sum) は、以下の緊密に関連した二種類の概念を指して用いられる。 * 識別された和 (discriminated union): 通常の合併の操作を少し改変して、合併に属する元がもともとどの集合に入っていたか識別することができるようにしたもの。 * 交わりを持たない和 (disjoint union): その族に属する部分集合のどの二つも互いに素 (pairwise disjoint) であるときの、通常の合併。 前者は識別のための補助的な添字を付与することで各集合は互いに素となるから後者の意味での直和でもあり、前者のことも非交和と呼ぶ場合もある。これらをともに「直和」と呼ぶのは直積の双対であることを示すもので、圏論の言葉で言えばにおける圏論的直和（これは同型を除いて一意に定まる）の普遍性を上記の二つはともに満たす。 本項においては主に前者について扱い、それを非交和と呼称する。 == 定義 == 正式には、 を ''I'' で添え字づけられたとする。この族の非交和 (disjoint union) は集合 : である。非交和の元は順序対 (''x'', ''i'') である。ここで ''i'' はどの ''A''''i'' から元 ''x'' が来たかを指し示す補助的な添え字として働く。 集合 ''A''''i'' の各々は自然に集合 : に同型である。この同型を通して、''A''''i'' は自然に非交和に埋め込まれていると考えることができる。 ''i'' ≠ ''j'' に対して、集合 ''A''''i'' * と ''A''''j'' * とは集合 ''A''''i'' と ''A''''j'' とが互いに素でないときでさえ互いに素である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「非交和」の詳細全文を読む スポンサード リンク
|