If is open and contains , there is an epsilon ball at contained in it. This ball is exactly by the equality of balls proved above. Conversely such a ball supplies a neighborhood at , and all other points of have their singleton neighborhoods inside . Thus the stated ball condition is necessary and sufficient.
Articles by others on the same topic
There are currently no matching articles.