definition of open ball around point on metric space
Topics
About: metric space
The table of contents of this article
Starting Context
- The reader knows a definition of metric space.
Target Context
- The reader will have a definition of open ball around point on metric space.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
\( M\): \(\in \{ \text{ the metric spaces } \}\)
\( m\): \(\in M\)
\( \epsilon\): \(\in \mathbb{R}\), such that \(0 \lt \epsilon\)
\(*B_{m, \epsilon}\): \(= \{m' \in M \vert dist (m, m') \lt \epsilon\}\)
//
Conditions:
//
2: Note
The open ball does not necessarily mean that there is a point, \(p \in B_{m, \epsilon}\), such that \(dist (m, p) = r\) for each \(r \lt \epsilon\), which is fine.
For a subspace, \(M \subseteq \mathbb{R}^d\), with \(\mathbb{R}^d\) regarded as the Euclidean metric space, a point, \(m \in M\), and an \(\epsilon\), \(B_{m, \epsilon}\) may not be any open ball on \(\mathbb{R}^d\), but it is an open ball on \(M\) all right: an open ball on \(M\) does not need to be an open ball on \(\mathbb{R}^d\).
The open balls on the Euclidean topological space, \(\mathbb{R}^d\), are exactly the open balls on the Euclidean metrics space, \(\mathbb{R}^d\).
