Namespaces
Variants
Actions

Difference between revisions of "Sequence"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
s0845501.png
 +
$#A+1 = 31 n = 0
 +
$#C+1 = 31 : ~/encyclopedia/old_files/data/S084/S.0804550 Sequence
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''of elements of a given set''
 
''of elements of a given set''
  
 
A function defined on the set of positive integers whose range is contained in the set considered.
 
A function defined on the set of positive integers whose range is contained in the set considered.
  
An element, or term, of a sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s0845501.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s0845502.png" /> is the set of positive integers and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s0845503.png" /> is the given set, is an ordered pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s0845504.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s0845505.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s0845506.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s0845507.png" />, denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s0845508.png" />. The positive integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s0845509.png" /> is called the number (or index) of the term <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455010.png" /> and the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455011.png" /> is called its value. The sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455012.png" /> is usually denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455013.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455014.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455015.png" />.
+
An element, or term, of a sequence $  f : \mathbf N \rightarrow X $,  
 +
where $  \mathbf N $
 +
is the set of positive integers and $  X $
 +
is the given set, is an ordered pair $  ( n , x ) $,  
 +
$  x = f ( n) $,  
 +
$  n \in \mathbf N $,  
 +
$  x \in X $,  
 +
denoted by $  x _ {n} $.  
 +
The positive integer $  n $
 +
is called the number (or index) of the term $  x _ {n} $
 +
and the element $  x \in X $
 +
is called its value. The sequence $  f : \mathbf N \rightarrow X $
 +
is usually denoted by $  \{ x _ {n} \} $
 +
or $  x _ {n} $,
 +
$  n = 1 , 2 , . . . $.
  
The set of elements of a sequence is always countable; moreover, two different terms of a sequence are different at least with respect to their indices. The set of values of the elements of a sequence may be finite; e.g., the set of values of any stationary sequence, i.e. of a sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455016.png" /> all elements of which have one and the same value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455017.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455018.png" /> consists of one element.
+
The set of elements of a sequence is always countable; moreover, two different terms of a sequence are different at least with respect to their indices. The set of values of the elements of a sequence may be finite; e.g., the set of values of any stationary sequence, i.e. of a sequence $  \{ x _ {n} \} $
 +
all elements of which have one and the same value $  x _ {n} = a $,
 +
$  n = 1 , 2 \dots $
 +
consists of one element.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455019.png" />, then the term <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455020.png" /> of a sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455021.png" /> is called a predecessor of an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455022.png" />, and the term <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455023.png" /> is called a successor of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455024.png" />. Thus, the set of elements of a sequence is ordered.
+
If $  n _ {1} < n _ {2} $,  
 +
then the term $  x _ {n _ {1}  } $
 +
of a sequence $  \{ x _ {n} \} $
 +
is called a predecessor of an element $  x _ {n _ {2}  } $,  
 +
and the term $  x _ {n _ {2}  } $
 +
is called a successor of $  x _ {n _ {1}  } $.  
 +
Thus, the set of elements of a sequence is ordered.
  
Various types of sequences are encountered in many branches of mathematics. They help to describe many properties of objects under study. For instance, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455025.png" /> is a [[Topological space|topological space]], then among the sequences of points of it an important role is played by convergent sequences, i.e. by sequences that have a [[Limit|limit]] in this space. Convergent sequences are convenient (at least when a countable base is available) for the description of such properties as compactness, existence of a limit of a mapping, continuity of a mapping, etc. If all elements of a sequence of some objects (points, sets, mappings, etc.) have a certain property, it is often important to find out whether this property is preserved at a limit point of this sequence. For example, to consider the behaviour of such properties as measurability, continuity, differentiability, and integrability under limit transition for different types of convergence of functions (pointwise convergence, convergence almost-everywhere, uniform convergence, convergence in measure, convergence in the mean, etc.).
+
Various types of sequences are encountered in many branches of mathematics. They help to describe many properties of objects under study. For instance, if $  X $
 +
is a [[Topological space|topological space]], then among the sequences of points of it an important role is played by convergent sequences, i.e. by sequences that have a [[Limit|limit]] in this space. Convergent sequences are convenient (at least when a countable base is available) for the description of such properties as compactness, existence of a limit of a mapping, continuity of a mapping, etc. If all elements of a sequence of some objects (points, sets, mappings, etc.) have a certain property, it is often important to find out whether this property is preserved at a limit point of this sequence. For example, to consider the behaviour of such properties as measurability, continuity, differentiability, and integrability under limit transition for different types of convergence of functions (pointwise convergence, convergence almost-everywhere, uniform convergence, convergence in measure, convergence in the mean, etc.).
  
Sometimes a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455026.png" /> from a finite set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455027.png" /> of positive integers into a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455028.png" /> is called a finite sequence and is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455029.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455030.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s084/s084550/s08455031.png" />. A sequence can be given by a formula for its general term (e.g. an arithmetical sequence), by a recurrence formula (e.g. the sequence of Bernoulli numbers) or simply by a verbal description with a certain degree of efficiency (e.g. the sequence of all positive prime integers in ascending order). See also [[Double sequence|Double sequence]]; [[Multiple sequence|Multiple sequence]]. The generalization of the notion of a sequence is that of a [[Generalized sequence|generalized sequence]].
+
Sometimes a mapping $  f : \overline{ {1 , n }}\; \rightarrow X $
 +
from a finite set $  \overline{ {1 , n }}\; = \{ 1 \dots n \} $
 +
of positive integers into a set $  X $
 +
is called a finite sequence and is denoted by $  \{ x _ {1} \dots x _ {n} \} $,  
 +
where $  x _ {k} = f ( k) $,  
 +
$  k = 1 \dots n $.  
 +
A sequence can be given by a formula for its general term (e.g. an arithmetical sequence), by a recurrence formula (e.g. the sequence of Bernoulli numbers) or simply by a verbal description with a certain degree of efficiency (e.g. the sequence of all positive prime integers in ascending order). See also [[Double sequence|Double sequence]]; [[Multiple sequence|Multiple sequence]]. The generalization of the notion of a sequence is that of a [[Generalized sequence|generalized sequence]].

Latest revision as of 08:13, 6 June 2020


of elements of a given set

A function defined on the set of positive integers whose range is contained in the set considered.

An element, or term, of a sequence $ f : \mathbf N \rightarrow X $, where $ \mathbf N $ is the set of positive integers and $ X $ is the given set, is an ordered pair $ ( n , x ) $, $ x = f ( n) $, $ n \in \mathbf N $, $ x \in X $, denoted by $ x _ {n} $. The positive integer $ n $ is called the number (or index) of the term $ x _ {n} $ and the element $ x \in X $ is called its value. The sequence $ f : \mathbf N \rightarrow X $ is usually denoted by $ \{ x _ {n} \} $ or $ x _ {n} $, $ n = 1 , 2 , . . . $.

The set of elements of a sequence is always countable; moreover, two different terms of a sequence are different at least with respect to their indices. The set of values of the elements of a sequence may be finite; e.g., the set of values of any stationary sequence, i.e. of a sequence $ \{ x _ {n} \} $ all elements of which have one and the same value $ x _ {n} = a $, $ n = 1 , 2 \dots $ consists of one element.

If $ n _ {1} < n _ {2} $, then the term $ x _ {n _ {1} } $ of a sequence $ \{ x _ {n} \} $ is called a predecessor of an element $ x _ {n _ {2} } $, and the term $ x _ {n _ {2} } $ is called a successor of $ x _ {n _ {1} } $. Thus, the set of elements of a sequence is ordered.

Various types of sequences are encountered in many branches of mathematics. They help to describe many properties of objects under study. For instance, if $ X $ is a topological space, then among the sequences of points of it an important role is played by convergent sequences, i.e. by sequences that have a limit in this space. Convergent sequences are convenient (at least when a countable base is available) for the description of such properties as compactness, existence of a limit of a mapping, continuity of a mapping, etc. If all elements of a sequence of some objects (points, sets, mappings, etc.) have a certain property, it is often important to find out whether this property is preserved at a limit point of this sequence. For example, to consider the behaviour of such properties as measurability, continuity, differentiability, and integrability under limit transition for different types of convergence of functions (pointwise convergence, convergence almost-everywhere, uniform convergence, convergence in measure, convergence in the mean, etc.).

Sometimes a mapping $ f : \overline{ {1 , n }}\; \rightarrow X $ from a finite set $ \overline{ {1 , n }}\; = \{ 1 \dots n \} $ of positive integers into a set $ X $ is called a finite sequence and is denoted by $ \{ x _ {1} \dots x _ {n} \} $, where $ x _ {k} = f ( k) $, $ k = 1 \dots n $. A sequence can be given by a formula for its general term (e.g. an arithmetical sequence), by a recurrence formula (e.g. the sequence of Bernoulli numbers) or simply by a verbal description with a certain degree of efficiency (e.g. the sequence of all positive prime integers in ascending order). See also Double sequence; Multiple sequence. The generalization of the notion of a sequence is that of a generalized sequence.

How to Cite This Entry:
Sequence. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Sequence&oldid=48671
This article was adapted from an original article by L.D. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article