次元 (数学)

数学における対象（図形）の**次元**（じげん、）は、直感的には、その対象に属する点を特定するのに必要な座標の数の最小値として定まる。次元はその対象の内在的性質である。例えば、平面における単位円上の点は、平面上の点として二つの成分を持つ直交座標系によって特定することもできるが、極座標の偏角としての一つの座標のみによっても特定することができる。この場合、単位円は二次元の平面上に存在する図形であるが、それ自体は一次元の対象であるとみなされる。このように、対象が埋め込まれている空間の次元ではなく、対象そのものの自由度に着目して定義される次元は、現代数学における中心的な概念の一つである。

-次元ユークリッド空間  の次元は  である。このことを別な種類の空間に対して一般化しようとするとき、「 を -次元たらしめるところのものはいったい何であるか」という問題に直面する。その一つの答えとして、 における球体を固定し、それを小さい半径  の球によって被覆するとき、被覆に必要な小さい球の数のオーダーが  であることが挙げられる。この観点からはあるいはより精緻なハウスドルフ次元の概念が導かれる。しかし、先ほどの問いの別な答えとして、例えば  における球体の境界が局所的に  と見なせることを挙げれば、帰納次元の概念が導かれる。これらの次元の概念は  上では一致するけれども、もっと一般の空間で考えたときには異なるということが起こりうる。

## 歴史
高次元の概念自体はルネ・デカルトまで遡れるかもしれないけれども、実質的な高次元幾何学が形成され始めるのは19世紀に入ってからである。ケイリー、ハミルトン、シュレーフリ、リーマンらの研究を通じて高次元の幾何学は発展した。1854年のリーマンの、1852年のシュレーフリの『多重連続体の理論』 (*Theorie der vielfachen Kontinuität*)、1843年のハミルトンによる四元数の発見、ケイリー数の構成などが、高次元幾何学の幕開けにおいて重要な役割を果たした。

## 線型代数・解析分野における次元
### ベクトル空間の次元

ベクトル空間の次元はその空間の基底ベクトルの数（つまり、その空間の任意のベクトルを指定するのに必要な座標の数）である。この基底の濃度としての次元の概念は、他の次元の概念と峻別する目的で、**線型次元**などとも呼ばれる。

### ヒルベルト空間の次元
任意のヒルベルト空間には正規直交基底が存在する。一つの空間において正規直交基底の濃度は一意に定まるため、この濃度をヒルベルト空間の次元と呼ぶ。ヒルベルト空間の次元が有限である場合、それはベクトル空間としての次元（線型次元、あるいはハメル次元）と一致する。しかし無限次元の場合、ヒルベルト空間の次元（正規直交基底の濃度）は線型次元（ハメル基底の濃度）よりも真に小さくなり、両者は区別される。

## 幾何学・位相幾何学における次元
### 多様体の次元
連結な位相多様体とは、局所的に -次元ユークリッド空間と同相であるような位相空間のことで、 はその多様体の次元と呼ばれる。これが任意の連結位相多様体に対する次元の一意な定義を導くことが示せる。

幾何学的位相幾何学の分野では、一次元や二次元といった低次元と、 となる**高次元**とで、用いられる手法や様相が大きく異なる。高次元の場合、考える対象に十分な自由度があることによって、などの強力な手法が適用可能となり、分類理論などが整備されている。一方で、 および  の場合は、低次元特有の制約と高次元のような自由度の欠如により、ある意味で最も複雑な振る舞いを見せる。このような状況を示した実例として、一般化されたポワンカレ予想の各次元での解決の歴史がある（解決に至るまで、次元ごとに異なる四種のアプローチが必要とされた）。

### 被覆次元

任意の正規空間  に対し、 のルベーグ被覆次元が *n* であるとは、*n* が次の条件を満足する最小の整数であることをいう。
: 任意の開被覆に対して、その開細分（元の被覆の開集合の部分集合からなる被覆）であって、空間の各点がその細分のメンバのうち高々  個にしか含まれないようなものが存在する。
このとき、 と表す。 が多様体ならば、ここで定義した意味の次元と、既に述べた意味での次元は一致する。また、条件を満たすような整数  が存在しないならば、 の次元は無限であるといい、 と書く。さらに、 が &minus;1-次元となることもある（ というのは  が空集合であるという意味である）。この被覆次元の定義は、定義における「開集合」のところを「機能的開集合」 に単に取り替えることにより、正規空間から任意のチコノフ空間へ対象のクラスを拡張することができる。

### 帰納次元

位相空間の帰納次元は、**小さい帰納次元**と**大きい帰納次元**があるが、いずれも -次元球体が -次元の境界を持つことのアナロジーに基づき、開集合の境界の次元を用いた帰納的定義が与えられる。

次元についての帰納的定義は概略して以下のように与えられる。まず点の離散集合（有限個の点の集まり）の次元は 0 であるものと考える。次に、ある空間の次元が  であるとは、その任意の点の任意の近傍に対して、その境界の次元が  となるような、より小さな近傍がとれることとして定義される。

### ハウスドルフ次元

複雑な構造を持つ集合、特にフラクタルに対して、ハウスドルフ次元の概念は有効である。ハウスドルフ次元は、ハメル次元が定義できないようなものも含めた任意の距離空間に対して定義することができて、その値は必ずしも整数でない実数となる。同様の考え方に、ボックス次元やなどがある。一般に、より特異な集合に対しても整数とは限らない正の実数値を割り当てることができるフラクタル次元の概念が他にも存在する。フラクタルは多くの自然にある物体や自然現象を記述するのに有効なものとして発見された。

## 代数幾何学・可換環論分野における次元

### 代数多様体の次元

代数多様体の次元は様々な同値な方法で定義される。最も直感的な方法はおそらく任意の正則点における接空間の次元であろう。別の直感的な方法は、多様体との交叉が有限個の点（次元0）になってしまうために必要な超平面の個数として、次元を定義することである。この定義は、多様体の超平面との交叉は、超平面が多様体を含まない限り、多様体の次元から 1 下がるという事実に基づいている。

代数的集合は代数多様体の有限個の和集合であるから、その次元はその成分の次元の最大値である。それは与えられた代数的集合の部分多様体の鎖 V_0\subsetneq V_1\subsetneq \ldots \subsetneq V_d の最大の長さに等しい（そのような鎖の長さは、鎖に含まれる真の包含関係 \subsetneq の個数である）。

各多様体はと考えることができ、その多様体としての次元はスタックとしての次元と一致する。しかしながら多様体と対応しないスタックもたくさん存在し、これらの中には負の次元を持つものもある。具体的には、*V* が *m* 次元多様体で *G* が''V'' に作用する *n* 次元の代数群 であれば、 [*V*/*G*] の次元は *m*&nbsp;&minus;&nbsp;*n* である。

### クルル次元

可換環のクルル次元はその素イデアルの鎖の最大の長さである。長さ *n* の鎖とは、包含によって並べられた素イデアルの列 \mathcal{P}_0\subsetneq \mathcal{P}_1\subsetneq \ldots \subsetneq\mathcal{P}_n  である。クルル次元は代数多様体の次元と強く関わっている。部分多様体と多様体上の多項式の環の素イデアルの間には自然な対応があるからである。

体上の多元環に対して、ベクトル空間としての次元が有限であるならば、その環のクルル次元は 0 である。

## 関連項目
* 自由度
* フラクタル次元

## 脚注

### 注釈

### 出典