凸集合

OR事典

凸集合

読み方：とつしゅうごう
【英】：convex set

ベクトル空間の部分集合 で次の条件を満たすもの.

有限個の半空間の共通部分として表される凸集合を特に凸多面体という. 凸集合や凸多面体は線形計画をはじめ, 数理計画の様々な分野において最も基本的な役割を果たす.

「OR事典」の他の用語

非線形計画：	凸計画問題  凸錐  凸関数  凸集合  分数計画問題  分枝限定法  制約なし最適化
計算幾何：	八分木  凸包  凸多面体  凸集合  動的ボロノイ図  区間木  厳密計算法

ウィキペディア

凸集合

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/10/18 07:12 UTC 版)

円板のように見える凸集合、（緑色）の凸集合は x と y を繋ぐ（黒色）の直線部分を含んでいる。凸集合の内部に直線の部分の全体が含まれる。

ブーメランのように見える非凸集合、x と y を繋ぐ（黒色）の直線の一部が（緑色）の非凸集合の外側へはみ出ている。

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

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

ベクトル空間内の凸集合

函数が凸であることと、函数のグラフの（緑色の）領域が函数のグラフの上にあるような函数は（下に）凸である。

S は実数体（あるいはより一般に適当な順序体）上のベクトル空間とする。ユークリッド空間はその例である。S 内の集合 C が凸であるとは、任意の x, y ∈ C および任意の t ∈ [0, 1] に対し、点 (1 − t)x + ty もまた C に属することをいう。即ち、x と y とを結ぶ線分上の各点が C に属する。これにより、実または複素位相線型空間における凸集合は弧状連結、したがって連結であることが従う。 さらに、C が狭義凸 (strictly convex) であるとは、x と y とを結ぶ線分上の各点が端点を除き C の内部に含まれるときにいう。

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

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

凹集合

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

性質

S が n-次元空間内の凸集合ならば、任意 r-個 (r > 1) の n-次元ベクトル u₁, …, u_r ∈ S と任意の非負数 λ₁, …, λ_r で λ₁ + ⋯ + λ_r = 1 を満たすものに対し

$\sum _{k=1}^{r}\lambda _{k}u_{k}\in S$

集合のミンコフスキー和: 正方形 Q₁ = [0,1]², Q₂ = [1,2]² の和集合 Q₁ + Q₂ = [1,3]².

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

$S_{1}+S_{2}=\{x_{1}+x_{2}:x_{1}\in S_{1},\,x_{2}\in S_{2}\}$

• BNF: cb11942828r (データ)
• GND: 4165212-5
• J9U: 987007557820305171
• LCCN: sh85031731
• NDL: 00573443
• NKC: ph184846