In this case we have i W ¯ = W ⊥ ⊥ . {\displaystyle i{\overline {W}}=W^{\bot \,\bot }.} This is a rather straightforward consequence of the Hahn–Banach theorem.
在这种情况下我们有 i W ¯ = W ⊥ ⊥ . {\displaystyle i{\overline {W}}=W^{\bot \,\bot }.} 这是哈恩-巴拿赫定理的直接推论。