豪斯多夫距离量度度量空间中紧子集之间的距离。
设和是度量空间的两个紧子集。那么豪斯多夫距离(,)是最小的数使得的闭—邻域包含，的闭—邻域也包含。换句话说，若表中的距离，那么
这距离函数令的所有紧子集组成的集成为度量空间，且记为()。()的拓扑只是依赖于的拓扑。若是紧的，则()也是。
豪斯多夫空间也可以照样定义在的闭非紧子集上，但距离可能是无限大，()的拓扑不只依赖于的拓扑，也依赖于的特有度量。非闭子集间的豪斯多夫距离可以定义为它们的闭包的豪斯多夫距离。这给予的所有子集组成的集一个伪度量。（两个有相同闭包的子集的豪斯多夫距离是零）。
在欧几里得几何常用一个类似概念，称为在等距同构下的豪斯多夫距离。设 和是欧几里得空间中两个紧的图形，则(,)是((),)取所有欧几里得空间的保距变换的最小值。这距离量度和离等距差多少。
