在全体有理数Q上定义离散距离d，则（Q，d）是不完备的距离空间.