Set theory: Cartesian products

1. Formula
   Observation

   the uppercase letter A appearing in the formula $A \times B$ = {(x, y) | $x \in A$, $y \in B$}

A

any set used as the first set in the definition of Cartesian product

1. Formula
   Observation

   the uppercase letter B appearing in the formula $A \times B$ = {(x, y) | $x \in A$, $y \in B$}

B

any set used as the second set in the definition of Cartesian product

1. Formula
   Observation

   the uppercase letter C appearing in the formula (A ∪ B) × $C = (A \times C)$ ∪ ($B \times C$)

C

any set used to demonstrate the distributive law of Cartesian product over union and intersection

1. Formula
   Observation

   the uppercase letter D appearing in the formula ($A \times B$) ∩ ($C \times D$) = (A ∩ C) × (B ∩ D)

D

any set used to demonstrate the intersection property of two Cartesian products

1. Formula
   Observation

   the lowercase letter x appearing in the formula $A \times B$ = {(x, y) | $x \in A$, $y \in B$}

x

the first element of an ordered pair, drawn from set A

1. Formula
   Observation

   the lowercase letter y appearing in the formula $A \times B$ = {(x, y) | $x \in A$, $y \in B$}

y

the second element of an ordered pair, drawn from set B

1. Formula
   Observation

   The multiplication sign times appears multiple times in the formula, such as A times B

×

Cartesian product operator

1. Formula
   Observation

   The formula A times B equals the set of all ordered pairs x comma y such that x is an element of A and y is an element of B uses curly braces and a vertical bar to denote set builder notation

{ ... | ... }

Set-builder notation, representing the set of all elements satisfying the condition after the vertical bar

1. Formula
   Observation

   The formula A times B equals the set of all ordered pairs x comma y such that x is an element of A and y is an element of B contains the element symbol is an element of

∈

Element-of relation, indicating that an element is a member of a set

1. Formula
   Observation

   The formula open parenthesis A union B close parenthesis times C equals open parenthesis A times C close parenthesis union open parenthesis B times C close parenthesis contains the union symbol union

∪

Set union operator

1. Formula
   Observation

   The formula open parenthesis A intersection B close parenthesis times C equals open parenthesis A times C close parenthesis intersection open parenthesis B times C close parenthesis contains the intersection symbol intersection

∩

Set intersection operator

1. Caption evidence
   Observation

   Text displayed at the top of the screen reads 'Cartesian product $A\times B$, the set of all ordered pairs'

2. Formula
   Observation

   The formula A times B equals the set of all ordered pairs x comma y such that x is an element of A and y is an element of B appears centered on screen

For any two sets A and B, their Cartesian product $A \times B$ is the set of all possible ordered pairs (x, y), where the first element x must belong to set A and the second element y must belong to set B.

1. A and B are arbitrary sets

1. Formula
   Observation

   The screen displays the formula (1) (A ∪ B) × $C = (A \times C)$ ∪ ($B \times C$)

2. Animation
   Observation

   The animation below shows the red rectangle $A\times C$ and the green rectangle $B\times C$ joining together to form the large rectangle representing (A∪B)×C

The Cartesian product operation distributes over the union operation from the left. That is, the Cartesian product of a union with another set equals the union of the Cartesian products of each set in the union with the third set.

1. A, B, and C are arbitrary sets

1. Definition of Cartesian product

1. Formula
   Observation

   The screen displays the formula (2) (A ∩ B) × $C = (A \times C)$ ∩ ($B \times C$)

The Cartesian product operation distributes over the intersection operation from the left. That is, the Cartesian product of an intersection with another set equals the intersection of the Cartesian products of each set in the intersection with the third set.

1. A, B, and C are arbitrary sets

1. Definition of Cartesian product

1. Formula
   Observation

   The screen displays the formula (3) A × (B ∪ C) = ($A \times B$) ∪ ($A \times C$)

The Cartesian product operation is right-distributive over the union operation: the Cartesian product of a set with a union equals the union of the Cartesian products of that set with each set in the union.

1. A, B, and C are arbitrary sets

1. Definition of Cartesian product

1. Formula
   Observation

   The screen displays the formula (4) A × (B ∩ C) = ($A \times B$) ∩ ($A \times C$)

The Cartesian product operation is right-distributive over the intersection operation: the Cartesian product of a set with an intersection equals the intersection of the Cartesian products of that set with each set in the intersection.

1. A, B, and C are arbitrary sets

1. Definition of Cartesian product

1. Formula
   Observation

   The screen displays the formula ($A \times B$) ∩ ($C \times D$) = (A ∩ C) × (B ∩ D)

2. Animation
   Observation

   The animation below highlights the overlapping region of the red rectangle $A\times B$ and the green rectangle $C\times D$ in purple, labeled (A∩C)×(B∩D)

The intersection of two Cartesian products equals the Cartesian product formed by the intersections of their respective component sets.

1. A, B, C, and D are arbitrary sets

1. Definition of Cartesian product

1. Formula
   Observation

   The screen displays "If $A = {1, 2, 3}$, $B = {5, 6}$, then the Cartesian product $A \times B$ is" followed by the result $A \times B = {(1, 5), (1, 6), (2, 5), (2, 6), (3, 5), (3, 6)}$

2. Animation
   Observation

   An animation below first shows three blue dots representing set A and two yellow dots representing set B, then generates six purple dots labeled with these six ordered pairs

1. Expression

   $$A = \{1, 2, 3\}, B = \{5, 6\}$$
   Explanation

   Given specific sets A and B

   Justification

   The premise directly provided in the video

   Shown in the video
2. Expression

   $$A \times B = \{(1, 5), (1, 6), (2, 5), (2, 6), (3, 5), (3, 6)\}$$
   Explanation

   According to the definition of Cartesian product, pair each element of A with each element of B and list all ordered pairs

   Justification

   Applying the definition from knowledge item ki-cartesian-product-def

   Shown in the video

Illustrates how to enumerate all elements in the Cartesian product of finite sets using concrete values.

1. Animation
   Observation

   A large rectangle appears below the screen: its left side is labeled height C; its bottom side is divided into two segments labeled A and B; the interior of the rectangle is split into left and right parts labeled $A \times C$ and $B \times C$; a large brace at the top labels the full width as A ∪ B; finally, a yellow arrow points from formula (1) to this diagram

1. Expression

   $$\text{height of the large rectangle} = C, \text{total length of the base} = A \cup B$$
   Explanation

   Treating sets as lengths of line segments and Cartesian products as areas of rectangles: set C on the left corresponds to the rectangle’s height, and the union A ∪ B along the bottom corresponds to the rectangle’s total width

   Justification

   The geometric analogy method used in the video

   Shown in the video
2. Expression

   $$\text{total area} = (A \cup B) \times C$$
   Explanation

   The area of the entire large rectangle represents the Cartesian product of the union A ∪ B with set C

   Justification

   A direct inference based on the geometric analogy

   Derived from the video
3. Expression

   $$\text{area of the left small rectangle} = A \times C, \text{area of the right small rectangle} = B \times C$$
   Explanation

   The large rectangle is vertically divided into two parts: the left part has width A and the right part has width B, while both parts have height C

   Justification

   A direct inference based on the geometric analogy

   Shown in the video
4. Expression

   $$(A \cup B) \times C = (A \times C) \cup (B \times C)$$
   Explanation

   The total area of the large rectangle equals the sum of the areas of the two smaller rectangles, which visually verifies the distributive law formula

   Justification

   Additivity of area corresponds to the union operation on sets

   Derived from the video

By partitioning and adding rectangular areas, the left distributivity of the Cartesian product over union is intuitively explained.

1. Animation
   Observation

   Two overlapping rectangles appear at the bottom of the screen. The red rectangle has width A and height B, labeled $A\times B$. The green rectangle has width C and height D, labeled $C\times D$. Their overlapping purple region has width labeled A∩C and height labeled B∩D. A yellow dashed arrow points from the formula to this purple region

1. Expression

   $$\text{red rectangle} = A \times B, \text{green rectangle} = C \times D$$
   Explanation

   Two rectangles of different positions and sizes represent two Cartesian products respectively

   Justification

   The geometric analogy method used in the video

   Shown in the video
2. Expression

   $$\text{purple overlapping region} = (A \times B) \cap (C \times D)$$
   Explanation

   The common part (intersection) of two rectangles is, geometrically, the region where they overlap.

   Justification

   Geometric meaning of set intersection

   Derived from the video
3. Expression

   $$\text{width of the purple region} = A \cap C, \text{height of the purple region} = B \cap D$$
   Explanation

   The horizontal extent of the overlapping region equals the intersection of the horizontal extents of the two rectangles, and the vertical extent equals the intersection of the vertical extents of the two rectangles.

   Justification

   A direct inference based on visual inspection of the figure

   Shown in the video
4. Expression

   $$(A \times B) \cap (C \times D) = (A \cap C) \times (B \cap D)$$
   Explanation

   The overlapping region itself is also a rectangle, whose dimensions are determined by the intersections of the corresponding sides, providing an intuitive verification of the property formula.

   Justification

   A rectangle is uniquely determined by its width and height.

   Derived from the video

Using the overlapping region of two rectangles gives an intuitive explanation that the intersection of two Cartesian products equals the Cartesian product of the intersections of the corresponding component sets.

1. Formula
   Observation

   The screen displays "If $A = {1, 2, 3}$, $B = {5, 6}$, then the set $A \times B$ is" followed by the result $A \times B = {(1, 5), (1, 6), (2, 5), (2, 6), (3, 5), (3, 6)}$

Given sets $A = {1, 2, 3}$ and $B = {5, 6}$, find $A \times B$.

1. Set A equals the set consisting of elements 1, 2, and 3.

2. Set B equals the set consisting of elements 5 and 6.

Find all ordered pairs contained in the Cartesian product $A \times B$.

1. Expression

   $$\text{take} x \in A, y \in B$$
   Explanation

   According to the definition of Cartesian product, we must iterate over every element of A as the first component of an ordered pair and every element of B as the second component.

   Justification

   Apply knowledge item ki-cartesian-product-def.

   Derived from the video
2. Expression

   $$\{(1, 5), (1, 6), (2, 5), (2, 6), (3, 5), (3, 6)\}$$
   Explanation

   List all combinations systematically: when $x = 1$, y can be 5 or 6; when $x = 2$, y can be 5 or 6; when $x = 3$, y can be 5 or 6.

   Justification

   Exhaustive enumeration.

   Shown in the video

The Cartesian product of set A and set B equals the set consisting of the following ordered pairs: 1 and 5, 1 and 6, 2 and 5, 2 and 6, 3 and 5, 3 and 6.

The result contains $3 \times 2 = 6$ ordered pairs, matching the product of the numbers of elements in sets A and B, and each ordered pair has its first element in A and its second element in B.

1. Animation
   Observation

   At the bottom of the screen, three blue dots appear representing the elements of set A, and two yellow dots represent the elements of set B. Then six purple dots appear, arranged in a grid with 3 columns and 2 rows; each purple dot is labeled with an ordered pair, such as (1,5), (2,6), etc.

1. Blue dots representing elements of set A.

2. Yellow dots representing elements of set B.

3. Purple dots representing elements of the Cartesian product.

4. ordered pair label

1. From individual points A and B, a purple grid of points is generated, each formed by pairing an element from A with an element from B.

1. The horizontal coordinate of each purple point corresponds to an element from A, and the vertical coordinate corresponds to an element from B.

Converting the abstract set of ordered pairs into a grid of points on the two-dimensional plane gives an intuitive visualization of the Cartesian product: each point is uniquely determined by a 'horizontal coordinate' from A and a 'vertical coordinate' from B.

1. Animation
   Observation

   A large horizontal rectangle with a left-facing brace labeled C for its height. At the bottom, two adjacent braces label widths A (in red) and B (in green). A vertical line divides the rectangle’s interior into left and right subrectangles, labeled $A\times C$ and $B\times C$ respectively. A large brace spans the entire top edge, labeled A∪B.

1. the large rectangle representing (A∪B)×C

2. the left subrectangle representing $A\times C$

3. the right subrectangle representing $B\times C$

4. braces labeling sets A, B, C, and A∪B

1. The diagram is built step by step: first the outer frame is drawn, then interior colors and labels are added, and finally arrows connect to the algebraic formula above.

1. The height of all rectangles represents set C

2. The width of the rectangle represents the corresponding set (A, B, or A∪B).

Using the rectangular area model, the union operation on sets is analogized to adding lengths of line segments, and the Cartesian product is analogized to rectangular area, thereby visually demonstrating that the area of (A∪B)×C equals the sum of the areas of $A\times C$ and $B\times C$.

1. Animation
   Observation

   Two overlapping rectangles. The red rectangle in the lower left has a bottom brace labeled A for its width and a left brace labeled B for its height, with $A\times B$ marked inside. The green rectangle in the upper right has a bottom brace labeled C for its width and a right brace labeled D for its height, with $C\times D$ marked inside. Their overlapping purple region has a top brace labeled A∩C for its width and a left brace labeled B∩D for its height.

1. The red rectangle representing $A\times B$

2. The green rectangle representing $C\times D$

3. The purple overlapping rectangle representing ($A\times B$)∩($C\times D$)

4. Braces labeling the sets A, B, C, D, A∩C, and B∩D

1. Two rectangles are drawn, and then their overlapping region is specially highlighted in purple and labeled with its corresponding set operation.

1. The width and height of the rectangle represent the two sets forming the Cartesian product.

By overlapping two rectangles in the plane, it is visually demonstrated that the intersection of two Cartesian products remains a rectangle (i.e., a new Cartesian product), whose side lengths are the intersections of the corresponding side lengths (sets) of the original rectangles.

1. Caption evidence
   Observation

   The screen displays yellow text: "This diagram also shows that replacing intersection with union does not yield a similar valid theorem."

Students might incorrectly analogize and believe that ($A \times B$) ∪ ($C \times D$) = (A ∪ C) × (B ∪ D) also holds.

The video explicitly states that the rectangular overlap diagram shown earlier (for intersection) illustrates that a similar theorem does not hold if intersection is replaced by union: the union of two rectangles is generally not a regular rectangle, and thus cannot be expressed as the Cartesian product of two sets.

1. Formula
   Observation

   After presenting the definition of Cartesian product, four distributive law formulas are listed immediately.

Understanding the definition of Cartesian product is the foundation for learning and applying its various operational properties, such as distributive laws.

1. Formula
   Observation

   After listing the four distributive laws, the screen switches to the new formula ($A \times B$) ∩ ($C \times D$) = (A ∩ C) × (B ∩ D)

Both formulas involve intersection and Cartesian product, but their structures differ: the former is a distributive law where intersection distributes over Cartesian product from the outside, while the latter expresses the property of taking intersection between two Cartesian products themselves. The video distinguishes them using different geometric models.

1. Caption evidence
   Observation

   At the beginning, the video directly gives both the verbal and formula definitions of Cartesian product.

1. Definition of Cartesian product

1. Formula
   Observation

   The video gives a concrete computational example with $A = {1, 2, 3}$ and $B = {5, 6}$.

1. Computing the Cartesian product of finite integer sets
2. Visualization of the Cartesian product of discrete points.

1. Formula
   Observation

   The video lists the left and right distributive laws of Cartesian product over union and intersection, and provides an intuitive explanation using rectangular areas.

1. Left distributive law of Cartesian product over union
2. Left distributive law of Cartesian product over intersection
3. Right distributivity of Cartesian product over union
4. Right distributivity of Cartesian product over intersection
5. rectangular area model of the distributive law for unions

1. Formula
   Observation

   The video presents the formula ($A \times B$) ∩ ($C \times D$) = (A ∩ C) × (B ∩ D) and explains it using overlapping rectangles.

1. Intersection property of two Cartesian products
2. Rectangular overlap model for Cartesian product intersection

1. Caption evidence
   Observation

   Text on screen at the end of the video points out that union does not satisfy a similar property.

1. mistakenly assuming that union has a similar intersection-like property with respect to Cartesian product