Banach space
特別な興味がもたれるのは完備なノルム空間で、バナッハ空間と呼ばれる。任意のノルム線型空間 は適当なバナッハ空間に稠密部分空間として含まれる。そのようなバナッハ空間は に対して本質的に一意に定まり、 のと呼ばれる。