习题 23, § 2

与 exerc 中相同的记号。 22、假设$M'$是不可约的。 a) 在阶中，典范映射从$E$进入$E''/{M'}^\circ$，即典范映射$E'' \to E''/{M'}^\circ$的限制是Banach空间等距，特征(IV，p. 55， $M'$ 的 21) 等于 1。然后，由 $E'$ 引发的 $M'$ 被赋予范数，据说是 $E$ 和 $E$ 的“预对数”可以与 Banach 的对偶被规范地识别（及其范数） 空间$M'$。 b) 对于 $E$ 的每个向量子空间 $F$，其在 $\sigma(E, M')$ 期间关闭，证明 $F$ 的对偶 $F'$ 中的$M'$ 典范像（用 $E'/F^\circ$ 标识）是$F$。