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

Is a distance function on $\mathbb{R}^n$ convex?

Fix $z \in \mathbb{R}^n$. Let $||\cdot||$ be a norm on $\mathbb{R}^n$, and define the distance function $f(x)=||z-x||$ for $x\in \mathbb{R}^n$ Then, is it true that $f(x)$ is convex?
mononono
  • 2,028
4
votes
1 answer

Log-convexity preserved by sum?

I'm currently reading Boyd's book on Convex Optimization (free book which can be found here : http://stanford.edu/~boyd/cvxbook/) , and there is one proof I do not understand : p. 105, the book says that the sum of two log-convex functions is…
Nihl
  • 315
4
votes
1 answer

Convex hull of convex set boundary

A is a closed convex set with non-empty interior. Does A must equal to the convex hull of its boundary? I know this is false when A is half space. But what about other sets?
Kira Yamato
  • 1,294
4
votes
1 answer

Convex non-increasing, but not lower semicontinuous function?

I am trying to think of an example of a function $f:\unicode{x211D}^n \rightarrow \unicode{x211D}$ that is convex and non-increasing, but not lower semicontinuous, without any luck. Is this actually possible?
3
votes
2 answers

Showing convexity, having trouble showing positive definiteness

I am interested in showing the convexity of $$-\log(-f(\pmb{x}))$$ for $f: \mathbb{R}^{n}\rightarrow \mathbb{R}^{-}$ and $f$ convex. If we let $\nabla f$ denote the column vector where the $i$th entry contains $\frac{\partial f}{\partial x_{i}}$,…
JessicaK
  • 7,655
3
votes
2 answers

About supporting hyperplanes of convex sets

Let $K \subset R^n$ a convex set, and $x \in \partial K$ such that that there exists a closed ball $B(x_0,R) \subset K$ of positive radius with $x \in B(x_0,R) $. My intuition tells me that there exist exactly one supporting hyperplane for $K$ at…
math student
  • 4,566
3
votes
0 answers

Characterization of concave function on $\mathbb{R}^N$

I need help with the following problem, I have no idea how to proceed: Let $u \colon \Omega \subseteq \mathbb{R}^N \to \mathbb{R}$ a continuous function, where $\Omega$ is open, connected and bounded. We define the set $$\Gamma_u^+ = \{ y \in…
yes
  • 313
3
votes
0 answers

Isometric isomorphism maps extreme points to extreme points

I am trying to prove that $\mathcal{c}$ and $\mathcal{c_0}$ are isomorphic but not isometrically isomorphic. I've read on this forum that isometric isomorphism preserves extreme points, but I don't see why. I know that I should use the fact that…
Bilbo
  • 1,323
3
votes
0 answers

What proofs are based/use/depend on existance convex hull or convex envelope?

I wonder if there are any is at least one proof of any mathmatical fact that would use convex hull or convex envelope as mathmatical object valuable for that proof?
3
votes
0 answers

Convexity of sigmoid-based squared error loss

Assume $w, a_1,a_2 \in \mathbb{R}^d$ and $\sigma = \dfrac{1}{1+e^{-x}}$ the sigmoid function. Is the following squared difference a convex function? $$J(w)= (\sigma(w^Ta_1)\times \sigma(w^T a_2)-c)^2$$ where $c \in \mathbb{R}$ is some constant.
Adam I.
  • 359
3
votes
1 answer

Are strictly convex functions with positive second derivatives on compact domains strongly convex?

Claim: Let $\chi$ be a compact set. If $f''(x)>0$ for all $x\in\chi$, then $f$ is strongly convex. This seems to be true, intuitively, as I can't think of a counterexample. All of the examples I've seen for strictly convex functions, with positive…
Erik M
  • 2,391
3
votes
1 answer

Find $C\subset \mathbb{R}^2$ convex unbounded such that $\vert C \vert $ is not convex?

The question is almost posted in the title and one thing to put is that $$\vert C \vert : = \big\{ ( \vert x \vert , \vert y \vert )\in [0, +\infty)^2 \, : \,\, (x, y)\in C \,\, \big\} $$ If $C$ is bounded, then it is quite easy to construct an…
Chival
  • 1,047
3
votes
1 answer

Union of convex sets is convex: Strategy?

I am working in convex geometry for the summer with little experience beforehand. It's a lot of fun but it does mean I don't know some of the basic things. I know that it is not generally true that the union of convex sets is convex, but I think…
Eric Stucky
  • 12,758
  • 3
  • 38
  • 69
3
votes
0 answers

a function and its epigraph

The epigraph of a function $f:\mathbb{R}^{n}\to [-\infty,+\infty]$ is the set of points $(x,\mu)\in\mathbb{R}^{n+1}$ satisfying $f(x)\leq \mu$, and is denoted by $\mathrm{epi}(f)$. I somehow got convinced that any such function can be recovered from…
3
votes
1 answer

Convex hull and convex combinations equivalence

I am having trouble understanding the proof for: 4.3.1 Lemma. Convex hull $C$ of a set $X \subseteq \Re $ equals the set: $$D= \left\{ \sum_{i=1}^{m}{t_i x_i} : m \geq 1, x_1...x_m \in X, t_1,...,t_m \geq 0, \sum_{t=1}^{m}{t_i} = 1 \right\}$$ …