射formula_105，此映射实为等距同构，即 formula_106对一切"formula_3"中formula_17皆真。使formula_13为双射之空间称自反空间。连续对偶赋"formula_3"以一新拓扑，称之为弱拓扑。若"V"之对偶可分，则"formula_3"亦可分。反之则不然：考虑空间formula_112，则其对偶formula_113不可分。