^*泛函分析研究的基本对象之一。具有^*完备性的^*赋范线性空间。如［a,b］上连续函数全体C［a,b］，规定范数为时，就是个巴拿赫空间。许多常用的重要函数空间也都是巴拿赫空间。