Bourbaki

Exercise 15, § 6

General Topology, IX, p. 122

Bourbaki marks this one as harder than the rest.

Let X=RnX = \mathbf{R}^n, MM 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 endpoints x,yx, y is contained in X−MX - M. Prove that the set L⊂ML \subset M of linearly accessible points of MM is Souslinian. (Let d(x,y)d(x, y) be the euclidean distance in XX, and for every 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). Remark that, in X×X×XX \times X \times X, the set of (x,y,z)(x, y, z) 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 that the same is true of its projection on the product of the two first factors.)

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.