§3 空间的无限可分性