习题 4, § 4

用II、p. 72的记号，锻炼。 1 还假设空间 $E$ 是局部凸的。 a) $E$ 中存在正*连续* 线性形式 $g$ 且扩展 $f$，当且仅当 $f$ 在 $M \cap (W + P)$ 中下界，对于 $E$ 中的至少一个 0 邻域 $W$。 b) 给定点$x \in E$，$E$中存在正连续线性形式$g$，使得$g(x) = 1$，当且仅当$-x \notin \overline{P}$。