6.4.1 [01VZ]
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
6.4.1
Soit un espace -analytique sans bord purement de dimension et soit la donnée d’un fibré en droites sur muni d’une métrique continue. Soit un ouvert de sur lequel admet une section inversible . La fonction est alors continue sur . Soit le -courant sur égal à ; si la métrique de est lisse, est une -forme lisse. Comme , pour toute fonction inversible sur , le courant (la forme dans le cas lisse) ne dépend pas du choix de et peut donc être noté . Si alors . Il s’ensuit que lorsque parcourt l’ensemble des ouverts de sur lesquels admet une section inversible (ouverts qui recouvrent ), les courants se recollent en un -courant sur que l’on notera .
Si la métrique de est lisse, il s’agit d’une forme lisse.