Proposition 5.15.2.0E4FD8AF1256 The plurifine topology on $\Omega $ is finer than the Euclidean topology.
Proposition 5.15.20E4FD8AF1256
Proof. It suffices to show that the unit ball $\{ z\in \mathbb {C}^ n:|z|<1\} $ is $\mathcal{F}$-open. This follows from the observation that this set can be written as
\[ \{ \psi <0\} \quad \textup{with}\quad \psi (z)\coloneqq (\log |z|) \lor (-1). \]
This completes the proof. $\square$
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.