ヘリーの定理のソースを表示

[[File:Helly's theorem.svg|thumb|400px|ユークリッド平面に対するヘリーの定理：凸集合の族に対し、どのような三つの集合を選んでも共通部分が空でないなら、その族全体も空でない共通部分を持つ。]]

[[数学]]の[[離散幾何学]]の分野における'''ヘリーの定理'''（ヘリーのていり、{{Lang-en-short|Helly's theorem}}）とは、[[凸集合]]がお互いに[[共通部分 (数学)|共通部分]]を持つ状況に関する基本的な結果である。[[エードゥアルト・ヘリー]]によって1913年に発見された<ref>{{harvtxt|Danzer|Grünbaum|Klee|1963}}.</ref>が、1923年まで出版されることはなく、その間に {{harvtxt|Radon|1921}} や {{harvtxt|König|1922}} によって代替的な証明が与えられていた。ヘリーの定理を元に、{{仮リンク|ヘリー族|en|Helly family}}の概念が生まれた。

== 内容 ==

{{math|''n'' > ''d''}} とし、{{math|''X''<sub>1</sub>, ..., ''X<sub>n</sub>''}} を {{math|'''R'''<sup>''d''</sup>}} の有限個の凸部分集合とする。それらの内  {{math|''d''+1}} 個の任意の集合の共通部分が空でないなら、全体の共通部分も空でない。すなわち

:<math>\bigcap_{j=1}^n X_j\ne\varnothing</math>

である。無限個の集まりに対しては、次のようにコンパクト性を仮定する必要がある：

{{math|{''X<sub>α</sub>''} }} を {{math|'''R'''<sup>''d''</sup>}} の[[コンパクト空間|コンパクト]]な凸部分集合の集まりとし、その[[基数|濃度]]が高々 {{math|''d''+1}} であるようなすべての部分集合の共通部分は空でないとする。このとき、全体の共通部分も空でない。

== 証明 ==

{{harvtxt|Radon|1921}} の証明と同様に、{{仮リンク|ラドンの定理|en|Radon's theorem}}による有限の場合の証明を始めに行う。すると無限の場合は、[[コンパクト空間|コンパクト性]]を特徴付ける[[有限交差性]]によって従う。すなわち、コンパクト空間の閉部分集合の集まりの共通部分が空でないための必要十分条件は、すべての有限の部分的な集まりの共通部分が空でないことなのである（ある単一の集合を固定した際、その集合と他のすべての集合との共通部分は、ある固定されたコンパクト空間の閉部分集合である）。

証明は数学的帰納法によって行われる：

<ins>基本となる場合</ins> {{math|''n'' {{=}} ''d''+2}} とする。仮定より、任意の {{math|''j'' {{=}} 1, ..., ''n''}} に対して、{{math|''X<sub>i</sub>''}} すべてと {{math|''X<sub>j</sub>''}} の例外との共通部分に含まれる点 {{math|''x<sub>j</sub>''}} が存在する。今、{{math|''A''<sub>1</sub>}} の[[凸包]]が {{math|''A''<sub>2</sub>}} の凸包と交わる互いに素な部分集合 {{math|''A''<sub>1</sub>, ''A''<sub>2</sub>}} を持つ集合 {{math|''A'' {{=}} {''x''<sub>1</sub>, ..., ''x<sub>n</sub>''}}} に対して、{{仮リンク|ラドンの定理|en|Radon's theorem}}を適用する。{{mvar|p}} はそれら二つの凸包の共通部分にある点とする。次を示す：

:<math>p\in\bigcap_{j=1}^n X_j.</math>

実際、任意の {{math|''j'' ∈ {1, ..., ''n''}}} を考え、{{math|''p'' ∈ ''X<sub>j</sub>''}} を示す。{{math|''X<sub>j</sub>''}} に含まれない可能性のある唯一つの {{mvar|A}} の元は {{math|''x<sub>j</sub>''}} である。{{math|''x<sub>j</sub>'' ∈ ''A''<sub>1</sub>}} であるなら、{{math|''x<sub>j</sub>'' ∉ ''A''<sub>2</sub>}} であり、したがって {{math|''X<sub>j</sub>'' ⊃ ''A''<sub>2</sub>}} である。{{math|''X<sub>j</sub>''}} は凸であるため、{{math|''A''<sub>2</sub>}} の凸包を含み、したがって {{math|''p'' ∈ ''X<sub>j</sub>''}} となる。同様に、{{math|''x<sub>j</sub>'' ∉ ''A''<sub>1</sub>}} であるなら、{{math|''X<sub>j</sub>'' ⊃ ''A''<sub>1</sub>}} であり、したがって同様の理由で {{math|''p'' ∈ ''X<sub>j</sub>''}} となる。{{mvar|p}} はすべての {{math|''X<sub>j</sub>''}} に含まれるため、それらの共通部分に含まれるということになる。

上の例では、点 {{math|''x''<sub>1</sub>, ..., ''x<sub>n</sub>''}} はすべて異なるものとして考えられていた。そうでない場合、すなわちある {{math|''i'' ≠ ''k''}} に対して {{math|''x<sub>i</sub>'' {{=}} ''x<sub>k</sub>''}} であるような場合、{{math|''x<sub>i</sub>''}} はすべての集合 {{math|''X<sub>j</sub>''}} に含まれることとなり、再び共通部分は空でないと結論付けられる。以上で {{math|''n'' {{=}} ''d''+2}} の場合は証明された。

<ins>帰納的な手順</ins> {{math|''n'' > ''d''+1}} とし、{{math|''n''−1}} に対して定理の内容は成立しているものとする。上述の議論より、{{math|''d''+2}} 個の集合の任意の部分的な集まりは空でない共通部分を持つ。すると二つの集合 {{math|''X''<sub>''n''−1</sub>}} および {{math|''X<sub>n</sub>''}} を単一の集合 {{math|''X''<sub>''n''−1</sub> ∩ ''X<sub>n</sub>''}} に置き換えた集合の集まりを考えることが出来る。そのような新たな集まりに対して、{{math|''d''+1}} 個の集合のすべての部分的な集まりは空でない共通部分を持つ。したがって帰納的な仮定を適用することが出来、そのような新たな集まりは空でない共通部分を持つことが示される。同様の手法を元の集まりに適用することで、証明は完成される。

== 関連項目 == 
* [[カラテオドリの定理 (凸包)]]
* {{仮リンク|シャプレー＝フォークマンの補題|en|Shapley–Folkman lemma}}
* [[クレイン＝ミルマンの定理]]
* {{仮リンク|ショケ理論|en|Choquet theory}}
* {{仮リンク|ラドンの定理|en|Radon's theorem}}

== 脚注 ==
{{reflist}}

== 参考文献 ==
*{{citation
 | last = Bollobás | first = B. | author-link = ベラ・バラバシ
 | contribution = Problem 29, Intersecting Convex Sets: Helly's Theorem
 | isbn = 0-521-69395-0
 | pages = 90–91
 | publisher = Cambridge University Press
 | title = The Art of Mathematics: Coffee Time in Memphis
 | year = 2006}}.
*{{citation
 | last1 = Danzer | first1 = L.
 | last2 = Grünbaum | first2 = B. | author2-link = :en:Branko Grünbaum
 | last3 = Klee | first3 = V. | author3-link = :en:Victor Klee
 | contribution = Helly's theorem and its relatives
 | pages = 101–179
 | publisher = [[American Mathematical Society]]
 | series = Proc. Symp. Pure Math.
 | title = Convexity
 | url = 
 | volume = 7
 | year = 1963}}. 
*{{citation
 | last = Eckhoff | first = J.
 | contribution = Helly, Radon, and Carathéodory type theorems
 | location = Amsterdam
 | pages = 389–448
 | publisher = North-Holland
 | title = Handbook of Convex Geometry
 | volume = A, B
 | year = 1993}}.
* [[:en:Heinrich Guggenheimer|Heinrich Guggenheimer]] (1977) ''Applicable Geometry'', page 137, Krieger, Huntington ISBN 0-88275-368-1 .
*{{citation
 | last = Helly | first = E. | author-link = エードゥアルト・ヘリー
 | journal = Jahresbericht der [[ドイツ数学会|Deutschen Mathematiker-Vereinigung]]
 | pages = 175–176
 | title = Über Mengen konvexer Körper mit gemeinschaftlichen Punkten
 | volume = 32
 | year = 1923}}. 
*{{citation
 | last = König | first = D. | author-link = デネス・ケーニヒ
 | doi = 10.1007/BF01215899
 | issue = 1
 | journal = Mathematische Zeitschrift
 | pages = 208–220
 | title = Über konvexe Körper
 | volume = 14
 | year = 1922}}.
*{{citation
 | last = Radon | first = J. | author-link = :en:Johann Radon
 | doi = 10.1007/BF01464231
 | issue = 1–2
 | journal = [[Mathematische Annalen]]
 | pages = 113–115
 | title = Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten
 | volume = 83
 | year = 1921}}.

{{DEFAULTSORT:へりいのていり}}
[[Category:凸幾何学]]
[[Category:離散幾何学]]
[[Category:証明を含む記事]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]