Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Since
converges to as currents,
|
|
|
It suffices to justify
where , and .
Now the flat norm convergence gives for some integral currents , with . Since , the homology class of is zero. A version of the isoperimetric theorem (cf. Prop. 5.11 below) then says with . Without loss of generality we absorb into . Then we can simply choose , which is legitimate since it satisfies . The claim follows by
|
|
|
∎