喺泛函分析入邊，巴拿赫空間即係完備賦範向量空間，即係一個向量空間，上邊有一個度量可以計唔同向量之間嘅距離，而且呢個度量係完備嘅，即係話所有柯西向量列都會收斂到空間入邊某一支向量。