6
$\begingroup$

Can someone please check whether the following simple proof is "mathematical"? Is it correct, complete, rigid? Can it be simplified? I'm a complete autodidact so I'm looking for someone to give me feedback to gain experience in writing proofs... This is also my first question on MSE.

The proposition:

Let $(X, d)$ be a metric space and $x_n \to x$ where each $x_n \in X$ and $x \in X$. Let $A$ be the subset of $X$ which consists of $x$ and all of the points $x_n$. Prove that $A$ is closed in $(X, d)$.

My tentative to prove this:

We first show that all infinite sequences in $A$ converge to $x$: Let $y \in X$, $y \ne x$. Then there is some open ball $B_\epsilon(x)$ with $\epsilon < d(x,y)$ containing all but finitely many elements of $A$. As $y \notin B_\epsilon(x)$ there can be no infinite sequence in $A$ converging to $y$. Consequently all infinite series in $A$ converge to a point in $A$ which therefore must be a closed set.

Edited: As rightly pointed out in the comments, I should have written in the first sentence "...sequences with infinitely many distinct terms and which converge to some point of $X$" and the last sentence should be "Consequently all infinite sequences...".

  • 0
    In your last sentence, you want to say "all infinite **sequences**".2012-03-28
  • 0
    Regarding your proof, the idea is certainly ok. The proof could be simpler, more complicated, or different, depending on your definition of closed set. Here you are using that a set is closed if it contains all of its accumulation points. This is ok, but my point is that you are using a previous result (unless that's your definition of closed set) and the proof would be different if you want to do it straight from a different definition of closed ("complement of open", for example).2012-03-28
  • 0
    By "infinite sequence", I think you mean "a sequence containing infinitely-many distinct elements". (The constant sequence $x_n = x_0$ for all $n$ is an infinite sequence.)2012-03-28
  • 0
    I'm impressed with this fast and friendly feedback. Thanks a lot! @Martin Argerami: Yes, you're right. I wanted to say "sequence" rather than "series". And you're right that I'm using a previous result in this case rather than doing the proof from (my) definitions.2012-03-28
  • 0
    @Austin Mohr: I thought that the sequence can contain duplicates without the proposition or proof being invalid... Is that wrong?2012-03-28
  • 0
    @Jerico certainly the proof is fine, the problem is saying "there is no infinite sequence in $A$ converging to $y$" is technically incorrect, since if $y\in A$ then $y, y, \cdots$ is an infinite sequence converging to $y$ in $A$.2012-03-28
  • 0
    Oh ok, gotcha. Thanks!2012-03-28
  • 0
    You say you will prove that all infinite sequences in A converge to x. This is false, some sequences do not converge (like x_1, x_2, x_1, x_2, ...), while others converge to other points of A (like the eventually constant sequence x_1,x_3,x_2,x_2,...,x_2,...). And your argument does not even conclude with the false thing you are trying to prove, instead you only "prove" that no sequence in A can converge to any point which is not x (which again is false for eventually constant sequences).2012-03-28
  • 0
    Oh, sorry while my previous comment is all technically correct I wouldn't have written if I had realized the simple thing you forgot to say: you should mention at the beginning of the proof something like "We will show any sequence in A *with infinitely many distinct terms* and *which converges to some point of X* actually converges to x". With this first sentence in place of "We first show that all infinite sequences in A converge to x", the proof would be correct (and would not have confused me so much, :).)2012-03-28
  • 0
    @Omar: Yes, you're right and that's what was Austin's feedback, too. I'll edit the original question so that others won't fall into the same trap. Thanks for this feedback!2012-03-28

2 Answers 2

6

As I said in my comment, your proof is ok. But here is the way I would have done it. I'll write the proof in a more formal way, because in math you can only talk loose after you master writing properly.

Let $y\in X\setminus A$. Let $\varepsilon=d(y,x)/2$. Then, by the convergence $x_n\to x$, there exists $n_0$ such that $x_n\in B_\varepsilon(x)$ for all $n\geq n_0$. So, for $n\geq n_0$, $$\tag{1} d(x_n,y)> d(x,y)-d(x_n,x)>d(x,y)-\varepsilon=d(x,y)/2. $$ Let $\delta=\min\{d(x,y),d(x_1,y),\ldots,d(x_{n_0},y)\}/2$. Then $d(y,x_n)\geq\delta$ if $n\leq n_0$, and by ($1$) $d(y,x_n)\geq\delta$ if $n\geq n_0$. This shows that $B_\delta(y)$ has no intersection with $A$, i.e. $B_\delta(y)$ is contained in $X\setminus A$. As $y$ was arbitrary, this shows that $X\setminus A$ is open, i.e. $A$ is closed.

  • 0
    Great answer. That's exactly what I was looking for. :-)2012-03-28
  • 0
    What a brilliant answer! Very, very clean!2018-09-09
0

What you really want to do is verify that $A$ satisfies your definition of closed set: that first of all any sequence $y_n \in A$ has a limit, i.e. that there exists $y$ so that $\lim y_n = y$, and second of all that $y \in A$. Informally speaking you want to say that every sequence in $A$ converges to a limit that is also in $A$ (note that the limit does not need to be $x$). This essentially eliminates the problems people pointed out in the comments. Based on this I bet you can write a new proof pretty quickly. Nevertheless, here is a quick outline of a solution:

If $y_n \in A$ you know that $y_n = x_{n_k}$ or $y_n = x$. From this you may conclude that either $y_n$ is eventually constant or $y_n$ converges to $x$. Either way you see that $y_n$ converges to a limit contained in $A$.

  • 0
    Thanks @treble for this additional approach. If I could choose two answers then I would have chosen yours, too. I slightly preferred the other answer because in my special situation it was useful to have the proof spelled out in detail.2012-03-28
  • 0
    It is false that every sequence in A converges! Consider the sequence x_1, x_2, x_1, x_2, x_1, x_2, x_1, x_2, ...2012-03-28
  • 0
    Of course, it doesn't matter that not every sequence in A converges, because the right definition of closed is *not* "every sequence in A converges to a point of A", but rather "every sequence in A *which happens to converge to a point of X* actually converges to a point of A".2012-03-28
  • 0
    Yes, of course you are right- no need for the exclamation point. I should have said that every sequence has a subsequence that converges, which is what I was thinking, or I should have said that every convergent sequence converges to a point in $A$.2012-03-29