To make the notation unique and recognizable, we denote some special sets using specific capital letters \(\A\text{,}\)\(\N\text{,}\)\(\PP\text{,}\)\(\W\text{,}\) and \(\Z\) in a font called blackboard bold. While the elements of some of the sets in the following definition the importance of others will become clear later.
We have already encountered the integers and natural numbers in Part I and now have a handy way of talking about all of these as the set of integers \(\Z\) and the set of natural numbers \(\N\text{.}\) The set \(W\) contains all elements of \(\N\) and also the number \(0\text{.}\)
We will come across the sets \(\Z_n\) and \(\Z_n^\otimes\) throughout the remainder of this course. The set \(\Z_n\) is of interest to us because it contains exactly the numbers that occur as remainders when dividing by \(n\text{,}\) that is
We use the set of characters \(\A\) to encode characters as numbers in Section 8.1 and to encode texts as numbers in Section 12.3. We will also use it when encrypting messages in Section 8.3, Section 8.4, and Section 16.3. To distinguish characters from variables we write characters in a typewriter font.
In Figure 5.24 we show sets from Definition 5.23 on the number line. For the sets \(\Z_n\) and \(\Z_n^\otimes\) we chose the special case \(n=7\text{.}\) In Example 5.25 we consider the sets \(\Z_n\) and \(\Z_n^\otimes\text{,}\) where \(n = 6\text{.}\)
It is always interesting to investigate what a definition means for the border line cases. As \(\Z_n\) and \(\Z_n^\otimes\) are define for all natural numbers \(n\) we check what the definition means for the two lowest allowed values of \(n\text{,}\) namely \(n=1\) and \(n=2\text{.}\)
In the video in Figure 5.29 we recall the definitions of special sets and show how statements that we encountered in Chapter 1 can be reformulated in a shorter way using set notation.
We can use set notation and the special sets defined above to give shorter formulations of statements from Section 1.3. Essentially we are replacing “let \(a\) be an integer” by “let \(a\in\Z\)”.
In Checkpoint 5.35 and Checkpoint 5.36 we formulate some statements about integer operations in set notation with special sets. Decide whether they are true or false. Disprove `for all’ statements with a counterexample. When a `there exists’ statement is true, give values of the variables for which it is true.