Bourbaki

Exercise 21, § 1

General Topology, IX

a) Let XX be a topological space. Show that the following two properties are equivalent: α)\alpha) every finite continuous real-valued function on XX is bounded; β\beta) every bounded continuous real-valued function on XX attains its bounds. XX is said to be pseudo-compact if it has these properties. If XX is pseudo-compact and if ff is any continuous mapping of XX into a topological space X′X', then f(X)f(X) is pseudo-compact.

b) Consider the following two properties of a topological space XX: γ)\gamma) if (Un)(U_n) is any countable open covering of XX, then XX is the union of a finite number of the closures U‾n\overline{U}_n; δ)\delta) every countable filter base on XX which is formed of open sets has at least one cluster point. Show that γ)\gamma) and δ)\delta) are equivalent and that they imply that XX is pseudo-compact. In particular, every absolutely closed topological space (Chapter I, § 9, Exercise 19) is pseudo-compact. If XX has properties γ)\gamma) and δ)\delta), then so does every subspace of XX which is the closure of an open set of XX [cf. § 4, Exercise 26 b)].

c) Consider the following property of a topological space XX: ζ)\zeta) every locally finite open covering of XX is finite. Show that ζ)⟹γ)\zeta) \Longrightarrow \gamma). [If (Un)(U_n) is an increasing sequence of open subsets of XX which cover XX and are such that Un+1⊄U‾nU_{n+1} \not\subset \overline{U}_n, consider the covering formed by the sets Un+1∩∁U‾nU_{n+1} \cap \complement \overline{U}_n and the complement of a sequence (an)(a_n) such that

an+1∈Un+1∩∁U‾n. a_{n+1} \in U_{n+1} \cap \complement \overline{U}_n.

If XX is regular, show that γ)⟹ζ)\gamma) \Longrightarrow \zeta). [Let (Uα)(U_\alpha) be an infinite, locally finite, open covering of XX. Define by induction a sequence (αn)(\alpha_n) of indices, a sequence (xn)(x_n) of points of XX, and for each xnx_n two open neighbourhoods VnV_n and WnW_n of xnx_n such that: (i) we have V‾n⊂Wn\overline{V}_n \subset W_n, Wn⊂UαnW_n \subset U_{\alpha_n}, and WnW_n meets only a finite number of sets UαU_\alpha; (ii) UαnU_{\alpha_n} meets none of the WkW_k with indices k<nk < n. Now consider the covering formed by the WnW_n and the complement of the union of the V‾n\overline{V}_n.]

d) In a completely regular space XX the properties α),β),γ),δ)\alpha), \beta), \gamma), \delta) and ζ)\zeta) are all equivalent, and are equivalent to the following property: θ)\theta) XX is precompact in any uniformity compatible with its topology. [To show that α)⟹ζ)\alpha) \Longrightarrow \zeta), note that if (Un)(U_n) is a countably infinite, locally finite, open covering of XX and if an∈Una_n \in U_n, then there is a continuous real-valued function ff on XX such that f(an)=nf(a_n) = n for each nn [use (O_{IV})]. To show that θ)⟹α)\theta) \Longrightarrow \alpha), use Exercise 5 and observe that in a precompact space every uniformly continuous real-valued function is bounded. To show that γ)⟹θ)\gamma) \Longrightarrow \theta), note that if XX is not precompact with respect to a uniformity U\mathscr{U}, then there is a symmetric entourage VV of U\mathscr{U} and a sequence (xn)(x_n) of points of XX such that no two of the sets V(xn)V(x_n) intersect.]

e) If XX is a completely regular pseudo-compact space which is complete with respect to some uniformity compatible with its topology, then XX is compact.

f) On a completely regular pseudo-compact space XX, the universal uniformity (Exercise 5) is induced by the uniformity of the Stone-Čech compactification of XX, and is the unique uniformity, compatible with the topology of XX, for which all the continuous mappings of XX into [0,1][0, 1] are uniformly continuous.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.