Verified tagged author-source HTML · 1904.03696v1 · cited publication edition alignment unverified.
00KE
Lemma 3.7. Assume that is globally generated. Let be a norm on and let be the associated Fubini-Study metric. Then for any and ,
|
|
|
(with the convention that )
00KF
Proof. This follows from Lemma 2.11.
∎