Let $X$ be a nonempty convex subet of $A$. I need to Show that $z$ is an extreme point of $X$ if and only if the set $X − \{z\}$ is a convex set.
I need help showing this proof of convexity
-
0You could explain the reason why you deleted (again) the paragraph: *I first tried to show that if $z$ is an extreme point then $A − \{z\}$ us a convex set. I used the definition of a convex set, $\lambda x+(1-\lambda)y\;$ is in set $S$. I also attempted to go on the idea that $z=\lambda x_1+(1-\lambda)x_2$, so $x_1=x_2=z$.* – 2011-12-07
2 Answers
If $z$ is not an extreme point of $X$, there are $x,y\in X\setminus \{z\}$ such that $z=tx+(1-t)y$ for some $t\in(0,1)$. This easily implies that $X\setminus \{z\}$ is not convex; why?
Now suppose that $z$ is an extreme point of $X$, and let $x,y\in X\setminus\{z\}$; you need to show that $tx+(1-t)y\in X\setminus\{z\}$ for each $t\in[0,1]$. $X$ is convex, so $tx+(1-t)y\in X$ for each $t\in[0,1]$. How could $tx+(1-t)y$ fail to be in $X\setminus\{z\}$? There’s only one way; why can’t it actually happen?
-
0@Michael: It doesn’t answer it completely; it provides a pretty big hint for each of the two things that you have to prove. – 2011-12-07
This is just Brian's answer, somewhat elaborated:
The proof should be transparent, it just uses the definitions.
A set $X$ is convex if and only if every line segment between two points of $X$ is contained in $X$.
A point $z\in X$ is an extreme point of the convex set $X$ if and only if it is not an interior point of any line segment in X (it can be an endpoint of a line segment contained in $X$).
Let $z$ be an extreme point of the convex set $X$. Since $X$ is convex, every line segment between two points in $X\setminus\{z\}$ is contained in $X$. Now, since $z$ is an extreme point of $X$ and since $z$ is not in $X\setminus\{z\}$, none of these line segments contain $z$. So, in fact, every line segment between two points in $X\setminus\{z\}$ is contained in $X\setminus\{z\}$. Thus, $X\setminus\{z\}$ is convex.
If $X\setminus\{z\}$ is convex, then, every line segment between two points in $X\setminus\{z\}$ is contained in $X\setminus\{z\}$. Thus, $z$ cannot be on any line segment between two points in $X\setminus\{z\}$. Of course, then, $z$ cannot be on the interior of any line segment in $X$; which shows that $z$ is an extreme point of $X$.