なぜ「ベクトル空間」を公理で定義するのか ― 矢印から公理へ

高校で習う「矢印のベクトル」は，実はベクトル空間のほんの一例にすぎません．多項式や関数，行列までもがベクトル空間になる理由と，公理による定義の威力を具体例で実感します．

2026年2月27日

高校では，ベクトルは「大きさと向きを持つ矢印」と教わります．平面ベクトル $a = (a_{1}, a_{2})$ を足したりスカラー倍したりする計算は，直感的でわかりやすいものでした．

ところが大学の線形代数では，いきなり8つの公理が並びます．

定義 1.

体

K

上のベクトル空間とは，集合

V

に「加法」

+ : V \times V \to V

と「スカラー倍」

\cdot : K \times V \to V

が定義され，次の8条件を満たすものをいいます：

$u + v = v + u$ （加法の可換性）
$(u + v) + w = u + (v + w)$ （加法の結合性）
零ベクトル $0$ が存在して $v + 0 = v$
各 $v$ に $v + (- v) = 0$ なる $- v$ が存在
$a (b v) = (ab) v$ （スカラー倍の結合性）
$1 \cdot v = v$
$a (u + v) = a u + a v$ （分配法則1）
$(a + b) v = a v + b v$ （分配法則2）

こんなに仰々しい定義をする理由は何でしょうか？答えは「矢印以外にもベクトル空間はたくさんある」からです．

1 矢印の限界

高校の矢印ベクトルは $R^{2}$ や $R^{3}$ の元です．しかし現実の数学や物理では，もっと多様な対象を扱います．

例 2 (多項式空間).

次数2以下の実数係数多項式の集合

P_{2} = {a_{0} + a_{1} x + a_{2} x^{2} ∣ a_{0}, a_{1}, a_{2} \in R}

を考えます．多項式同士の「足し算」とスカラー倍は自然に定義できます：

(1 + 2 x) + (3 - x^{2}) = 4 + 2 x - x^{2}, 3 \cdot (1 + 2 x) = 3 + 6 x

驚くべきことに，これは8つの公理をすべて満たします．つまり

P_{2}

はベクトル空間です．

例 3 (行列空間).

2 \times 2

実行列全体

M_{2 \times 2} (R)

も，行列の加法とスカラー倍についてベクトル空間になります．零ベクトルは零行列

O

です．

例 4 (関数空間).

区間

[0, 1]

上の連続関数全体

C [0, 1]

も，関数の加法とスカラー倍でベクトル空間です．こちらは無限次元のベクトル空間になります．

2 公理を1つずつ味わう

8つの公理は多いように見えますが，実はとても自然なことを言っています．

公理1〜4は「加法がアーベル群をなす」ことを要求しています．ベクトルを足したり引いたりする操作が，順番を入れ替えても結果が同じで，零ベクトル（加法の単位元）と逆ベクトルがあるということです．

公理5〜6は「スカラー倍が体 $K$ の掛け算と整合する」ことを言っています． $2$ 倍してから $3$ 倍するのと，最初から $6$ 倍するのが同じ，というだけです．

公理7〜8は「足し算とスカラー倍が互いに仲良くする（分配法則）」ことを保証しています．

3 公理を削る実験

群論と同じように，公理を削ると何が起こるかを見てみましょう．

分配法則を外すとどうなるか？ $a (u + v) = a u + a v$ がなければ，スカラー倍と加法が無関係な操作になります．「 $2$ 倍して足す」のと「足してから $2$ 倍する」が違う結果になり，連立方程式の係数を括りだすことすらできません．

加法の可換性を外すとどうなるか？ 実はこれを外した構造（「加群」の非可換版）も数学では研究されていますが，行列の基本変形や掃き出し法といった線形代数の道具がほとんど使えなくなります．

4 部分空間 — ベクトル空間の中のベクトル空間

8つの公理をすべて確かめるのは大変です．しかし，すでにベクトル空間とわかっている $V$ の部分集合 $W$ については，もっと少ない条件で済みます．

定理 5 (部分空間の判定).

V

をベクトル空間，

W \subseteq V

とします．次の3条件が成り立てば

W

は

V

の部分空間です：

$0 \in W$ （零ベクトルを含む）
$u, v \in W \Rightarrow u + v \in W$ （加法で閉じる）
$a \in K, v \in W \Rightarrow a v \in W$ （スカラー倍で閉じる）

8つの公理が3つの条件に減りました！残りの5つは $V$ から自動的に受け継がれます．

例 6.

R^{3}

の中で，

z = 0

を満たすベクトル全体（

x y

平面）は部分空間です．原点を含み，足し算やスカラー倍をしても

z

成分は

0

のままだからです．

一方，

z = 1

を満たすベクトル全体は部分空間ではありません．零ベクトル

(0, 0, 0)

を含まないからです．

5 まとめ

ベクトル空間を8つの公理で定義するのは，「矢印」に限定せず，多項式・行列・関数といった多様な対象を同じ言語で統一的に扱うためです．この統一によって，行列の理論・連立方程式の解法・固有値問題などが，すべてベクトル空間の言葉で語れるようになります．線形代数の出発点は，この「公理による抽象化」にあるのです．

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

Folio公式

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

0 フォロワー·105 記事

なぜ「ベクトル空間」を公理で定義するのか ― 矢印から公理へ

1 矢印の限界

2 公理を1つずつ味わう

3 公理を削る実験

4 部分空間 — ベクトル空間の中のベクトル空間

5 まとめ

あなたの専門知識を世界に発信しよう

Folio公式の他の記事

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

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

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

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