\definame 6.2.2 (Métriques) . [01V6]
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 6.2.2 (Métriques).
Soit un espace analytique et soit un fibré vectoriel sur . Une métrique continue sur est une application continue qui est une norme dans chaque fibre, au sens suivant : pour tout point , toute extension valuée complète de , l’application de dans donnée par la composition
est une norme ultramétrique sur le -espace vectoriel de dimension finie .