ヘリーの定理

数学のの分野におけるヘリーの定理（ヘリーのていり、）とは、凸集合がお互いに共通部分を持つ状況に関する基本的な結果である。エードゥアルト・ヘリーによって1913年に発見されたが、1923年まで出版されることはなく、その間に や によって代替的な証明が与えられていた。ヘリーの定理を元に、の概念が生まれた。
内容.
 とし、 を の有限個の凸部分集合とする。それらの内 個の任意の集合の共通部分が空でないなら、全体の共通部分も空でない。すなわち
である。無限個の集まりに対しては、次のようにコンパクト性を仮定する必要がある：
 を のコンパクトな凸部分集合の集まりとし、その濃度が高々 であるようなすべての部分集合の共通部分は空でないとする。このとき、全体の共通部分も空でない。
証明.
 の証明と同様に、による有限の場合の証明を始めに行う。すると無限の場合は、コンパクト性を特徴付けるによって従う。すなわち、コンパクト空間の閉部分集合の集まりの共通部分が空でないための必要十分条件は、すべての有限の部分的な集まりの共通部分が空でないことなのである（ある単一の集合を固定した際、その集合と他のすべての集合との共通部分は、ある固定されたコンパクト空間の閉部分集合である）。
証明は数学的帰納法によって行われる：
<ins>基本となる場合</ins> とする。仮定より、任意の に対して、 すべてと の例外との共通部分に含まれる点 が存在する。今、 の凸包が の凸包と交わる互いに素な部分集合 を持つ集合 } に対して、を適用する。 はそれら二つの凸包の共通部分にある点とする。次を示す：
実際、任意の } を考え、 を示す。 に含まれない可能性のある唯一つの の元は である。 であるなら、 であり、したがって である。 は凸であるため、 の凸包を含み、したがって となる。同様に、 であるなら、 であり、したがって同様の理由で となる。 はすべての に含まれるため、それらの共通部分に含まれるということになる。
上の例では、点 はすべて異なるものとして考えられていた。そうでない場合、すなわちある に対して であるような場合、 はすべての集合 に含まれることとなり、再び共通部分は空でないと結論付けられる。以上で の場合は証明された。
<ins>帰納的な手順</ins> とし、 に対して定理の内容は成立しているものとする。上述の議論より、 個の集合の任意の部分的な集まりは空でない共通部分を持つ。すると二つの集合 および を単一の集合 に置き換えた集合の集まりを考えることが出来る。そのような新たな集まりに対して、 個の集合のすべての部分的な集まりは空でない共通部分を持つ。したがって帰納的な仮定を適用することが出来、そのような新たな集まりは空でない共通部分を持つことが示される。同様の手法を元の集まりに適用することで、証明は完成される。