设ERn,点x∈Rn到集合E的距离定义为ρ(x,E)=ρ(x,y)。若是E连同其全体聚点所组成的集合(称为E的闭包),则={x∣ρ(x,E)=0}。
设ERn,点x∈Rn到集合E的距离定义为ρ(x,E)=ρ(x,y)。证明:若E是闭集,xE,则ρ(x,E)〉0。