tags:theoremtopologydefinition

Open Balls Are Open Sets

Context

Statements

Theorem (@Eck23, Theorem 1.1, @Men90, Theorem 6.2). Let $(X,d)$ be a metric space. A subset $S\subseteq X$ is a open set if and only if it is a union of open balls.

References