3
$\begingroup$

A closed subset of a complete metric space is a complete subspace. Proof. Let $S$ be a closed subspace of a complete metric space X. Let $(x_n)$ be a Cauchy sequence in $S$. Then $(x_n)$ is a Cauchy sequence in $X$ and hence it must converge to a point $x$ in $X$. But then $x \in \bar{S} = S$. Thus $S$ is complete.

I have seen this theorem in several places but I never know why they are able to say "But then $x \in \bar{S} = S$"...Why is $x$ in $\bar{S}$?

  • 1
    Because S is a closed subset, hence $S = \bar{S}$2012-11-01
  • 1
    Do you know what $\bar S$ means?2012-11-01
  • 0
    Yes, its the closure of $S$, ie. the smallest closed subset containing $S$ or alternatively the set $S \cup$ the limit points of $S$. I don't see how they can say $x$ is in the closure of $S$ though.2012-11-01

1 Answers 1

1

Let $U$ be any open nbhd of $x$. There is an $r>0$ such that $B(x,r)\subseteq U$, where $B(x,r)$ is the open ball of radius $r$ centred at $x$. Since $\langle x_n:n\in\Bbb N\rangle\to x$, there is an $m\in\Bbb N$ such that $d(x_n,x) whenever $n\ge m$. In particular, $d(x_m,x), so $x_m\in B(x,r)\subseteq U$. Moreover, $x_m\in S$, so $x_m\in U\cap S$. This shows that $U\cap S\ne\varnothing$ for every open nbhd $U$ of $x$, and it follows at once that $x\in\operatorname{cl}S$.

Added: Here in one place are some definitions that seem to be giving you a bit of trouble. Let $\langle X,d\rangle$ be a metric space, $S\subseteq X$ and $x\in X$.

  • $x\in\operatorname{cl}S$: for each $r>0$, $B(x,r)\cap S\ne\varnothing$. In words, every open ball at $x$ contains at least one point of $S$.
  • $x$ is a limit point (or cluster point) of $S$: for each $r>0$, $B(x,r)\cap(S\setminus\{x\})\ne\varnothing$. In words, every open ball at $x$ contains at least one point of $S$ other than $x$.
  • $x\in\operatorname{int}S$: there is an $r>0$ such that $B(x,r)\subseteq S$.
  • 0
    Cheers, I am going to have to write that out and draw some diagrams to make sure I understand whats going on.2012-11-01
  • 0
    When they say "Let $(x_n)$ be a Cauchy sequence in $S$" are they saying that all values of $x_n$ will be in $S$ and the only question is then where the limit of the sequence lies?2012-11-01
  • 0
    I get it now...no matter how small we make $r$ there will be an open ball with center $x$, radius $r$ that contains a point of $S$ other than $x$ itself, hence $x$ is a limit point.2012-11-01
  • 1
    @sonicboom: Actually, it’s possible that $x\in S$ and that the sequence is eventually constant at $x$, so $x$ might not be a limit point. But either it’s a limit point or it’s in $S$, and either way it’s in $\operatorname{cl}S$.2012-11-01
  • 0
    Brian M. Scott: What do you mean by "it’s possible that $x \in S$ and that the sequence is eventually constant at $x$, so $x$ might not be a limit point."...because if $x \in S$ then isn't $x$ automatically a limit point of $S$..as for any $r > 0$ we can find an open ball, center $x$, radius $r$, that is entirely contained in $S$?2012-11-02
  • 1
    @sonicboom: No, points of $S$ are not necessarily limit points of $S$: $x$ is a limit point of $S$ if every open neighborhood of $x$ contains a point of $S\setminus\{x\}$. Thus, $3$ is not a limit point of $S=[0,1]\cup\{3\}$: $(2,4)$ is an open nbhd of $3$ that contains no point of $S\setminus\{3\}$. If $x$ has an open nbhd that lies entirely within $S$, then $x$ is in the *interior* of $S$.2012-11-02
  • 0
    Ah, yes, I remember that, I actually asked the exact same question in a tutorial two weeks ago..I won't forget it again.2012-11-02