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

Prove that a set in $\Bbb R^3$ is not convex

Any tips how to prove that the set $$S = \{ x \in \mathbb{R^3} \mid x_1-x_2^2 \le x_3 \le x_1+x_2^2\}$$ is not convex? Any hint how to start would be very helpful.
2
votes
0 answers

Will connecting points on a convex function in increasing order always produce a convex piecewise linear function?

Let us have an one-variable convex function $f: \mathbb{R} \to \mathbb{R}$. Given a strictly monotone sequence $(a_n)_{n \in \mathbb{N}}$ on $\mathbb{R}$. Form the piecewise linear function from the corresponding points on the graph by connecting…
ElementX
  • 922
2
votes
1 answer

Relative interior and limit points

I am trying to prove that aff $ C \subset $ aff ri $C$ for a convex set $C$ (i.e., affine hull of the set $C$ is a subset of the affine hull of its relative interior). My question is, does $x\in C$ but $x\notin $ ri $C$ imply that $x$ is a boundary…
Teodorism
  • 1,165
2
votes
1 answer

Sequence of nested closed convex sets in $\mathbb R^n$ (a generalization of Cantor´s theorem(axiom))

We have in $\mathbb R$ an axiom (sometimes a theorem if we start from another system of axioms) that: If $(I_n)_{n=1,2,...}$ is a sequence of nested closed intervals such that $l(I_n) \to 0$ when $n \to + \infty$ then their intersection is…
Grešnik
  • 1,802
2
votes
1 answer

If section is always contractible, is that convex?

Consider compact set $\Omega\subset\mathbb{R}^d$, whose intersection with any $(d-1)$-dimensional subspace of $\mathbb{R}^d$ is contractible. Then, is such $\Omega$ convex?
Moonshine
  • 2,088
2
votes
1 answer

Characterization of interior point of convex set using normal cones

There is a theorem saying that for any convex set $Q$, $x\in \text{int } Q \Leftrightarrow N_Q(x)=\{0\}$. I'm trying to prove the backward direction, and my argument is as follows: If $N_Q(x)=\{0\}$, then equivalently any nonzero vector cannot be in…
kkcocoqq
  • 306
2
votes
1 answer

Convexity of a ${\rm tanh}^{-1}\ (x) / x$?

I want to prove that the function: $f(x) = \displaystyle \lim_{y\rightarrow x} \dfrac{\text{tanh}^{-1}(y)}{y}$ is convex in $(-1,1)$, where $\text{tanh}^{-1}()$ is the inverse hyperbolic tangent function. Any help would be appreciated. Thanks!
Vokram8
  • 341
2
votes
1 answer

Convex hull is the minimal convex set containing $X$

How one can prove that convex hull is the minimal convex set containing $X$? We need to show that for each convex set $M$ if $X\subseteq M$ then $conv(X)\subseteq M$. I am thinking of proof by contradiction. Let $x\in conv(X)$ but $x \notin M$, then…
Ashot
  • 4,753
  • 3
  • 34
  • 61
2
votes
5 answers

Prove $f(x, y) = \frac{x^2}{y}$ is a convex function on the set $\{(x, y) \in \mathbb{R}^2 : y > 0\}$

Prove $f(x, y) = \frac{x^2}{y}$ is a convex function on the set $\{(x,y) \in \mathbb{R}^2 : y > 0\}$. Attempt I start with the basic convexity, i.e., \begin{align} f( \alpha_1 x_1 + \alpha_2 x_2) \leq \alpha_1 f(x_1) + \alpha_2f(x_2) \…
learning
  • 661
2
votes
0 answers

Prove that $f$ is convex if and only if $f\left(\frac{a+b}{2}\right)\leq \frac{1}{b-a}\int_a^b f(x) dx$

Prove $f:\mathbb{R} \to \mathbb{R}$ is convex if and only if $f\left(\frac{a+b}{2}\right)\leq \frac{1}{b-a}\int_a^b f(x) dx$ for any $a,b \in \mathbb{R}$. The context of this result is proving that in $\mathbb{R}$, a function is $C^0$-subharmonic…
AlephNull
  • 1,532
2
votes
0 answers

How to prove that the affine hull of a set is a closed set.

I am asked to prove that $\text{aff}(X)$ is closed in the topological sense. I found some posts where people show that it is closed under affine combinations (what it's quite obvious because the definition of affine set). So i want to know if this…
Lecter
  • 449
2
votes
1 answer

Fenchel conjugate of a particular function

Consider the function $$f(x,y) = \big(b-x^T A y\big)^2$$ where $x \in \mathbb{R}^{p\times 1}$, $y \in \mathbb{R}^{n\times 1}$, $A \in \mathbb{R}^{p \times n}$ and $b \in \mathbb{R}$. What is the Fenchel conjugate of $f$, that is $$ f^*(u,v) :=…
passerby51
  • 4,140
2
votes
1 answer

Sum of non convex sets

1) Can the sum of two non convex set be a convex set ? 2) Can the sum of convex set and non convex set be a convex set ?
Ashot
  • 4,753
  • 3
  • 34
  • 61
2
votes
0 answers

Test for convexity in one variable in a multivariate function

I know that to test convexity of a multivariate function $f(x, y)$, you have to check the Hessian. However, how can you check convexity in one variable (say x)? Is it enough to check $\frac{\partial f^2(x,y)}{\partial x^2}\geq0?$
2
votes
1 answer

Weak upper semicontinuity of convex function?

Let $f:X\rightarrow\mathbb{R}$ be a continuous convex function over the banach space $X$. (Note that it is everywhere finite.) In particular, it is lower semicontiuous, and by Mazur's theorem [S. Mazur, Studia Math. 4, 70 (1933)] also (sequentally)…
Jas Ter
  • 1,539