O\)となることは同値である。=\bigcup_{\lambda\in\Lambda}B_{\lambda}\)となる。B_{\lambda}\)となる。故に\(\Rightarrow\)が成り立つ。O}B_{x}\)とできるので\(\mathcal{B}\)は開基となる。故に\(\Leftarrow\)が成り立つ。\(\Leftrightarrow\)これらより、\(\Rightarrow\)と\(\Leftarrow\)が成り立つので\(\Leftrightarrow\)が成り立つ。\]『絶対値の冪乗』を更新しました。