فضای نرمدار $(X,\Vert . \Vert)$ را فضای باناخ گوییم اگر کامل باشد. همچنین آن را باناخ بازتابی گوییم هرگاه یک فضای باناخ باشد و نگاشت $\iota : X\longrightarrow X^{**}$ که توسط $\iota(x)(x^* ) :=<x^*,x>$ تعریف میشود، پوشا باشد.
