proof of criterion for convexity
Theorem 1.
Suppose is continuous and that,for all ,
Then is convex.
Proof.
We begin by showing that, for any natural numbers and ,
by induction. When , there are three possibilities: , ,and . The first possibility is a hypothesis
of the theorem
beingproven and the other two possibilities are trivial.
Assume that
for some and all . Let be a number less than or equalto . Then either or . In theformer case we have
In the other case, we can reverse the roles of and .
Now, every real number has a binary expansion; in other words, thereexists a sequence of integers such that . If , then we also have so, by what we proved above,
Since is assumed to be continuous, we may take the limit of bothsides and conclude
which implies that is convex.∎