2.2. Sets 17 the Cartesian product of n copies of A, we may abbreviate A × A × . . . × A as An. A generic ordered n-tuple from An will be written (x1,x2,...,xn), where xi are all elements of A. Example 2.2.1. Let A = {x, y} and B = {y, z}. Then A B = {x, y, z}, A B = {y}, A B = {x}, B A = {z}, A × B = {(x, y), (x, z), (y, y), (y, z)}, and P(A) = {∅, {x}, {y}, {x, y}}. The sets we will use especially are and N. The former is the empty set, the set with no elements. The latter is the natural num- bers, the set {0, 1, 2, 3,...}. In computability, we often use lowercase omega, ω, to denote the natural numbers, but in these notes we will be consistent with N. On occasion we may also refer to Z (the integers), Q (the rational numbers), or R (the real numbers). We will assume unless otherwise specified that our universe is N i.e., all of our sets are subsets of N. When a universe is fixed we can define complement. The complement of A, denoted A, is all the elements of N that are not in A i.e., A = N A. Exercise 2.2.2. Convert the list or description of each of the follow- ing sets into notation using a logical predicate. Assume the domain of quantification is N. (i) {2, 4, 6, 8, 10,...} (ii) {4, 5, 6, 7, 8} (iii) The set of numbers that are cubes. (iv) The set of pairs of numbers such that one is twice the other (in either order). (v) The intersection of the set of square numbers and the set of numbers that are divisible by 3. (vi) [For this and the next two, you’ll need to use in your logical predicate.] A B for sets A and B. (vii) A B for sets A and B. (viii) A B for sets A and B. Exercise 2.2.3. For each of the following sets, list (a) the elements of X, and (b) the elements of P(X).
Previous Page Next Page