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

Proofing set to be convex

I am struggling solving the following exercise: Let $a \in \mathbb{R}^n$ and $ b \in \mathbb{R}$ and define $f : \mathbb{R}^n \rightarrow \mathbb{R}$ by $f (x)=\langle x,a \rangle + b, x\in \mathbb{R}^n$ Show that for every convex set $X$ in…
Raphael
  • 47
0
votes
1 answer

Proving that $\lambda_1\textbf{x}_1+\lambda_2\textbf{x}_2\in C$, for convex cone $C$

I'm doing convex analysis studies and I have the following problem to prove: Show that, if $C$ is a convex cone, then $\lambda_1\textbf{x}_1+\lambda_2\textbf{x}_2\in C$, with $\textbf{x}_1, \textbf{x}_2\in C$ and $\lambda_1, \lambda_2…
jjepsuomi
  • 8,619
0
votes
1 answer

Do full-rank linear transformations preserve strong convexity?

Consider a strongly convex function $g$, that is, for all $x,y$ in the domain and $t\in[0,1]$ we have $$ g(t x + (1-t)y) \le tg(x)+(1-t)g(y) - \frac{1}{2}mt(1-t)||x-y||_2^2 $$ for some $m>0$. Also, let $A$ be a full rank linear tranformation. Define…
jonem
  • 383
0
votes
1 answer

Is strict convexity necessary and sufficient for non-degeneracy of the Hessian?

A function $f$ is called strictly convex if for $\lambda\in(0,1)$, $x\neq y,$ $$f(\lambda x + (1-\lambda)y) < \lambda f(x) + (1-\lambda)f(y)$$ If $f:\mathbb{R}^n\to\mathbb{R}$ is a twice continuously differentiable strictly convex function is the…
jonem
  • 383
0
votes
1 answer

How to derive the support function for this set?

I want to ask how to derive the support function of the convex set (in $\mathbb{R}^2$) that is described as the intersection of $x_1\leq \frac{3}{4}$, $x_2\leq \frac{3}{4}$, $x_1+x_2\leq 1$, and $x_1\geq 0$, $x_2\geq 0$. I mean could you please…
Tiger G
  • 11
0
votes
2 answers

I need help showing this proof of convexity

Let $X$ be a nonempty convex subet of $A$. I need to Show that $z$ is an extreme point of $X$ if and only if the set $X − \{z\}$ is a convex set.
0
votes
1 answer

taking convex hull does not add extreme points

can anybody help me please? Is there a good way to prove that given a set of points, say $S = \{x_1, x_2, ..., x_n\}$, then show that the convex hull of $S$, that is, $conv(S)$ contains all the extreme points in $S$? Is this equivalent to saying…
TLR
  • 131
  • 9
0
votes
2 answers

3D Convex hull in 3D Convex hull

I have two convex hull, How to check if the smaller one is wholly, partially or not inside the Bigger Convex hull?
0
votes
1 answer

Show convexity of $f$ in $(x,y)$

Suppose $h$ is a convex function. Let $x$ and $y$ be vectors of possibly different lengths, and $A$ a matrix. Show that the function $f$ defined as $$ f(x,y) = h(y) \qquad Ay=x\\ \qquad \qquad \infty \qquad otherwise $$ is convex in $(x,y)$.
ved
  • 606
0
votes
1 answer

written $h(t)$ versus two convex functions

given a function $h(t)$ is it possible to written it as a difference of two convex functions $h_1(t)$ and $h_2(t)$ as follow? $h(t)=h_1(t)+h_2(t)$. To clarify, every function for example $g(t)$ can be written versus even and odd functions as…
sajad
  • 1
0
votes
1 answer

Locally convex space - closed sets

Assume we have a locally convex topology $\tau$ induced by semi-norms $\mathcal P$, on some real vectorspace $E$. Let $\sigma$ be the locally convex topology induced by the semi-norms $$ \mathcal Q := \{|f| : f \text{ is $\tau$-continous and…
user42761
0
votes
0 answers

compact and convex set

I recently have worked on compact convex sets in the context of time series and my question is related to that. If we have a set $$ C=\{\beta_1 X_1 +\beta_2 X_2 +\phi H_1 , |\beta_1|+|\beta_2|+|\phi|\leq K\} $$ where $X_1$ and $X_2$ are independent…
TPArrow
  • 936
  • 1
  • 9
  • 15
0
votes
0 answers

if convex or nonconvex function

There is an iteration recurrence relations between the argument. In fact, it is part of my optimization model . The equation F is convex or not convex? thank u
0
votes
1 answer

The conjugate relation between two functions.

Suppose $K\in \mathbb{R}^{m\times n}$, $x\in \mathbb{R}^n$ and $y\in \mathbb{R}^m$. Let a function $F: \mathbb{R}^m \rightarrow \mathbb{R}$, $F(y)$. Let $y=Kx$, $G(x)=F(Kx)$. Suppose $G(x)=F(Kx)$, and $G$ and $F$ are two convex functions. Let the…
Vivian
  • 583
0
votes
1 answer

something about convex set

Let $M$ be a convex subset in $\mathbb R^n$ and $\partial M=\emptyset$. Then $M=\emptyset$ or $\mathbb R^n$. This can be deduced by Theorem Let $M\subset X$ with $\partial M=\emptyset$ and $X$ is a connected topological space. Then $M=\emptyset$…
gaoxinge
  • 4,434