Math 1070Q - Introduction to Sets

Introduction to Sets - Math 1070Q

Chapter 4: Sets and Probability Overview

  • This chapter is divided into two main parts:
    • The language of sets (Sections 4.1-4.3)
    • Probability (Sections 4.4-4.7)

A Silly Example: Misinterpretation of Facts

  • Consider two statements from the same fact:
    • "My Math 1070 class is online asynchronous."
    • "I don’t need to be present for my Math 1070 class."
  • While both stem from the same underlying fact, the second statement is misleading.
  • This illustrates Ronald Coase's quote: "If you torture the data long enough, it will confess," highlighting how data can be manipulated to support a desired conclusion.

Introduction to Sets: A Puzzle

  • Scenario: 200200 students at UConn, with preferences for fast food:
    • 142142 like Burger King (BK)
    • 9595 like Chick-fil-A (CFA)
    • 6565 like McDonald's (McD)
    • 7070 like both BK and CFA
    • 5050 like both BK and McD
    • 3030 like both CFA and McD
    • 2020 like all three
  • Initial Observation: Summing the individual preferences (142+95+65=302142 + 95 + 65 = 302) yields a total greater than the 200200 students, which seems absurd.
  • Explanation: This apparent absurdity arises because students who like multiple brands are counted multiple times in the individual sums (a redundancy).
  • Puzzle Question: How many students only like Burger King but not the other two?
  • Solution: The number of students who only like Burger King is calculated as 142−(70+50−20)=42142 - (70 + 50 - 20) = 42 students. (This type of problem is typically solved using Venn diagrams, which are covered in Section 4.2).

Sets: Definition and Examples

  • Definition: A set is a collection of distinct items. These items are called members or elements of the set.
  • A set is fundamentally defined by its elements, which can be either listed explicitly or described by a property.
  • Example 1: Colors on the USA flag
    • This set has 33 elements: Red, White, and Blue.
  • Example 2: UConn campuses
    • This includes Storrs, Avery Point, Hartford, Stamford, Waterbury, Law, and Health.
  • Example 3: Whole numbers (integers)
    • This set has infinitely many elements: 0,ext±1,ext±2,ext±3,…0, ext{ } \pm 1, ext{ } \pm 2, ext{ } \pm 3, \dots

Set Notations

  • Naming Sets: Capital letters (e.g., A,B,CA, B, C) are used to denote the names of sets.
  • Set Roster Notation: Elements are explicitly listed within curly brackets.
    • Example: red, white, blue{\text{red, white, blue}} is the set of colors of the USA flag.
  • Set Builder Notation: Elements are described by a variable and a property, using the syntax x ∣ x is ⟨property⟩{x \text{ } | \text{ } x \text{ is } \langle \text{property} \rangle }.
    • The vertical bar (∣|) is read as "such that."
    • Example: x ∣ x is a color on the USA flag{x \text{ } | \text{ } x \text{ is a color on the USA flag}} reads as "the set of variables xx such that xx is a color of the USA flag."
  • Assigning Names: The equals sign (==) is used to assign a name to a set.
    • Example: A=x ∣ x is a color on the USA flagA = {x \text{ } | \text{ } x \text{ is a color on the USA flag}} reads as "AA is the set of elements xx such that xx is a color on the USA flag."
Key Properties of Sets
  • Sets are defined solely by their elements.
  • The order in which elements are listed does not matter.
  • Repetition of elements does not matter (each element is considered only once).
  • Example: If A=x ∣ x is a color on the USA flagA = {x \text{ } | \text{ } x \text{ is a color on the USA flag}} and B=red, white, blueB = {\text{red, white, blue}}, then AA and BB represent the same set. This is denoted as A=BA = B, meaning the two sets have the exact same elements.
  • Repetition: B=red, red, white, blue, blue, blueB = {\text{red, red, white, blue, blue, blue}} is considered the same set as B=red, white, blueB = {\text{red, white, blue}}.

Set Membership Notations

  • x∈Ax \in A: Means "element xx is in set AA" or "element xx is an element of set AA".
  • A∋xA \ni x: Means "set AA contains element xx" (equivalent to x∈Ax \in A).
  • x∉Ax \notin A: Means "element xx is not in set AA" or "element xx is not an element of set AA".
  • A∌xA \not\ni x: Means "set AA does not contain element xx" (equivalent to x∉Ax \notin A).
  • Examples:
    • blue∈A\text{blue} \in A
    • green∉A\text{green} \notin A
  • Important Distinction: Be careful not to confuse an element with a set containing that element.
    • green\text{green} is an element.
    • green{\text{green}} is a set containing one element, which is green\text{green}.
    • What is true: green∈green\text{green} \in {\text{green}}.

Subsets

  • Definition 1 (Subset): If all elements of a set AA are also in a set CC, then AA is said to be a subset of CC. This is denoted by A⊆CA \subseteq C or, equivalently, C⊇AC \supseteq A (read as "CC contains AA as a subset").
    • Example: If CC is the set of all colors and A=red, white, blueA = {\text{red, white, blue}}, then A⊆CA \subseteq C.
  • Definition 2 (Not a Subset): If there is at least one element of set AA that is not an element of set CC, then AA is not a subset of CC. This is denoted by A⊈CA \not\subseteq C.
    • Example: If DD is the set of all numbers and A=red, white, blueA = {\text{red, white, blue}}, then A⊈DA \not\subseteq D.
  • Crucial Distinction: Do not confuse A∈CA \in C with A⊆CA \subseteq C.
    • A∈CA \in C means the set AA itself is an element of the set CC. (It is possible for a set to contain other sets as its elements).
    • A⊆CA \subseteq C means all individual elements of AA are also individual elements of CC.

Proper Subsets

  • Definition: If AA is a subset of CC (A⊆CA \subseteq C) but CC is not a subset of AA (C⊈AC \not\subseteq A), meaning CC contains all elements of AA plus at least one additional element not found in AA, then AA is said to be a proper subset of CC. This is denoted by A⊊CA \subsetneq C
    • Note: Do not confuse A⊊CA \subsetneq C with A⊈CA \not\subseteq C.
  • Self-Subset Property: Every set is a subset of itself (A⊆AA \subseteq A), but no set is a proper subset of itself (A⊊̸AA \not\subsetneq A).

Two Special Sets

  • Empty Set (Null Set):
    • Definition: The set of no elements.
    • Notation: Denoted by ∅\emptyset or {}.
    • Property: The empty set is a subset of every set (∅⊆A\emptyset \subseteq A for any set AA).
  • Universal Set:
    • Definition: The set that contains all elements within a specific scope or context.
    • Notation: Denoted by UU (often a cursive U).
    • Example: In the context of UConn's people, UU would contain all students and staff at UConn.
    • Importance of Scope: The concept of a universal set is always defined within a specific scope. The "set of everything" is not a valid set, as demonstrated by Russell's Paradox, which highlights logical contradictions that arise if one attempts to define a set without a clear scope.

Worked Example: Set S=1, 1  3S = {1, {\,1\,}\, 3}

Let's analyze the properties of set SS:

  1. True or False: 1∈S1 \in S?
    • Answer: True. 11 is directly listed as an element of SS.
  2. True or False:  1 ⊆S{\,1\,} \subseteq S?
    • Answer: True. Since 11 is an element of SS, the set containing only the element 11 ( 1 {\,1\,}) is a subset of SS.
  3. True or False:  1 ∈S{\,1\,} \in S?
    • Answer: True. The item  1 {\,1\,} (which is itself a set) is directly listed as one of the three elements of SS.
  4. True or False:  3 ∈S{\,3\,} \in S?
    • Answer: False. The element 33 is in SS, but the set  3 {\,3\,} is not listed as an element within SS. The true statements regarding 33 are 3∈S3 \in S and  3 ⊆S{\,3\,} \subseteq S.
  5. How many elements does SS have?
    • Answer: Three. The elements are 11,  1 {\,1\,}, and 33.
  6. True or False: ∅∈S\emptyset \in S?
    • Answer: False. The empty set ∅\emptyset is not listed as an element within SS. However, it is always true that ∅⊆S\emptyset \subseteq S for any set SS.
  7. List all subsets of SS.
    • Answer: The subsets are:
      • The empty set: ∅\emptyset
      • Single-element subsets:  1 {\,1\,},  1 {{\,1\,}},  3 {\,3\,}
      • Two-element subsets:  1, 1 {\,1, {\,1\,}},  1,3{\,1, 3},  1 ,3{{\,1\,}, 3}
      • The set itself: S= 1, 1 ,3S = {\,1, {\,1\,}, 3}
    • Total: 88 subsets.
    • General Rule: If a set SS has nn elements, then it has 2n2^n subsets. In this case, n=3n = 3, so 23=82^3 = 8 subsets.

Recap of Set Notations

SymbolMeaningExampleExplanation
∈\inis an element of / is inx∈Ax \in A"xx is an element of set AA" or "element xx is in set AA"
∋\nihas an elementA∋xA \ni x"set AA has xx as an element"
∉\notinis not an element of / is not inx∉Ax \notin A"xx is not an element of set AA" or "element xx is not in set AA"
∌\not\nidoes not have an elementA∌xA \not\ni x"set AA does not have xx as an element"
⊆\subseteqis a subset of / is contained inB⊆AB \subseteq A"set BB is a subset of set AA" or "set BB is contained in set AA"
⊇\supseteqcontains (as a subset)B⊇AB \supseteq A"set BB contains set AA as a subset"
⊈\not\subseteqis not a subset of / is not contained inB⊈AB \not\subseteq A"set BB is not a subset of set AA" or "set BB is not contained in set AA"
⊊\subsetneqis a proper subset ofB⊊AB \subsetneq A"set BB is a proper subset of set AA" or "set BB is a subset of but not equal to AA"
==is equal to / have same elementsB=AB = A"set BB is equal to set AA" or "sets BB and AA have the same elements"
  • Equality of Sets: If A⊆BA \subseteq B and B⊆AB \subseteq A, then A=BA = B. This means two sets are equal if and only if they contain the exact same elements.

Venn Diagrams

  • Purpose: Venn diagrams are visual tools that help us understand and illustrate relations between sets.
  • Components:
    • A rectangle typically represents the universal set (UU).
    • An ellipse or circle represents an individual set (e.g., AA).
    • A dot or point inside a circle represents an element that belongs to that set (e.g., x∈Ax \in A).
    • A dot or point outside a circle represents an element that does not belong to that set (e.g., y∉Ay \notin A).
Venn Diagram of Subsets
  • When A⊆BA \subseteq B, the circle representing set AA is drawn completely within the circle representing set BB. This visually shows that all elements of AA are also elements of BB.

Complement of a Set

  • Definition: The complement of a set AA, denoted by AcA^c, is the set of all elements in the universal set UU that are not in AA.
    • Expressed in set builder notation: Ac=x ∣ x∈U,x∉AA^c = {x \text{ } | \text{ } x \in U, x \notin A}.
  • Venn Diagram: The region outside the circle for set AA but within the universal rectangle UU represents AcA^c.
  • Example: Given U= 1,2,3,4,5 U = {\,1, 2, 3, 4, 5}\, and A= 2,3,5 A = {\,2, 3, 5}\,, then Ac= 1,4 A^c = {\,1, 4}\,.
Complement Rules
  • If UU is the universal set:
    • The complement of the universal set is the empty set: Uc=∅U^c = \emptyset.
    • The complement of the empty set is the universal set: ∅c=U\emptyset^c = U.
  • Double Complement Rule: If AA is a subset of the universal set UU, then the complement of the complement of AA is AA itself: (Ac)c=A(A^c)^c = A.

Union of Two Sets

  • Definition: Given a universal set UU and two sets AA and BB, the union of AA and BB, denoted by A∪BA \cup B, is the set of all elements in UU that are either in AA, or in BB, or in both.
    • Expressed in set builder notation: A∪B=x ∣ x∈U,x∈A or x∈BA \cup B = {x \text{ } | \text{ } x \in U, x \in A \text{ or } x \in B}.
  • Note: In set theory, when we say "AA or BB", it always means "AA, or BB, or both" (inclusive OR).
  • Venn Diagram: The entire shaded region encompassing both circles AA and BB (including their overlap) represents A∪BA \cup B.
Observations for Union
  • A∪A=AA \cup A = A
  • A∪∅=AA \cup \emptyset = A
  • A∪U=UA \cup U = U
  • A∪Ac=UA \cup A^c = U

Intersection of Two Sets

  • Definition: The intersection of two sets AA and BB, denoted by A∩BA \cap B, is the set of all elements that are in both AA and BB.
    • Expressed in set builder notation: A∩B=x ∣ x∈A and x∈BA \cap B = {x \text{ } | \text{ } x \in A \text{ and } x \in B}.
  • If an element xx fails to be in at least one of the sets, then xx is not in their intersection A∩BA \cap B.
  • Venn Diagram: The region where the circles for AA and BB overlap represents A∩BA \cap B.
Disjoint Sets
  • Definition: Two sets AA and BB are disjoint if they have no elements in common. This means their intersection is the empty set: A∩B=∅A \cap B = \emptyset.
  • Venn Diagram: For disjoint sets, the circles representing AA and BB do not overlap.
Observations for Intersection
  • A∩A=AA \cap A = A
  • A∩∅=∅A \cap \emptyset = \emptyset
  • A∩U=AA \cap U = A
  • A∩Ac=∅A \cap A^c = \emptyset

Worked Example: Set Operations

Let U= 1,2,3,4,5,6,7,8 U = {\,1, 2, 3, 4, 5, 6, 7, 8}\,, A= 1,3,5,7 A = {\,1, 3, 5, 7}\,, B= 1,2,3,4 B = {\,1, 2, 3, 4}\,.

  1. Find AcA^c.
    • AcA^c contains elements in UU but not in AA. So, Ac= 2,4,6,8 A^c = {\,2, 4, 6, 8}\,.
  2. Find A∩BA \cap B.
    • A∩BA \cap B contains elements common to both AA and BB. So, A∩B= 1,3 A \cap B = {\,1, 3}\,.
  3. Find A∪BA \cup B.
    • A∪BA \cup B contains all elements that are in AA or BB (or both). So, A∪B= 1,2,3,4,5,7 A \cup B = {\,1, 2, 3, 4, 5, 7}\,.
  4. Find Ac∪BcA^c \cup B^c.
    • First, find BcB^c: Elements in UU but not in BB. So, Bc= 5,6,7,8 B^c = {\,5, 6, 7, 8}\,.
    • Then, Ac∪BcA^c \cup B^c: All elements in AcA^c or BcB^c. So, Ac∪Bc= 2,4,5,6,7,8 A^c \cup B^c = {\,2, 4, 5, 6, 7, 8}\,.

More Set Operations: Established Rules

  • While Venn diagrams are powerful for visualization, knowing established rules (identities) regarding set operations can save time, especially on tests.
  • It is crucial to understand what these rules mean, even if memorization is not strictly required.
De Morgan's Theorem
  • This theorem provides rules for distributing the complement over unions and intersections:
    1. The complement of the intersection of two sets is the union of their complements: (A∩B)c=Ac∪Bc(A \cap B)^c = A^c \cup B^c
    2. The complement of the union of two sets is the intersection of their complements: (A∪B)c=Ac∩Bc(A \cup B)^c = A^c \cap B^c
  • Proof (Demonstration for first rule using Venn Diagram):
    • Start with A∩BA \cap B, which is the overlap of A and B.
    • (A∩B)c(A \cap B)^c is everything outside this overlap.
    • AcA^c is everything outside A. BcB^c is everything outside B.
    • Ac∪BcA^c \cup B^c is the union of everything outside A and everything outside B. This region is identical to everything outside the overlap of A and B. Thus, (A∩B)c=Ac∪Bc(A \cap B)^c = A^c \cup B^c.
    • The second statement ((A∪B)c=Ac∩Bc(A \cup B)^c = A^c \cap B^c) can be demonstrated similarly.
List of Established Rules
  1. Commutative Rules:
    • A∩B=B∩AA \cap B = B \cap A
    • A∪B=B∪AA \cup B = B \cup A
  2. Associative Rules:
    • (A∩B)∩C=A∩(B∩C)(A \cap B) \cap C = A \cap (B \cap C)
    • (A∪B)∪C=A∪(B∪C)(A \cup B) \cup C = A \cup (B \cup C)
  3. Distributive Rules:
    • A∩(B∪C)=(A∩B)∪(A∩C)A \cap (B \cup C) = (A \cap B) \cup (A \cap C)
    • A∪(B∩C)=(A∪B)∩(A∪C)A \cup (B \cap C) = (A \cup B) \cap (A \cup C)
  4. De Morgan’s Rules:
    • (A∩B)c=Ac∪Bc(A \cap B)^c = A^c \cup B^c
    • (A∪B)c=Ac∩Bc(A \cup B)^c = A^c \cap B^c

More Worked Examples

Example 1: Identify (A∩B)c∪C(A \cap B)^c \cup C on a Venn Diagram
  • Given a Venn diagram with universal set UU and sets A,B,CA, B, C.
  • Step 1: Identify A∩BA \cap B: This is the region where circles A and B overlap.
  • Step 2: Identify (A∩B)c(A \cap B)^c: This is everything outside the overlap of A and B.
  • Step 3: Identify CC: This is the entire circle C.
  • Step 4: Identify (A∩B)c∪C(A \cap B)^c \cup C: This is the union of the region outside (A∩B)(A \cap B) and the entire region of CC. It visually represents all areas except the part of (A∩B)(A \cap B) that is not in CC.
Example 2: Explain Ac∩BA^c \cap B in words
  • Given Definitions:
    • U=x ∣ x is a UConn studentU = {x \text{ } | \text{ } x \text{ is a UConn student}}
    • A=x ∣ x∈U and x is from ConnecticutA = {x \text{ } | \text{ } x \in U \text{ and } x \text{ is from Connecticut}}
    • B=x ∣ x∈U and x is a student-athleteB = {x \text{ } | \text{ } x \in U \text{ and } x \text{ is a student-athlete}}
  • Solution:
    • Set AA represents UConn students who are from Connecticut.
    • Its complement, AcA^c, represents UConn students who are not from Connecticut.
    • Set BB represents all UConn student-athletes.
    • Therefore, the intersection Ac∩BA^c \cap B is the set of UConn student-athletes who are not from Connecticut.