Set Theory with Three Sets and Cartesian Products
Understanding Three Sets: Regions and Operations
Number of Regions: When dealing with three sets (A, B, and C) within a universe, there are distinct regions possible in a Venn diagram.
- These regions can be labeled . (Note: The transcript uses for the region outside A, B, and C, and then numbers the regions within the sets). For clarity, let's consider the standard numbering where are within the sets and is the complement of their union.
Identifying Regions for Individual Sets:
- contains regions:
- contains regions:
- contains regions:
Intersection Operations (Elements in Common):
- (): regions (elements common to A and B)
- (): regions (elements common to A and C)
- (): regions (elements common to B and C)
- (): region (elements common to all three sets)
Union Operations (Elements in One OR the Other):
- (): regions (elements in A or B or both)
- (): regions (The response in the transcript was . Another suggestion was . It seems the numbering for A from the transcript starts with and A and B being suggests a region outside A and B is included. Assuming a standard interpretation where region 1 is only A, region 2 is A and B not C, etc., then the regions given for A union B would be the numbers within sets A and B).
- (): regions (all regions covered by at least one of the sets)
Combined Set Operations and Importance of Grouping Symbols:
- : regions $1$ (elements only in A, neither in B nor C).
- This can be broken down: Find (regions ), then find what is in but not in that union. If A is , then would be none if assuming the numbering from the transcript. Reinterpreting the original example's regions: if A is just region '1' (meaning only A, not B, not C), then .
- : regions
- Steps: Identify (regions ). Then, find the intersection of (regions ) with this union. The common regions are . This represents the part of A that overlaps with B or C.
- : regions
- Steps: Identify (region ). Identify (regions ). Take the union of these two results, yielding .
- Significance: Comparing (regions ) with (regions ) demonstrates that grouping symbols (parentheses) matter and change the resulting set.
- : regions $1$ (elements only in A, neither in B nor C).
Visualizing Set Operations with Colors:
- An alternative method involves using colors in a Venn Diagram.
- Example: For , if is red and is blue, is anything that is red or blue. Then, you find the intersection of A with this combined red/blue area.
Cardinality of Sets: Greatest and Least Number of Elements
Problem: Given and . Determine the greatest and least number of elements for and .
Case 1: B is a Proper Subset of A
- This is possible since and . Every element in B is also in A.
- Venn Diagram: All elements of B are nested within A.
- Region for (elements in B that are also in A): elements.
- Region for only (elements in A but not B): element (since ).
- (the size of set B, as B is entirely within A).
- (the size of set A, as B adds no new elements).
Case 2: A and B are Disjoint
- This means A and B share nothing in common (e.g., a moon rock and a dog).
- Venn Diagram: Two separate, non-overlapping circles.
- Region for only: elements.
- Region for only: elements.
- Intersection region: elements.
- . This represents the least number of elements in the intersection.
- . This represents the greatest number of elements in the union.
Case 3: A and B Share Some Elements (Intermediate Overlap)
- If they share one element: . Then .
- If they share two elements: . Then . (In general, ).
Summary of Greatest and Least Values:
- Greatest : (when B is a subset of A).
- Least : (when A and B are disjoint).
- Greatest : (when A and B are disjoint).
- Least : (when B is a subset of A).
Application Examples from Textbook (Page 69)
Example 1: Math and English Students
- = set of students taking Mathematics.
- = set of students taking English.
- Venn Diagram Regions interpretation:
- Region 'a' (or ): Students taking Mathematics but not English.
- Region 'b' (or ): Students taking Mathematics and English.
- Region 'c' (or ): Students taking English but not Mathematics.
- Region 'd' (or ): Students taking neither Mathematics nor English.
Example 2: Physics, Biology, and Math (110 Freshmen)
- freshmen surveyed initially.
- Given: , , .
- Observation: The sum of these individual counts () exceeds the total number of freshmen surveyed (), indicating that some students were counted more than once (i.e., they took more than one subject).
- Given Overlaps: (Physics and Math), (Physics and Biology), (Biology and Math).
- Given Triple Overlap: (Physics and Biology and Math).
- Filling the Venn Diagram (Working from the inside out):
- All Three (P and B and M): Place in the center region (region ).
- Physics and Math ONLY: . Since are already counted in all three, the number taking Physics and Math only (not Biology) is . Place in region .
- Biology and Math ONLY: . Since are already counted, the number taking Biology and Math only (not Physics) is . Place in region .
- Physics and Biology ONLY: . Since are already counted, the number taking Physics and Biology only (not Math) is . Place in region .
- Physics ONLY: . Those in Physics and also in other subjects are counted already in (3), (5), and (5). Total counted within P's overlaps: . So, Physics only is . Place in region .
- Biology ONLY: . Those in Biology and also in other subjects are counted already: . So, Biology only is . Place in region .
- Math ONLY: . Those in Math and also in other subjects are counted already: . So, Math only is . Place in region .
- Neither (Outside all three sets): Sum all the distinct regions: 12 ( ext{P only}) + 34 ( ext{B only}) + 35 ( ext{M only}) + 3 ( ext{P&B only}) + 5 ( ext{P&M only}) + 3 ( ext{B&M only}) + 5 ( ext{P&B&M}) = 97. The total surveyed was . So, the number taking neither subject is . Place in the region outside all three circles.
Cartesian Coordinate System and Cartesian Product
Coordinates and Ordered Pairs:
- Points in space are located using coordinates or ordered pairs, e.g., and .
- In 3D space, this extends to like .
Rene Descartes:
- French philosopher and mathematician responsible for the Cartesian coordinate system.
- Famous quote: