ScalingStacks

\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 XX un espace analytique et soit EE un fibré vectoriel sur XX. Une métrique continue sur EE est une application continue ∥⋅∥:𝐕⁡(E)→𝐑+\mathopen{\|}{\cdot}\mathclose{\|}\colon\mathbf{V}(E)\rightarrow\mathbf{R}_{+} qui est une norme dans chaque fibre, au sens suivant : pour tout point x∈Xx\in X, toute extension valuée complète LL de ℋ⁡(x)\mathscr{H}(x), l’application de E⁡(x)⊗LE(x)\otimes L dans 𝐑\mathbf{R} donnée par la composition

E⁡(x)⊗L↪𝐕⁡(E)×L→𝐕⁡(E)→∥⋅∥𝐑+E(x)\otimes L\hookrightarrow\mathbf{V}(E)\times L\rightarrow\mathbf{V}(E)\xrightarrow{\mathopen{\|}{\cdot}\mathclose{\|}}\mathbf{R}_{+}

est une norme ultramétrique sur le LL-espace vectoriel de dimension finie E⁡(x)⊗LE(x)\otimes L.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.