在不可数集X上定义离散距离d，则距离空间（X，d）是不可分的.