Defines the open ball of positive radius about a point of a metric space as the set of points at distance less than the radius.
In the setting of The Real Numbers, with the Natural Numbers, Integers and Rationals Identified with Subsets of the Reals, and Completeness, let be a metric space, let , and let be a real number with .
The open ball in with centre and radius is the subset
of .
For every , if and only if and .
Loading…
No relations recorded yet.