3.1.6 [01NP]
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
3.1.6
Lorsque est la classe des fonctions mesurables (resp. localement intégrables, resp. pour un certain , resp. localement pour un certain ), on dira que est le faisceau des formes à coefficients mesurables (resp. localement intégrables, resp. , resp. localement ) sur .
Mais si est la classe des fonctions continues, on dira que est le faisceau des formes à coefficients tropicalement continus sur .
On doit introduire l’adverbe tropicalement pour éviter la confusion avec la notion de fonction continue sur un espace de Berkovich : bien entendu, toute fonction tropicalement continue sur un espace de Berkovich est continue, mais la réciproque est fausse. En effet, comme la valeur absolue d’une fonction inversible est constante au voisinage de tout point rigide, il en est de même de toute fonction tropicalement continue. En revanche, l’exemple de l’application sur montre qu’il existe des fonctions continues qui ne sont pas localement constantes au voisinage d’un point rigide.