擬距離空間

数学の分野における擬距離空間（ぎきょりくうかん、）とは、異なる二点の間の距離がゼロとなることもあるように一般化された距離空間である。すべてのノルム空間が距離空間であるように、すべての半ノルム空間は擬距離空間である。このことから、半距離空間（位相空間論における意味とは異なる）という語が、特に関数解析学の分野において、擬距離空間の同義語として用いられることがある。
擬距離の族によって位相が生成される時、その空間はと呼ばれる。
定義.
擬距離空間 formula_1 とは、すべての formula_2 に対して
を満たすような非負の実数値関数 formula_6 （擬距離と呼ばれる）を備える集合 formula_7 のことである。
距離空間とは異なり、擬距離空間における各点はである必要はない。すなわち、二つの異なる値 formula_8 に対して formula_9 が得られることもある。
例.
擬距離は関数解析学の分野においては自然に現れる。実数値関数 formula_10 からなる空間 formula_11 と、ある特定の点 formula_12 を考える。この点は、formula_13 に対して
で与えられるような擬距離を導く。
ベクトル空間 "V" に対し、半ノルム "p" は "V" 上の擬距離を
のように導く。逆に、同次の推移不変な擬距離は、半ノルムを導く。
擬距離は、双曲型複素多様体の理論においても現れる。小林距離を参照されたい。
位相.
擬距離位相とは、開球
全てからなる集合が位相（開集合系）の基底を成すものとして導かれる位相のことである。位相空間が擬距離化可能であるとは、その空間上に与えられた位相と一致するような擬距離位相を与えることが出来ることを言う。
擬距離と距離の違いは、完全に位相的なものである。すなわち、擬距離が距離であるための必要十分条件は、それが生成する位相が"T"0であることである（すなわち、異なる点が位相的に識別可能）。
距離等化.
擬距離の解消は、距離等化（metric identification）と呼ばれ、擬距離空間を一廉の距離空間に変える同値関係を導く。これは、formula_17 を formula_9 で定義することによって得られる。formula_19 とし、
とする。このとき、formula_21 は formula_22 上の距離であり、formula_23 は well-defined な距離空間である。 
距離等化は、誘導位相を保つ。すなわち、formula_24 が飽和、つまり formula_25 を満たすとき、 formula_26 が formula_1 の開集合（あるいは閉集合）であることと、formula_28 が formula_23 の開集合（あるいは閉集合）であることは、同値である。ここで，formula_30 は自然な射影である。