Proposition 1.3 . [025C]
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
Proposition 1.3.
Fix a basis of . For any , there exists an -orthogonal basis of with respect to such that is compatible with . Moreover, if the absolute value is discrete, then there exists an orthogonal basis of compatible with .