Bourbaki

Exercise 11, § 6

General Topology, IX

Bourbaki marks this one as harder than the rest.

Let X=RnX = \mathbf{R}^n and let MM be a closed subset of XX. A point x∈Mx \in M is said to be linearly accessible if there exists a point y∈X−My \in X - M such that the open segment with extremities x,yx, y is contained in X−MX - M. Show that the set L⊂ML \subset M of linearly accessible points of MM is a Souslin set. [Let d(x,y)d(x, y) be the Euclidean metric in XX, and for each z∈Xz \in X let fz(x,y)=d(x,z)+d(z,y)−d(x,y)f_z(x, y) = d(x, z) + d(z, y) - d(x, y). Note that the set of all (x,y,z)∈X×X×X(x, y, z) \in X \times X \times X such that x∈M,y∈X−M,z∈M,z≠xx \in M, y \in X - M, z \in M, z \neq x and fz(x,y)=0f_z(x, y) = 0 is a countable union of compact sets, and consequently so is its projection on the product of the first two factors.]

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.