|
Size: 551
Comment: Initial commit
|
Size: 1057
Comment: Clarification; boundaries are different from limit points
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| A '''metric space''' is a [[Analysis/Sets|set]] for which a distance function can be defined. | A '''metric space''' is a [[Analysis/Sets|set]] for which a distance [[Analysis/Functions|function]] can be defined. |
| Line 15: | Line 15: |
| A metric space is a [[Analysis/Sets|set]] with a distance (or metric) function as ''d: M × M -> R''. | A metric space is a [[Analysis/Sets|set]] with a '''distance''' (or '''metric''') [[Analysis/Functions|function]] as ''d: M × M -> R''. |
| Line 21: | Line 21: |
| Within a metric space, a set is '''open''' if every point within the set can be perturbed in any direction and remain within the set. Clearly this is only ever ''not'' the case if a point is a [[Analysis/LimitPoint|limit point]] of a set, so an open set does not include any of its limit points while a closed set includes all of them. Compare to the more fundamental definition of openness in a [[Analysis/TopologicalSpace|topological space]]. |
Metric Space
A metric space is a set for which a distance function can be defined.
Not to be confused with a measure space.
Contents
Description
A metric space is a set with a distance (or metric) function as d: M × M -> R.
For any p and q in M, the distance must feature these properties:
d(p,q) ≥ 0, and d(p,q) = 0 only if p = q
Symmetry: d(p,q) = d(q,p)
Within a metric space, a set is open if every point within the set can be perturbed in any direction and remain within the set. Clearly this is only ever not the case if a point is a limit point of a set, so an open set does not include any of its limit points while a closed set includes all of them. Compare to the more fundamental definition of openness in a topological space.