Proof. [00KW]
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.
The criterion 1 unfolds the definition of the fact that . The criterion 2 is equivalent to the criterion 1, as is the quotient algebra norm of for the evaluation map . The criterion 3 is equivalent to the criterion 2: if 2 holds, then
so 3 holds after a limit process for . Conversely, if 3 holds, then since is spaned by over , one has
so 2 holds by the ultra-metricity of and the orthogonality of for ’s. ∎