Corps valué

Soient ${\displaystyle (K,d)}$ un corps muni d'une distance associée à une valuation ${\displaystyle |~|}$ et ${\displaystyle ({\widehat {K}},{\widehat {d}})}$ l'anneau complété. Par prolongement des identités, ${\displaystyle {\widehat {d}}}$ est invariante par translations et l'application ${\displaystyle x\mapsto {\widehat {d}}(x,0)}$ (qui prolonge ${\displaystyle |~|}$) est une valuation sur ${\displaystyle {\widehat {K}}}$. L'application ${\displaystyle K^{*}\to K,\;x\mapsto x^{-1}}$ est ${\displaystyle {\frac {1}{\varepsilon ^{2}}}}$-lipschitzienne sur ${\displaystyle \{x\in K\mid |x|\geq \varepsilon \}}$ pour tout ${\displaystyle \varepsilon >0}$. Elle s'étend donc continûment en une application ${\displaystyle x\mapsto x^{-1}}$ définie sur ${\displaystyle \cup _{\varepsilon >0}\{x\in {\widehat {K}}\mid |x|\geq \varepsilon \}={\widehat {K}}^{*}}$.