Skip to main content
4 of 7
Trying to bee unnecessarily "elegant". I've fixed it/

Let $\ C\ $ be an uncountable compact subset of $\ \mathbf R.\ $ Let's assume that $\ C\ $ has no isolated points (if necessary, replace $\ C\ $ by $\ C\ $ minus all its isolated points).

Let $\ K\ $ be the linearly ordered set obtained from $\ C\ $ by identifying every two $\ a\ b \in C\ $ such that $\ (a;b)\cap C=\emptyset.\ $ Set $\ K\ $ is still uncountable (there are only countably many points $\ x\in\ C\ $ which belong to classes which have more than one point). The topological space canonically associated with $\ K\ $ has the minimal and maximal point, and it is easy to check that $\ K\ $ has Dedekind property (for an interval) induced by Dedekind property of $\ \mathbf R.\ $ Thus $\ K\ $ is a connected Hausdorff compact space.

(There is a Urysohn function of $\ K\ $ onto a non-trivial interval).