命題 $\mathcal{X}, \mathcal{Y}$ をBanach空間とし、 $f: \mathcal{X} \times \mathcal{Y} \to \mathbb{C}$ を双線型形式とする。 $f$ が $\mathcal{X}$ 成分、 $\mathcal{Y}$ 成分についてそれぞれ連続の場合、 $f$ は連続である。証明 $x_0 \in \mathcal{…