Accumulation points of sequences – Serlo
WARNING: There are several types of accumulation points[Bearbeiten]
In mathematics, there are two types of accumulation points: accumulation points of sequences and accumulation points of sets. Both are closely related to each other. Nevertheless, they need to be distinguished well within lectures and exercises.
This article concerns about accumulaation points of sequences. If we talk about an accumulation point here, we mean the accumulation point of a sequence.
Introductory example[Bearbeiten]
Accumulation points are encountered when investigating the limits of sequences. Some sequences seem to converge to "multiple limits". Limits are always unique, so we need to replace the term limit by a new notion. The replacement is done by the term accumulation point.
For instance, let us take the sequence . Its elements are
Plotted in a diagram, they look as follows:
This sequence does not converge towards a unique limit, but rather splits in 2 parts: one is converging to ant the other towards .
Later, we will mathematically say that the sequence has accumulation points: one at and one at . Intuitively, it looks like
accumulation points are limits to which a part of a sequence converges.
How can we formulate this intuition mathematically? This will be our next question to be answered.
Definition of an accumulation point[Bearbeiten]
We intend a mathematically precise definition of the expression:
"A part of the sequence ... converges to a limit ..."
In the last chapter, we introduced the concept of a subsequence in order to say what a part of a sequence is. So we replace "part of a sequence" by the mathematically precise expression "subsequence":
"There is a subsequence of ... converging to a limit ..."
And this is already the definition of an accumulation point:
Definition (accumulation point of a sequence)
A number is called accumulation point of a sequence , if there is a subsequence of , which converges to .
Examples[Bearbeiten]
The introductory example considered the sequence , which intuitively has the accumulation points and . But do these accumulation points also satisfy the mathematical definition? For this, we need to find 2 subsequences of : one converging to and one converging to . How can we construct these subsequences? Let us take a look at the sequence elements again:
or plotted in a diagram:
It looks like all even-indexed elements tend towards . This subsequence consists of only the positive elements:
There even is an explicit form of this subsequence :
And the limit theorems indeed yield that it converges to :
So is an accumulation point of the sequence , since is a subsequence converging to . Analogously, we can show that is an accumulation point. We have to sort out the negative elements:
Again, the limit theorems yield convergence to .
We may as well visualize that and are the accumulation points of the sequence by plotting the sequence elements on the line of real numbers. They will "accumulate" near and (which also is where the name "accumulation point" comes from):
Question for understanding: What is the explicit form for the odd-indexed sequence elements?
The odd indices are . The explicit form of hence reads:
Question for understanding: Why does the subsequence of odd-indexed elements converge to ?
This follows from the limit theorems:
Alternative definition of accumulation points[Bearbeiten]
Neighbourhood definition[Bearbeiten]
A limit of a sequence is characterized by almost all sequence elements being in each -neighbourhood around the limit. I.e. all but finitely many elements must be there - no matter how small we choose . For accumulation points, there is a similar characterization (of which we still need to show that it is equivalent to the first one): A number is an accumulation point, if there are infinitely many elements in each neighbourhood. This is a much weaker assumption: if there are infinitely many elements inside the neighbourhood, there may still be infinitely many elements outside the neighbourhood.
Reminder: Mathematically, an -neighbourhood of is an open interval with .
So is an accumulation point if and only if there are infinitely many elements inside the open interval . Now, a sequence element is situated inside the open interval , if and only if the strict inequality holds. So there must be infinitely many indices with . The alternative definition of an accumulation point hence reads:
Definition (Neighbourhood definition of accumulation point)
A sequence has an accumulation point at , whenever there are infinitely many sequence elements of in every neighbourhood of . That means, for any there must be infinitely many indices with .
The definition of an accumulation point is just a weaker form of a limit: For a limit, almost all elements must be inside every -neighbourhood of the corresponding number. Only finitely many elements may be situated on the outside. For an accumulation point, there may also be infinitely many elements on the outside, as long as there are also infinitely many elements on the inside. Hence, almost all is a special form of infinitely many and every limit is at the same time an accumulation point.
Example (Neighbourhood definition of accumulation point)
We consider the sequence , which is jumping between and . indeed, both are accumulation pints by the neighbourhood definition: For , we can choose as small as we wish - all even indexed elements will be situated inside the interval . These are infinitely many. Mathematically, we may write for all and any given .
However, not almost all elements are situated in this neighbourhood (at least not for any ). For instance, with the odd-indexed elements lie on the outside: for all . So is not a limit. Analogously, one can of course show that is an accumulation point, since the infinitely many odd-indexed elements all are situated in .
Proof of equivalence[Bearbeiten]
We still didn't answer the question, why both definitions are equivalent. More precisely: why is an accumulation point as a limit of a subsequence also an accumulation point in the neighbourhood definition? The following theorem gives the answer:
Theorem (Equivalence of the accumulation point definitions)
Let be a sequence. For a number the following two definitions are equivalent:
- There is a subsequence in which converges to .
- In every neighbourhood of there are infinitely many sequence elements of .
Proof (Equivalence of the accumulation point definitions)
Step 1: We prove: If there is a subsequence converging to , then in each -neighbourhood of , there are infinitely many sequence elements.
We know that there is a subsequence converging to . Let be any neighbourhood of . By the definition of convergence, we know that almost all elements of the subsequence must be inside that neighbourhood . Those are infinitely many elements. And all those infinitely many elements of the subsequence are also part of the sequence. So there are infinitely many sequence elements inside and we have an accumulation point by the neighbourhood definition.
Step 2: We prove: If in each -neighbourhood of here are infinitely many sequence elements, then one may construct a subsequence converging to .
In each neighbourhood of , there are infinitely many sequence elements. We now construct a subsequence out of them and prove that this subsequence converges to . The trick for the construction is to choose a sequence of neighbourhoods getting smaller and smaller:
Those neighbourhoods are all intervals, namely:
Inside each of those there are infinitely many sequence elements and they all have a distance of less than to . So if we pick one element out of each neighbourhood and put it into a subsequence , then the elements will move closer and closer to , as increases. One just needs to pay attention, that an element is not picked twice. Mathematically, we recursively define:
- is chosen to be any element of .
- When picking with , then the subsequence elements have already been chosen. As the next subsequence element, we choose to be any element of , with the index of inside being greater than any of the indices of . this way, we assure that no element is picker twice and further, the element indices in are increasing.
Since , there is (as for all there is by definition ). This proves that , so the subsequence converges to and is an accumulation point by the subsequence definition.
Comparison: accumulation points vs. limits[Bearbeiten]
Accumulation points are generalized limits[Bearbeiten]
From both definitions of an accumulation point, we can directly imply that limits are a special kind of accumulation point: If we have a limit, then in each -neighbourhood there are almost all points, i.e. infinitely many. This argument already proves the following theorem:
Theorem (Limits are also accumulation points)
For any convergent sequence, the limit is at the same time an accumulation point.
Question: Why does this theorem also hold for the subsequence-definition of an accumulation point?
If a sequence converges towards , then the sequence can be considered a (trivial) subsequence of itself, so must be an accumulation point.
But on the converse, not every accumulation point is a limit. A counterexample is given in the introduction: A sequence like can have multiple accumulation points. But there may at most be one limit. Hence, the introductory example cannot have a limit.
So we can see the notion of an accumulation point as a generalization of a limit: Each limit is an accumulation point. But limits are unique. So if a sequence has 0 or more than one accumulation point, then it cannot have a limit:
Theorem
Every sequence with 0 or more than one accumulation point diverges.
Question: And what if there is 1 accumulation point? Does the sequence always have a limit then?
No, it doesn't. The reason is that a part of the sequence may converge to the accumulation point and another part may go to . A simple example, where this happens in the sequence
is an accumulation point (limit of all odd elements). But the even elements tend to , so the sequence diverges.
Accumulation points are not unique[Bearbeiten]
The introductory example already had multiple accumulation points. So we have a counterexample that shows that accumulation points are not unique. This makes sense, since we introduced accumulation points to describe sequences which "seem to have multiple limits" (i.e. they have multiple accumulation points). It is even possible to get more than two accumulation points. Actually, infinitely many. Actually, one can even find sequences containing each real number as an accumulation point. Maybe, you can find one?
Exercise
Find a sequence , which has each real number as an accumulation point.
Proof
The rational numbers are dense in . And we know that is countable, so there is a bijective function . This function can also be viewed as a sequence .
Now, consider any and any neighbourhood of . By definition, there must be an open interval inside this neighbourhood for some . This interval contains infinitely many rational numbers . I.e. infinitely many sequence elements. So is an accumulation point of . and this statement holds for any real number
Properties of accumulation points and limits[Bearbeiten]
limit | accumulation point |
---|---|
Every subsequence converges towards the limit. | At least one subsequence converges towards an accumulation point. |
In every -neighbourhood, there are almost all sequence elements. | In every -neighbourhood, there are infinitely many sequence elements. |
A sequence has at most one limit. | A sequence can have arbitrarily many accumulation points. |
Every limit is an accumulation point. | Some accumulation points are not a limit. |
Limes superior and limes inferior[Bearbeiten]
→ Main article: Lim sup and Lim inf
There are two special accumulation points of a sequence, that you might encounter within some mathematical lectures. For a sequence bounded from above, the limes superior is the greatest accumulation point. It is denoted . Conversely, the limes inferior is the smallest accumulation point of a sequence (bounded from below). If the sequence is unbounded from above or below, we write or , respectively. That means divergent sequences (!) can also have a limes superior or a limes inferior. Further details are given in the article „Lim sup and Lim inf“.