Section 2.1: Set Theory
- Page ID
- 212921
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\dsum}{\displaystyle\sum\limits} \)
\( \newcommand{\dint}{\displaystyle\int\limits} \)
\( \newcommand{\dlim}{\displaystyle\lim\limits} \)
\( \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{\longvect}{\overrightarrow}\)
\( \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}\)- Define sets
- Write sets three different ways
- Define the empty set
- Find the cardinality of a set
- Classify sets as finite or infinite
- Decide if two sets are equal or equivalent
Imagine you're organizing your music collection. You might group songs by genre (rock, jazz, classical), by decade (80s, 90s, 2000s), or by mood (study music, workout songs, relaxation). In mathematics, we do something remarkably similar—we collect objects into groups called sets. Set theory is a branch of mathematics that studies these sets and the relationships between them. It serves as the foundational language for virtually all of modern mathematics.
Why do we need set theory?
-
It's the Language of Precision - In everyday conversation, we're often imprecise. We might say "most people prefer chocolate" or "many students struggle with math." Set theory gives us tools to be exact about collections and relationships. Instead of vague terms, we can specify exactly which elements we're discussing and how different groups relate to each other.
-
It Reveals Hidden Connections - Consider these seemingly different questions:
- 𝕎 represents the set of all whole numbers or {0, 1, 2, 3, 4, .....}
- How many students are taking both English and History?
- What's the probability of drawing a red card from a deck?
- How do we define what makes a number "rational"?
All of these involve set theory concepts. Sets help us see that many different problems share the same underlying logical structure.
-
It's the Foundation of Modern Mathematics - Just as grammar provides the structure for language, set theory provides the foundation for virtually all of modern mathematics. Concepts like functions, probability, statistics, and even calculus are all built using set theory. When mathematicians want to be completely rigorous about what numbers actually are, they define them using sets.
-
It Develops Critical Thinking Skills - Set theory teaches you to:
- Classify and categorize systematically
- Analyze relationships between different groups
- Think logically about inclusion, exclusion, and overlap
- Recognize patterns across different contexts
Set theory isn't confined to mathematics textbooks. It's actively shaping the world around us in surprising and powerful ways. These skills transfer directly to fields like law (analyzing legal precedents), literature (categorizing themes and genres), political science (understanding voter demographics), and philosophy (examining logical arguments). Here are more detailed examples of how set theory concepts are applied across various fields:
Database Management: Every Google search uses set operations to find web pages that contain your search terms.
Market Research: Companies use set theory to analyze customer segments, finding overlap between "people who buy organic food" and "people who exercise regularly."
Social Networks: Platforms like Facebook use set concepts to suggest friends (people in the intersection of your friends' friend sets).
Medical Diagnosis: Doctors often think in terms of sets, such as, patients with symptom A, patients with symptom B, and the crucial intersection of patients with both symptoms.
As we explore set theory together, you’ll see that it is far more than abstract mathematics. It is a powerful way of thinking that strengthens your ability to analyze, organize, and make sense of the world around you. Whether you are evaluating political polls, planning a research project, or trying to reason through complex issues, the ideas we study will be useful well beyond this classroom. Set theory shows that mathematics is not just about numbers. At its core, it is about clear thinking, logical reasoning, and finding elegant solutions to complex problems, skills that benefit every educated person, regardless of discipline. At a foundational level, set theory provides the language of modern mathematics. A set is simply a well-defined collection of distinct objects, called elements. While this definition may sound abstract, sets are everywhere in everyday life: the students in this classroom, the books on your shelf, the songs in a playlist, or the courses you are taking this semester are all examples of sets. Set theory is especially valuable for liberal arts students because it bridges mathematical thinking and the logical reasoning used across many fields. When you analyze social groups in sociology, categorize literary genres, study political coalitions, or organize historical periods, you are working with sets and their relationships. Set theory gives you a precise vocabulary for this work, ideas such as union (combining groups), intersection (identifying what groups have in common), and subsets (recognizing when one group is entirely contained within another). The beauty of set theory lies in its combination of intuitive ideas and mathematical rigor. Tools like Venn diagrams allow you to visualize relationships, making abstract concepts concrete and accessible. This visual and logical approach builds critical thinking skills that extend far beyond mathematics: recognizing patterns, understanding overlap and distinction, and organizing complex information. As we continue our study, you’ll discover that this simple idea of “collections of things” forms the foundation of much of modern mathematics and provides powerful tools for thinking clearly in any field of study.
A set is a well-defined collection of distinct objects. The objects in a set can be anything: numbers, letters, people, books, or even other sets. Sets are typically denoted by capital letters A, B, C , etc. and the objects are listed within braces { }.
Examples:
- A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
- B = {apple, banana, pear}
The Greek letter, Epsilon (∈), is the mathematical symbol meaning "is an element of" or "belongs to." Its opposite is ∉, meaning "is not an element of."
Examples:
- 5 ∈ A (read as "5 is an element of A")
- 4 ∉ A (read as "4 is not an element of A")
Let A = {1, 2, 3, 4, 5}, B = {1, 2, 3, 4, 5, ….}, and C = all land animals. Decide whether each of the statements is true or false.
- 1 ∈ A
- 1 ∈ B
- 6 ∈ A
- 6 ∉ B
- 10,000 ∈ B
- cat ∈ C
- fish ∈ C
- whale ∉ C
- dog ∉ C
- 7 ∈ C
✅ Solution:
- True
- True
- False
- False
- True
- True
- False
- True
- False
- False
- Let A = the set of U.S. states, B = {5, 10, 15, 20, 25, ….}, and C = the set of U.S. Presidents. Decide whether each of the statements is true or false.
- 15 ∈ B
- California ∉ A
- 30 ∉ B
- George Washington ∈ C
- Utah ∈ A
- 100 ∈ B
- 51 ∈ B
- Miami ∈ A
- 25 ∈ C
- Abraham Lincoln ∈ A
- 0 ∉ B
- Taylor Swift ∈ C
- Answers
-
a) True; b) False; c) False; d) True; e) True; f) True; g) False; h) False; i) False; j) False; k) True; l) False.
A finite set is a set that contains a specific, countable number of elements. You can list all elements and determine the exact size of the set.
Examples:
- {a, b, c, d} has 4 elements
- The set of students in this classroom
An infinite set is a set that contains an unlimited number of elements. The elements continue without end.
Example:
- The set of all natural numbers {1, 2, 3, 4, ...}
- The set of all points on a line
A variable is a symbol (usually a letter like x, y, or n) that represents an unknown number or a quantity that can change.
1) List/Roster Method
Lists all elements explicitly within braces.
Format: {element #1, element #2, element #3, .....}
Examples:
- {1, 2, 3, 4, 5}
- {red, blue, green, yellow}
- {2, 4, 6, 8, .....}
2) Descriptive Method
Uses words to describe the set without mathematical notation.
Examples:
- "The set of all positive integers less than 6"
- "The set of primary colors"
- "The set of all US state capitals"
3) Set Builder Notation
Uses mathematical notation with conditions/rules to define set membership.
Format: {x | condition(s)}
Read as: "the set of all x such that [condition]" (So, the symbol | represents "such that")
Examples:
- {x | x ≥ 5} = "all numbers greater than or equal to 5"
- {x ∈ ℕ | x < 10} = "natural numbers less than 10"
- {x | x = 2n, n ∈ ℤ} = "all even integers"
Note: The symbols above ℕ and ℤ are called blackboard bold style letters, because mathematicians writing on blackboards (chalk boards) would trace over letters multiple times to make them stand out, creating a "bold" effect. These symbols/letters became standard for describing particular number sets. Here are most of the symbols used in that style and their meanings:
- The symbol ℕ represents the set of all natural numbers or {1, 2, 3, 4, .....}.
- The symbol 𝕎 represents the set of all whole numbers or {0, 1, 2, 3, 4, .....}
- The symbol ℤ represents the set of all integers or {....., −3, −2, −1, 0, 1, 2, 3, .....}.
- The symbol ℚ represents the set of all rational numbers.
- The symbol ℝ represents the set of all real numbers.
- The symbol ℂ represents the set of all complex numbers.
- (For this text, we will only be working with ℕ, the set of all natural numbers)
| Method | Best for | Limitations |
|---|---|---|
| List/Roster | Small finite sets, concrete examples | Impractical for large/infinite sets |
| Descriptive | General communication, non-mathematical contexts | Can be ambiguous |
| Set-Builder | Mathematical sets, infinite sets, sets with clear rules | Requires mathematical background |
Same Set, Three Ways
Here are the three different methods all representing the same exact set:
- Roster: {1, 2, 3, 4, 5, 6, 7, 8, 9}
- Set-Builder: {x ∈ ℕ | 1 ≤ x ≤ 9}
- Descriptive: "The set of natural numbers from 1 to 9"
Rewrite each set the same in two other ways.
- {1, 2, 3, 4, 5}
- {x ∈ ℕ | 6 ≤ x ≤ 9}
- "The set of natural numbers from 7 to 11"
- {1, 3, 5, 7, 9, 11, 13, 15, 17, 19}
✅ Solution:
- Set-Builder: {x ∈ ℕ | 1 ≤ x ≤ 5} and Descriptive: "The set of natural numbers from 1 to 5"
- Roster: {6, 7, 8, 9} and Descriptive: "The set of natural numbers from 6 to 9"
- Roster: {7, 8, 9, 10, 11} and Set-Builder: {x ∈ ℕ | 7 ≤ x ≤ 11}
- Set-Builder: {x ∈ ℕ | 1 ≤ x ≤ 19 and x is odd} and Descriptive: "The set of odd natural numbers from 1 to 19"
- Rewrite each set the same in two other ways.
- "The set of natural numbers from 3 to 7"
- {x ∈ ℕ | 5 ≤ x ≤ 10}
- {2, 4, 6, 8, 10}
- {x ∈ ℕ | 1 ≤ x ≤ 11 and x is odd}
- Answers
-
- Roster: {3, 4, 5, 6, 7} and Set-Builder: {x ∈ ℕ | 3 ≤ x ≤ 7}
- Roster: {5, 6, 7, 8, 9, 10} and Descriptive: "The set of natural numbers from 5 to 10"
- Set-Builder: {x ∈ ℕ | 2 ≤ x ≤ 10 and x is even} and Descriptive: "The set of even natural numbers from 2 to 10"
- Roster: {1, 3, 5, 7, 9, 11} and Descriptive: "The set of odd natural numbers from 1 to 11"
An empty set (or Null Set) is a set with no elements denoted by { } or the symbol Ø.
Cardinal numbers describe "how many" elements are in a set - they represent the size or cardinality of a set.
The notation for cardinality is |A| or n(A).
Examples:
- The set A = {a, b, c} has cardinal number 3. So, |A| = 3. (Alternate notaion: n(A) = 3)
- The set B = {red, blue} has cardinal number 2. So, |B| = 2. (Alternate notation: n(B) = 2)
- The set C = { } has cardinal number 0. So, |C| = 0. (Alternate notation: n(C ) = 0)
Find the cardinal number of each set.
- A = {3, 6, 9, 12, 15, 18, 21}
- {x | x is any month of the year}
- E = Ø
- The set of all U.S. states.
✅ Solution:
- |A| = 7
- 12
- |E| = 0
- 50
- Find the cardinal number of each set.
- A = {1, 2, 3, 4, 5, 6, 7}
- {µ | µ is any letter of the English alphabet}
- Z = {0}
- Z = Ø
- C = {fork, knife, spoon}
- S = {Ã, Ä, Å, Á, Æ}
- A = {1, 2, 3, 4, 5,....., 100}
- Answers
-
a) 7; b) 26; c) 1; d) 0; e) 3; f) 5; g) 100.
Two sets are equivalent if they contain exactly the same number of elements, regardless of what those elements actually are.
Examples:
- A = {1, 2, 3} and B = {red, blue, green} are equivalent (both have 3 elements)
- C = {a, b} and D = {x, y} are equivalent (both have 2 elements)
Two sets are equal if they contain exactly the same elements. Every element in the first set must also be in the second set, and vice versa. Equal sets are denoted using the equality symbol (=).
Examples:
- A = {1, 2, 3} and B = {1, 2, 3} are equal sets, so A = B.
- C = {a, b, c} and D = {c, a, b} are equal sets, so C = D.
- E = {apple, banana} and F = {apple, banana, pear} are not equal sets, so E ≠ F
Determine whether each pair of sets is equal, equivalent, or neither.
- {1, 16, 19, 91, 96} and {16, 96, 1, 91, 19}
- {do, re, mi} and {baseball, football, basketball}
- {four} and {f, o, u, r}
- {x | x is any month of the year} and { y | y ∈ ℕ and y < 13}
- {5, 7, 9, 11, 13} and {5, 7, 9, 11, 13,……}
- {even natural numbers less than 10} and {2, 4, 6, 8}
- {1, 2, 10, 20} and {2, 1, 20, 11}
- {y | y is any odd natural number} and {1, 3, 5, 7, 9, .....}
✅ Solution:
- Equal; each set has 5 elements and the elements in both sets are the same.
- Equivalent; each set has 3 elements, but the elements in both sets are not the same.
- Neither; first set has 1 element and the second set has 4 elements; the elements in both sets are not the same.
- Equivalent; each set has 12 elements, but the elements in both sets are not the same; {Jan, Feb, Mar, Apr, May, Jun, Jul, Aug, Sep, Oct, Nov, Dec} & {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}
- Neither; first set has 5 elements and the second set is infinite; the elements in both sets are not the same.
- Equal; each set has 4 elements and the elements in both sets are the same.
- Equivalent; each set has 4 elements, but the elements in both sets are not the same.
- Equal; each set has an infinite number of elements and the elements in both sets are the same.
- Determine whether each pair of sets is equal, equivalent, or neither.
- {1, 2, 3, 4, 5} and {6, 7, 8, 9, 10}
- {3, 7, 11, 13} and {13, 3, 7, 11}
- {5, 10, 15, 20, 25} and {5, 10, 15, 20, 25,……}
- {two} and {t, w, o}
- {odd natural numbers less than 10} and {1, 3, 5, 7, 9}
- {y | y is any even natural number} and {2, 4, 6, 8, 10, .....}
- {x | x is any day in the month of October} and { y | y ∈ ℕ and y < 32}
- {dog, cat, mouse} and {moose, fox, squirrel, pig}
- Answers
-
a) equivalent; b) equal; c) neither; d) neither; e) equal; f) equal; g) equivalent; h) neither.