Mathematical Writing - Vivaldi Franco 2014
Some Advanced Terms - Sets and Sequences
Essential Dictionary II
We introduce some advanced words and symbols concerning sets, sequences, and equations.
3.5.1 Sets and Sequences
Let be a sequence of sets, which may be finite or infinite. The binary set operations of union and intersection generalise to an arbitrary number of operands:
These expressions denote the set of elements belonging to at least one of the sets , and to every one of the sets , respectively. The integer index conforms to the notational rules for sums and products (Sect. 3.2):
However, infinite unions and intersections may also be controlled by a real (as opposed to integer) index, which adds flexibility to this notation:
(Sketch the set .)
A sequence of sets is descending (or nested) if
and ascending if
EXAMPLE. The following symbols
tell a story. Say it with words. [ ]
The set of multiples of a power of an integer contains the set of multiples of any higher power of the same integer. By considering increasing powers we obtain an infinite nested sequence of sets. Apart from a trivial case, the only element common to all these sets is the origin.
EXAMPLE. The Farey sequence 4 is an ascending sequence of sets. Its general term is the set of all reduced fractions in the unit interval whose denominator does not exceed :
Let us now consider the representation of sets of sequences. Let be any set. We form the set of all finite sequences of elements of , with terms. This set is the cartesian product of copies of the set : the first element of a sequence is chosen from the first copy of , the second element from the second copy of , and so on. For instance, the set is the set of all binary sequences with -digits, while is the set of all -uples of rational numbers. It follows that the infinite union
represents the set of all finite integer sequences.
The set of all infinite sequences of elements of has the structure of a cartesian product with infinitely many terms. It would seem natural to denote it by . However, the idiomatic notation is more common, due to its greater flexibility. Thus denotes the set of doubly-infinite sequences of elements of , and one even finds for the set of two-dimensional arrays: .