习题 1, § 1

令 E 为复范数空间，$f$ 为底层实数向量空间 $E_0$ 上的对称双线性形式，使得 $f(x, x) = \|x\|^2$ 对于所有 $x \in E$。证明 E 上存在且仅有一个厄米特倍半线性形式$g$使得$f(x, y) = \Re g(x, y)$（通过使用V、p. 2的公式(5)证明$f(x, iy) = -f(ix, y)$），因此$g(x, x) = \|x\|^2$。