Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I need to show that $S = \{(x,y) \in \mathbb{R}^2 : y \geqslant x^2\}$ is a convex set, but I'm having a bit of trouble. Simply applying the definition of convexity has got me nowhere.

share|improve this question
add comment

2 Answers 2

If you are allowed to use the fact that $f(x)=x^2$ is a convex function, the proof would be utterly simple: for any $(x_1,y_1), (x_2,y_2)\in S$ and $t\in[0,1]$, we have \begin{align} [tx_1 + (1-t)x_2]^2 &= f(tx_1 + (1-t)x_2)\\ &\le tf(x_1) + (1-t)f(x_2)\\ &\le ty_1 + (1-t)y_2. \end{align} Therefore $\left(tx_1 + (1-t)x_2,\ ty_1 + (1-t)y_2\right)$ also lies in $S$ and hence $S$ is convex.

The above argument actually shows that if $\varphi(x)$ is a convex function defined on $\mathbb{R}$, $\{(x,y)\in\mathbb{R}^2: y\ge\varphi(x)\}$ is automatically a convex set, but I guess the point of the exercise is to show that the square function is convex ... :-D

share|improve this answer
    
excellent answer!, one doubt though, last sentence "the above argument .." were you talking about the epigraph of a convex function? –  dineshdileep Dec 11 '12 at 10:03
    
@dineshdileep Yes. As the question was set around a particular function rather than a general convex function, I thought the point of the exercise is not really showing that the epigraph of a convex function is convex. –  user1551 Dec 11 '12 at 23:18
add comment

Let $(a,b),(c,d)\in S$, we need to show that for all $\lambda\in (0,1)$ $(\lambda a+(1-\lambda)c,\lambda b+(1-\lambda)d)\in S$.

Proof: Firstly, we note that $a^2\leq b$ and $c^2 \leq d$

Since $ac\leq \sqrt {bd}\leq \frac {b+d}{2}$, therefore $2\lambda (1-\lambda) ac\leq (\lambda-\lambda^2)b+(\lambda-\lambda^2)d$. Since $\lambda^2a^2\leq\lambda^2b$ and $\lambda^2c^2\leq\lambda^2d$. By adding the last three inequlities we get: $$(\lambda a+(1-\lambda)c)^2=\lambda^2a^2+2\lambda (1-\lambda) ac+\lambda^2c^2\leq \lambda b+(1-\lambda d) $$

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.