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
0 answers

Convexity on an open set implies whole set

If $A\subseteq \mathbb{R}$ is an interval, and $f:A\to \mathbb{R}$ is convex on the interior $A^\circ$ of $A$. Can $f$ then be convex on whole $A$? If not, which condition does $f$ need to make this work?
0
votes
1 answer

Convex hull of less than 3 points

Convex hull $H$, of set of points $P=\{p_i: p_i \in R^2\}$, always exists if $|P|\ge3$. I wanted to know if the convex hull of an empty set, one-point set, or a two-point set is the set itself? i.e., $H(\{\})$, $H(\{p_1\})$, $H(\{p_1,p_2\})$ How to…
rohitt
  • 151
0
votes
2 answers

Do cones always have an extreme point?

Do cones always have an extreme point? I think that every cone has an extreme point (and only one extreme point which is the zero vector) By definition $C \subset \mathbb R^n$ is called cone if $\forall \mathbf x \in C, \forall \alpha \ge…
masaheb
  • 918
  • 6
  • 16
0
votes
0 answers

Dimension of minimal face

So I'd like to know how all nonempty minimal faces of $C$ have the same dimension ($C$ is a closed convex set). In fact, how is it equal to the dimension of the lineality space lin$(C)$. Please help!
Kyle
  • 1
0
votes
0 answers

Convexity of coordinate of a convex function

Let $f$ be convex in $\mathbb{R}^n$. Fix $x_2,...,x_n$ and consider $g(x_1) = f(x_1,x_2,...,x_n)$. Is $g$ convex? I think the problem should be straightfoward and tried to find to prove: $g(\lambda x_1 + (1 - \lambda) x_1')$ $ = f(\lambda x_1 + (1 -…
0
votes
1 answer

Convexity of the addition of convex univariate functions

I know that functions $x \mapsto x^2$ and $x \mapsto 2^x$ are convex. If I use multiple variables, e.g., $$f (x_1, x_2, x_3) := x_1^2 + x_2^2 + x_3^2, \qquad g (x_1, x_2, x_3) := 2^{x_1} + 2^{x_2} + 2^{x_3}$$ would these functions also be convex?
Estheralda
  • 21
  • 3
0
votes
0 answers

How does this theorem define convexity?

A function $f : \Bbb R^n \to \Bbb R$ is convex if and only if the function $g : \Bbb R \to \Bbb R$ given by $g(t) = f(x + ty)$ is convex (as a univariate function) for all $x$ in domain of $f$ and all $y \in \Bbb R^n$. (The domain of $g$ here is…
0
votes
1 answer

Show that the set $S:=\{(x_1,x_2):x_1^2+x_2^2 <1\}$ does not have any extreme point.

Show that the set $$ S := \left\{ (x_1,x_2) : x_1^2+x_2^2 < 1 \right\} $$ does not have any extreme point. For the sake of contradiction, assume $z$ is an extreme point in $S$, so for some $A,B\in S$ and $\mu \in (0,1)$ if $z= \mu A+(1-\mu)B$…
masaheb
  • 918
  • 6
  • 16
0
votes
1 answer

Conditions for strongly convex function

I have a loss function: $$L(\beta)=\frac{1}{2}\sum_{i=1}^n (y_i -x_i^\top\beta)^2+\frac{\lambda}{2}\|\beta\|_{2}^2$$ I calculated: $$\nabla L(\beta) = X^T (X \beta - y)+ \lambda \beta$$ $$\nabla^2 L(\beta) = X^T X + \lambda I$$ Now I have to find…
Dim
  • 1
0
votes
1 answer

show that $f(x) = x\cdot(x-a)$ is convex

Let $f: \mathbb{R^3} \rightarrow \mathbb{R}, f(x) = x\cdot(x-a)$ where $\cdot$ is the dot product. I want to show that $f$ is convex directly from the definition of convex functions, that is $\forall x, y \in \mathbb{R^3}, \theta \in [0, 1],…
Charlie
  • 87
  • 7
0
votes
3 answers

Bounded polar set

Let $X$ be a closed convex set. $X^\circ$ is bounded $\Longleftrightarrow$ $\textbf 0 \in int(X)$ How is this true? I know that $C^\circ$ is a closed convex set but not sure how to move forward from this.
Samantha
  • 23
  • 2
0
votes
0 answers

How to show that $f(x) = \max(x^2, |x|)$ is convex?

I have to show that the function $f : \mathbb{R} \rightarrow \mathbb{R}$ defined by $f(x) = \max(x^2, |x|)$ is convex but I am not sure how to. I guess that the function can be written as $$ f(x) = \begin{cases} x^2 & \ \text{if} \ -\infty < x < 0…
Mathias
  • 917
0
votes
0 answers

Prove that function $f$ is convex

Given convex set $C$ and function $f \colon C \to \mathbb R$, I am told that $f$ is convex if and only if $$\phi(\lambda) = f(\lambda c + (1-\lambda) c') : [0,1] \to \mathbb R$$ for $c, c' \in C$ is convex on $[0,1]$. I am done with the…
R__
  • 301
0
votes
0 answers

If $x, x' \in C$ then prove that $C_x =C_{x'}$ where C is a closed convex set

This question was part of my analysis quiz( now over) and I was unable to solve it. So, I am posting it here. Let C be a closed convex set in $\mathbb{R}^2$.For any $x\in C$, define $C_x =$ {$y \in \mathbb{R}^2 | x+ty \in C$ for all $t\geq…
user775699
0
votes
2 answers

show $B_2$ is convex

i have the following problem show $B_2=\{(x,y)│x^2+y^2≤1\}$ is a convex subset of $\mathbb{R}^2$ my idear if I have understood the definition correctly construct $(x_1,x_2 ),(y_1,y_2 )\in C$ we then have $x_1+y_1≤1,x_2+y_2≤1$ but what to do next. do…
Robbert
  • 25