中科大-凸优化 笔记（lec6）-几种重要的凸集（下）

全部笔记的汇总贴（视频也有传送门）：中科大-凸优化

一、多面体（Polyhedron）

P = { x ∣ a j T x ≤ b j    j = 1 , ⋯   , m , c j T x = d j    j = 1 , ⋯   , r } P=\{x|a_j^Tx\le b_j\;j=1,\cdots,m,c_j^Tx=d_j\;j=1,\cdots,r\} P={ x∣ajT​x≤bj​j=1,⋯,m,cjT​x=dj​j=1,⋯,r}

② √

• 有界多面体

二、单纯形（Simplex）

一种特殊的多面体。
${\mathbb{R}}^n$空间中选择$v_0,\cdots ,v_k$共$k+1$个点，$v_1-v_0,\cdots ,v_k-v_0$线性无关，则与上述点相关的单纯形为 C = c o n v { v 0 , ⋯   , v k } = { θ 0 v 0 + ⋯ + θ k v k ∣ θ ≥ 0 , 1 T θ = 1 } C=conv\{v_0,\cdots,v_k\}=\{\theta_0v_0+\cdots+\theta_kv_k|\theta\ge0,1^T\theta=1\} C=conv{ v0​,⋯,vk​}={ θ0​v0​+⋯+θk​vk​∣θ≥0,1Tθ=1}

证明simplex是polyhedron的一种

x ∈ C ∈ R n , C 为 s i m p l e x ⇔ x = θ 0 v 0 + ⋯ + θ k v k , 1 T θ = 1 , θ ≥ 1 v 1 − v 0 , ⋯   , v k − v 0 线 性 无 关 定 义 [ θ 1 , ⋯   , θ k ] T = y , y ≥ 0 , 1 T y ≤ 1 [ v 1 − v 0 , ⋯   , v k − v 0 ] = B ∈ R n ∗ k    x ∈ C ⇔ x = θ 0 v 0 + ⋯ + θ k v k = v 0 + θ 1 ( v 1 − v 0 ) + ⋯ + θ k ( v k − v 0 ) = v 0 + B y x\in C\in \R^n,C为simplex \Leftrightarrow x=\theta_0v_0+\cdots+\theta_kv_k,1^T\theta=1,\theta\ge1\\v_1-v_0,\cdots,v_k-v_0线性无关\\定义[\theta_1,\cdots,\theta_k]^T=y,y\ge0,1^Ty\le1\\ [v_1-v_0,\cdots,v_k-v_0]=B\in\R^{n*k}\\\;\\x\in C\\\Leftrightarrow x=\theta_0v_0+\cdots+\theta_kv_k\\=v_0+\theta_1(v_1-v_0)+\cdots+\theta_k(v_k-v_0)\\=v_0+By