Proof. [033H]
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.
Observe that . Thus if is relatively compact then it is uniformly bounded from above, hence , i.e. is not -polar.
Assume conversely that is not -polar. Let . Then hence is uniformly bounded from above. It follows from proposition 1.6 that is relatively compact. Indeed it can not converge uniformly to since (see proposition 1.6). ∎