So, I'm going through a proposition, which states that if (X, d) is a metric space, then any set {x}, where x e X, is a closed subset of X.(adsbygoogle = window.adsbygoogle || []).push({});

First of all, could we do this proof to assume the contrary? Since then obviously for the point x from {x} there doesn't exist any real number r > 0 such that the open ball K(x, r) is contained in {x}?

The proof in the notes I'm going through relies on the fact that we have to prove that the complement of {x}, i.e. X\{x} is open. The proof is very simple too, although I'm not quite sure about one thing. Let x' be an element of X\{x}. Then d(x', x) = r > 0, so the open ball K(x', r/2) is contained in X\{x}, and if we take the union for all x' e X\{x} of all such open balls, we get X\{x}, and hence X\{x} is open.

Now, why is it r/2 ? Wouldn't open balls of type K(x', r) be contained in X\{x} too, since K(x', r) = {x'' in X : d(x''-x') < r}, and this set can't contain x, since d(x', x) = r? Perhaps I'm missing something trivially obvious here?

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# One point set closed proof

Loading...

Similar Threads - point closed proof | Date |
---|---|

I Winding number for a point that lies over a closed curve | Feb 16, 2017 |

I Do derivative operators act on the manifold or in R^n? | Jul 26, 2016 |

Tangent spaces at different points on a manifold | Nov 27, 2015 |

Rotate a three-sphere so every point moves in R^4? | Apr 4, 2015 |

Set of points in S^3, way to show spaced equal or not? | Mar 20, 2015 |

**Physics Forums - The Fusion of Science and Community**