距離空間と一様空間

ウィキペディア小見出し辞書

距離空間と一様空間

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/12 03:22 UTC 版)

「空間 (数学)」の記事における「距離空間と一様空間」の解説

二点間の距離は距離空間において定義される。任意の距離空間は位相空間でもある。有界集合やコーシー列は（単に位相空間であるというだけではダメで）距離空間において定義される概念である。距離空間の間の同型写像は等長写像と呼ばれる。距離空間が完備であるとは、任意のコーシー列が収斂するときにいう。完備でない距離空間は、必ずその完備化と呼ばれる完備距離空間に等長に埋め込める。コンパクト距離空間は常に完備であり、コンパクトでない完備距離空間の例として実数直線が挙げられる。一方、単位開区間 (0, 1) は完備でない。 位相空間が距離化可能（あるいは距離付け可能）であるとは、それが距離空間の台にできることをいう。任意の多様体は距離化可能である。 任意のユークリッド空間は完備距離空間である。さらにユークリッド空間に内在する幾何学的概念は全て距離空間の言葉で特徴付けられる。例えば、与えられた二点 A, C を結ぶ線分は、A と B との間の距離と B と C の間の距離との和が、A と C の間の距離に等しくなるような点 B の全体として得られる。 一様空間に距離を入れることはできないが、それでも一様連続性、コーシー列、完備性や完備化といった概念を定義することができる。任意の一様空間は位相空間にもなる。任意の位相線型空間は（距離化可能か否かは決まらないが）必ず一様空間になる。もっと一般に、任意の位相アーベル群は一様空間になるが、他方で非可換な位相群は左不変と右不変の二種類の一様構造を持ちうる。有限次元位相線型空間は必ず完備になるが、無限次元の場合は必ずしも完備とは限らない。