EF Sequences

Section 11.1 Sequences

counting set: 🔗

🔗
the set

$N_{< m} = {n \in N | n < m} = {0, 1, \dots, m - 1}$

The set

N_{< m}

has exactly

m

elements in it. In Chapter 12 we will use these counting sets to, well, count the elements in other sets. For now, we will use them to index the objects in an ordered list.

🔗

finite sequence (from a set $A$ ): 🔗
a function $N_{< m} \to A$
infinite sequence (from a set $A$ ): 🔗
a function $N \to A$
term in a sequence: 🔗
one of the image elements of the function defining the sequence
$a_{k}$: 🔗
the $k^{th}$ term in a sequence, so that if $f : N_{< m} \to A$ or $f : N \to A$ is a sequence then $a_{k} = f (k)$
${a_{k}}$: 🔗
the collection of all terms in a sequence
${a_{k}}_{0}^{m}$: 🔗
the collection of the terms in a sequence up to (and including) the $m^{th}$ term (if the sequence is finite, this could represent all terms in the sequence for the appropriate $m$ value)
${a_{k}}_{0}^{\infty}$: 🔗
the collection of all terms in a sequence, where we are explicit that it is an infinite sequence

🔗

Remark 11.1.1.

🔗

🔗
Of course, we do not restrict ourselves to the letter $a$ to represent the terms of a sequence. We might write $b_{k},$ or $s_{k},$ etc..
🔗
While we use set-like notation ${}$ to represent the collection of all terms in a sequence, this collection is not a set, since order and repetition matter.