Exercise 1, § 1
Integration, III
Bourbaki marks this one as harder than the rest.
a) Let X be a locally compact space. Show that every compact convex subset A of the locally convex space that is contained in is strictly compact. (Consider the upper envelope function of the set of all , which is continuous on X and tends to 0 at the point at infinity of X. For every continuous numerical function g on X, denote by P(g) the set of such that . Show that there exists a function f in A such that ; for this, observe that if is the compact set of such that , there exists a finite number of functions such that the open sets cover . Then make use of the fact that A is convex and closed.)
b) Assume that there exists in X a countable dense subset D. Show that every compact convex subset A of is then strictly compact. (Let U be the set of such that there exists an for which , which is an open set in X. Show, making use of the fact that A is a Baire space, that there exists a function such that for all .)
Solution
No solution has been written yet.