ScalingStacks

Corollary 2.14 . [00HJ]

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

Corollary 2.14.

Let (V,∥⋅∥V)(V,\lVert\mathord{\cdot}\rVert_{V}) be a finite-dimensional ultrametrically normed vector space over kk. Suppose that (k,|⋅|)(k,|\cdot|) is discretely valued. If {ei}i∈{1,…,n}\{e_{i}\}_{i\in\{1,\dots,n\}} is a basis of VV such that {log⁡∥ei∥}i∈{1,…,n}\{\log\lVert e_{i}\rVert\}_{i\in\{1,\dots,n\}} are ℚ\mathbb{Q}-independent in ℝ/H⁡(k,|⋅|)\mathbb{R}/H(k,\lvert\mathord{\cdot}\rvert), then {ei}i∈{1,…,n}\{e_{i}\}_{i\in\{1,\dots,n\}} is an orthogonal basis.

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