擬距離空間

数学の分野における擬距離空間（ぎきょりくうかん、英: pseudometric space）とは、異なる二点の間の距離がゼロとなることもあるように一般化された距離空間である。すべてのノルム空間が距離空間であるように、すべての半ノルム空間は擬距離空間である。このことから、半距離空間（位相空間論における意味とは異なる）という語が、特に関数解析学の分野において、擬距離空間の同義語として用いられることがある。 擬距離の族によって位相が生成される時、その空間はゲージ空間（英語版）と呼ばれる。 擬距離空間 ( X , d ) {\displaystyle (X,d)} とは、すべての x , y , z ∈ X {\displaystyle x,y,z\in X} に対して d ( x , x ) = 0 {\displaystyle \,\!d(x,x)=0} . d ( x , y ) = d ( y , x ) {\displaystyle \,\!d(x,y)=d(y,x)} （対称性） d ( x , z ) ≤ d ( x , y ) + d ( y , z ) {\displaystyle \,\!d(x,z)\leq d(x,y)+d(y,z)} （劣加法性 / 三角不等式） を満たすような非負の実数値関数 d : X × X ⟶ R ≥ 0 {\displaystyle d:X\times X\longrightarrow \mathbb {R} _{\geq 0}} （擬距離と呼ばれる）を備える集合 X {\displaystyle X} のことである。 距離空間とは異なり、擬距離空間における各点は識別可能（英語版）である必要はない。すなわち、二つの異なる値 x ≠ y {\displaystyle x\neq y} に対して d ( x , y ) = 0 {\displaystyle d(x,y)=0} が得られることもある。 擬距離は関数解析学の分野においては自然に現れる。実数値関数 f : X → R {\displaystyle f:X\to \mathbb {R} } からなる空間 F ( X ) {\displaystyle {\mathcal {F}}(X)} と、ある特定の点 x 0 ∈ X {\displaystyle x_{0}\in X} を考える。この点は、 f , g ∈ F ( X ) {\displaystyle f,g\in {\mathcal {F}}(X)} に対して d ( f , g ) = | f ( x 0 ) − g ( x 0 ) | {\displaystyle \,\!d(f,g)=|f(x_{0})-g(x_{0})|\;} で与えられるような擬距離を導く。 ベクトル空間 V に対し、半ノルム p は V 上の擬距離を d ( x , y ) = p ( x − y ) {\displaystyle \,\!d(x,y)=p(x-y)} のように導く。逆に、同次の推移不変な擬距離は、半ノルムを導く。 擬距離は、双曲型複素多様体の理論においても現れる。小林距離を参照されたい。 擬距離位相とは、開球 B r ( p ) = { x ∈ X ∣ d ( p , x ) < r } {\displaystyle B_{r}(p)=\{x\in X\mid d(p,x)<r\}} 全てからなる集合が位相（開集合系）の基底を成すものとして導かれる位相のことである。位相空間が擬距離化可能であるとは、その空間上に与えられた位相と一致するような擬距離位相を与えることが出来ることを言う。 擬距離と距離の違いは、完全に位相的なものである。すなわち、擬距離が距離であるための必要十分条件は、それが生成する位相が T0 であることである（すなわち、異なる点が位相的に識別可能）。 擬距離の解消は、距離等化（metric identification）と呼ばれ、擬距離空間を一廉の距離空間に変える同値関係を導く。これは、 x ∼ y {\displaystyle x\sim y} を d ( x , y ) = 0 {\displaystyle d(x,y)=0} で定義することによって得られる。 X ∗ = X / ∼ {\displaystyle X^{*}=X/{\sim }} とし、 d ∗ ( [ x ] , [ y ] ) = d ( x , y ) {\displaystyle d^{*}([x],[y])=d(x,y)} とする。このとき、 d ∗ {\displaystyle d^{*}} は X ∗ {\displaystyle X^{*}} 上の距離であり、 ( X ∗ , d ∗ ) {\displaystyle (X^{*},d^{*})} は well-defined な距離空間である。 距離等化は、誘導位相を保つ。すなわち、 A ⊂ X {\displaystyle A\subset X} が飽和、つまり π − 1 ( π ( A ) ) = A {\displaystyle \pi ^{-1}(\pi (A))=A} を満たすとき、 A {\displaystyle A} が ( X , d ) {\displaystyle (X,d)} の開集合（あるいは閉集合）であることと、 π ( A ) = [ A ] {\displaystyle \pi (A)=[A]} が ( X ∗ , d ∗ ) {\displaystyle (X^{*},d^{*})} の開集合（あるいは閉集合）であることは、同値である。ここで， π : X → X ∗ {\displaystyle \pi :X\to X^{*}} は自然な射影である。 ^ Pseudometric topology - PlanetMath.org（英語） ^ Howes, Norman R. (1995). Modern Analysis and Topology. New York, NY: Springer. p. 27. ISBN 0-387-97986-7. http://www.springer.com/mathematics/analysis/book/978-0-387-97986-1 10 September 2012閲覧. " ( X , d ) {\displaystyle (X,d)} を擬距離空間とし、 X {\displaystyle X} における同値関係 ∼ {\displaystyle \sim } を、 d ( x , y ) = 0 {\displaystyle d(x,y)=0} であるなら x ∼ y {\displaystyle x\sim y} であるとすることによって定義する。 Y {\displaystyle Y} を商空間 X / ∼ {\displaystyle X/\sim } とし、 p : X → Y {\displaystyle p:X\to Y} を標準射影で、 X {\displaystyle X} の各点を、それを含む同値類へと写すような全射とする。各ペア a , b ∈ Y {\displaystyle a,b\in Y} に対して、その Y {\displaystyle Y} における距離を ρ ( a , b ) = d ( p − 1 ( a ) , p − 1 ( b ) ) {\displaystyle \rho (a,b)=d(p^{-1}(a),p^{-1}(b))} と定義する。 ρ {\displaystyle \rho } が実際に距離であり、 Y {\displaystyle Y} 上の商位相を定義するということを示すことは、容易である。"  Arkhangel'skii, A.V.; Pontryagin, L.S. (1990). General Topology I: Basic Concepts and Constructions Dimension Theory. Encyclopaedia of Mathematical Sciences. Springer. ISBN 3-540-18178-4  Steen, Lynn Arthur; Seebach, Arthur (1995) [1970]. Counterexamples in Topology (new edition ed.). Dover Publications. ISBN 0-486-68735-X  Pseudometric space - PlanetMath.org（英語） Example of pseudometric space - PlanetMath.org（英語）