Space is Open in Itself

From ProofWiki
Jump to navigation Jump to search

Theorem

Metric Space

Let $M = \struct {A, d}$ be a metric space.


Then the set $A$ is an open set of $M$.


Normed Vector Space

Let $M = \struct {X, \norm {\, \cdot \,}}$ be a normed vector space.


Then the set $X$ is an open set of $M$.