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
Proof.
(1) Let be an orthogonal basis of with respect to
(cf. Proposition 1.3).
As is discrete, there is with .
If we set for , then
forms an orthonormal basis of with respect to . Therefore,
|
|
|
Thus we have (1) because is noetherian.
(2) follows from Lemma 1.16.
∎