ラドンの定理は、凸集合や凸包の性質を理解する上で非常に重要な定理です。大学初級レベルでも理解できるように、概念を簡単に説明しながら証明の流れを解説します。
ラドンの定理とは
n 次元実ベクトル空間 R^n の任意の点集合 A で、少なくとも n+2 個の点が含まれる場合、A を 2 つの部分集合に分けて、その凸包が交わるようにできる、という定理です。
簡単に言えば、十分な数の点があれば、2 つのグループに分けても重なる部分（共通点）ができる、ということです。
1次元の場合の例
1次元では、点が 3 個あれば、ラドンの定理が成り立ちます。例えば、点 {1,3,5} を考えると、1 と 5 の凸包は区間 [1,5] であり、3 の点がこの区間に含まれます。
したがって、{1,3} と {3,5} の凸包は交わることが確認できます。
二次元以上の場合の考え方
2次元以上では、凸結合と凸包の概念を用います。n+2 個の点を選ぶと、線形依存関係が存在します。つまり、ある点の重み付き和で 0 ベクトルが作れる組み合わせがあります。
この線形関係を正と負の部分に分けることで、2 つの部分集合を作り、その凸包が交わることが示せます。
証明の手順（概要）
1. 点集合 A から n+2 個の点を選ぶ。
2. これらの点が作る線形方程式の非自明解を求める（線形依存性の利用）。
3. 係数を正と負に分けて 2 つの部分集合を作る。
4. 正の係数の凸結合と負の係数の凸結合を比較すると、両方の凸包に共通点があることが分かる。
まとめ
ラドンの定理は、点の数が n+2 個以上であれば、2 つの部分集合に分けて凸包の交わりを保証する定理です。1次元の直線上の例から n 次元の線形依存を用いた一般証明まで、基本的な考え方は線形代数と凸結合の理解に基づきます。
大学初級レベルでも、1次元・2次元の具体例を通じて概念を掴むことで、定理の意義や証明の流れを理解できるようになります。
コメント