直和

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

直和(ちょくわ、: direct sumdisjoint union)とは、複数の集合、また(特に代数的構造の入った)集合をぴったり貼り合わせてできる新たな集合のことをいう。

直和を表すのに用いられる記号には

 \oplus, \coprod

などがある。後者の記号は直積のそれによく似ているが、後述するように直和と直積には深い関連があり、特にある種の代数的構造を持つ集合の直和と直積は有限個のものの間では同じになる。

集合の直和[編集]

集合の直和: disjoint union、非交和)とは、互いに交わらない、つまり共通部分空集合であるような二つの集合の和集合を表す。二つ以上の集合の直和も同様に定義できる。たとえば、ある位相空間の部分集合の、内部境界と外部の和は直和になっている。

形式的に、(必ずしも共通部分が空ではない)二つの集合 A, B の直和は次のように与えられる:AB に属さない記号、たとえば * を付加した集合 A* = A × {*}, B* = {*} × B を考えてやると、二つの埋め込み

A \hookrightarrow A^*;\, a \mapsto (a,*),
B \hookrightarrow B^*;\, b \mapsto (*,b)

が得られて、A*B* には共通部分がなくなる。このときの和集合 A*B* のことを AB の直和という(上の埋め込みは全単射であり、誤解のおそれのない場合には A*A, B*B はそれぞれ同一視して区別しない)。今の場合、構成した直和は直積 A* × B* の部分集合である。

線型空間の直和[編集]

ベクトル空間の直和: direct sum)とは、共通部分の自明なベクトル空間の和である。

ベクトル空間 W1, …, Wn の集合としての直積に対して、和とスカラー倍を成分ごとに与えたベクトル空間 W のことを W1, …, Wn の(外部)直和という。これを W = W1 ⊕ … ⊕ Wn と表す。

またベクトル空間 Vn 個の部分空間 W1, …, Wn

 W_i \cap \sum_{i \neq j} W_j = \{ 0 \}

を満たすとき、部分空間 W = W1 + … + Wn を部分空間 W1, …, Wn の(内部)直和という。直和であることを明示するためにしばしば W = W1 ⊕ … ⊕ Wn と表される。内部直和は外部直和と同型である。

W1 ⊕ … ⊕ Wn のベクトルは W1, …, Wn のベクトルの和として一意的に表すことができ、その次元はそれぞれの次元の和に等しい。

必ずしも有限個でない場合の直和は、次の加群の直和の定義に従う。

加群の直和[編集]

任意個の加群 {Mi}iI に対して、それらの直積

\prod_{i \in I} M_i

に含まれる元のうち(これが空でないことは選択公理を要さない)、その成分が有限個のものを除いてすべて単位元であるようなもの の集合を考える(制限直積)。元の間に演算を (xi)iI + (yi)iI = (xi + yi)iI, 環の作用を a(xi)iI = (axi)iIa は環の元)で与えると、この集合は加群になる。これを加群 {Mi}iI の直和と呼ぶ。なお、この定義から作用を無視すれば自然にアーベル群の直和が得られる。

ある加群の任意の元が部分加群 {Mi} の元の有限の和として一意的に書き表せるとき、この加群は {Mi} の直和と同型になる。直和はこのようにして構造的に定義することもできる。これに対して既に述べたような定義を構成的ということもある。

ベクトル空間と同じように、直和加群の長さはそれぞれの加群の長さ(またはアーベル群のランク)の和になる。

圏論的直和[編集]

圏論における直和: coproduct、双対直積)とは、直積 (product) の双対概念で、次の普遍性を持つ対象 A のことである:

対象の族 {Aλ}λ∈Λ を考える。対象 A と射 iλ: AλA が存在して、任意の対象 X と写像 fλ: AλX に対し、

f_\lambda = f \circ i_\lambda

を満たす f: AX がただ一つ存在する。

集合の圏では、この圏論的定義でいう直積・直和と、上で述べた 「集合の直積・直和」 の概念は一致する。ところが、一般にはそうはならない。たとえば、単位元を持つ可換の圏における直和とは 「環のテンソル積」 であって、上で述べた 「環の直和」 は圏論的には直積である。また、群の圏における直和は 「群の自由積英語版」 と呼ばれるものである。あるいは、アーベル群の圏においては、直和は「制限直積」であり直積は「直積」であるから、この場合は、有限個の対象に対する直積と直和は同じ対象を定める。これは環上の加群の圏においても同様である。

関連項目[編集]