ベクトル係数の和が1の空間とは？アフィン結合を解説（重心座標：凸結合：アフィン空間：線形結合：幾何学的意味など）

線形代数・幾何学・コンピュータグラフィックスを学ぶ中で、「係数の和が1」というベクトルの組み合わせが特別な意味を持つという話を聞いたことはないでしょうか。

「アフィン結合（Affine Combination）」と呼ばれるこの概念は、座標系に依らない幾何学的な点の表現を可能にする強力な道具です。

本記事では、ベクトルの係数の和が1という条件の意味・アフィン結合の定義・重心座標との関係・凸結合・アフィン空間の概念・幾何学的な意味まで体系的に解説していきます。

ベクトル係数の和が1のアフィン結合とは？本質をひとことで言えば

それではまず、アフィン結合の定義と「係数の和が1」という条件の持つ本質的な意味について解説していきます。

アフィン結合（Affine Combination）とは、複数の点（または位置ベクトル）の線形結合であって、係数の和がちょうど1になるもののことです。

通常の線形結合との違いはこの「係数の和 = 1」という1つの追加条件にあります。

線形結合とアフィン結合の違い

線形結合とアフィン結合の比較

線形結合：α₁v₁ + α₂v₂ + … + αₙvₙ（係数 α_i に制約なし）

アフィン結合：α₁v₁ + α₂v₂ + … + αₙvₙ（ただし α₁ + α₂ + … + αₙ = 1）

例（2点v₁・v₂の場合）：

線形結合：αv₁ + βv₂（α・βは任意）→ 原点を含む平面全体を生成

アフィン結合：αv₁ + βv₂（α + β = 1）→ v₁とv₂を通る直線上の点のみを表す

β = 1 − α と置くと：αv₁ + (1−α)v₂（αは任意の実数）

2点のアフィン結合 αv₁ + (1−α)v₂ において、αが0から1の間を動くとき v₁ と v₂ を端点とする線分上の点を全て表します。

α = 0 のとき v₂、α = 1 のとき v₁、α = 1/2 のとき v₁ と v₂ の中点になります。

なぜ係数の和が1だと「座標原点に依らない」のか

アフィン結合が重要な理由のひとつが「座標原点の選び方に依存しない（座標不変性を持つ）」という性質です。

通常の線形結合 αa + βb は、座標原点を別の点O’に変えると結果が変わってしまいます。

しかしアフィン結合（α + β = 1）の場合、原点を変えても結果の点の位置は変わりません。

アフィン結合の座標不変性（重要）

位置ベクトルを原点O基準から原点O’基準に変換すると、

a → a’ = a − c（cはOO’ベクトル）

b → b’ = b − c

アフィン結合 αa’ + βb’（α+β=1）を計算すると：

= α(a−c) + β(b−c)

= αa + βb − (α+β)c

= αa + βb − c（α+β=1を使う）

これは元の結合 αa + βb を O’基準に変換したものと一致する。

→ 「係数の和が1」であれば、原点がどこであっても表される幾何学的な点の位置は変わらない。

アフィン結合と直線・平面の表現

アフィン結合は直線・平面などの幾何学的なオブジェクトの自然な表現を与えます。

アフィン結合の対象	表現式	表される幾何学的対象
2点 a, b	αa + (1−α)b（αは実数）	a, bを通る直線全体
2点 a, b（0≤α≤1）	αa + (1−α)b	線分ab上の点（凸結合）
3点 a, b, c	αa + βb + γc（α+β+γ=1）	a, b, cを通る平面全体
3点 a, b, c（α,β,γ≥0）	αa + βb + γc（α+β+γ=1）	三角形abc内の点（凸結合）

重心座標とアフィン結合の関係

続いては、アフィン結合と密接に関連する「重心座標（Barycentric Coordinates）」について確認していきます。

重心座標はコンピュータグラフィックス・有限要素法・幾何学的アルゴリズムで広く使われる強力な座標表現です。

重心座標の定義

三角形の3頂点 A, B, C に対して、三角形内（または平面上）の点Pを

P = αA + βB + γC（α + β + γ = 1）

と表したとき、(α, β, γ) を点Pの三角形ABCに関する「重心座標（バリセントリック座標）」と呼びます。

重心座標はまさにアフィン結合の係数に他なりません。

三角形ABCの重心G（3頂点の平均の点）の重心座標は (1/3, 1/3, 1/3) であり、各係数の総和は確かに1になります。

重心座標の幾何学的解釈

重心座標 (α, β, γ) の各成分には美しい幾何学的解釈があります。

重心座標の面積比による解釈

点Pの三角形ABCに関する重心座標 (α, β, γ) は：

α = 三角形PBCの面積 / 三角形ABCの面積

β = 三角形APCの面積 / 三角形ABCの面積

γ = 三角形ABPの面積 / 三角形ABCの面積

（各小三角形の面積比が対応する重心座標の成分に等しい）

検証：α + β + γ = (全3小三角形の面積和) / ABCの面積 = 1 ✓

この面積比による解釈から、重心座標の各成分が「点Pがどの頂点にどれだけ近いか」を表す指標として機能することがわかります。

α = 1, β = 0, γ = 0 ならば P = A（頂点A上）、α = 0, β = 1, γ = 0 ならば P = B（頂点B上）といった具合です。

凸結合と三角形の内部・外部の判定

アフィン結合の中でも、すべての係数が非負（0以上）のものを「凸結合（Convex Combination）」と呼びます。

凸結合は三角形の「内側の点」を表します。

凸結合・アフィン結合・線形結合の包含関係

凸結合 ⊂ アフィン結合 ⊂ 線形結合

凸結合：α₁ + α₂ + … = 1 かつすべての α_i ≥ 0

→ 多角形・多面体の内部の点を表す

アフィン結合：α₁ + α₂ + … = 1（α_iの符号は問わない）

→ 点・直線・平面などのアフィン部分空間を表す

線形結合：係数の制約なし

→ 原点を含む部分空間（ベクトル空間の部分空間）を表す

CGでの応用：重心座標の全成分が0以上1以下かどうかを確認することで、点が三角形の内部にあるかを判定できる。

アフィン空間の概念とベクトル空間との違い

続いては、アフィン結合の概念を拡張した「アフィン空間（Affine Space）」とベクトル空間との本質的な違いについて確認していきます。

アフィン空間の概念を理解することで、「原点のない幾何学」という新しい視点が得られます。

アフィン空間の直感的な理解

ベクトル空間には「原点（零ベクトル）」という特別な点が存在しますが、幾何学的な平面・直線・空間には「特別な原点」は本来ありません。

アフィン空間とは、原点を持たず「点と点の差（変位ベクトル）」は定義できるが、「点のスケール（スカラー倍）」は直接定義されない空間です。

日常的なユークリッド空間（私たちが住む3次元空間）はアフィン空間として理解するのが自然です。

空間の特定の点を「原点」として選んで初めて座標（ベクトル）が導入されますが、どの点を原点に選んでもよいという意味で原点は特別ではありません。

アフィン空間の数学的定義

アフィン空間は数学的には「ベクトル空間Vが付随する点の集合A」として定義されます。

点aから点bへの「変位」はベクトルv ∈ V で表され、b = a + v という操作が定義されます。

ベクトル空間との本質的な違いは以下のとおりです。

比較項目	ベクトル空間	アフィン空間
基本要素	ベクトル（方向と大きさを持つ）	点（位置を持つ）
原点	特別な要素として存在（零ベクトル）	特別な原点は存在しない
スカラー倍	ベクトルのスカラー倍が定義される	点のスカラー倍は直接定義されない
足し算	ベクトル同士の加法	「点＋ベクトル」は定義（点と点の和は未定義）
線形結合	任意の係数で定義される	係数の和が1の場合（アフィン結合）のみ意味を持つ