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
6
votes
2 answers

Are convex hulls of closed sets also closed?

If $X$ is a compact set in $\mathbb R^n$, how can we show that $\operatorname{conv} X$ is compact as well? Can we say something similar without assuming boundedness, i.e., are convex hulls of closed sets also closed?
6
votes
1 answer

convexity proof of a function including ln and sums

$$f(x_1,\dots,x_n)=\sum\limits_{i=1}^nx_i\ln x_i-\left(\sum\limits_{i=1}^nx_i\right)\ln\left(\sum\limits_{i=1}^nx_i\right)\rightarrow R_{++}^n$$ How can I prove this is convex on $R_{++}^n$? I tried using the Hessian and couldn't prove it. There is…
Mr D
  • 63
6
votes
2 answers

Number of local minimums and nonconvexity

I came across the following in my reading, and I like to know why this is true. "$\dots$ but, the fuction $F:\mathbb{R}^n \to \mathbb {R}$ is nonconvex since it has several local minima $\dots$" What does the number of local minima have to do with…
user74261
  • 2,286
6
votes
2 answers

Proving that $(x,Q) \mapsto \langle x,Q^{-1}x\rangle$ is convex

I'm studying $$ F( (x,Q) ) = \langle x,Q^{-1}x\rangle $$ considered over $\mathbb{R}^n\times\mathbb{R}^{n\times n}_+$, where $\mathbb{R}^{n\times n}_+$ is the set of all positive definite $n\times n$ matrices. Here, $\langle x,y\rangle$ stands for…
Month
  • 93
6
votes
2 answers

Is closure of convex hull of C equal to convex hull of closure.

If $C$ is a set in a topological vector space (or in particular a metric space), can we say that $\text{cl}(\text{conv}(C)) = \text{conv}(\text{cl}(C))$, where cl$(\cdot)$ represents closure and conv$(\cdot)$ represents the convex hull.
Ajay
  • 167
6
votes
1 answer

Intuitive explanation of why a chord of a convex function has to be a straight line

I was trying to understand the definition of convexity better. A simple definition of convexity is: $$f(tx_1 + (1 -t)x_2) \leq tf(x_1) + (1-t)f(x_2)$$ $\forall x_1,x_2 \in Domain(f)$ Intuitively, one way to think about this definition is that if we…
5
votes
1 answer

Strictly convex set

When a function is strictly convex it has many desirable properties, most notably that it admits a unique minimum. I was wondering if there is anything desirable about a strictly convex set (meaning that for any two points, all points between lie…
Erik M
  • 2,391
5
votes
1 answer

Non-empty intersection of convex sets

Assume that $X_1,\ldots,X_n$ are open, convex subsets of $\Bbb R^d$ such that for any $i,j,k$ with $1\le i,j,k\le n$, we have $X_i\cap X_j\cap X_k\neq\emptyset$. Is it possible for $\bigcap_{i=1}^n X_i$ to be empty?
Gaussler
  • 2,766
5
votes
2 answers

Convex Combination of 3 point in R2 and Triangle

I am new to convex combination, and I am quite amazed by some easy result. I know that convex combination of 2 points($P_1P_2$) in $R^2$ is all points in the line segment $P_1P_2$. And then I see a result that convex combination of 3 points…
5
votes
2 answers

Is $(x y)^2/2$ a convex function?

I want to know if $f(x, y) = (x \cdot y)^2 \,/\, 2$ with $x, y \in \mathbb{R}$ is a convex function. Naïvely, this plot looks very convex to me. However, one of the eigenvalues of the Hessian $H_f$, $$H_f = \begin{pmatrix} y^2 & 2xy \\ 2xy & x^2…
avitase
  • 53
5
votes
1 answer

The size of the set where a convex set has more than one supporting hyperplane

I know that, for any convex set $S$, there is at least one supporting hyperplane at every point in $B$, the boundary of $S$. Also, there can be more than one supporting hyperplane at the same point in $B$. Let $S$ be an $n$-dimensional convex set…
Orieus
  • 51
5
votes
3 answers

how to decide if set is convex?

I have two variables, $x$ and $y$, and a few inequalities of the form $f(x,y) \le g(x,y)$. I want to know if the intersection of all $(x,y)$ that satisfy each inequality is convex. Is there some generic way to do it? Maybe based on second order…
inequaler
  • 113
5
votes
1 answer

What does a pseudoconvex function look like?

A convex function is one where if you draw a secant line, the graph is below that. A quasiconvex function is a function where if you draw a (well larger of two) horizontal line the graph is below that. I know what those look like. A horizontal line…
user658409
5
votes
1 answer

Relationship between a convex function and a convex set

Here is an assertion I have read from these lecture notes: Let $f(x)$ be a convex function, then the set $I_\beta= \{f(x)\leq \beta\}$ is convex for every $\beta$ This is not hard to prove. we simply pick $x$ and $y$ from $I_\beta$, then we see by…
Lost1
  • 7,895
5
votes
1 answer

How to find the convexity condition of this function?

$u(a,b)=\min(xa,yb)-a-b-f\max(a+b-k,0)$, $x,y,f,k$ are parameters. What condition for these parameters will result in a convex $u(a,b)$? The answer is $\frac{xy}{x+y}-1\in(0,f)$ My attempt at arriving at the above: $\min(xa,yb),\max(a+b-k),-a-b$…
sprajagopal
  • 622
  • 1
  • 5
  • 20