1.3: Sequences
( \newcommand{\kernel}{\mathrm{null}\,}\)
By an infinite sequence (briefly sequence) we mean a mapping (call it u) whose domain is N (all natural numbers 1,2,3,…);Du may also contain 0.
A finite sequence is a map u in which Du consists of all positive (or non-negative) integers less than a fixed integer p. The range D′u of any sequence u may be an arbitrary set B; we then call u a sequence of elements of B, or in B. For example,
u=(1234…n…2468…2n…)
is a sequence with
Du=N={1,2,3,…}
and with function values
u(1)=2,u(2)=4,u(n)=2n,n=1,2,3,…
Instead of u(n) we usually write un ("index notation"), and call un the nth term of the sequence. If n is treated as a variable, un is called the general term of the sequence, and {un} is used to denote the entire (infinite) sequence, as well as its range D′u (whichever is meant, will be clear from the context). The formula {un}⊆B means that D′u⊆B, i.e., that u is a sequence in B. To
determine a sequence, it suffices to define its general term un by some formula or rule. In (1) above, un=2n.
Often we omit the mention of Du=N (since it is known) and give only the range D′u. Thus instead of (1), we briefly write
2,4,6,…,2n,…
or, more generally,
u1,u2,…,un,…
Yet it should be remembered that u is a set of pairs (a map).
If all un are distinct (different from each other), u is a one-to-one map. However, this need not be the case. It may even occur that all un are equal (then u is said to be constant); e.g., un=1 yields the sequence 1,1,1,…,1,…, i.e.
u=(123…n…111…1…)
Note that hereu is an infinite sequence (since Du=N), even though its range D′u has only one element, D′u={1}. (In sets, repeated terms count as one element; but the sequence u consists of infinitely many distinct pairs (n,1). ) If all un are real numbers, we call u a real sequence. For such sequences, we have the following definitions.
Definition 1
A real sequence {un} is said to be monotone (or monotonic) iff it is either nondecreasing, i.e.
(∀n)un≤un+1
or nonincreasing, i.e.,
(∀n)un≥un+1
Notation: {un}↑ and {un}↓, respectively. If instead we have the strict inequalities un<un+1 (respectively, un>un+1), we call {un} strictly monotone (increasing or decreasing).
A similar definition applies to sequences of sets.
Definition 2
A sequence of sets A1,A2,…,An,… is said to be monotone iff it is either expanding, i.e.,
(∀n)An⊆An+1
or contracting, i.e.,
(∀n)An⊇An+1
Notation: {An}↑ and {An}↓, respectively. For example, any sequence of concentric solid spheres (treated as sets of points), with increasing radii, is expanding; if the radii decrease, we obtain a contracting sequence.
Definition 3
Let {un} be any sequence, and let
n1<n2<⋯<nk<⋯
be a strictly increasing sequence of natural numbers. Select from {un} those terms whose subscripts are n1,n2,…,nk,… Then the sequence {unk} so selected (with k th term equal to unk), is called the subsequence of {un}, determined by the subscripts nk,k=1,2,3,….
Thus (roughly) a subsequence is any sequence obtained from {un} by dropping some terms, without changing the order of the remaining terms (this is ensured by the inequalities n1<n2<⋯<nk<⋯ where the nk are the subscripts of the remaining terms). For example, let us select from (1) the subsequence of terms whose subscripts are primes (including 1). Then the subsequence is
2,4,6,10,14,22,…
i.e.,
u1,u2,u3,u5,u7,u11,…
All these definitions apply to finite sequences accordingly. Observe that every sequence arises by "numbering" the elements of its range (the terms): u1 is the first term, u2 is the second term, and so on. By so numbering, we put the terms in a certain order, determined by their subscripts 1,2,3,… (like the numbering of buildings in a street, of books in a library, etc. ). The question now arises: Given a set A, is it always possible to "number" its elements by integers? As we shall see in $4, this is not always the case. This leads us to the following definition.
Definition 4
A set A is said to be countable iff A is contained in the range of some sequence (briefly, the elements of A can be put in a sequence).
If, in particular, this sequence can be chosen finite, we call A a finite set. (The empty set is finite.)
Sets that are not finite are said to be infinite.
Sets that are not countable are said to be uncountable.
Note that all finite sets are countable. The simplest example of an infinite countable set is N={1,2,3,…}.