拟凸函数定义等价证明

拟凸函数定义等价证明

        定义2 若 $\text{dom}f=Z\subset R^n$ 为凸集，且对任意的$\alpha$,其下水平集 S α = { x ∈ Z ∣ f ( x ) ≤ α } S_\alpha=\{x\in Z |f(x) \le \alpha\} Sα​={x∈Z∣f(x)≤α}都是凸集，则$f$为拟凸函数。

定义1$\Rightarrow$定义2（由$f(x)$满足定义一推出$f(x)$满足定义2）

证:设 S α = { x ∈ Z ∣ f ( x ) ≤ α } S_\alpha=\{x\in Z |f(x) \le \alpha\} Sα​={x∈Z∣f(x)≤α}，令$x,y\in S_{\alpha }$,即$x,y\in Z$且$f(x)\le \alpha ,f(y)\le \alpha$。由定义1知：对于任意$0\le \lambda \le 1$,有$\lambda x_1+(1-\lambda )x_2\in Z$ 且 f ( λ x 1 + ( 1 − λ ) x 2 ) ≤ m a x { f ( x 1 ) , f ( x 2 ) } ≤ α f(\lambda x_1+(1-\lambda)x_2)\le max\{f(x_1),f(x_2)\}\le\alpha f(λx1​+(1−λ)x2​)≤max{f(x1​),f(x2​)}≤α,即$\lambda x_1+(1-\lambda )x_2\in S_{\alpha }$。故$S_{\alpha }$为凸集，$f(x)$满足定义2。

定义2$\Rightarrow$定义1（由$f(x)$满足定义2推出$f(x)$满足定义1）

证：令 x , y ∈ Z , α = m a x { f ( x ) , f ( y ) } x,y\in Z, \alpha=max\{f(x),f(y)\} x,y∈Z,α=max{f(x),f(y)},即 $x,y\in S_{\alpha }$。由定义1知对于任意$\lambda$，$\lambda x_1+(1-\lambda )x_2\in S_{\alpha }$, 则 f ( λ x + ( 1 − λ ) y ) ≤ α = m a x { f ( x ) , f ( y ) } f(\lambda x+(1-\lambda)y)\le \alpha=max\{f(x),f(y)\} f(λx+(1−λ)y)≤α=max{f(x),f(y)}，则$f(x)$满足定义1.