23/04/26 17:43:39.89 e+DJgc+I.net
>>374
コピペだとこれが限界かも
Let us consider the tensor / of the almost complex structure induced
by the
complex structure on X. With respect to the holomorphic local
coordinate (z),
] has the component
"
T/
0 — - 1
v"— lln1
] (/TO=unit matrix of size n).
Hence, |/|2— ^.^gajg"'5
J
a
dJ^r and the squares of the magnitude of successive
covariant derivatives of / are summable on X, by virtue of
the conditions (c)
and (b). Hence, a fortiori, they are summable on the domain
0(Ux(c, d}}. On
Ux(c, d), we consider everything in terms of coordinates (?).
Then because of
Proposition 1, we see the following