Démonstration. [01TA]
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
Démonstration.
On peut supposer que . Soit la -forme sur . Comme est fortement positive, elle appartient à l’intérieur du cône des formes de type strictement positives sur ; il existe donc une fonction strictement positive sur telle que soit une forme fortement positive.
Il suffit de poser et . ∎