凸集合

ユークリッド空間における物体が凸（とつ、）であるとは、その物体に含まれる任意の二点に対し、それら二点を結ぶ線分上の任意の点がまたその物体に含まれることを言う。

例えば中身のつまった立方体は凸であるが、例えば三日月形のように窪みや凹みのあるものは何れも凸でない。は凸集合の境界を成す。凸集合の概念は後で述べるとおり他の空間へも一般化することができる（⇒ #凸性の一般化と拡張）。

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

定義よりととを結ぶ線分上の各点がに属する。

定義素朴には、凸集合はベクトル空間において定義できる。を実数体あるいはより一般に適当な順序体、を単位区間、を上のベクトル空間、をの部分集合とする。が次の条件、

を満たすとき、はである。

性質が -次元空間内の凸集合ならば、任意 -個 () の -次元ベクトルと任意の非負数でを満たすものに対し

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

交叉と合併ベクトル空間の凸部分集合は以下の性質をもつSoltan, Valeriu, Introduction to the Axiomatic Theory of Convexity, Ştiinţa, Chişinău, 1984 (in Russian).。空集合とベクトル空間の全体は凸である。凸集合の任意の交叉は凸である。凸部分集合の非減少列の合併は凸集合である。

最後の凸集合の合併に関する性質については、合併をとる対象を包含関係を持つ列に制限することが大切である（ふたつの凸集合の合併は必ずしも凸集合でない）。

交叉が凸集合任意の凸集合の交叉は凸集合である。

を添字集合、を凸集合、を凸集合の交叉とする。よりであり、これと各の凸性（）を組み合わせると、である。ここで交叉の定義よりが成立する。これは凸集合の必要十分条件であり、凸集合の交叉は凸集合と示された。

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

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

その他の性質実または複素位相線型空間における凸集合は弧状連結、したがって連結であることが従う。

凸包とミンコフスキー和凸包

ベクトル空間の部分集合は、もっとも小さな凸集合（の凸包と呼ぶ）に含まれる。すなわち、凸包は、を含むすべての凸集合の交叉である。凸包作用素は包作用素を特徴づける性質をもつ。拡張性 , 非減少性ならば, べき等性 .

凸包作用素は、凸集合全体の成す集合族が束を形成するために必要であり、その中で結び演算は、2つの凸集合の合併の凸包

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

ミンコフスキーの和

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

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

で与えられる。ミンコフスキー和に関して、零ベクトルのみからなる集合は特に重要である: 空でない任意の部分集合に対して ; 代数の言葉で言えばは（空でない集合族上の）ミンコフスキー和の単位元である。

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

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

である。

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

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

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

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

関連する集合が狭義凸 (strictly convex) であるとは、ととを結ぶ線分上の各点が端点を除きの内部に含まれるときにいう。

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

凹集合

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

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

星状凸

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

直交凸

一般化凸性の例として、直交凸性があるRawlins G.J.E. and Wood D, "Ortho-convexity and its generalizations", in: Computational Morphology, 137-152. Elsevier, 1988.。

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

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

順序位相を持つ空間に対しても、その空間の全順序を用いて、凸性の概念を定義することができるMunkres, James; Topology, Prentice Hall; 2nd edition (December 28, 1999). .。

とするとき、部分空間が凸集合であるとは、の任意の二点でを満たすものに対して、区間がに含まれるときにいう。つまり、が凸となる必要十分条件は、任意のに対し、ならばが成り立つことである。

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

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

空集合およびはに属する。の元からなる任意の集合族の交わりはに属する。の元からなる（包含関係に関して）全順序な集合族の合併はに属する。

凸型の元を凸集合と呼び、対を凸型空間 (convexity space) と呼ぶ。通常の意味の凸性に対して、前二つの公理が成立する（三つ目は自明である）。

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

脚注

注釈

出典

参考文献

Źródło i licencja