對於集合中任意元素,若函數符合以下三個條件,稱它為一個偽度量(pseudometric)。

它和一般距離(度量)的定義的分別只在於偽度量容許對於相異的元素

例子

  •  向量空間 半範數  的偽度量
  • 有集 ,其中 上有一距離 ,設 為所有 的函數之集,取 ,則 是一個 的偽度量。

拓撲空間

  • 對於集 有偽度量d,則所有開球 的族可以作為 內一個拓撲空間。該拓撲空間是
  • T4
  • 第一可數空間

若它是T0,它是可距空間

参考文献