多于一点的连通度量空间是不可数的.

题：设$(X,d)$是多于一点的连通度量空间，那么$X$是不可数的.

证：

设$a,b\in X$，因为$X$多于一点，且设$C=a\times X$

$\because d:C\to R$是连续的

$\because C$同胚与$X\Rightarrow C$连通的

$\therefore d(C)\subset R$连通且多于一点(实际上 { 0 , d ( a , b ) } ⊂ d ( C ) \{0, d(a, b) \} \subset d(C) {0,d(a,b)}⊂d(C)，其中$d(a,b)>0$)

$\because R$的连通子集是凸的

$\therefore d(C)$是凸的(凸子集)

$\therefore [0,d(a,b)]\in d(C)$

$\therefore C$不可数 $\Rightarrow X$不可数

思索：以上证明并没有用到度量空间这么强的条件，也不一定要映射到$R$上，可以为任意具有全序关系的连通序拓扑$Y$上，只需要$d:X\times X\to Y$是连续的，且诱导出$X$的拓扑，