Quantcast
Channel: Active questions tagged real-analysis - Mathematics Stack Exchange
Viewing all articles
Browse latest Browse all 8465

Always Closed Metric Space is Complete

$
0
0

I am trying to prove that

Given a metric space $Y$, if for every metric space $X \supseteq Y$, $Y$ is $X$-closed, then $Y$ is complete.

by contradiction or contraposition, such that I don't use the existence of a completion. (This is 3.3:1 (c) in Bergman's supplementary exercises to Rudin PMA).

Supposing that $Y$ is not complete, I think that the divergent Cauchy sequence in $Y$ should intuitively tend to some $p \not \in Y$. The difficulty, however, is that the ambient space could not be specified until this $p$ is found.

Or could looking at its set of subsequential limits help?


Viewing all articles
Browse latest Browse all 8465

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>