# 0.2: Sets

- Page ID
- 89699

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)All of you will have done some basic bits of set-theory in school. Sets, intersection, unions, Venn diagrams etc etc. Set theory now appears so thoroughly throughout mathematics that it is difficult to imagine how Mathematics could have existed without it. It is really quite surprising that set theory is a much newer part of mathematics than calculus. Mathematically rigorous set theory was really only developed in the 19th Century — primarily by Georg Cantor ^{1}. Mathematicians were using sets before then (of course), however they were doing so without defining things too rigorously and formally.

In mathematics (and elsewhere, including “real life”) we are used to dealing with collections of things. For example

- a family is a collection of relatives.
- hockey team is a collection of hockey players.
- shopping list is a collection of items we need to buy.

Generally when we give mathematical definitions we try to make them very formal and rigorous so that they are as clear as possible. We need to do this so that when we come across a mathematical object we can decide with complete certainty whether or not it satisfies the definition.

Unfortunately, it is the case that giving a completely rigorous definition of “set” would take up far more of our time than we would really like ^{2}.

A “set” is a collection of distinct objects. The objects are referred to as “elements” or “members” of the set.

Now — just a moment to describe some conventions. There are many of these in mathematics. These are not firm mathematical rules, but just traditions. It makes it much easier for people reading your work to understand what you are trying to say.

- Use capital letters to denote sets, \(A,B, C, X, Y\) etc.
- Use lower case letters to denote elements of the sets \(a,b,c,x,y\text{.}\)

So when you are writing up homework, or just describing what you are doing, then if you stick with these conventions people reading your work (including the person marking your exams) will know — “Oh \(A\) is that set they are talking about” and “\(a\) is an element of that set.”. On the other hand, if you use any old letter or symbol it is correct, but confusing for the reader. Think of it as being a bit like spelling — if you don't spell words correctly people can usually still understand what you mean, but it is much easier if you spell words the same way as everyone else.

We will encounter more of these conventions as we go — another good one is

- The letters \(i,j,k,l,m,n\) usually denote integers (like \(1,2,3,-5,18,\dots>\)).
- The letters \(x,y,z,w\) usually denote real numbers (like \(1.4323, \pi, \sqrt{2}, 6.0221415\times 10^{23}, \dots\) and so forth).

So now that we have defined sets, what can we do with them? There is only thing we can ask of a set

“Is this object in the set?”

and the set will answer

“yes” or “no”

For example, if \(A\) is the set of even numbers we can ask “Is 4 in \(A\text{?}\)” We get back the answer “yes”. We write this as

\begin{gather*} 4 \in A \end{gather*}

While if we ask “Is \(3\) in \(A\text{?}\)”, we get back the answer “no”. Mathematically we would write this as

\begin{gather*} 3 \notin A \end{gather*}

So this symbol “\(\in\)” is mathematical shorthand for “is an element of”, while the same symbol with a stroke through it “\(\notin\)” is shorthand for “is not an element of”.

Notice that both of these statements, though they are written down as short strings of three symbols, are really complete sentences. That is, when we read them out we have

\begin{align*} \text{``$4 \in A$''} &&& \text{is read as} && \text{``Four is an element of $A$.''}\\ \text{``$3 \notin A$''} &&& \text{is read as} && \text{``Three is not an element of $A$.''} \end{align*}

The mathematical symbols like “\(+\)”, “\(=\)” and “\(\in\)” are shorthand ^{3} and mathematical statements like “\(4+3=7\)” are complete sentences.

This is an important point — mathematical writing is just like any other sort of writing. It is very easy to put a bunch of symbols or words down on the page, but if we would like it to be easy to read and understand, then we have to work a bit harder. When you write mathematics you should keep in mind that someone else should be able to read it and understand it.

Easy reading is damn hard writing.— Nathaniel Hawthorne, but possibly also a few others like Richard Sheridan.

We will come across quite a few different sets when doing mathematics. It must be completely clear from the definition how to answer the question “Is this object in the set or not?”

- “Let \(A\) be the set of even integers between 1 and 13.” — nice and clear.
- “Let \(B\) be the set of tall people in this class room.” — not clear.

More generally if there are only a small number of elements in the set we just list them all out

- “Let \(C = \{1,2,3\}\text{.}\)”

When we write out the list we put the elements inside braces “\(\{ \cdot \}\)”. Note that the order we write things in doesn't matter

\begin{align*} C & = \{1,2,3\} = \{2,1,3\} = \{3,2,1\} \end{align*}

because the only thing we can ask is “Is this object an element of \(C\text{?}\)” We cannot ask more complex questions like “What is the third element of \(C\text{?}\)” — we require more sophisticated mathematical objects to ask such questions ^{4}. Similarly, it doesn't matter how many times we write the same object in the list

\begin{align*} C &= \{1,1,1,2,3,3,3,3,1,2,1,2,1,3\} = \{1,2,3\} \end{align*}

because all we ask is “Is \(1 \in C\text{?}\)”. Not “how many times is 1 in \(C\text{?}\)”.

Now — if the set is a bit bigger then we might write something like this

- \(C = \{1,2,3,\dots,40\}\) the set of all integers between 1 and 40 (inclusive).
- \(A = \{1,4,9,16,\dots\}\) the set of all perfect squares
^{5}

The “\(\dots\)” is again shorthand for the missing entries. You have to be careful with this as you can easily confuse the reader

- \(B = \{3,5,7,\dots\}\) — is this all odd primes, or all odd numbers bigger than 1 or ?? What is written is not sufficient for us to have a firm idea of what the writer intended.

Only use this where it is completely clear by context. A few extra words can save the reader (and yourself) a lot of confusion.

Always think about the reader.