Why start with sets?

Almost every­thing you will meet in higher math­e­mat­ics, from func­tions to prob­a­bil­ity, is writ­ten in the lan­guage of sets, so it pays to get com­fort­able with it now. A set is a well-defined col­lec­tion of objects. "Well-defined" sim­ply means that, given any object, you can say with­out doubt whether it belongs or not. We will write sets in ros­ter and set-builder form, and then meet the empty set, finite and infi­nite sets, equal sets, sub­sets, inter­vals and the uni­ver­sal set.

Sets and their ele­ments

"The prime num­bers below 2020" is a set. "The good crick­eters of India" is not, because two peo­ple will never agree on who counts as good. The objects in a set are called its ele­ments. We write 5∈P5 \in P to say that 55 belongs to PP, and 9∉P9 \notin P to say that it does not.

A few sets appear so often that they have their own let­ters: N\mathbf{N} (nat­ural num­bers), Z\mathbf{Z} (inte­gers), Q\mathbf{Q} (ratio­nals) and R\mathbf{R} (reals).

Ros­ter form sim­ply lists the ele­ments: A={2,3,5,7,11,13,17,19}A = \{2, 3, 5, 7, 11, 13, 17, 19\}. The order does­n't mat­ter, and repeated ele­ments are writ­ten only once, so the let­ters of "LEVEL" give {L,E,V}\{L, E, V\}.

Set-builder form describes the prop­erty the ele­ments share instead: A={x:x is a prime,x<20}A = \{x : x \text{ is a prime}, x < 20\}.

Exam­ple 1. The solu­tion set of x2−5x+6=0x^2 - 5x + 6 = 0 is {2,3}\{2, 3\}.

Exam­ple 2. {x:x∈N,x2<30}={1,2,3,4,5}\{x : x \in \mathbf{N}, x^2 < 30\} = \{1, 2, 3, 4, 5\}.

Exam­ple 3. {3,6,9,12,…}={x:x=3n,n∈N}\{3, 6, 9, 12, \ldots\} = \{x : x = 3n, n \in \mathbf{N}\}. And {12,23,34,45}={x:x=nn+1,n∈N,n≤4}\displaystyle \{\tfrac{1}{2}, \tfrac{2}{3}, \tfrac{3}{4}, \tfrac{4}{5}\} = \{x : x = \tfrac{n}{n+1}, n \in \mathbf{N}, n \le 4\}.

Empty, finite, infi­nite

A set with no ele­ments at all is the empty set, writ­ten ∅\varnothing or { }\{\ \}. For exam­ple, {x∈R:x2=−4}=∅\{x \in \mathbf{R} : x^2 = -4\} = \varnothing, since no real num­ber squares to a neg­a­tive. A set is finite if you can count its ele­ments and come to an end (that count is writ­ten n(A)n(A)); oth­er­wise it is infi­nite. The months of the year form a finite set (n=12n = 12), while the points on a line, or the mul­ti­ples of 77, go on for ever.

Equal sets and sub­sets

Two sets are equal, A=BA = B, when they have exactly the same ele­ments, how­ever they are described: {x:x2=9}={−3,3}\{x : x^2 = 9\} = \{-3, 3\}.

We write A⊂BA \subset B, and say AA is a sub­set of BB, when every ele­ment of AA is also in BB. So {1,3}⊂{1,2,3}\{1, 3\} \subset \{1, 2, 3\}. Every set is a sub­set of itself, and ∅\varnothing is a sub­set of every set, since it has no ele­ment that could fail the test. The famil­iar num­ber sys­tems sit inside one another: N⊂Z⊂Q⊂R\mathbf{N} \subset \mathbf{Z} \subset \mathbf{Q} \subset \mathbf{R}.

Four nested ovals: N (naturals) inside Z (integers) inside Q (rationals) inside R (reals), showing each set as a subset of the next.
The nat­ural num­bers sit inside the inte­gers, the ratio­nals and the reals

How many sub­sets does a set with nn ele­ments have? Think of build­ing a sub­set one ele­ment at a time: each ele­ment is either in or out, two choices each time, so there are 2n2^n sub­sets. The col­lec­tion of all sub­sets of AA is called its power set P(A)P(A). For A={a,b}A = \{a, b\}, P(A)={∅,{a},{b},{a,b}}P(A) = \{\varnothing, \{a\}, \{b\}, \{a, b\}\}.

Keep this one in your pocket, because it is the stan­dard way to prove two sets equal: if A⊂BA \subset B and B⊂AB \subset A, then A=BA = B.

Inter­vals

Inter­vals are a neat short­hand for cer­tain sub­sets of R\mathbf{R}. There is the open inter­val (a,b)={x:a<x<b}(a, b) = \{x : a < x < b\}, the closed inter­val [a,b]={x:a≤x≤b}[a, b] = \{x : a \le x \le b\}, and the half-open ones [a,b)[a, b) and (a,b](a, b]. A square bracket means the end point is included; a round one means it is left out. So {x:−2≤x<5}=[−2,5)\{x : -2 \le x < 5\} = [-2, 5).

Number line from -4 to 7 with the interval [-2, 5) shaded: a filled dot at -2 marked included and an open circle at 5 marked excluded.
The half-open inter­val from -2 to 5

Uni­ver­sal set

In any prob­lem there is a back­ground set that con­tains every­thing we are talk­ing about. This is the uni­ver­sal set UU. In a ques­tion about dig­its, for instance, U={0,1,…,9}U = \{0, 1, \ldots, 9\}.

Prac­tice ques­tions

  1. Which are sets? (a) the vow­els of Eng­lish; (b) the tall stu­dents of a class; (c) the fac­tors of 3636; (d) dif­fi­cult chap­ters of this book.
  2. Write in ros­ter form: {x:x∈Z,−3<x≤2}\{x : x \in \mathbf{Z}, -3 < x \le 2\}; the let­ters of "ASSAS­SI­NA­TION"; {x:x is a two-digit number whose digits add to 4}\{x : x \text{ is a two-digit number whose digits add to } 4\}.
  3. Write in set-builder form: {1,8,27,64,125}\{1, 8, 27, 64, 125\}; {2,4,8,16,32}\{2, 4, 8, 16, 32\}; {−1,1}\{-1, 1\}.
  4. Which are empty? {x∈N:3<x<4}\{x \in \mathbf{N} : 3 < x < 4\}; {0}\{0\}; {x:x is an even prime}\{x : x \text{ is an even prime}\}.
  5. Finite or infi­nite: the cir­cles through a given point; the rivers of India; {x∈R:0<x<1}\{x \in \mathbf{R} : 0 < x < 1\}.
  6. Are these equal? {x:x is a letter of "FOLLOW"}\{x : x \text{ is a letter of "FOLLOW"}\} and {x:x is a letter of "WOLF"}\{x : x \text{ is a letter of "WOLF"}\}; {x∈Z:x2≤4}\{x \in \mathbf{Z} : x^2 \le 4\} and {−2,−1,1,2}\{-2, -1, 1, 2\}.
  7. List all sub­sets of {−2,0,2}\{-2, 0, 2\}. How many are there?
  8. True or false: {3}∈{1,2,3}\{3\} \in \{1, 2, 3\}; {3}⊂{1,2,3}\{3\} \subset \{1, 2, 3\}; ∅⊂{0}\varnothing \subset \{0\}; 0∈∅0 \in \varnothing.
  9. Write as inter­vals: {x:−4<x≤6}\{x : -4 < x \le 6\}; {x:3≤x<8}\{x : 3 \le x < 8\}. Write [0,1)[0, 1) in set-builder form.
  10. How many ele­ments has P(A)P(A) if AA has 55 ele­ments? P(P(∅))P(P(\varnothing))?

Answers

Show answers
  1. (a) and (c).
  2. {−2,−1,0,1,2}\{-2, -1, 0, 1, 2\}; {A,S,I,N,T,O}\{A, S, I, N, T, O\}; {13,22,31,40}\{13, 22, 31, 40\}.
  3. {x:x=n3,n∈N,n≤5}\{x : x = n^3, n \in \mathbf{N}, n \le 5\}; {x:x=2n,n∈N,n≤5}\{x : x = 2^n, n \in \mathbf{N}, n \le 5\}; {x:x2=1}\{x : x^2 = 1\}.
  4. The first only.
  5. Infi­nite; finite; infi­nite.
  6. Yes ({F,O,L,W}\{F, O, L, W\}); no, because the first con­tains 00.
  7. ∅,{−2},{0},{2},{−2,0},{−2,2},{0,2},{−2,0,2}\varnothing, \{-2\}, \{0\}, \{2\}, \{-2, 0\}, \{-2, 2\}, \{0, 2\}, \{-2, 0, 2\}: 88.
  8. False; true; true; false.
  9. (−4,6](-4, 6]; [3,8)[3, 8); {x:0≤x<1}\{x : 0 \le x < 1\}.
  10. 3232; 22 (∅\varnothing and {∅}\{\varnothing\}).