Least Upper Bound Condition for a Subset of a Metric Space to be Closed
Theorem
Let
be a metric space. A subset
of
is closed if and only if for any
where
where
Proof
Supposeis a closed set then
is open. Hence, for any
a ball
exists such that
Then
Suppose for any
Let
Then
henceis open and
is closed.
