Exercise 5, § 4
General Topology, IX
Every linearly ordered set , endowed with the topology (Chapter I, , Exercise 5), is completely normal. [Consider first the case where is compact; show with the help of Chapter IV, , Exercise 6 that every open set in is the union of mutually disjoint open intervals; use this result to prove the proposition, by considering (in the notation of Exercise 3) the complement of the closed set , and then the complement of ; to pass to the general case, in which is arbitrary, use Chapter IV, , Exercise 7.]
Solution
No solution has been written yet.