23/07/15 19:26:42.36 vskapC7b.net
証明. $\sigma_A$不変性は明白。完備性は上で述べたようなBergman計量の
$\partial F\setminus\{o\}$に沿う完備性と$\mathbb{D}^*\times\mathbb{D}^*$上の
$\displaystyle\frac{du_1d\overline{u_1}}{({\rm Im }u_1)^2}+
\frac{du_2d\overline{u_2}}{({\rm Im} u_2)^2}$の完備性から従う。\qed\\