Exercise 15, § 1
General Topology, IX
Bourbaki marks this one as harder than the rest.
a) Let be a locally compact space and let be the set of all continuous mappings which are zero on the complement of some compact set (depending on ). Let be the coarsest uniformity on for which all the mappings are uniformly continuous. Show that is compatible with the topology of , that the completion of with respect to is compact, and that consists of at most one point (show that if is not compact, the filter of complements of relatively compact subsets of is a Cauchy filter with respect to ).
b) Show that is the coarsest uniformity compatible with the topology of .
c) Conversely, let be a completely regular space such that the set of uniformities compatible with the topology of has a coarsest element . Show that is locally compact. (Using Exercise 6, show that is precompact with respect to ; then show that the complement of in its completion with respect to cannot have more than one point.)
d) Suppose that is locally compact and -compact, and therefore the union of an increasing sequence of relatively compact open sets such that (Chapter I, § 9, no. 9, Proposition 15). Show that there exists a continuous real-valued function on , such that for and for [cf. Exercise 10 a)]. Let be the coarsest uniformity on for which and all the functions are uniformly continuous. Show that is compatible with the topology of and that there is an entourage of such that is relatively compact in for all (cf. Chapter II, § 4, Exercise 9).
Solution
No solution has been written yet.