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

Confusions of Convex Set

I am interested in the properties of convex set in $\mathbb R^n$ and want to clarify the three statements below $A$ is an open convex set. Can we get the conclusion that $\bar{A}$ is convex? Conversely, if $A$ is a closed convex set in $\mathbb…
gaoxinge
  • 4,434
0
votes
0 answers

Linear transformation preserving strict convexity

Consider the functions $f:\mathbb{R}^n\to\mathbb{R}$, $g:\mathbb{R}^m\to\mathbb{R}$ and the non-square matrix $A \in \mathbb{R}^{m\times n}$ with $m>n$. Let $x\in\mathbb{R}^n$ and consider the change of variables $y = Ax$. Let $f(x) = g(Ax)$. If…
0
votes
1 answer

$A\bar{x}\leq \bar{b}$, $A\bar{x} \geq \bar{b}$ or $A\bar{x} > \bar{b}$ convex?

The first $A\bar{x}\leq \bar{b}$ is stated to be convex in my book but why? I cannot see it directly from the definition: Let $S :=\{\sum \lambda_{i} x_{i} \}$. $\text{S is a convex space iff } \begin{cases} \sum \lambda_{i} = 1 \\ \lambda_{i}…
hhh
  • 5,469
0
votes
2 answers

Question on convexity

If I have a function $f:\mathbb{R}^n\to\mathbb{R}$ that is convex in ${\bf x} = (x_1,x_2,\ldots,x_n)$ and strictly convex in one of the variables, say $x_1$, then is $f({\bf x})$ strictly convex in ${\bf x}$? If so, how would I prove this?
jonem
  • 383
0
votes
1 answer

Continuity of convex functions at point out of domain

I have been studying the continuity of a convex function and having a trouble below: In some books, the authors defined the the continuity of a convex function $f$ even $f$ is not in $\mbox{dom }f$, for example $$f(x)=\frac{1}{x} \mbox{ if } x>0,…
Richkent
  • 1,151
0
votes
1 answer

A Q about convex optimality criterion

Hope to ask about p. 139 of S. Boyd's cvx book: x is optimal iff x is in X (feasible set) and And the book use the following pic to illustrate: My Q is: why there is a negative sign '-' in front of the gradient of f0? I 'guess' the answer is…
sleeve chen
  • 8,281
0
votes
1 answer

Partial Ordering of proper cone K

$K$ in $\mathbb{R}^n$, and $K$ is a proper cone. Partial Ordering of $K$ : $x \leq_K y$ iff $y-x\in K$ (S. Boyd p. 43) My questions are: Does it require $x,y\in K$? If $x,y\in K$, it seems that $y-x$ and $x-y$ are in $K$ (just draw a cone and…
sleeve chen
  • 8,281
0
votes
2 answers

The key step to prove log-convexity is preserved under sums

In S. Boyd textbook p.105 (button): (cvx = convex) Let F = log f & G = log g are convex (i.e. Let f & g are log-cvx) (This guarantees f & g are cvx, since log-cvx is included in cvx) Now, the book says: From the composition rules for cvx…
sleeve chen
  • 8,281
0
votes
1 answer

Is this function strictly convex?

I think this function is strictly convex in the vector ${\bf x} = (x_1,x_2,x_3,x_4)$ but the fact that some terms are zero when variables take on the same values leaves me uncertain, i.e. when $x_1=x_2$ and $x_1=x_3$ then the argument of $c_1$ is…
jonem
  • 383
0
votes
1 answer

Strict convexity of the following function

I have a function that is of the form $C({\bf x}) = c_1\left(a_1x_1 + b_1x_1^2\right) + c_2\left(a_2(x_1-x_2) + b_2(x_1-x_2)^2\right) + c_3\left(a_3(x_2-x_3) + b_3(x_2-x_3)^2\right)$ where each $c_i:\mathbb{R}\to\mathbb{R}$ is strictly convex and…
jonem
  • 383
0
votes
1 answer

Extreme points of a convex set

How do i find all extreme points of the set: $\displaystyle C=\{x\in\mathbb{R}^n | \sum_{i=1}^n |x_i| \leq 1 \}$? I guess that $x=0$ is an extreme point, but how can i show it and is it the only one?
PaulH
  • 433
0
votes
1 answer

to prove XY-plane a convex set??

we know that R and R^2 have convex subsets because any two points in them can be joined by a line segment..but how we will prove it mathematically that XY-plane is a convex set??
hafsah
  • 305
0
votes
1 answer

Concave function of two variables restricted to one variable

Suppose $u(x,y)$ is a concave and strictly increasing $\mathcal{C}^2$ function (think of a utility function from economics). Define the one variable function $f(x)=u(x,e^r(K-x))$ for all $x\in [0,K]$, where $r,K\in\mathbb{R}$. I want to show that…
bobbo
  • 59
0
votes
2 answers

Proof that the set $\{ x \in \mathbb{R}^n: \max\{w_1^Tx, \ldots, w_N^Tx\} \geq \gamma\}$ is not convex in general

Let $w_1, \ldots, w_m$ and $x$ be vectors in $\mathbb{R}^n$, and $\gamma$ be some constant in $\mathbb{R}$. How can I prove that the set $\{ x \in \mathbb{R}^n: \max\{w_1^Tx, \ldots, w_N^Tx\} \geq \gamma\}$ is not convex in general? (I'm asking for…
rnegrinho
  • 403
0
votes
1 answer

Intersection of half planes vs union?

Can someone explain to be why we are taking intersection instead of union? Because taking the union means we are also taking the union of ALL the $y$s in $S$ no?
Lemon
  • 12,664