Bourbaki

Exercise 3, § 1

General Topology, I, 117

If AA is any subset of a topological space XX, let α(A)\alpha(A) denote A˙‾\overline{\dot{A}} and β(A)\beta(A) denote A˙\dot{A}. Then A⊂BA \subset B implies α(A)⊂α(B)\alpha(A) \subset \alpha(B) and β(A)⊂β(B)\beta(A) \subset \beta(B).

a) Show that if AA is open then A⊂α(A)A \subset \alpha(A), and that if AA is closed then β(A)⊂A\beta(A) \subset A.

b) Deduce from a) that if AA is any subset of XX, then α(α(A))=α(A)\alpha(\alpha(A)) = \alpha(A) and β(β(A))=β(A)\beta(\beta(A)) = \beta(A).

c) Give an example of a set AA (on the real line) such that the seven sets A,A˚,A‾,α(A),β(A),β(A‾),α(A˚)A, \mathring{A}, \overline{A}, \alpha(A), \beta(A), \beta(\overline{A}), \alpha(\mathring{A}) are all distinct and satisfy no relations of inclusion except the following: A˚⊂A⊂A‾,A˚⊂α(A˚)⊂β(A)⊂A‾,A˚⊂α(A)⊂β(A‾)⊂A‾,α(A˚)⊂α(A),β(A)⊂β(A‾)\mathring{A} \subset A \subset \overline{A}, \mathring{A} \subset \alpha(\mathring{A}) \subset \beta(A) \subset \overline{A}, \mathring{A} \subset \alpha(A) \subset \beta(\overline{A}) \subset \overline{A}, \alpha(\mathring{A}) \subset \alpha(A), \beta(A) \subset \beta(\overline{A}).

d) Show that if U,VU, V are two open sets such that U∩V=∅U \cap V = \varnothing, then also α(U)∩α(V)=∅\alpha(U) \cap \alpha(V) = \varnothing [use b)].

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.