次元 (ベクトル空間)

数学における、ベクトル空間の次元（じげん、）とは、その基底の濃度、すなわち基底に属するベクトルの個数である。 他の種類の次元（たとえばヒルベルト次元）との区別のため、ハメル次元または代数次元と呼ばれることもある。この定義は「任意のベクトル空間は（選択公理を仮定すれば）基底を持つ」ことと「一つのベクトル空間の基底は、どの二つも必ず同じ濃度を持つ」という二つの事実に依存しており、これらの事実の結果として、ベクトル空間の次元は空間に対して一意的に定まる。体  上のベクトル空間  の次元を  あるいは  で表す（文脈から基礎とする体  が明らかならば単に  と書く）。

ベクトル空間  が有限次元であるとは、その次元が有限値であるときにいう。

 例 
ベクトル空間  は

を基底に持ち、従って  が成り立つ。より一般に、 が成り立ち、さらに一般に、任意の体  に対して  が成り立つ。

複素数の全体  は実ベクトル空間でも複素ベクトル空間でもあるが、それぞれの場合について  および  が成り立つ。従って、次元の値は基礎とする体の取り方に依存するものである。

次元が  のベクトル空間は、零ベクトルのみからなるベクトル空間  のみである。

 いくつかの事実について 
ベクトル空間  の部分線型空間  に対して  が成り立つ。

二つの有限次元ベクトル空間が等しいことを示すのに、次の判定規準が利用できる。
  が有限次元ベクトル空間で  が  の部分線型空間とするとき、 ならば  が成り立つ。

 は標準的な基底  を持つ。ただし  は単位行列の第 -列に対応する。従って  の次元は  である。

体  上の任意の二つのベクトル空間は、その次元が等しいならば互いに同型である。それらの基底の間の任意の全単射はベクトル空間の間の全単射な線型写像に一意的に拡張することができる。集合  が与えられたとき、 上の次元が  （ の濃度）であるようなベクトル空間を、次のように作ることができる。写像  で、有限個の例外を除く  の各元  に対して  となるようなものの全体  を取り、元ごとの和とスカラー倍によってこれらの写像の間の加法と  の元によるスカラー乗法を定めれば、それが初期の -ベクトル空間である。

次元についての重要な結果として、線型写像に対する階数・退化次数定理が挙げられる。

 を体の拡大とすると、拡大体  は特に部分体  上のベクトル空間の構造を持つ。さらに、任意の -ベクトル空間  は -ベクトル空間と見ることもできる。これらのベクトル空間の次元は

なる関係によって結ばれている。特に任意の -次元複素ベクトル空間は実ベクトル空間として次元  を持つ。

ベクトル空間の次元について、基底の濃度および空間自身の濃度に関するいくつか簡単な公式が知られている。 を体  上のベクトル空間とし、その次元を  で表すと
  が有限ならば 
  が無限ならば 
などが成立する。

 一般化 
ベクトル空間をマトロイドの特別の場合とみることができて、後者にたいして次元の概念を矛盾なく定義することができる。加群の長さおよびアーベル群のランクは、いずれもベクトル空間の次元と同様のさまざまな性質をもつ。

ヴォルフガンク・クルル (1899–1971) に由来する、可換環のクルル次元は、環の素イデアルの昇列における真の包含関係の個数のうち最大のものとして定義される。

 トレースによる特徴づけ 

ベクトル空間の次元は、その恒等作用素のトレースとして特徴付けることもできる。例えば、

はトレースの定義から明らかだが、一般化には有用である。

まず、これにより自然な意味での基底をもたないがトレースが定義できると言う場合にも次元の概念を定義することができるようになる。例えば代数  が単位射  および余単位射  を持つならば、合成射  は「恒等変換のトレース」に対応するスカラー（一次元空間上の線型作用素）であり、これによって抽象代数に対する次元の概念を考えることができる。実用上は、双代数について（余単位射を次元で割った  に正規化して）この合成射が恒等変換となることを要求することがある。この場合には正規化定数が次元に対応することになる。

また、無限次元空間上の作用素のトレースを定義することもできる。この場合、（有限な）次元が存在しなくても（有限次の）トレースを定義して、「作用素の次元」の概念を考えることができる。これらは、ヒルベルト空間上の「トレースクラス作用素」やもっと一般のバナッハ空間上の核作用素の考え方に該当する。

もう少し一般化して、作用素の族のトレースを「捻られた」時限の一種と考えることもできる。これは表現論において顕著に現れる。表現論における表現の指標とは表現のトレースのことであるから、群  上のスカラー値函数  の単位元  における値  が表現の次元ということになる。これは表現によって単位元が写される先が単位行列であること、すなわち

が成立することによる。そこで指標の他の値  を「捻られた」次元と考えることができて、次元に関する主張に対して、「次元」を指標や表現で置き換えたアナロジーや一般化を得ることができる。このようなものはモンスター群のムーンシャイン現象の理論において生じる。-不変量はモンスター群の無限次元次数つき表現の次数つき次元であるが、次元を指標に取り替えることによりモンスター群の各元に対してマッケイ＝トンプソン級数が与えられる。

 関連項目 
 基底
 位相次元（ルベーグ被覆次元）
 フラクタル次元（ハウスドルフ次元）
 クルル次元

 参考文献 

 外部リンク 
 MIT Linear Algebra Lecture on Independence, Basis, and Dimension by Gilbert Strang at MIT OpenCourseWare

Category:線型代数学
Category:次元
Category:数学に関する記事
Category:ベクトル空間