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
1
vote
1 answer

For any two disjoint convex open sets there is a hyperplane that strictly separates them

How to prove the affirmation?: If $K_1$ and $K_2$ are nonempty, nonintersecting, convex and open sets, there exists a closed hyperplane $M$ such that $K_1$ and $K_2$ are strictly on opposite sides of M. Exists a version of Hahn-Banach Theorem…
Vivi
  • 11
1
vote
1 answer

Direct sum of convex sets is convex

Let $S_1 \subseteq \mathbb{R}^n$ be a compact convex set and let $S_2 \subseteq \mathbb{R}^n$ be a closed convex set. Prove that then $A=S_1 \oplus S_2$ is convex. Here is my attempt, where I havent used the fact that the sets are compact and…
Surna
  • 21
1
vote
1 answer

Closed convex set as the intersection of (tangent) half spaces

Theorem 18.8 in the book by Rockafellar establishes that any $n$-dimensional closed convex set $C$ in $R^n$ can be expressed as the intersection of the closed half spaces tangent to $C$. See here for the book page. I'm having trouble seeing why the…
Vokram
  • 1,587
1
vote
0 answers

Proving Convexity for a function $f(x) = \frac1{g(x)}$?

So I have a function $g$ that maps from some subspace, $S$, of $\mathbb{R}^n$ to $\mathbb{R}$. $g$ is concave such that $g(x) > 0$ for all $x$ in this subspace, $S$, of $\mathbb{R}^n$. $f(x)$ is defined as $f(x) = \frac1{g(x)}$ and the question is…
Mikael
  • 39
1
vote
1 answer

How to test the quasi-convexity of a piecewise defined function?

For $\alpha, \beta$ define $f_{\alpha, \beta}$: $\mathbb{R} \rightarrow \mathbb{R}$ by $f_{\alpha, \beta} (x) = \alpha x + \beta$ if $x < -2$ $f_{\alpha, \beta} (x) = 2x^2 + x + 3$ if $x \geq -2$ Give all $\alpha \in \mathbb{R}$, and $\beta \in…
Gauss
  • 41
1
vote
1 answer

Lineality and rank of a convex set

Let $C$ be a non-empty convex set with non-trivial lineality space $L$ (Lineality space of a convex set $C$ being defined as $L = \{y\,|\,y+C=C\}$). How can I prove the following conclusion? $$ dim(C\cap L^\perp) + dim(L) = dim(C) $$ So far I am…
Vokram
  • 1,587
1
vote
1 answer

Geometric Interpretation of the Separation Theorem

I am struggling to see the meaning behind the theorem's statement, which is: Let $K\subset \mathbb R^n, K\neq \emptyset$ be a convex set and $x\not\in \text{clo}(K)$. Then there is $\gamma \in \mathbb R^n, \gamma \neq 0$ such that $$\inf\{…
Dahn
  • 5,574
1
vote
1 answer

How to determine if this particular set is convex?

I am a beginner in convex analysis and optimization, and am teaching myself the basics using Boyd's archived lectures(CVX101/Stanford). I've run into a problem statement described here : [is this set convex?] We definte $(x)_+ = \max\{0,x\}$ and…
Mindstorm
  • 115
1
vote
1 answer

Convexity of rint

Let $K$ be a convex set in a real Hausdorff topological vector space. Recall that $\rm{rint}(K) = \{x \in K \;| \; \exists U \text{ an open neighborhood of } x : U \cap \rm{aff}(K) \subseteq K\}$. Where $\rm{aff}(K)$ denotes the affine hull of…
user2015
  • 125
1
vote
2 answers

Prove Set is Convex

How to prove the following set is convex? $$\{(x,y,z)|x^2+y^2-z^2 \leqslant 0,z \geqslant 0\}$$ I try to make it by prove that $$[\theta x_1 + (1-\theta)x_2]^2 + [\theta y_1 + (1-\theta)y_2]^2 - [\theta z_1 + (1-\theta)z_2]^2 \leqslant 0$$, but…
Oswin
  • 59
1
vote
1 answer

Combination of two sets: a proper definition.

Suppose I have a set $\Omega = \{\omega_1,\omega_2,\omega_3,\ldots,\omega_k,\omega_n\}$ of $n$ elements. I ordered $\Omega$ with two different criteria by defining two new sets $A$ and $B$ of $k$ elements where $k$ is a fixed quantity $k
Marco
  • 147
  • 5
1
vote
1 answer

Strong convexity of Entropic regularization

Can somebody help me to prove that entropic regularizer $R(\mathbf{w})= \frac{1}{\eta}\mathbf{w}^T\log \mathbf{w}$ is strongly convex with respect to $l_1$ norm. My attempt: To show if a function $f$ is strongly convex w.r.t $\|\cdot\|_1$, I have…
CKM
  • 1,594
1
vote
1 answer

Minimum of a convex function w.r.t. a subset of its domain

Let $X$ be a convex set and $f:X\mapsto \mathbb R$ be a continously differentiable convex function and $x_0$ be an element of $X$ such that $$\forall x\in X:f(x_0)\le f(x).$$ Let $y_0\in Y\subset X$ ($Y$ is not necessarily connected) satisfy…
davcha
  • 1,745
1
vote
1 answer

Convexity of a certain set

Would someone please help me? I know that the set $$\{(x,y)\mid \cos(x+y)\geq \frac{\sqrt 2}{2}\}$$ is convex, but I am seeking for a simple proof?
Ali
  • 2,277
1
vote
0 answers

Convex analysis of a vectorial function

In the context of equilibrium equations on structural concrete study, I deal with an system (3 non linear equations) that relates an entry of variables $(\epsilon_0,\kappa_x,\kappa_y)$ (which represents the deformation of a section) with an output…