位相空間論あるいは解析学において、距離空間 "M" が完備（かんび、）またはコーシー空間（コーシーくうかん、）であるとは、"M" 内の任意のコーシー点列が "M" に属する極限を持つ（任意のコーシー点列が収束する）ことを言う。直観的に言えば、空間が完備であるというのは（その内側や境界において）点を追いかけると「空間からはみ出してしまう」ということが起きないということである。例えば、有理数全体の成す集合 Q は完備でないが、これは例えば2 の正の平方根は、それに収束する有理コーシー数列が構成できるにも拘らず、有理数ではないので Q からははみ出してしまう（後述）。「こういった抜けを全て埋めてしまう」という考えは後述するように、空間の完備化 ("completion") として常に可能である。有理数全体の成す集合に差の絶対値によって定義される標準距離函数を備えた空間 Q は完備でない。例えばで定義される列を考えると、これは有理コーシー数列だが如何なる有理数にも収束しない。実際、これが何らかの有理数 "x" に収束するならば、"x" は "x" = 2 を満たさねばならないが、これを満たす有理数は存在しない。しかしながら、同じ列を実数列と考えるならば無理数である √2 を極限に持つ。同様に単位開区間 (0,1) に絶対値による距離を入れた空間は、やはり完備でない。例えば "x" = で定義される数列はコーシー数列だが極限は元の空間に入らない。一方、単位閉区間 [0,1] は完備である。先ほどと同じ列はこの空間内に極限を持ち、0 に収束する。実数全体の成す空間 R や複素数全体の成す空間 C（ともに絶対値による距離を入れる）は完備であり、同様にユークリッド座標空間 R も通常の距離函数に関して完備である。これと対照的に、無限次元ノルム線型空間は完備になることもならないことも起こり得る（完備な場合をバナハ空間と呼ぶ）。有界閉区間上で定義された実数値連続函数の空間 C["a

出典:wikipedia