Venn Diagrams and Set Operations
2.3 Venn Diagrams
Introduction to Venn Diagrams
Purpose: Venn diagrams are visual tools used to solve set theory problems by illustrating all possible logical relations between a finite collection of different sets.
Applications: They help answer questions such as the number of elements in A \text{ and } B, in A \text{ only}, or in neither set.
Visualized Operations: Venn diagrams can visualize four of the five set operations covered: union, intersection, complement, and relative complement. The Cartesian product is not typically visualized with standard Venn diagrams, but rather with an x-y coordinate plane for ordered pairs.
Drawing a Venn Diagram:
First, draw a box representing the universal set (U), which contains all elements relevant to the problem.
Next, draw a circle for each set in the problem. Most problems involve two, three, or occasionally four sets. Beyond four sets, diagrams become time-consuming due to the rapidly increasing number of regions.
Origin: John Venn, a 19th-century British mathematician, originated these diagrams.
Number of Regions: The number of distinct regions created by n overlapping circles in a standard Venn diagram follows the formula \sum_{}^{} 2^n. For example:
With three circles, there are 2^3 = 8 regions.
With four circles, there would be 2^4 = 16 regions.
Visualizing Set Operations with Venn Diagrams
Union (A \cup B)
Definition: The union of two sets, A \cup B, includes all elements that are in set A, or in set B, or in both (inclusive OR).
Visualization: In a Venn diagram, the union represents everything inside of the relevant circles.
Shading Examples:
Two-set Venn Diagram (A \cup B): The universal box contains four distinct regions. The union shades the three regions that are inside either circle A, circle B, or both. This includes the
A only,B only, andA intersection Bparts.Three-set Venn Diagram (A \cup B \cup C): The diagram creates eight distinct regions (seven inside the circles, one outside). Shading A \cup B \cup C involves shading all seven regions within the circles.
Two-set Union in a Three-set Picture (A \cup C): From the eight regions, six regions would be shaded (all parts of circle A and circle C). It's permissible to shade regions also belonging to set B if the question does not explicitly exclude B. For instance, regions in A \cap B or C \cap B would be included.
Intersection (A \cap B)
Definition: The intersection of two sets, A \cap B, refers to all elements that sets A and B have in common.
Visualization: In a Venn diagram, the intersection represents the area where all relevant circles overlap.
Real-world Analogy: Similar to a street intersection, it's the specific area common to both.
Shading Examples:
Two-set Venn Diagram (A \cap B): The intersection is the single region where circles A and B overlap (often resembling a football shape).
Three-set Venn Diagram (A \cap B \cap C): The intersection of all three sets is the single central region where all three circles overlap.
Two-set Intersection in a Three-set Picture (A \cap C): This includes all regions where circle A and circle C overlap. This would be two regions: the region where only A and C overlap, and the central region where A, B, and C all overlap.
Disjoint Sets: If sets are disjoint, they have no intersection (A \cap B = \emptyset). In a Venn diagram, this is represented by circles that do not touch. In such a case, there is nothing to shade for the intersection.
Non-standard Venns: Disjoint sets are an example of non-standard Venn diagrams. These diagrams have fewer than the typical 2^n regions (e.g., two disjoint circles have three regions instead of four).
Example: For A \cap B = \emptyset and three sets A, B, C, one might draw C in the center, flanked by A and B such that A and B do not touch each other but both might touch C. This atypical arrangement also results in fewer regions (e.g., six instead of eight).
Complements (A')
Definition: The complement of a set A (A' or A^c) refers to all elements in the universal set (U) that are not in set A.
Visualization: If the set is the area inside its region, its complement is the area outside that region but within the universal box.
Shading Examples:
One-set Venn Diagram (A'): With a single circle A inside the universal box, A' is the area outside circle A but inside the box.
Two-set Venn Diagram ((A \cup B)'): First, visualize A \cup B (all regions inside the circles). Its complement is the single region outside both circles but within the box.
Two-set Venn Diagram ((A \cap B)'): First, visualize A \cap B (the overlapping region). Its complement includes all other three regions:
A only,B only, andneither A nor B.
Relative Complements (A - B)
Definition: The relative complement of set B with respect to set A (A - B) refers to all elements that are in set A but not in set B.
Visualization: In a Venn diagram, it represents the area that is simultaneously inside one region and outside another region.
Real-world Analogy: A city (e.g., Lawrence) inside a county (Marion County) but outside another city (Indianapolis).
Shading Examples:
Two-set Venn Diagram (A - B): This shades the crescent-shaped region that is part of circle A but does not overlap with circle B. This region is also commonly referred to as
A only.Two-set Venn Diagram (B - A): This shades the crescent-shaped region that is part of circle B but does not overlap with circle A. This region is also commonly referred to as
B only. Relative complement is not commutative (A - B \ne B - A generally).Relative Complement in a Three-set Picture (A - B): This would shade all regions that are exclusively within circle A's boundaries, excluding any overlap with circle B. In a standard three-set Venn, these would be two specific regions: the part of A that is only in A (and perhaps C) but not B.
Solving Cardinality Problems with Venn Diagrams
General Approach: When given cardinalities, drawing a Venn diagram is often the easiest way to solve problems, especially those with multiple parts. Always assume a standard Venn unless indicated otherwise (e.g., disjoint sets).
Steps for Cardinality Problems:
Draw the universal set box and labeled circles.
Always place the number for the innermost intersection first. For a three-set Venn, this is A \cap B \cap C. For two sets, A \cap B.
Work outwards: use the given cardinalities and previously placed numbers to deduce the numbers for the