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
2
votes
1 answer

Difference between subspace and subset

Can you give the definition of subspace and subset of $\mathbb{R}^n$ and how can I determine their dimension?
Star
  • 222
2
votes
1 answer

Understanding convex hull

I'm having trouble understanding the definition of convex hull. Can somebody give me an example? For example if I have the real convex set $(a,b)$ then what is its convex hull? Is it $(a,b)$ or is it $[a,b]$? Does convex hull of convex set $S$…
jjepsuomi
  • 8,619
2
votes
2 answers

Proving convexity

I ask you please some help with this problem: Let A $\subseteq$ R$^n$ be a convex set and $C(A)$ = {$\lambda$x, $\lambda \in \mathbb{R}$, $\lambda \geq 0$, x $\in$ A}. Prove that $C(A)$ is convex. This is how I'm trying do do it: Let $\delta \in…
2
votes
1 answer

A a.e. strongly convex function

Suppose that $f=f(x)$ is strongly convex a.e. for $x\in\mathbb{R}$, i.e. there exists $\epsilon>0$ such that $f''(x)\geq\epsilon>0$ a.e. for $x\in\mathbb{R}$. Then there exists $\delta\in\mathbb{R}$ such that $f(x)\geq \delta$ a.e. for…
LCH
  • 815
2
votes
1 answer

Proving that $0 \in A \implies h_A = j_{A^\circ}$

Where $h_A$ is the support function of $A$ and $j_{A^\circ}$ the Minkowski functional of the polar set of $A$ There is a "proof" in my course which I don't understand: " Let $x \in A$ and $t>0$ such as $y \in t A^\circ $. Then $y/t \in A^\circ$…
aussetg
  • 76
2
votes
1 answer

Tangent cone of graph and epigraph sets.

Let us first recall the definition of tangent cone $\; T(\bar x; \Omega)$ of a subset $\Omega$ at $\bar x \in \Omega$, where $X$ is a Banach space: $$T(\bar x; \Omega)=\{v\in X:\; \; \exists \{x_k\}\subset \Omega, x_k\to \bar x, \exists…
Richkent
  • 1,151
2
votes
2 answers

The closednees in Moreau - Rockafellar Theorem.

One says that $x\mapsto \langle x^*,x\rangle +\alpha\;$ is an affine minorant of $f: \; X\to \overline{\mathbb R}\;$ if $\;\langle x^*,x\rangle +\alpha \leq f(x)\;$ for all $x\in X$. The Moreau - Rockafellar Theorem stated that: If $f$ is a…
Richkent
  • 1,151
2
votes
3 answers

Prove that a function is quasi-concave

Let $g^1\colon\mathbb{R}\to\mathbb{R}$ and $g^2\colon\mathbb{R}\to\mathbb{R}$ be concave functions, and let $f\colon\mathbb{R}\to\mathbb{R}$ be a non-decreasing function (i.e., $f(x)≥f(y)$ whenever $x≥y$). Let $h\colon\mathbb{R}^2\to\mathbb{R}$ be…
2
votes
1 answer

How to formally prove that f(x,y) is jointly convex if f(x,y)=h(g(x,y))?

I know that this function should be concave, I am working on the Hessian proof but I would rather use this property. I know that h(a) is convex and decreasing in a, and g(x,y) is linear, specifically g(x,y)=m+k*x-l*y. Is f(x,y)=g(g(x,y)) jointly…
2
votes
0 answers

Uniqueness of a convex linear decomposition

Let $X$ be composed of $d$ different vectors of $\mathbb{R}^n$ : $X=\{x_1,\ldots,x_d\}$ and $H$ be the convex hull of $X$. Each vector $y\in H$ can be expressed as $$y=\sum_{i=1}^d a_i x_i,$$ with non-negative weights $a_i$ and…
2
votes
1 answer

Polytope - Convex Hull

After doing some reading on the V-representation of a convex polytope (finite set of extreme points, also the convex hull?), it's often simply stated that the convex hull is compact. Can anyone show or explain how the proof would go? Can you write…
alfien
  • 83
2
votes
1 answer

Conjugate of a function

Yes, this is homework. Given $f(x) = 1^{T}(x)_+$, where $(x)_+ := \max\{0,x\}$, what is $f^*$? I know that the conjugate of a function $f$ is $$ f^*(y) = \sup \left( y^T x - f(x) \right) $$ but I do not know how to show the conjugate of $f(x) =…
strimp099
  • 283
2
votes
2 answers

Convexity of $\frac{1}{f}$ over the set where the concave function $f$ is positive

$S \subset R^n,~~f : S \rightarrow R $ is a concave function. $S^{'}= \{ x \in S: f(x)>0 \}. $ Prove that $\frac{1}{f}$ is a convex function on $S^{'}.$
2
votes
1 answer

Linear combination of convex set is convex

A set $U$ is a convex set if whenever $\mathbf{x},\mathbf{y}$ are points in $U$, the line segment joining $\mathbf{x}$ to $\mathbf{y}$,$$\mathcal l(\mathbf{x},\mathbf{y})=\left\{t\mathbf x+(1-t)\mathbf y):0\leq t\leq 1 \right\},$$ is also in…
Silent
  • 6,520
2
votes
2 answers

Convex hull of infinite points

Does there exist such a convex hull of infinite points? For example, consider infinite number of points of which form a circle in $\mathbb{R}^2$. Is this considered as a convex hull?
dresden
  • 1,073
  • 2
  • 11
  • 19