凸集合

ユークリッド空間における物体が凸であるとは、その物体に含まれる任意の二点に対し、それら二点を結ぶ線分上の任意の点がまたその物体に含まれることを言う。例えば中身のつまった立方体は凸であるが、例えば三日月形のように窪みや凹みのあるものは何れも凸でない。凸曲線は凸集合の境界を成す。

凸集合の概念は後で述べるとおり他の空間へも一般化することができる。

1. ベクトル空間内の凸集合
--------------

S}} は実数体上のベクトル空間とする。ユークリッド空間はその例である。S}} 内の集合 C}} が凸であるとは、任意の //x//, //y// ∈ //C//}} および任意の //t// ∈ [[区間  に対し、点 //x// + //ty//}} もまた C}} に属することをいう。即ち、x}} と y}} とを結ぶ線分上の各点が C}} に属する寒野善博。これにより、実または複素位相線型空間における凸集合は弧状連結、したがって連結であることが従う。 さらに、C}} が狭義凸  であるとは、x}} と y}} とを結ぶ線分上の各点が端点を除き C}} の内部に含まれるときにいう。

集合 C}} が絶対凸とは、それが凸かつ均衡であるときにいう。

実数全体の成す集合 R}} の凸部分集合とは、単に R}} の区間のことである。ユークリッド平面の凸部分集合の例には、中身のつまった正多角形、中身のつまった三角形、中身のつまった三角形の交わり、などが挙げられる。三次元ユークリッド空間の凸部分集合の例にはアルキメデスの立体、プラトンの立体などが挙げられる。ケプラー・ポアンソ多面体は非凸集合の例である。

1.1. 凹集合
--------

凸でない集合は非凸集合  と言う。凸多角形でない多角形は凹多角形とも呼ばれ130}}、文献によってはより一般に非凸集合をあらわすのに凹集合  という語を使用することもあるが、普通はそのような言い方は避けられるharvtxtharvtxt。

2. 性質
-----

S}} が n}}-次元空間内の凸集合ならば、任意 r}}-個  の n}}-次元ベクトル //u//sub と任意の非負数 //λ//sub で //λ//sub を満たすものに対し

が成り立つ。このように書かれるベクトルは、//u//sub の凸結合と呼ばれる。

2.1. 交叉と合併
----------

ベクトル空間の凸部分集合は以下の性質をもつ。

空集合とベクトル空間の全体は凸である。
凸集合の任意の交叉は凸である。
凸部分集合の非減少列の合併は凸集合である。最後の凸集合の合併に関する性質については、合併をとる対象を包含関係を持つ列に制限することが大切である。

2.2. 閉凸集合
---------

閉凸集合は、その極限点をすべて自身に含むような凸集合である。これらは、閉半空間たちの交わりとして特徴付けることができる。

今述べたことのうち、そのよう交わりに書けるものが凸であり、それらが閉集合であるということは明らかである。その逆を言うには、「閉凸集合 C}} とその外点 P}} が与えられたとき、C}} を含み P}} を含まない閉半空間 H}} が存在する」という形の支持超平面定理が必要になる。この支持超平面定理は、函数解析学におけるハーン・バナッハの定理の特別な場合である。

3. 凸包とミンコフスキー和
--------------

3.1. 凸包
-------

ベクトル空間の部分集合 A}} は、もっとも小さな凸集合に含まれる。すなわち、凸包は、A}} を含むすべての凸集合の交叉である。凸包作用素 Conv}} は閉包作用素を特徴づける性質をもつ。

拡張性: //S// ⊆ Conv}}, 非減少性: //S// ⊆ //T//}} ならばConv ⊆ Conv}}, べき等性: Conv) =}} Conv}}.凸包作用素は、凸集合全体の成す集合族が束を形成するために必要であり、その中で結び演算 ∨}} は、2つの凸集合の合併の凸包

として定義される。凸集合の任意の交叉は凸集合であり、従ってベクトル空間の凸部分集合全体は完備束を成す。

3.2. ミンコフスキーの和
--------------

実線型空間において、二つの空でない集合 //S//sub のミンコフスキー和 //S//sub は、加えられる各集合の元ごとの和の集合

として定義される。より一般に、空でない部分集合の有限族 Ssub のミンコフスキー和は、同様に元ごとの和をとって

で与えられる。ミンコフスキー和に関して、零ベクトルのみからなる集合 mset は特に重要である: 空でない任意の部分集合 S}} に対して

//S// + mset;代数の言葉で言えば mset はミンコフスキー和の単位元である空集合はミンコフスキー和において重要である。空集合は他の任意の部分集合を零化  する: 任意の部分集合 mvar。

3.2.1. ミンコフスキー和の凸包
------------------

ミンコフスキー和は、凸包を取る操作に関して以下の命題が示す通りよく振舞う。

//S//sub を実ベクトル空間の部分集合とすると、それらのミンコフスキー和の凸包は、凸包のミンコフスキー和

である。

この結果は、有限個の空でない集合の集まりに対して、より一般的に成り立つ。

数学的な言い方をすれば、ミンコフスキー和と凸包を作る操作は、可換な操作であるat=Theorem 3 }}

3.3. 凸集合のミンコフスキー和
-----------------

2つのコンパクトな凸集合のミンコフスキー和はコンパクトであり、コンパクト凸集合と閉凸集合の和は閉である。

4. 凸性の一般化と拡張
------------

ユークリッド空間内の凸性の概念は、定義の一部を修正またはほかのものに取り換えて一般化することができる。「一般化された凸性」という語は、得られる対象が凸集合たちの持つある種の性質を保っていることを示唆して用いられる。

4.1. 星状凸
--------

C}} を実または複素ベクトル空間内の集合とする。C}} が星状凸であるとは、C}} の点 //x//0}} が存在して、//x//0}} から C}} の任意の点 y}} へ結ぶ線分が再び C}} に全く含まれる場合をいう。従って、空でない凸集合は必ず星状凸であるが、星状凸集合は必ずしも凸でない。

4.2. 直交凸
--------

一般化凸性の例として、直交凸性がある。

ユークリッド空間内の集合 S}} が直交凸であるとは、S}} の二点を結ぶ任意の座標軸に平行な任意の線分全体が、S}} の中に含まれる場合を言う。直交凸性を持つ集合の交叉が直交凸であることを証明することは容易である。凸集合の持つ他の性質も成立する。

4.3. 非ユークリッド幾何学
---------------

任意の二点を結ぶ測地線を含む集合として測地凸性を定義することにより、凸集合や凸包の概念を非ユークリッド幾何学に対するものへ自然に拡張することができる。

4.4. 順序位相
---------

順序位相を持つ空間 X}} に対しても、その空間の全順序 <}} を用いて、凸性の概念を定義することができる。

//Y// ⊆ //X//}} とするとき、部分空間 Y}} が凸集合であるとは、Y}} の任意の二点 //a//, //b//}} で //a// < //b//}} を満たすものに対して、区間  =}} //x// ∈ //X// : //a// < //x// < //b//} }} が Y}} に含まれるときにいう。つまり、Y}} が凸となる必要十分条件は、任意の //a//, //b// ∈ //Y//}} に対し、//a// < //b//}} ならば  ⊆ //Y//}} が成り立つことである。

4.5. 凸型空間
---------

凸性の持つ特定の性質を公理として、ほかの対象へ凸性を一般化することができる。

与えられた集合 X}} に対し、X}} 上の凸型  とは X}} の部分集合族 //𝒞//}} であって以下の公理系を満足するものを言う:

空集合 ∅}} および X}} は //𝒞//}} に属する。
//𝒞//}} の元からなる任意の集合族の交わりは //𝒞//}} に属する。
//𝒞//}} の元からなる全順序な集合族の合併は //𝒞//}} に属する。凸型 //𝒞//}} の元を凸集合と呼び、対 }} を凸型空間  と呼ぶ。通常の意味の凸性に対して、前二つの公理が成立する。

このように抽象的な凸性の、より離散幾何学に適した別定義は、反マトロイドに関連する凸幾何学を参照せよ。

5. 脚注
-----

5.1. 注釈
-------

5.2. 出典
-------

6. 参考文献
-------

7. 関連項目
-------

凸包
擬凸性
離散凸集合

8. 外部リンク
--------