Questions tagged [convex-analysis]

Convex analysis is the study of properties of convex sets and convex functions. For questions about optimization of convex functions over convex sets, please use the (convex-optimization) tag.

Convex analysis is the study of properties of convex sets and convex functions.

Formally, a set $S$ is convex if, for all $x, y \in S$ and $t \in [0,1]$, $tx + (1-t)y \in S$. Intuitively, this says that for any two points in $S$, the line segment connecting those points is also in $S$.

Formally, a function $f: S \to \mathbb{R}$ defined on a convex set $S$ is convex, if for all $x,y \in S$ and $t \in [0,1]$, $f(tx + (1-t)y) \leq t f(x) + (1-t) f(y)$. Intuitively, this says that, for any two points on the graph of $f$, the line segment connecting those points lies above the graph of $f$.

Some of the more important results in convex analysis include Carathéodory's Theorem, Jensen's Inequality, Minkowski's Theorem, and the supporting hyperplane theorem.

9641 questions
0
votes
1 answer

Draw a convex hull in 2D

What does the convex hull look like for the points below? is that just these three points connected by lines between these points? $\text{convexhull}\{(3,2);(2,3);(2.1,2.1)\}$ And can I draw this in Matlab? I tried to do this with the function…
0
votes
0 answers

Is there a proof of subdifferential sum rule that doesn't use duality theory?

Given: $f$ and $g$ are lower-semicontinuous proper convex functions, $x \in \text{ri dom}(f) \cap \text{ri dom}(g)$, $h = f+g$, $p \in \partial h(x)$, Prove that there exist some $s \in \partial f(x)$ and $t \in \partial g(x)$ such that $p =…
Kevin Holt
  • 2,574
0
votes
2 answers

How to show convexity of an inequality?

How would $x^2 + y^4 + z^2 < 5$ be shown to be convex? What I was thinking was that this is sort of like an ellipsoid and these are convex sets. The traditional definition of convexity for some $\lambda \in [0,1]$ such that a convex combination is…
0
votes
1 answer

Convex analysis question involving salient convex cones

Suppose $X$ is a salient convex cone. That is, if $x,y$$\in$$X$ and $\alpha,\beta$$\geq$$0$ are scalars, then $\alpha$$x$+$\beta$$y$$\in$$X$ and if $0\neq x$$\in$$X$, then $-x$ is not. Then for any $\bar{x}$$\in$$X$,…
Mike
  • 498
0
votes
1 answer

Convexity of set $\{x\mid\operatorname{dist}(x,S) \leq \operatorname{dist}(x,T)\}$

Is it possible to prove analytically the convexity of the set: $\{x\mid {\rm dist}(x,S) \leq {\rm dist}(x,T)\}$ where $S,T \subseteq \Bbb R^n$, and ${\rm dist}(x,S) = \inf\{\|x-z\|_2 \mid z \in S\}$? Thanks in advance.
Thoth
  • 863
0
votes
1 answer

How to express a set as an intersection of halfspaces

I have a set S = {x $\epsilon$ $\mathbb R^n$| $x^Ty \le 1$, $\forall y \epsilon A$} Now, I want to prove that this set is closed and convex. I know that expressing this set as an intersection of homogeneous halfspaces means that the set is convex.…
-1
votes
2 answers

proof of convex set problem

I had a homework problem which asks to prove or disprove that A is a convex set where $A=\{x: g(x) \le c\}$. and $g(x)$ is a convex function. I went ahead in this way: Assume $x_1$ and $x_2$ $\in$ A. $g(x_1)\le c$ $\rightarrow$ $g^{-1}(g(x_1)) \le…
rivu
  • 223
-1
votes
1 answer

Prove dual cone is closed

I have difficulties understanding this proof: Dual cone of $C$ is defined to be $$C^*=\left\{ y \in X^*: \langle y,x\rangle \geq 0 , \forall x \in C > \right\}$$ For each $x$, $\left\{y :\langle y,x \rangle \geq 0\right\}$ is a closed half space.…
-1
votes
1 answer

Strictly convex function, implies that translation is strictly convex.

I'm wondering about this question. Prove that the function $f(x)=\|x\|^{2}$, and then answer. If the function $f(x)=\|x\|^{2}$ is strictly convex implies that $f(x)=\|x-a\|^{2}$ is strictly convex? Where $a\in \mathbb{R}^{n}$. I'm available to…
Skinner.
  • 342
-1
votes
1 answer

Mapping to a convex set

We have a problem: For a convex set $C$ and a point $y \notin C$, $x \in C$ is the minimum distance mapping from $y$ to $C$. For $\forall z \in C$, it's safe to say that 'the shorter the distance between $z$ and $x$, the shorter the distance between…
nwu.hly
  • 11
-1
votes
1 answer

How can I show that these sets are convex?

We have \begin{align} &A = \big\{ x \in \mathbb{R}^m: x_i \geq 0, \sum_{i=1}^{m}x_i = 1 \big\}\\ &B = \big\{ y \in \mathbb{R}^n: y_i \geq 0, \sum_{i=1}^{n}y_i = 1 \big\}. \end{align} How can we show that they are convex?
-1
votes
1 answer

Twice differentiable function and convexity

Let $f: U \rightarrow \mathbb{R}$ a function of $C^{2}$ in $U$. show that $f$ is $\alpha$-convexe on E if and only if $$ \forall x \in U, \forall h \in E, \quad D^{2} f(x)(h, h) \geq \alpha\|h\|^{2} $$ (f is $\alpha$-convexe if $f((1-t) x+t y)…
vemapo
  • 65
-1
votes
1 answer

How to show the set of rational numbers in $[0,1]$ is not convex.

The set of rational numbers in $[0,1]$ is used as the counterexample that shows not every midpoint convex set is convex. To see the fact notice that the set of rational numbers in $[0,1]$ is midpoint convex since for any pair of rational numbers…
Saeed
  • 175
-1
votes
1 answer

Is the set $X:=\{(x,y,z)^T \in \Bbb R^{3}|f(x,y,z)=0,g(x,y,z)\le 0\}$ convex?

Where $f(x,y,z):=x+z-1\text{ and }g(x,y,z):=y^2-xz$ I tried to prove the convexity of the set $X$ by showing it is the intersection of two convex sets. $f(x,y,z) = 0$ is a hyperplane and $g(x,y,z)\le 0$ is a half-space. Since both of these types of…
-1
votes
1 answer

Question about convergence of sub-gradients

Suppose, {f_n} form a sequence of convex functions. They are not necessarily differentiable. {f_n} uniformly converge to a function f. I want to know whether at any point x_0, for any sub-gradient v ∈ ∂f(x_0), there must exist at least one sequence…