巴拿赫空间
在赋范向量空间中，完备的赋范向量空间特别重要，称为巴拿赫空间。每个赋范向量空间都是一个巴拿赫空间的稠密子空间，这个巴拿赫空间由此赋范向量空间唯一确定，称为它的完备空间。