加群の直和のソースを表示

{{for|数学における用語のより広い使用|直和}}

[[抽象代数学]]における'''直和'''（ちょくわ、{{lang-en-short|direct sum}}）は、いくつかの[[環上の加群|加群]]を一つにまとめて新しい大きな加群にする構成である。加群の直和は、与えられた加群を「不必要な」制約なしに部分加群として含む最小の加群であり、[[余積]]の例である。[[双対性 (圏論)|双対]]概念である{{仮リンク|加群の直積|label=直積|en|direct product of modules}}と対照をなす。

この構成の最もよく知られた例は[[ベクトル空間]]（[[可換体|体]]上の加群）や[[アーベル群]]（[[整数]]環 '''Z''' 上の加群）を考えるときに起こる。構成は[[バナッハ空間]]や[[ヒルベルト空間]]をカバーするように拡張することもできる。

== ベクトル空間とアーベル群に対する構成 ==
まずこれら二つについて、対象が二つだけの場合と仮定して構成を与え、それからそれらを任意の加群の任意の族に一般化する。一般的な構成の重要な部分は、これら二つのケースを深く考えることによって、よりはっきり浮かび上がってくるだろう。

=== 2つのベクトル空間に対する構成 ===

''V'' と ''W'' を[[可換体|体]] ''K'' 上の[[ベクトル空間]]とする。[[カルテジアン積]] ''V'' × ''W'' に ''K'' 上のベクトル空間の構造を成分ごとに演算を定義することによって与えることができる {{harv|Halmos|1974|loc=§18}}： {{math|''v'', ''v''<sub>1</sub>, ''v''<sub>2</sub> ∈ ''V''}}, {{math|''w'', ''w''<sub>1</sub>, ''w''<sub>2</sub> ∈ ''W''}}, {{math|α ∈ ''K''}} に対して、

* (''v''<sub>1</sub>, ''w''<sub>1</sub>) + (''v''<sub>2</sub>, ''w''<sub>2</sub>) = (''v''<sub>1</sub> + ''v''<sub>2</sub>, ''w''<sub>1</sub> + ''w''<sub>2</sub>)
* α (''v'', ''w'') = (α ''v'', α ''w'')

得られるベクトル空間は ''V'' と ''W'' の''直和'' (direct sum) と呼ばれ、通常円の中にプラスの記号で表記される：

:<math>V \oplus W</math>

順序付けられた和の元を順序対 (''v'', ''w'') ではなく和 ''v'' + ''w'' として書くのが慣習である。

''V'' ⊕ ''W'' の部分空間 ''V'' × {0} は ''V'' に同型でありしばしば ''V'' と同一視される。{0} × ''W'' と ''W'' に対しても同様。（以下の''内部直和''を見よ。）この同一視をして、''V'' ⊕ ''W'' のすべての元は1つ、そしてただ1つの方法で ''V'' の元と ''W'' の元の和として書くことができる。''V'' ⊕ ''W'' の[[ベクトル空間の次元|次元]]は ''V'' と ''W'' の次元の和に等しい。

この構成はただちに任意の[[有限集合|有限]]個のベクトル空間に一般化する。

=== 2つのアーベル群に対する構成 ===

加法的に書かれる[[アーベル群]] ''G'' と ''H'' に対して、''G'' と ''H'' の[[群の直積|直積]] (direct product) はまた直和 (direct sum) とも呼ばれる {{harv|Mac Lane|Birkhoff|1999|loc=§V.6}}。したがって[[カルテジアン積]] ''G'' × ''H'' は成分ごとに演算を定義することによってアーベル群の構造が入る： {{math|''g''<sub>1</sub>, ''g''<sub>2</sub> &isin; ''G''}}, {{math|''h''<sub>1</sub>, ''h''<sub>2</sub> &isin; ''H''}} に対して、

* (''g''<sub>1</sub>, ''h''<sub>1</sub>) + (''g''<sub>2</sub>, ''h''<sub>2</sub>) = (''g''<sub>1</sub> + ''g''<sub>2</sub>, ''h''<sub>1</sub> + ''h''<sub>2</sub>)

整数を掛けることは成分ごとに次のように同様に定義される。{{math|''g'' &isin; ''G''}}, {{math|''h'' &isin; ''H''}} と、[[整数]] ''n'' に対して、

* ''n''(''g'', ''h'') = (''ng'', ''nh'')

これはベクトル空間の直和に対するスカラー倍と同様の定義である。

得られるアーベル群は ''G'' と ''H'' の''直和'' (direct sum) と呼ばれ、通常円の中にプラスの記号で表記される：

:<math>G \oplus H</math>

順序付けられた和の元を順序対 (''g'', ''h'') ではなく和 ''g'' + ''h'' として書くのが慣習である。

''G'' ⊕ ''H'' の部分群 ''G'' × {0} は ''G'' に同型でありしばしば ''G'' と同一視される。{0} × ''H'' と ''H'' に対しても同様。（以下の「[[#内部直和|内部直和]]」を参照。）この同一視をして、''G'' ⊕ ''H'' のすべての元は1つ、ただ1つの方法で''G'' の元と ''H'' の元の和として書けるということが正しい。''G'' ⊕ ''H'' の[[アーベル群のランク|ランク]]は ''G'' と ''H'' のランクの和に等しい。

この構成は直ちに[[有限集合|有限]]個のアーベル群に一般化する。

== 加群の任意の族に対する構成 ==

2つのベクトル空間の直和と2つのアーベル群の直和の定義の間の明らかな同様性に気付くべきである。実際、それぞれは2つの[[環上の加群|加群]]の直和の構成の特別な場合である。さらに、定義を修正することによって加群の無限族の直和に適用することもできる。正確な定義は以下のようである {{harv|Bourbaki|1989|loc=§II.1.6}}。

''R'' を環とし {''M''<sub>''i''</sub>&nbsp;:&nbsp;''i''&nbsp;∈&nbsp;''I''} を[[集合]] ''I'' で添え字づけられた左 ''R''-加群の[[添え字づけられた族|族]]とする。すると {''M''<sub>''i''</sub>} の''直和'' (direct sum) はすべての列 <math>(\alpha_i)</math> の集合、ただし <math>\alpha_i \in M_i</math> であり[[補有限|有限個を除くすべての]]添え字 ''i'' にたいして <math>\alpha_i = 0</math>、と定義される。（{{仮リンク|加群の直積|label=直積|en|direct product of modules}} ([[:en:direct product|direct product]]) は類似だが添え字は有限個を除くすべてで消える必要はない。）

それはまた次のようにも定義できる。''I'' から加群 ''M''<sub>''i''</sub> の[[非交和]]への[[関数 (数学)|関数]] &alpha; であって、すべての ''i''&nbsp;&isin;&nbsp;''I'' に対して α(''i'')&nbsp;∈&nbsp;''M''<sub>''i''</sub> であり[[補有限|有限個を除くすべての]]添え字 ''i'' に対して α(''i'') = 0 であるようなもの。これらの関数は <math>i \in I</math> 上のファイバーを <math>M_i</math> として添え字集合 ''I'' 上の[[ファイバー束]]の[[関数の台#コンパクト台付きの函数|有限台]]断面として同値に見なすことができる。

この集合は成分ごとの和とスカラー倍を経由して加群の構造を引き継ぐ。具体的には、2つのそのような列（あるいは関数） α と β はすべての ''i'' に対して <math>(\alpha + \beta)_i = \alpha_i + \beta_i</math> （これは再び有限個を除くすべての添え字に対して 0 であることに注意する）と書くことによって足すことができ、そのような関数は ''R'' の元 ''r'' によってすべての ''i'' に対して <math>r(\alpha)_i = (r\alpha)_i</math> と定義することによって掛けることができる。このようにして、直和は左 ''R''-加群になり、それは

:<math> \bigoplus_{i \in I} M_i. </math>

と表記される。列 <math>(\alpha_i)</math> を和 <math>\textstyle \sum\alpha_i</math> として書くのが慣習である。ときどき有限個を除くすべての項が 0 であることを示すためにプライム付総和 <math>\textstyle \sum'\alpha_i</math> が使われる。

== 性質 ==

* 直和は加群 ''M''<sub>''i''</sub> の{{仮リンク|加群の直積|label=直積|en|direct product of modules}}の[[部分加群]]である{{harv|Bourbaki|1989|loc=§II.1.7}}。直積は ''I'' から加群 ''M''<sub>''i''</sub> の非交和へのすべての関数 ''α'' で ''α''(''i'')∈''M''<sub>''i''</sub> となるものの集合であるが、有限個を除くすべての ''i'' で消える必要はない。添え字集合 ''I'' が有限であれば、直和と直積は等しい。
* 加群の各 ''M''<sub>''i''</sub> は ''i'' とは異なるすべての添え字上で消える関数からなる直和の部分加群と同一視できる。これらの同一視をして、直和のすべての元 ''x'' は1つ、そしてただ1つの方法で加群 ''M''<sub>''i''</sub> たちの有限個の元の和として書ける。
* ''M''<sub>''i''</sub> が実はベクトル空間であれば、直和の次元は ''M''<sub>''i''</sub> の次元の和に等しい。同じことは[[アーベル群のランク]]と[[加群の長さ]]に対しても正しい。
* 体 ''K'' 上のすべてのベクトル空間は十分たくさんの ''K'' のコピーの直和に同型であり、したがってある意味考えられなければならないのはこれらの直和だけである。これは任意の環上の加群に対しては正しくない。
* [[テンソル積]]は次の意味で直和上分配する： ''N'' が右 ''R''-加群であれば、''N'' の ''M''<sub>''i''</sub> とのテンソル積（これはアーベル群）の直和は自然に ''N'' の ''M''<sub>''i''</sub> の直和とのテンソル積と同型である。
* 直和はまた（同型を除いて）可換であり結合的である、つまりどんな順番で直和を作ろうが関係ない。
* 直和からある左 ''R''-加群 ''L'' への ''R''-線型準同型の群は自然に ''M''<sub>''i''</sub> から ''L'' への ''R''-線型準同型の[[群の直積]]に同型である：
*::<math>\operatorname{Hom}_R\!\bigg( \bigoplus_{i \in I} M_i,L\biggr) \cong \prod_{i \in I}\operatorname{Hom}_R(M_i,L).</math>
*:実際、明らかに左辺から右辺への準同型 ''τ'' が存在する、ただし ''τ''(''θ'')(i) は（''M''<sub>''i''</sub> の直和への自然な包含を使って） ''x''∈''M''<sub>''i''</sub> を ''θ''(''x'') に送る ''R''-線型準同型である。準同型 ''τ'' の逆は加群 ''M''<sub>''i''</sub> の直和の任意の ''α'' に対して
*:<math> \tau^{-1}(\beta)(\alpha) = \sum_{i\in I} \beta(i)(\alpha(i))</math>
*:で定義される。重要な点は ''α''(''i'') が有限個を除くすべての ''i'' に対して 0 でありしたがって和が有限であるから ''τ''<sup>−1</sup> の定義は意味をなすということである。
*:とくに、ベクトル空間の直和の[[双対空間|双対ベクトル空間]]はそれらの空間の双対の[[直積]]に同型である。
* 加群の'''有限'''直和は{{仮リンク|双積|en|biproduct}}である：
*::<math>p_k: A_1 \oplus \cdots \oplus A_n \to A_k</math>
*:が自然な射影写像であり
*::<math>i_k: A_k \mapsto A_1 \oplus \cdots \oplus A_n </math>
*:が包含写像であれば、
*::<math>i_1 \circ p_1 + \cdots + i_n \circ p_n</math>
*:は ''A''<sub>1</sub> ⊕ ··· ⊕ ''A''<sub>''n''</sub> の恒等射に等しく、
*::<math>p_k \circ i_l</math>
*:は ''l=k'' のとき ''A''<sub>''k''</sub> の恒等射でありそれ以外では零写像である。

== 内部直和 ==
<!-- linked from redirects [[Complementary subspace]] and [[Complementary subspaces]] -->
{{see also|{{仮リンク|内部直和|en|Internal direct product}}}}
{{mvar|M}} を {{mvar|R}}-加群とし、{{mvar|M{{sub|i}} (''i'' &isin; ''I'')}} はすべて {{mvar|M}} の[[部分加群]]とする。すべての {{math|''x'' &isin; ''M''}} が {{mvar|M{{sub|i}}}} の有限個の元の和として一通り、かつ一通りに限り書くことができるならば、{{mvar|M}} は部分加群の族 {{mvar|M{{sub|i}}}} の'''内部直和''' (''internal'' direct sum) であると言う {{harv|Halmos|1974|loc=§18}}。この場合、{{mvar|M}} は、上で定義された {{mvar|M{{sub|i}}}} たちの（外部）直和と自然同型である {{harv|Adamson|1972|loc=p.61}}。

{{mvar|M}} の部分加群 {{mvar|N}} が {{mvar|M}} の'''直和成分'''または'''直和因子''' (''direct summand'') であるとは、{{mvar|M}} の別の部分加群 {{mvar|N′}} が存在して {{mvar|M}} は {{mvar|N}} と {{mvar|N′}} の'''内部'''直和となるときにいう。このとき、{{mvar|N}} と {{mvar|N′}} は'''互いに補'''（''complementary submodule''; '''相補部分加群'''、ベクトル空間の場合[[補空間|相補部分空間]]）であるという。

== 普遍性 ==
[[圏論]]の言葉では、直和は[[余積]]でありしたがって左 ''R''-加群の圏の[[極限 (圏論)|余極限]]である、つまりそれは以下の[[普遍性]]によって特徴づけられる。すべての ''i'' &isin; ''I'' に対して、 ''M''<sub>''i''</sub> の元を ''i'' を除くすべての変数に対して 0 である関数に送る''自然な埋め込み''

:<math>j_i\colon M_i \to \bigoplus_{k \in I} M_k</math>

を考えよ。''f''<sub>''i''</sub> : ''M''<sub>''i''</sub> → ''M'' がすべての ''i'' に対して任意の ''R''-線型写像であれば、ちょうど1つの ''R''-線型写像

:<math>f\colon \bigoplus_{i \in I} M_i \to M</math>

が存在して、すべての ''i'' に対して ''f'' o ''j<sub>i</sub>'' = ''f''<sub>''i''</sub> である。

双対的に、[[直積]]は[[積 (圏論)|積]]である。

== グロタンディーク群 ==
直和は対象の集合に可換[[モノイド]]の構造を対象の和は定義されるが差はされないという意味で与える。実は、差を定義することができ、すべての可換モノイドは[[アーベル群]]に拡張することができる。この拡張は[[グロタンディーク群]]として知られている。拡張は対象のペアの同値類を定義することによってされる、これによってあるペアを逆元として扱うことができる。この構成（詳細は[[グロタンディーク群]]の項を見よ）は、一意であるという[[普遍性]]をもつ点で「普遍的」であり、アーベルモノイドのアーベル群への任意の他の埋め込みに準同型である。

== 付加的な構造をもった加群の直和 ==

考えている加群が付加的な構造（例えば[[ノルム]]や[[内積]]）をもっていれば、加群の直和もしばしばこの付加的な構造をもつようにできる。この場合、付加的な構造をもっているすべての対象の適切な[[圏 (数学)|圏]]における[[余積]]を得る。2つの顕著な例は[[バナッハ空間]]と[[ヒルベルト空間]]に対して起こる。

古典的なテクストには、さらに[[体上の多元環]]の直和の概念を導入するものもある。しかしながらその構成は、多元環の圏における余積ではなくて直積を与えるものになる（次の節の注意を参照、<!--および[[:en:Direct sum#Direct sum of rings|direct sums of rings]] のリマーク''-->あるいは自明でない単位的環の無限族に加法群としての直和をとり成分ごとの積を入れたものは単位元を持たないことを想起せよ）。

===多元環の直和===
[[体上の多元環|多元環]] {{mvar|X}} と {{mvar|Y}} の直和とは、ベクトル空間の直和に積を
:<math>(x_1 + y_1) (x_2 + y_2) = (x_1 x_2 + y_1 y_2)</math>
で入れたものをいう。これらの古典的な例を考えよう：
* <math>\mathbb{R \oplus R}</math> は[[分解型複素数]]に[[環同型]]であり、{{仮リンク|区間算術|en|interval analysis}}においても使われる。
* <math>\mathbb{C \oplus C}</math> は 1848 年に{{仮リンク|ジェームズ・コックル|en|James Cockle (lawyer)}}によって導入された[[双複素数|テッサリン]]の多元環である。
* <math>\mathbb{H \oplus H}</math> は、{{仮リンク|分解型双四元数|en|split-biquaternion}}と呼ばれ、1873 年に{{仮リンク|ウィリアム・キングドン・クリフォード|en|William Kingdon Clifford|label=クリフォード}}によって導入された。

{{仮リンク|ジョゼフ・ウェダーバーン|en|Joseph Wedderburn}}は、自身の[[超複素数]]の分類において、多元環の直和の概念を利用した (Wedderburn, ''Lectures on Matrices'' (1934), page 151)。ウェダーバーンは多元環の直和と直積の違いを以下のように明らかにしている。すなわち、直和に対して係数体は両方の成分に同時に作用する (<math>\lambda (x \oplus y) = \lambda x \oplus \lambda y</math>) が、一方で直積に対しては両方ではなく一方のみがスカラー倍される (<math>\lambda (x,y) = (\lambda x, y) = (x, \lambda y)</math>).

[[:en:Ian R. Porteous|Ian R. Porteous]] は上記の直和三つをそれぞれ <math>{}^{2\!}\boldsymbol{R},\,{}^{2\!}\boldsymbol{C},\,{}^{2\!}\boldsymbol{H}</math> と書いて、自身の ''Clifford Algebras and the Classical Groups'' (1995) で係数体として用いた。

; 注意
: 上記の構成は、ウェダーバーンの用いた直和と直積の語法に従ったものだが、これは[[圏論]]で用いる直和と直積の慣習とは異なる。圏論的な用語では、ウェダーバーンの意味での直和は[[積 (圏論)|圏論的直積]]であり、一方ウェダーバーンの意味での直積は[[余積]]（圏論的直和）である（実はこれは（可換多元環に対して）[[代数のテンソル積|多元環のテンソル積]]に対応する）。

=== 合成代数 ===
{{main|合成代数}}
合成代数 {{math|(''A'', ∗, ''N'')}} は[[体上の多元環]] {{mvar|A}}, [[対合]] {{math|∗}} および「ノルム」{{math|1=''N''(''x'') = ''xx''*}} からなる。任意の体 {{mvar|K}} に対して、{{mvar|K}} と自明なノルム（つまり {{math|1=''N''(''x'') = ''x''{{sup|2}}}}）から始まる合成代数の系列が生じてくる。この系列は、多元環の直和 {{math|''A'' ⊕ ''A''}} を作って新たな対合 {{math|1=(''x'', ''y'')*  = ''x''* &minus; ''y''}} を入れるという帰納的な手続きによって得られる。

[[レオナード・E・ディクソン]]が[[四元数]]を二重化して[[八元数]]を得るためにこの構成を発明しており、直和 {{math|''A'' ⊕ ''A''}} を利用するこの二重化法は[[ケイリー&ndash;ディクソン構成]]と呼ばれる。実例として、{{math|1=''K'' = ℝ}}（[[実数]]体）から始めれば、系列として[[複素数]]、[[四元数]]、[[八元数]]、[[十六元数]]が生成される。また {{math|1=''K'' = ℂ}}（[[複素数]]体）と自明なノルム {{math|1=''N''(''z'') = ''z''<sup>2</sup>}} から始めれば、以下[[双複素数]]、{{仮リンク|双四元数|en|biquaternion}}、[[双八元数]]と続く。

[[マックス・ツォルン]]は、古典的なケイリー&ndash;ディクソン構成では先の {{math|(ℂ, ''z''<sup>2</sup>)}} の系列に属する代数の部分多元環として生じるいくつかの合成代数（特に[[分解型八元数]]）を取りこぼしてしまうことに気が付いた。そのために修正されたケイリー&ndash;ディクソン構成（これもまたもとの多元環 {{mvar|A}} から直和 {{math|''A'' ⊕ ''A''}} を作る方法に基づく）は、実数、[[分解型複素数]]、{{仮リンク|分解型四元数|en|split-quaternion}}、[[分解型八元数]]の系列を作るのに利用される。

=== {{anchors|Banachspaces}}バナッハ空間の直和 ===
二つの[[バナッハ空間]] {{mvar|X, Y}} の直和とは、{{mvar|X}} と {{mvar|Y}} を単にベクトル空間と見なしてとった直和に、ノルムを
: <math>\|(x,y)\| := \|x\|_X + \|y\|_Y \quad(\forall x\in X, \forall y\in Y)</math>
によって定めたものをいう。

一般に、バナッハ空間の族 {{mvar|X{{sub|i}}}} で、添字 {{mvar|i}} は[[添字集合]] {{mvar|I}} をわたるものとするとき、直和 <math>\textstyle\bigoplus_{i\in I} X_i</math> は、{{mvar|I}} [[定義域|上で定義された]]函数 {{mvar|x}} であって、{{math|''x''(''i'') &isin; ''X{{sub|i}}'' (∀''i'' &isin; ''I'')}} かつ
: <math>\|x\|:= \sum_{i \in I} \| x(i) \|_{X_i} < \infty </math>
を満たすものすべてからなる加群である。ノルム {{math|{{norm|''x''}}}} は上記の和で与えるものとすれば、このノルムを伴った直和は再びバナッハ空間となる。

例えば、添字集合を {{math|1=''I'' = '''N'''}} にとり {{math|1=''X''<sub>''i''</sub> = '''R'''}} であれば、直和 {{math|{{underset|''i''∈'''N'''|{{big|&oplus;}}}}''X''<sub>''i''</sub>}} はノルム {{math|{{norm|''a''}} {{coloneqq}} {{sum|''i''}}{{abs|''a''<sub>''i''</sub>}}}} が有限となる実数列 {{math|(''a''<sub>''i''</sub>)}} 全体の成す[[ルベーグ空間|数列空間 {{math|''l''<sub>1</sub>}}]] である。

バナッハ空間 {{mvar|X}} の閉部分空間 {{mvar|A}} が'''補空間を持つ''' (''complemented'') とは、{{mvar|X}} の別の閉部分空間 {{mvar|B}} が存在して {{mvar|X}} は内部直和 {{math|''A'' &oplus; ''B''}} に等しいことをいう。必ずしもすべての閉部分空間が補空間を持つわけでないことに注意しよう、例えば零列の空間 [[零列空間|{{math|''c''<sub>0</sub>}}]] は有界数列の空間 {{mvar|l{{sup|&infin;}}}} において補空間を持たない。

===双線型形式付き加群の直和===
{{mvar|I}} を添字集合とする、[[双線型形式]]を備えた加群の[[族 (数学)|族]] {{math|{{mset|(''M{{sub|i}}'', ''b{{sub|i}}'') : ''i'' ∈ ''I''}}}} に対し、それらの'''直交直和''' (''orthogonal direct sum'') とは、単に加群としてのそれらの直和であって、
:<math> B((x_i), (y_i)) = \sum_{i\in I} b_i(x_i, y_i) </math>
で定義される双線型形式 {{mvar|B}} をもったものを言う<ref>{{cite book | first1=J. | last1=Milnor | author1-link=John Milnor| first2=D. | last2=Husemoller | title=Symmetric Bilinear Forms | series=[[Ergebnisse der Mathematik und ihrer Grenzgebiete]] | volume=73 | publisher=[[Springer-Verlag]] | year=1973 | isbn=3-540-06009-X | zbl=0292.10016 | pages=4–5}}</ref>。

ここで、上記の和に非零の項は有限個しか現れないから、この和は添字集合 {{mvar|I}} が無限集合であっても意味を成す。また、複素係数の場合には双線型を[[半双線型形式|半双線型]]に置き換えて同様のことができる。

=== {{anchors|Hilbertspaces}}ヒルベルト空間の直和===
{{further2|{{仮リンク|preserve=1|正定値核函数#直和とテンソル積|en|Positive definite kernel#Direct sum and tensor product}}}}

前節と同様の仕方で、有限個の[[ヒルベルト空間]] {{math|''H''<sub>1</sub>, …, ''H''<sub>''n''</sub>}} が与えられたとき、
: <math>\langle (x_1,...,x_n),(y_1,...,y_n) \rangle = \langle x_1,y_1 \rangle +...+ \langle x_n,y_n \rangle</math>
を内積として直交直和が定義できる。
得られる直和は与えられたヒルベルト空間を互いに[[直交]]する部分空間として含むヒルベルト空間である。

無限個のヒルベルト空間 {{math|''H{{sub|i}}'' (''i'' &isin; ''I'')}} が与えられたときにも、同じ構成を行うことができる（内積の定義に際して、非零な成分は有限個ゆえ実質有限和となることに注意する）。ただし得られるのは[[内積空間]]にはなるけれども、必ずしも[[完備距離空間|完備]]にならない。そこで、この内積空間の完備化をヒルベルト空間 {{mvar|H{{sub|i}}}} のヒルベルト空間としての直和と定義する。

あるいは同じことだが、{{mvar|I}} 上定義された函数 {{mvar|α}} で
: <math>\alpha_i := \alpha(i) \in H_i\quad (\forall i\in I)\quad\text{ and }\quad
\sum_i \left\| \alpha_i \right\|^2 < \infty</math>
を満たすもの全体の成す空間として {{mvar|H{{sub|i}}}} たちのヒルベルト空間の直和を定義することもできる。このとき、そのような函数 {{mvar|α}} と {{mvar|β}} の内積は
: <math>\langle\alpha,\beta\rangle=\sum_i \langle \alpha_i,\beta_i \rangle</math>
で与えられる。この空間は完備であり、確かにヒルベルト空間が得られている。

例えば、添字集合を {{math|1=''I'' = '''N'''}} にとり {{math|1=''X''<sub>''i''</sub> = '''R'''}} とすれば、直和 <math>\textstyle\bigoplus_{i\in\mathbf{N}} X_i</math> はノルム {{math|{{norm|''a''}} {{coloneqq}} {{sqrt|{{sum|''i''}} {{abs|''a{{sub|i}}''}}|.}}}} が有限となる実数列 {{math|(''a{{sub|i}}'')}} 全体の成す[[ルベーグ空間|空間 {{math|''l''<sub>2</sub>}}]] である。これをバナッハ空間の例と比べると、バナッハ空間の直和とヒルベルト空間の直和は必ずしも同じではないことがわかる。しかし有限個の成分しかないならば、バナッハ空間の直和はヒルベルト空間の直和と同型である（ノルムは異なるかもしれないが）。

すべてのヒルベルト空間は基礎体（'''R''' か '''C'''）の十分たくさんのコピーの直和に同型である。これはすべてのヒルベルト空間は[[正規直交基底]]をもつという主張と同値である。より一般に、ヒルベルト空間の任意の閉部分空間は補空間をもつ（とくに[[直交補空間]]がとれる）。逆に、{{仮リンク|リンデンシュトラウス&ndash;ツァフリーリの定理|en|Lindenstrauss–Tzafriri theorem}}の述べるとおり、与えられたバナッハ空間の任意の閉部分空間が補空間を持つならば、そのバナッハ空間は（位相的に）ヒルベルト空間に同型である。

== 関連項目 ==
* {{仮リンク|双積|en|Biproduct}}
* [[直既約加群]]
* [[ジョルダン・ヘルダーの定理]]
* [[クルル・シュミットの定理]]
* [[分裂完全列]]

== 参考文献 ==
{{reflist}}
* {{Citation | author= Iain T. Adamson | title=Elementary rings and modules | series=University Mathematical Texts | publisher=Oliver and Boyd | year=1972 | isbn=0-05-002192-3 }}
* {{citation|first = Nicolas|last=Bourbaki|authorlink=Nicolas Bourbaki | title = Elements of mathematics, Algebra I| publisher = Springer-Verlag | year = 1989|isbn=3-540-64243-9}}.
* {{citation|first1=David S.|last1=Dummit|first2=Richard M.|last2=Foote|title=Abstract algebra|publisher=Prentice Hall, Inc.|publication-place=Englewood Cliffs, NJ|year=1991|isbn=0-13-004771-6}}.
* {{citation|authorlink=Paul Halmos|first=Paul|last=Halmos|title=Finite dimensional vector spaces|year=1974|publisher=Springer|isbn=0-387-90093-4}}
* {{citation|first1=S.|last1=Mac Lane|authorlink1=Saunders Mac Lane|authorlink2=Garrett Birkhoff|last2=Birkhoff|first2=G.|title=Algebra|publisher=AMS Chelsea|year=1999|isbn=0-8218-1646-2}}.

{{DEFAULTSORT:かくんのちよくわ}}
[[Category:線型代数学]]
[[Category:加群論]]
[[Category:数学に関する記事]]