Let be a metric space, let , let be a real number with , the order being that of the ordered field of real numbers, and let be the closed ball. Let be the collection of subsets of that are open in , a topology on by Metric Open Sets Form a Topology.
Then the following hold.
1. (Centre, and comparison with the open ball) ; and if , then the open ball satisfies .
2. (Boundedness) is bounded in .
3. (Closedness) is a closed subset of the topological space .
Loading…
No relations recorded yet.