「次元」とは結局なにか ― 自由度の正体

「3次元空間」の「3」が何を意味するのか．基底の元数がいつも同じになるという非自明な事実と，Steinitz交換定理の具体例を通して，次元の正体に迫ります．

2026年2月27日

「次元」という言葉は日常的にも使われます．「3次元空間」「4次元時空」など．しかし，線形代数における次元の定義は思いのほか深い問いを含んでいます．

1 直感的な「自由度」

$R^{3}$ の各点は $(x, y, z)$ の3つの数で指定できます．つまり「自由に動かせるパラメータが3つ」あります．これが $dim R^{3} = 3$ の直感的意味です．

しかし問題は，パラメータの取り方は一通りではないということです．

例 1.

R^{2}

において，標準基底

{(1, 0), (0, 1)}

を使えば2つの数で点を指定できます．しかし基底を

{(1, 1), (1, - 1)}

に取り替えても，やはり2つの数で指定できます：

(3, 1) = 2 \cdot (1, 1) + 1 \cdot (1, - 1)

基底を変えてもパラメータの個数は

2

のまま — これは自明ではありません．

2 基底の元数は一定である — Steinitz 交換定理

「どの基底を取っても元数が同じ」ことの証明が，次元の理論の核心です．

定理 2 (Steinitz 交換定理).

V

をベクトル空間とします．

{v_{1}, \dots, v_{m}}

が

V

を生成し，

{w_{1}, \dots, w_{n}}

が線形独立ならば，

n \leq m

が成り立ちます．

この定理が言っているのは，線形独立な集合の元数は，生成系の元数を超えないということです．

具体例で見てみましょう．

例 3.

V = R^{3}

において，

{e_{1}, e_{2}, e_{3}}

（標準基底）は

V

を生成します（

m = 3

）．ここで

{w_{1}, w_{2}, w_{3}, w_{4}}

が線形独立であると仮定すると，Steinitz の定理から

4 \leq 3

となり矛盾します．つまり

R^{3}

では4本以上のベクトルは必ず線形従属です．

例 4 (交換の手続き).

R^{2}

の生成系

{e_{1}, e_{2}}

と線形独立系

{w_{1}}

（

w_{1} = (3, 2)

とする）を考えます．Steinitz 交換定理の証明は，実際に生成系の元を入れ替える手続きを示します：

w_{1} = 3 e_{1} + 2 e_{2}

なので，

e_{1}

を

w_{1}

に置き換えて

{w_{1}, e_{2}}

としても

R^{2}

を生成できます．実際，

e_{1} = \frac{1}{3} (w_{1} - 2 e_{2})

なので，元の生成系で書けたベクトルは新しい系でも書けます．

3 次元の定義

Steinitz 交換定理から，次の系が導かれます．

定理 5.

ベクトル空間

V

の任意の2つの基底は，同じ元数を持ちます．

証明.

基底

B_{1} = {v_{1}, \dots, v_{m}}

と基底

B_{2} = {w_{1}, \dots, w_{n}}

があるとします．

B_{1}

は生成系で

B_{2}

は線形独立なので

n \leq m

．逆に

B_{2}

は生成系で

B_{1}

は線形独立なので

m \leq n

．よって

m = n

です． □

この一定値を $V$ の次元 $dim V$ と定義します．

例 6.

$dim R^{n} = n$ （標準基底 ${e_{1}, \dots, e_{n}}$ が基底）
$dim P_{n} = n + 1$ （ ${1, x, x^{2}, \dots, x^{n}}$ が基底．次数 $n$ 以下の多項式空間）
$dim M_{m \times n} (R) = mn$ （各成分に $1$ を置いた行列 $E_{ij}$ たちが基底）
$dim {0} = 0$ （零空間．基底は空集合）

4 無限次元 — 自由度が「無限」の世界

有限個の基底を持たないベクトル空間もあります．

例 7.

すべての実数係数多項式の空間

R [x]

を考えます．

{1, x, x^{2}, x^{3}, \dots}

はこの空間を生成しますが，有限部分集合ではこの空間を生成しきれません（次数

N

の多項式を生成するには少なくとも

N + 1

個の基底元が必要です）．したがって

dim R [x] = \infty

です．

例 8.

連続関数の空間

C [0, 1]

も無限次元です．フーリエ解析の「無限個の三角関数で関数を展開する」という考え方は，この無限次元性の反映です．

5 次元公式 — 部分空間の次元

次元は足し算ができます．ただし，注意が必要です．

定理 9 (次元公式).

V

の有限次元部分空間

W_{1}, W_{2}

に対して

dim (W_{1} + W_{2}) = dim W_{1} + dim W_{2} - dim (W_{1} \cap W_{2})

これは集合の包含排除原理のベクトル空間版です．

例 10.

V = R^{3}

で，

W_{1}

を

x y

平面（

dim W_{1} = 2

），

W_{2}

を

x z

平面（

dim W_{2} = 2

）とします．

W_{1} \cap W_{2}

は

x

軸（

dim = 1

）なので

dim (W_{1} + W_{2}) = 2 + 2 - 1 = 3 = dim R^{3}

つまり

W_{1} + W_{2} = R^{3}

です．2つの平面を合わせると全空間を生成するということです．

6 まとめ

「次元」とは基底の元数であり，その本質は「ベクトル空間を指定するのに必要なパラメータの個数」です．これが well-defined（基底の取り方によらない）であることは Steinitz 交換定理が保証しており，自明なことではありません．次元の概念があるからこそ， $R^{2}$ と $R^{3}$ が「本質的に異なる」と断言できるのです．

線形代数代数学教科書の行間

Folio公式

数学の「教科書が書かない行間」をLaTeXで．Folio公式アカウントです．

0 followers·105 articles

「次元」とは結局なにか ― 自由度の正体

1 直感的な「自由度」

2 基底の元数は一定である — Steinitz 交換定理

3 次元の定義

4 無限次元 — 自由度が「無限」の世界

5 次元公式 — 部分空間の次元

6 まとめ

Share your expertise with the world

More from Folio公式

Folio LaTeXの基本 ― 標準LaTeXとの違いと始め方

カタラン数はなぜどこにでも現れるのか ― 括弧列・二分木・格子経路の不思議な一致

漸化式と母関数 ― 数列を「関数」にすると何が見えるか

包除原理はなぜ「足して引いて」を繰り返すのか ― ベン図からメビウス関数へ