距離空間の圏
From Wikipedia, the free encyclopedia
- 射について、距離空間の圏 Met における単型射は、集合論的単射な非拡大写像であり、これは相異なる二点を一点に写すことはない。Metにおける全型射は、その像（定義域の像）が値域において稠密となるような非拡大写像で与えられる。同型射は等距変換すなわち一対一かつ上への距離を保つ（非拡大）写像である。
- 例えば、有理数全体（に通常の距離を入れたもの）Q の実数直線 R への包含写像は Met において双型射（単型かつ全型）だが、明らかに同型射でない。ゆえに Met は均衡圏 たりえない。
- 対象について、距離空間の圏 Met の始対象は空距離空間で与えられ、また任意の一点距離空間が終対象となる。明らかに始対象と終対象が一致することはないから Met は零対象を持たない。
- 距離空間の圏 Met における入射対象は入射距離空間と呼ばれる。入射距離空間を初めて導入して研究したのは Aronszajn & Panitchpakdi (1956) であるが、それは圏として Met が研究されるよりも時期が早い（入射距離空間は、距離球体のヘリー性の言葉で内在的に定義することもでき、その定義に基づいて Aronszajn と Panitchpakdi は「超凸空間」(hyperconvex space) と呼んでいた）。任意の距離空間に対し、それを等距離埋め込み可能な最小の入射距離空間が存在する。そのような入射距離空間を、もとの距離空間の距離包絡 (metric envelope) あるいは緊密包 (tight span) と呼ぶ。
- 距離空間の圏 Met において距離空間の有限集合の圏論的直積は、それらの台となる点集合に対する集合論的直積に、距離函数を成分ごとに各因子空間の中で測った距離の上限によって与える。それはすなわち、上限ノルムで与えられる直積距離函数である。これに対して、距離空間の無限直積は、各因子における距離に上限があるとは限らないから、存在しないことがあり得る。すなわち、Met は完備でないが有限完備ではある。Met に余積（圏論的直和）は存在しない。
