度量子空间

设A是R的子集，则A按R中的距离ρ也成内度量空间，称为R的（度量）子空间。