\definame 5.3.1 . [01TC]
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
\definame 5.3.1.
Soit un espace analytique (bon, séparé). On dit qu’une forme lisse de type sur est positive (resp. faiblement, resp. fortement positive) si pour tout point de , il existe un voisinage de dans qui est un domaine analytique compact, un moment et une forme lisse positive (resp. faiblement, resp. fortement positive) sur telle que .