余談：Fubini-Study 計量の形式的な導き方について

前小節の議論を見ると、シュバルツの不等式

から、形式的に $\mathbb{P}^n({\Bbb C})$ の計量を与える方法が見えて来る。 これは余り褒められた方法ではないが、 計量の具体的な式を思い出すには便利かも知れない。