巴拿赫空间
自反空间必然是巴拿赫空间，因为它和自身的二次对偶空间同构，而后者必然是巴拿赫空间。