We start by proving (1). By the properties of uniform
convergence, it is clear that any element of
is concave and continuous. Conversely, a continuous function
on is uniformly continuous because is
compact. Therefore, given there is a
such that for all such
that . By compactness, we can find a triangulation
with . Let be the vertices of this triangulation and
consider the function defined as
|
|
|
For , let denote the vertices
of an element of the triangulation containing . We
write for some and . By concavity, we have
|
|
|
which shows that any continuous function on can
be arbitrarily approximated by elements of .
We now prove (2). Let . By definition,
for each we can find a function with . In
particular, is bounded. Furthermore, and is bounded because . Hence and is bounded.
Conversely, let be a concave function such that
and is
bounded. Then and is a continuous concave function on .
Hence we can apply (1) to to obtain functions
approaching uniformly. We
conclude that the functions
approach uniformly and so .
∎