ScalingStacks

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 VK,ω(x)=sup{φ(x)/φ∈ℱK}V_{K,\omega}(x)=\sup\{\varphi(x)\,/\,\varphi\in{\mathcal{F}}_{K}\}. Thus if ℱK{\mathcal{F}}_{K} is relatively compact then it is uniformly bounded from above, hence supXVK,ω<+∞\sup_{X}V_{K,\omega}<+\infty, i.e. KK is not P​S​H​(X,ω)PSH(X,\omega)-polar.

Assume conversely that KK is not P​S​H​(X,ω)PSH(X,\omega)-polar. Let (φj)∈ℱKℕ(\varphi_{j})\in{\mathcal{F}}_{K}^{\mathbb{N}}. Then φj≤VK,ω≤supXVK,ω<+∞\varphi_{j}\leq V_{K,\omega}\leq\sup_{X}V_{K,\omega}<+\infty hence (φj)(\varphi_{j}) is uniformly bounded from above. It follows from proposition 1.6 that (φj)(\varphi_{j}) is relatively compact. Indeed it can not converge uniformly to −∞-\infty since supKφj=0\sup_{K}\varphi_{j}=0 (see proposition 1.6). ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.