Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm trying to extract more useful information from the following definition:

A point $x^*$ is an accumulation point of the sequence $\{x_n\}$ if, for every open set containing x , there are infinitely many indices such that the corresponding elements of the sequence belong to the open set.

I would like to say that this is equivalent to saying the following:

$x^*$ is an accumulation point if there exists a subsequence $x_{a_n}$ such that $lim_{n\rightarrow\infty} x_{a_n}=x^*$.

Is this true?

share|improve this question
2  
It is indeed true, provided that you’re working in a space in which sequences determine the topology; in particular, it’s true in metric spaces. –  Brian M. Scott Sep 7 '12 at 18:10
    
As I'm working in $R^n$ space, I think that should work! :) –  Paul Sep 7 '12 at 18:20
    
I figured that you probably were. :-) –  Brian M. Scott Sep 7 '12 at 18:26
    
Actually, because your definition of accumulation point is slightly different from most books, the statement is an "if and only if". –  Matt Sep 7 '12 at 19:19
    
Ah, so it does work both ways! That's awesome! :) –  Paul Sep 7 '12 at 21:47
add comment

2 Answers

up vote 1 down vote accepted

Before we proceed with your question, I'd like to give an interesting example to clarify a point. We say that a set $Y$ is cofinite in a superset $X$ of $Y$ if and only if $X\smallsetminus Y$ is finite. Observe that a union of cofinite sets is cofinite by Demorgan's laws (since an intersection of finite sets is finite), and that a finite intersection of cofinite sets is likewise cofinite (since a finite union of finite sets is finite). Consequently, we can describe a cofinite topology on any set $X$, by saying that $Y\subseteq X$ is "open" if and only if $Y$ is cofinite or $Y$ is empty. Here's where it gets interesting: If $X$ is an infinite set with the cofinite topology, then a sequence of points converges to every point of $X$ if and only if it has infinitely many distinct terms--for example, considering $\Bbb R$ in the cofinite topology, the sequences $1,\frac12,\frac13,\frac14,...$ and $1,0,\frac12,0,\frac13,0,...$ converge to every point of $\Bbb R$!!

In these (and other) problematic spaces, we don't have uniqueness of sequence limits, so saying $\lim\limits_{n\to\infty}x_n$ is not meaningful in general, even if it is known that $\{x_n\}$ converges. To avoid this, it is sufficient (but not necessary) that a space be Hausdorff.


Let's say (to distinguish between the two definitions) that $x^*$ is a cluster point of $\{x_n\}$ if it is a limit point of some subsequence of $\{x_n\}$. Note that I said a limit point--the discussion above demonstrates why that's relevant. This generalizes your proposed alternate definition for "accumulation point" to general spaces.

Now suppose $x^*$ is a cluster point of the sequence $\{x_n\}$. Take any open set $U$ containing $x^*$. Since $x^*$ is a cluster point of $\{x_n\}$, then there is some $\{x_{n_k}\}$ such that $x_{n_k}\to x^*$. Then for sufficiently large $k$, each $x_{n_k}\in U$ by definition of sequence convergence, which implies that there exist infinitely many $x_{n_k}$ (and so infinitely-many $x_n$) in $U$. Thus, every cluster point is an accumulation point.

As pointed out above, the converse need not hold in general, so they are related, but not generally equivalent concepts. Again, as pointed out above, first-countability is sufficient for the equivalence of the two concepts (and may be necessary, too, but I'm not sure about that).

share|improve this answer
add comment

This is not true in general. If a space is first countable, i.e. has a countable basis at each point, then this result is true. Metric spaces are first countable.

To prove this, suppose $X$ is a first countable space and $A \subset X$. (In your case, $A = \{x_n : n \in \mathbb{N}$ where $(x_n)$ is a sequence.) Let $(U_n)_{n \in \mathbb{N}}$ denote a countable basis at the point $x^*$, where $x^*$ is an accumulation point of $A$. By definition, of accumulation point, there exists a $x_0 \in A$ and $x_0 \in U_0$. $U_0 \cap U_1$ is an open set. Again since $x^*$ is an accumulation point, there exists a $x_1 \in A$ and $x_1 \in U_0 \cap U_1$. Continue this to create a sequence $(x_n)_{n \in \mathbb{N}}$. Then since $U_n$ is a countable basis, you can prove that $\lim_{n \rightarrow \infty} x_n = x^*$. This is because given any open set $U$, there exists a $n$ such that $U_n \subset U$ such that $x^* \in U_n$ (definition countable basis). By construction, for all $m > n$, $x_m \in U_n \subset U$.


In metric spaces, the proof is bit nicer. You can take your countable basis to be $U_n = B_{\frac{1}{n}}(x^*)$. So using the definition of accumulation point, just choose $x_n$ such that $x_n \in B_\frac{1}{n}(x^*)$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.