Bourbaki

Exercise 15, § 1

General Topology, IX

Bourbaki marks this one as harder than the rest.

a) Let XX be a locally compact space and let Φ\Phi be the set of all continuous mappings g:X→[0,1]g : X \to [0, 1] which are zero on the complement of some compact set (depending on gg). Let U1\mathscr{U}_1 be the coarsest uniformity on XX for which all the mappings g∈Φg \in \Phi are uniformly continuous. Show that U1\mathscr{U}_1 is compatible with the topology of XX, that the completion X^\hat{X} of XX with respect to U1\mathscr{U}_1 is compact, and that X∖X^X \setminus \hat{X} consists of at most one point (show that if XX is not compact, the filter of complements of relatively compact subsets of XX is a Cauchy filter with respect to U1\mathscr{U}_1).

b) Show that U1\mathscr{U}_1 is the coarsest uniformity compatible with the topology of XX.

c) Conversely, let XX be a completely regular space such that the set of uniformities compatible with the topology of XX has a coarsest element U1\mathscr{U}_1. Show that XX is locally compact. (Using Exercise 6, show that XX is precompact with respect to U1\mathscr{U}_1; then show that the complement of XX in its completion with respect to U1\mathscr{U}_1 cannot have more than one point.)

d) Suppose that XX is locally compact and σ\sigma-compact, and therefore the union of an increasing sequence (Un)(\mathbf{U}_n) of relatively compact open sets such that U‾n⊂Un+1\overline{\mathbf{U}}_n \subset \mathbf{U}_{n+1} (Chapter I, § 9, no. 9, Proposition 15). Show that there exists a continuous real-valued function ff on XX, such that f(x)≤nf(x) \leq n for x∈U‾nx \in \overline{\mathbf{U}}_n and f(x)≥nf(x) \geq n for x∈CUnx \in \mathbf{C} \mathbf{U}_n [cf. Exercise 10 a)]. Let U2\mathscr{U}_2 be the coarsest uniformity on XX for which ff and all the functions g∈Φg \in \Phi are uniformly continuous. Show that U2\mathscr{U}_2 is compatible with the topology of XX and that there is an entourage VV of U2\mathscr{U}_2 such that V(x)V(x) is relatively compact in XX for all x∈Xx \in X (cf. Chapter II, § 4, Exercise 9).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.