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

Proving an inequality regarding convex functions

Let $f$ be a real-valued convex function, $\lambda_1>0$ and $\lambda_2\leq0$ such that $\lambda_1+\lambda_2=1$. I want to prove that for any $x_1$,$x_2\in{\rm Dom}(f)$, $$f(\lambda_1x_1+\lambda_2x_2)\geq \lambda_1f(x_1)+\lambda_2f(x_2).$$ Now, since…
1
vote
1 answer

How can I show that this function is strictly convex

Let $z_1=a_1+t_1*v_1$, $z_2=a_2+t_2*v_2$, $z_3=a_3+t_3*v_3$ with $a_1,a_2,a_3,v_1,v_2,v_3\in\mathbb{R}^n $ known parameters and $v_1,v_2,v_3$ vectors linearly independent. I define $D:=||z_1-z_2||+||z_2-z_3||+||z_3-z_1||$, then I am asked to…
Lecter
  • 449
1
vote
4 answers

There is a ray from each point of unbounded convex set that is inside the set.

Let $A$ be a non-empty convex, unbounded set in $\mathbb R^n$. Prove that for each point $a \in A$, there is a non-zero vector $h \in \mathbb R^n$ such that $l = \{x \in \mathbb R^n \mid x=a+th,\ t\ge0 \} \subset A$.
Ashot
  • 4,753
  • 3
  • 34
  • 61
1
vote
1 answer

Proving the convexity of a set drawn by a function

I want to prove or disprove the following: For any $x_1,y_1,x_2,y_2\in \mathbb{R}$ such that $$ a \leq x_1 \leq b, \qquad c \leq y_1 \leq d$$ $$ a \leq x_2 \leq b, \qquad c \leq y_2 \leq d$$ when $a,b,c,d$ are constants, and for any $w\in[0,1]$,…
Chang
  • 243
1
vote
1 answer

Need help to decide if $\{x \in \mathbb R^n : 1 \leq x_1^2 + x_2^2 + \cdots + x_n^2 \leq 2 \}$ is convex

Is the following set convex? $$\{x \in \mathbb R^n : 1 \leq x_1^2 + x_2^2 + \cdots + x_n^2 \leq 2 \}$$ I did the following. Assume $1≤x_1^2+x_2^2+...+x_n^2≤2$ and $1≤y_1^2+y_2^2+...+y_n^2≤2$ Assume $z=αx+(1-α)y, α∈[0,1]$ Now I have to prove that…
Nick202
  • 149
1
vote
2 answers

How to prove that this set is convex.

Let $\mathbb{C}$ and $\mathbb{D}$ be two convex sets. Prove that the set $E:=\bigcup\limits_{\lambda \in[0,1]}((1-\lambda)C\cap\lambda D)$ is also convex. I have two problems here: I don't know how to manage this expresion to prove that it is convex…
Lecter
  • 449
1
vote
1 answer

Proving $K= \{x \in \mathbb R^n: \exists t>0 (t^{-1}, \text { for } x \in A\},$ given convex set $A\subset \mathbb R$

I have a convex set $ A \subset \mathbb{R^n}$ and $K= \{x \in \mathbb {R^n}\mid \exists t>0( t^{-1} \text { for } x \in A)\}.$ I want to show, that $K$ is convex. My idea: $y \in K \Rightarrow \exists t>0: t^{-1} y \in A$ and $z \in K \Rightarrow…
Sven
  • 149
1
vote
2 answers

If for each $x,y \in A$ , $\frac{x}{2} + \frac{y}{2} \in A$ and $A$ is closed set then $A$ is convex.

If for each $x,y \in A$ , $\frac{x}{2} + \frac{y}{2} \in A$ and $A$ is closed set then $A$ is convex. How to prove? For a example of non convex set which is not closed and holds the condition is the set of rational numbers of $[0,1]$ segment.
Ashot
  • 4,753
  • 3
  • 34
  • 61
1
vote
1 answer

positive linear combination of quasi-concave functions

I have a question that I cannot manage to get around. I need to answer the following: Give an example to 2 quasi-concave functions on an interval such that any positive linear combination of these two functions is not quasi-concave. Now, I…
Ali
  • 157
1
vote
1 answer

Show that a translated subspace, i.e., $D=\{Ev+d \mid v \in \mathbb{R}^p\} \subseteq \mathbb{R}^n$ is a convex set.

Show that a translated subspace, i.e., $D=\{Ev+d \mid v \in \mathbb{R}^p\} \subseteq \mathbb{R}^n$ is a convex set where $E \in \mathbb{R}^{n \times p}$ and $d \in \mathbb{R}^n$.
user494522
1
vote
0 answers

How to check the convexity of a constrained set

Say that we have the following matrices: $A\in M_{n,n}$ which is unknown, $Y\in M_{n,m}/\{0_{n,m}\}$ and $X\in M_{n,m}/\{0_{n,m}\}$. I want to show that the following set is convex $\Omega=\{S\in M_{m,m},\space S=(Y-A\times X)^T(Y-A\times X)\space…
user2987
  • 761
1
vote
1 answer

Show that equality for support function of two compact convex sets implies that two sets are equal.

Let $S\subseteq \mathbb{R}^n$. The support function of set $S$ is defined as the following $$ \sigma_S(x)=\sup_{y \in S} x^Ty $$ where $x \in \mathbb{R}^n$. Let $F$ and $G$ be two compact convex sets in $\mathbb{R}^n$ such that…
Saeed
  • 175
1
vote
1 answer

Find a convex hull of a given set

Set $A$ is given as $A=\{(x,\frac{1}{x}) : x\geq 1\} \cup \{(0,2)\} \subset \mathbb{R^2}$ Find a closure of a $conv(A)$. I wanted to find a convex hull first but I am confused what to do with a point $(0,2)$.
XYZ
  • 327
1
vote
1 answer

Prove V is a convex set

The exercise is as below Let $V = \{x \in \mathbb{R}^2: 2x_1^2+3x_2^2\leq4\}$ Prove: V is convex I started the proof like this: Let $x,y \in V$ be given. Let $\lambda \in [0,1]$. We want to show that $\lambda x + (1-\lambda) y \in V$. Now, I know…
1
vote
1 answer

A problem regarding Convex Hull.

We have a Convex hull of a set $X\subseteq R^{n}$ defined as $C$, we need to prove that $C$ can we written as the following: $$\bar{C}=\sum_{i=1}^mt_ix_i$$ where $m\geq 1,t_i\geq0, x_1,x_2,....,x_m\in X$ and $\sum_{i=1}^mt_i=1$. So, we need to prove…
User9523
  • 2,094