線形空間のソースを表示

<nowiki>'''線形空間'''（せんけいくうかん、<em lang="en">linear space</em>）あるいは'''ベクトル空間'''（ベクトルくうかん、<em lang="en">vector space</em>）とは、和と[[スカラー]]倍の定義された[[集合]]（[[代数的構造|代数系]]）のことである。'''線型空間'''、'''線状空間'''とも。これは「平面（あるいは空間）上の[[ベクトル (物理)|ベクトル]]すべてを集めた集合」を一般化、抽象化したものであり、その類推により術語を流用して、一般のベクトル空間の元のことを'''ベクトル'''（または'''ベクター'''）と呼称する。

線形空間は[[線形代数学]]の主要な対象であり、線形空間とそれに関する手法は[[数学]]のあらゆる分野で重要な道具として用いられる。ベクトル自体が元来は[[速度]]や[[加速度]]、[[力]]のように'''方向を持つ物理量を表す'''ために考案されたものであるので、[[物理学]]との関連が深い。[[量子力学]]では系のとりうる状態を線形空間で表す。

== 定義 ==
''K'' は[[体 (数学)|体]]と称される[[四則演算]]が自由にできる代数系とする。[[実数]]全体、[[複素数]]全体あるいは[[有理数]]全体のなす[[集合]]などはそれぞれそのような集合の例である。

体 ''K'' 上の'''線形空間''' ''V'' とは、
# ''V'' には和あるいは加法と呼ばれる[[二項演算|演算]] "+" が定義されていて、この和について[[アーベル群]]になる。つまり、
## ''V'' は和について閉じている。つまり '''''v''''', '''''w''''' が ''V'' の元ならば常に '''''v''''' + '''''w''''' は再び ''V'' の元になる。
## 和の[[結合法則]]が成り立つ。つまり ''V'' の三元 '''''u''''', '''''v''''', '''''w''''' に対して常に ('''''u''''' + '''''v''''') + '''''w''''' = '''''u''''' + ('''''v''''' + '''''w''''') が成り立つ。
## 和の[[交換法則]]が成り立つ。つまり ''V'' の二元 '''''v''''', '''''w''''' に対して常に '''''v''''' + '''''w''''' = '''''w''''' + '''''v''''' が成り立つ。
## [[零元]]が存在する。つまり、'''0''' + '''''v''''' = '''''v''''' が ''V'' の任意の元 '''''v''''' に対して成立する特別な元 '''0''' がただ一つ存在する。
## マイナス元の存在。つまり、''V'' の元 '''''v''''' に対して '''''v''''' + (&minus;'''''v''''') = '''0''' となるような特別な元 &minus;'''''v''''' が、どんな '''''v''''' に対してもとれる。
# ''K'' の元 ''c'' と ''V'' の元 '''''v''''' が与えられたとき、'''''v''''' のスカラー ''c'' 倍と呼ばれる乗法的演算 ''c'''v''''' &isin; ''V'' が定義されている。つまり、
## スカラー乗法の合成はまたスカラー乗法である。つまり、'''''v''''' が ''V'' の元、''c'', ''d'' が ''K'' の元ならば常に、''c''(''d''<!---->'''''v''''') = (''cd'')'''''v''''' が成り立つ。 
## 1<sub>''K''</sub> を ''K'' の乗法に関する[[単位元]]とするとき、''V'' のどんな元 '''''v''''' に対しても  1<sub>''K''</sub>'''''v''''' = '''''v''''' が成り立つ。
## 和とスカラー倍について[[分配法則]]が成り立つ。つまり、''K'' の元 ''c'' と ''V'' の元 '''''v''''', '''''w''''' が与えられたとき常に、''c''('''''v''''' + '''''w''''') = ''c'''v''''' + ''c'''w''''' が成り立つ。また、''c'', ''d'' が ''K'' の元で '''''v''''' が ''V'' の元であるとき常に (''c'' + ''d'')'''''v''''' = ''c'''v''''' + ''d'''v''''' が成り立つ。
なる条件を満足する三つ組 (''V'', +, ''K'') によって定まる[[代数系]]のことである。''V'' の元を'''ベクトル'''、''K'' の元を'''スカラー'''と呼ぶ。ベクトル空間における和とスカラー倍を総称して線形演算と呼ぶ。

線形空間 (''V'', +, ''K'') について、''V'' をこの空間の台（台集合）とよび、紛れの無い場合には台集合を表す記号によて線形空間を表す。また、「 ''V'' は ''K'' に'''係数'''を持つ」、「''K'' を ''V'' の'''係数体'''とする」あるいは「''V'' は ''K'' 上定義される」などとも言いまわす。また簡単に ''K''-'''線形空間''' ''V'' などとも呼ぶ。[[実数]]体上の線形空間を'''実線形空間'''といい、[[複素数]]体上の線形空間を'''複素線形空間'''という。

: <span style="font-size:smaller; line-height:141%;">ベクトルとスカラーが異なるということを明示的に表すために、しばしばこれらを表す文字の種類を異にして記す。代表的な記法として、「ベクトルにボールド・イタリック体（太い斜体字）を用い、スカラーにはイタリック体（斜体字）を用いる」「ベクトルをラテンアルファベットで表し、スカラーはグリークアルファベット（ギリシャ文字）で表す」などの流儀がある（ただし、必ずしもこれらに限るものではなく、場合によってはまったく文字種の区別をしないこともある）。ここではベクトルをボールドイタリック、スカラーをイタリックにする流儀に合わせた。</span>

== 基底の存在と次元 ==
線形空間 ''V'' の部分集合で、互いに[[線形結合|線形独立]]な要素からなる集合（'''線形独立系'''）を考える。ある自然数 ''n'' について、''V'' 内の線形独立系がすべて高々 ''n'' 個の元からなっているならば ''V'' の次元は高々 ''n'' であるといい、このような自然数 ''n'' がとれるとき、''V'' は'''有限次元'''であるという。 線形空間 ''V'' が高々 ''n'' 次元であってなおかつ高々 ''n'' &minus; 1 次元でないとき、''V'' の次元を ''n'' と定める。また、任意の自然数 ''n'' について、線形空間 ''V'' に ''n'' 個の元からなる線形独立系が存在するとき、''V'' は'''無限次元'''である、あるいは ''V'' の次元は[[無限大]]であるという。線形空間 ''V'' の次元は dim ''V'' あるいは（体 ''K'' 上のベクトル空間としての次元であることを明示するために）dim<sub>''K''</sub> ''V'' とあらわす。

線形空間 ''V'' における、係数体 ''K'' 上の'''基底'''あるいは一意生成系とは、次の条件を満たすような ''V'' のベクトルの集合 ''S'' のことである。
# ''S'' は ''V'' を ''K'' 上[[線形結合|生成]]する。
# ''V'' のベクトルの ''S'' の線形結合としての表示はただ一通りである。
一意生成系であるという条件は（体における除法可能性により）、''S'' が ''V'' の線形独立系のうち包含関係に関して極大なもの（'''極大線形独立系'''）であるという条件、あるいは ''S'' は ''V'' の生成系のうち包含関係に関して極小なもの（'''極小生成系'''）であるという条件と同値である。線形空間が一つ与えられたとき、その基底の取り方は一つとは限らないが、基底の[[基数|濃度]]は一定で、特に有限次元線形空間の基底の濃度は次元の値 dim<sub>''K''</sub> ''V'' と一致する。無限次元線形空間についてもその次元を基底の濃度のことであると定義して次元の大きさを区別することがある。基底が極大線形独立系であるという条件からは、[[ツォルンの補題]]（これは [[ツェルメロ・フレンケルの公理系|ZF]] のもと[[選択公理]]に同値）を用いることにより「全ての線形空間は基底をもつ」という事実が従い、またこれにより任意の線形空間に対して次元が定義可能であることがわかる。

== 部分空間と線形写像 ==
複数の線形空間、あるいは線形空間全体の成す類を考えるとき、線形空間同士の関係は線形空間の構造（[[線型性]]）を司る線型演算に注目して記述される。''K''-線形空間 ''V'' から別の ''K''-線形空間 ''V''&prime; への写像 ''f'': ''V'' &rarr; ''V''&prime; は
: ''f''('''''v''''' + '''''w''''') = ''f''('''''v''''') + ''f''('''''w''''') (''v'', ''W'' &isin; ''V'')
: ''f''(''c'''v''''') = ''cf''('''''v''''') (''c'' &isin; ''K'', '''''v''''' &isin; ''V'')
を満たすとき ''K''-線形空間の構造を保つ、''K''-線形性を持つ、あるいは ''K''-[[線形写像]]であるという。抽象代数学の観点からは ''K''-[[準同型]]とも呼ぶ。

線形空間 ''V'' の部分集合 ''W'' は、''W'' が ''V'' における線形演算について閉じており、''V'' における線形演算の ''W'' への制限によって ''W'' 自身が線形空間となるとき[[線形部分空間]]と呼ばれる。これはつまり、''V'' に含まれる線形空間 ''W'' に対して 包含写像 ''W'' &rarr; ''V'' が線形性を持つことを言っている。

線形空間 ''V'' の部分空間の族 {''W''<sub>&lambda;</sub>} の共通部分はまた部分空間になるが、和集合は部分空間にならない。和集合を含む最小の部分空間を {''W''<sub>&lambda;</sub>} で生成される部分空間あるいは和空間とよぶ。和空間は
:<math>\sum_{\lambda} W_\lambda = \left\{\sum_\lambda x_\lambda \mid x_\lambda\in W_\lambda, x_\lambda=0\mbox{ except for some}\lambda \right\}</math>
と書くことができる。

== 様々な線形空間 ==
数直線 '''''R''''', 座標平面 '''''R'''''<sup>2</sup>, 座標空間 '''''R'''''<sup>3</sup>, ガウス平面 '''''C''''' などを含む数空間 '''''R'''''<sup>''n''</sup>, '''''C'''''<sup>''n''</sup> または一般に体 ''K'' の元の ''n''-組の全体 ''K''<sup>''n''</sup> は成分ごとの演算でベクトル空間になる。これを[[数ベクトル空間]]と呼ぶ。数ベクトル空間 ''K''<sup>''n''</sup> に対して
:<math>(1,0,\ldots,0), (0,1,0,\ldots,0),\ldots,(0,0,\ldots,0,1)</math>
のような形の数ベクトルの全体は一組の基底となる。これを数ベクトル空間 ''K''<sup>''n''</sup> が内在的に持っている基底という意味で'''標準基底'''という。したがってとくに数ベクトル空間 ''K''<sup>''n''</sup> は ''n'' 次元線形空間である。

零ベクトルのみからなるベクトル空間 ''V'' = {'''0'''<sub>''V''</sub>} は '''0'''<sub>''V''</sub> + '''0'''<sub>''V''</sub> = '''0'''<sub>''V''</sub>, ''c'''''0'''<sub>''V''</sub> = '''0'''<sub>''V''</sub> (''c''<sub>''V''</sub> &isin; ''K'') として任意の体 ''K'' 上の線形空間となる。これを'''自明なベクトル空間'''と呼ぶ。任意の線形空間は、その零ベクトルのみからなる自明なベクトル空間を部分空間として含む。自明なベクトル空間は空集合から生成されるとみなされ、次元は 0 であると定められる。

複素数全体の成す集合としての '''''C''''' は {1, ''i''} を基底として実数体 '''''R''''' 上の 2 次元線形空間とみなせる。一般に[[体の拡大]] ''L''/''K'' が与えられたとき、拡大体 ''L'' はその加法と部分体 ''K'' の元の（''L'' における）積をスカラー乗法として ''K'' 上の線形空間になる。たとえば '''''R''''' は部分体として有理数体 '''''Q''''' を含むから、'''''Q''''' 上の線形空間である。'''''R''''' の '''''Q''''' 上の基底は[[ハメル基底]]と呼ばれ、非可算無限の濃度を持つ。

定まったサイズの[[行列]]の全体は行列の和と実数倍で線形空間となる。行列には行と列のサイズに関する条件によっては乗法が定義できるが、線形空間としての構造には積構造は無関係であり、行も列も要素の並びであるという以上の意味を持たない。つまり、体 ''K'' 上の ''n'' &times; ''m'' 行列の成す線形空間 Mat(''n'', ''m''; ''K'') は[[行列単位]]を標準基底とする数ベクトル空間 ''K''<sup>''n''&times;''m''</sup> と同一視される。

特定の性質を持つ関数を集めた[[関数空間]]は、関数の持つ値による演算の引き戻しが定める関数の和と定数倍に関して、しばしば線形空間として扱われる。区間 [''a'', ''b''] &sub; '''''R''''' 上の連続関数の全体 ''C''[''a'', ''b''] = ''C''([''a'', ''b''; '''''R''''']), '''''R''''' 上の無限回微分可能な関数の全体 ''C''<sup>&infin;</sup>('''''R''''') = ''C''<sup>&infin;</sup>('''''R'''''; '''''R'''''), 複素解析関数の全体 ''C''<sup>&omega;</sup>('''''C''''') = ''C''<sup>&omega;</sup>('''''C'''''; '''''C''''') など、空間 ''X'' 上の[[滑らかな関数|滑らかさ]]の等級が ''C''<sup>''k''</sup> である ''K''-値関数の空間 ''C''<sup>''k''</sup>(''X''; ''K'') や区間 [''a'', ''b''] &sub; '''''R''''' 上の可積分関数の全体 ''L''<sup>1</sup>[''a'', ''b''] = ''L''<sup>1</sup>([''a'', ''b''; '''''R''''']) あるいは超関数論における[[急減少関数]]の空間や[[ソボレフ空間]]のようなものが典型的である。また、線形写像の作る関数空間は後述のように行列の作る線形空間と見なされる。あるいは（高々）可算集合上の関数空間はとくに[[数列空間]]を構成する。（無限）実数列の全体 '''''R'''''<sup>'''''N'''''</sup>, '''''R'''''<sup>&infin;</sup>, 収束する複素数列の全体。項数 ''n'' の ''K''-値数列空間は数空間 ''K''<sup>''n''</sup> であり、体 ''K''-係数の一変数多項式の全体 ''K''[''x''], あるいは''n''次以下の一変数多項式の全体などは係数列を考えることによって数列空間と同型な線形空間となる。
*''k''階斉次線型常微分方程式
:<math>\frac{d^kf}{dx}+a_{k-1}(x)\frac{d^{k-1}f}{dx}+ \cdots +a_1(x)\frac{df}{dx}+a_0(x)f=0</math>
の解全体は、関数の和と実数倍に関して線形空間をなす。

== 基底変換と行列 ==
''V'' と ''W'' をどちらも基底の定められた有限次元の線形空間とする。基底をそれぞれ &lt;'''e'''<sub>1</sub>, ..., '''e'''<sub>''n''</sub>&gt;,  &lt;'''''f'''''<sub>1</sub>, ..., '''''f'''''<sub>''m''</sub>&gt; とする。このとき、''V'' から ''W'' への[[線形写像]] ''T'' は、
:<math>\begin{cases}
  T(\mathbf{e}_1) =& a_{11}\mathbf{f}_1 + \cdots + a_{m1}\mathbf{f}_m\\
   & \vdots \\
   T(\mathbf{e}_n) =& a_{1n}\mathbf{f}_1 + \cdots + a_{mn}\mathbf{f}_m \end{cases}
</math>
とするとき、任意の ''V'' のベクトル '''''v''''' = ''c''<sub>1</sub>'''''e'''''<sub>1</sub> + &hellip; + ''c''<sub>''n''</sub>'''''e'''''<sub>''n''</sub> に対してその値が
:<math>T(\mathbf{v})=\mathbf{f}_1\sum_{i=1}^n a_{1i}c_i + \cdots + \mathbf{f}_m\sum_{i=1}^n a_{mi}c_i = \sum_{j=1}^m \left( \mathbf{f}_j \sum_{i=1}^n a_{ji}c_i \right)</math>
のように決まる。'''''v''''' を列ベクトル (''c''<sub>1</sub>, ..., ''c''<sub>''n''</sub>) と同一視し、''f''('''''v''''') を '''''f'''''<sub>''i''</sub> の成分を第 ''i'' 成分とする行ベクトルと同一視すれば、このことは (''m'', ''n'') 行列 (''a''<sub>''ij''</sub>) に対して '''v''' を右から掛けていることに他ならない。

線形写像を合成することが、行列の積に対応していることも分かる。このようにして、基底を与えることで、線形写像を行列として取り扱うことが出来る。

== 線形空間の構成法 ==
既存の線形空間族をつかって新たに線形空間を構成する方法がいくつかある。これらの構成は、逆に与えられた線形空間をより単純な線形空間へ分解するという視点も与える。とくに、線形空間を表現空間とする、代数系の線型表現論ではいくつもの線形空間が様々な構成と分解の系列として現れる。
; 直和空間: 与えられた線形空間族の構成的な[[直和]]空間とは、制限直積に成分ごとの和・スカラー倍を入れたものである。線形空間族の直和空間は、唯一つの成分を除く全ての成分が各線形空間の零ベクトルであるような元を考えることにより、族の各ベクトル空間を部分空間として含むものと見なせる。このとき、部分空間族の和として書けるもののなかでどの二つの空間も共通部分が零ベクトル以外に無いものが直和になっている。
; 商空間・直交補空間: 部分線形空間による剰余類への分解によって得られる線形空間。線形空間の加群としての自由性から、商空間は実際には基底ベクトルをいくつか零ベクトルと取り替えてできるような部分空間として得られる。内積を持つ線形空間では、直交性によってこのような商空間を構成することができて、直交補空間と呼ばれる。有限次元の線形空間では商空間と直交補空間は双対的な関係にある。
; 関数空間・双対空間: ''S'' を集合とし、''V'' を線形空間とするとき、''S'' から ''V'' への写像全体は線形空間になる。その特殊な例として、''K''-線形空間 ''V'' から ''K''-線形空間 ''W'' への線形写像全体も ''K''-線形空間になる。この線形空間を Hom<sub>''K''</sub>(''V'',''W'') と表す。''K'' が明らかであるときは単に Hom(''V'',''W'') と書くこともある。''W''=''K'' のとき、Hom<sub>''K''</sub>(''V'',''K'') は[[双対線形空間]]と呼ばれる。
; テンソル積空間: [[テンソル積]]は自然に線形構造が遺伝する。線形空間のテンソル積を線形空間の直積と呼ぶ場合もあるが、台集合は直積ではないし、圏論的な意味での直積でもないという意味で紛らわしい。
; 係数の取替え: ''K''-線形空間 ''V'' に、体の準同型 ''f'': ''L'' &rarr; ''K'' を与えて、''L'' の元 &lambda; の ''V'' の元 ''v'' への作用を &lambda;''v'' := f(&lambda;)''v'' として入れるならば, ''V'' を ''L''-線形空間と見ることができる。特別の場合として体の拡大 ''L''/''K'' があれば ''K''-線形空間の ''L'' への係数拡大や ''L''-線形空間の ''K'' への係数制限が考えられるが、係数拡大はテンソル積によって記述することもできる。

== 付加的な構造をもつ線形空間 ==
'''''R''''' や '''''C''''' は通常の絶対値が定める標準的な距離によって位相が定まり、[[位相体]]となる。一般に位相体上の線形空間に対して位相が定められているとき、[[位相線形空間]]の概念を考えることができる。[[ノルム]]をもつ線形空間は[[ノルム線型空間]]と呼ばれる位相線形空間の例である。[[内積]]の定義されている線形空間は、代数的に定義される内積から定まる二次形式を位相的な計量としてもつノルム空間であり、[[計量線形空間]]と呼ばれる。基底に含まれるどの二つのベクトルの内積も 0 であるとき、その基底を'''直交基底'''という。さらに全ての基底ベクトルの[[ノルム]]が 1 であれば、その基底の組を'''正規直交基底'''という。ノルム空間や内積空間に完備性を仮定することにより、[[バナッハ空間]]や[[ヒルベルト空間]]の概念が導入される。

== 一般化 ==
体上の線形空間の概念は、係数として適当な[[環論|環]]を考えることにより[[環論|環]]上の[[加群]]に一般化される。非可換な環を係数とする場合には、スカラー乗法も左右が区別されて右加群・左加群あるいは両側加群が考えられる。特に、[[斜体|非可換な（多元）体]]を係数にとるとき、スカラー乗法の左右を区別して左線形空間、右線形空間の概念が定義される。

一つの線形空間の張り合わせによってできる幾何学的な対象の一つに[[アフィン空間]]がある。原点を固定して座標を入れれば線形空間が現れる。[[ユークリッド空間]]はこのような空間の一種である。同様に[[ベクトル束]]は多様体などの位相空間の各点に線形空間を対応付けて得られる、線形空間の添字付けられた[[族 (数学)|族]]である。

==関連項目==
* [[線形代数学]]
* [[代数的構造]]
* [[量子力学の数学的基礎]]

[[Category:線形代数学|せんけいくうかん]]
[[Category:数学に関する記事|せんけいくうかん]]

{{Wikipedia/Ja|ベクトル空間}}