Prove that a closed ball is an open set in ultrametric space

178 Views Asked by At

enter image description here


Am I correct?

Let $y \in \overline{B_r}(x)$ then $d(y,x) \leq r$. Take $B_{r}(y)$, then $z \in B_{r}(y)\subseteq \overline{B_r}(x)$, because $d(x,z)=\max\{d(x,y),d(y,z)\}\leq r$.