Proof. [04TC]
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.
Lemma 5.3 and the inequality (4) imply that converge to a subset of . Indeed, for each we can rewrite as , . Such a monomial induces a linear function in . The inequalities
| (5) |
where is the number of monomials in , cut out a uniformly bounded neighborhood of which contains .
The limit of cannot be any smaller than by the following topological reason. A component of the complement of the set described by the inequalities (5) is given by the inequality . By [3] this component is contained in the component of corresponding to the index . Thus, different components of the set described by (5) must be contained in different components of . ∎