Mathematical-Reasoning Β· Unit 18 Β· Video 3 Β· Interactive Practice

Products of Intervals Are Rectangles in the Plane

IKey Formulas

FormulaNameWhat it says
AΓ—B={(x,y)∈R2∣x∈AΒ andΒ y∈B}A \times B = \{(x, y) \in \mathbb{R}^2 \mid x \in A \text{ and } y \in B\}Product of subsets of R\mathbb{R}A region of the plane RΓ—R=R2\mathbb{R} \times \mathbb{R} = \mathbb{R}^2
[1,3]Γ—[2,5][1, 3] \times [2, 5]: 1≀x≀31 \le x \le 3 and 2≀y≀52 \le y \le 5Product of two intervalsA rectangle; here all four edges belong to it
edge x=ax = a is in AΓ—Bβ€…β€ŠβŸΊβ€…β€Ša∈AA \times B \iff a \in AEdge ruleEndpoint included: solid edge; excluded: dotted edge
AΓ—(B∩C)=(AΓ—B)∩(AΓ—C)A \times (B \cap C) = (A \times B) \cap (A \times C)Product with ∩\cap, βˆͺ\cup, βˆ’-The same holds with βˆͺ\cup and with βˆ’- in place of ∩\cap

Key Insight: An edge is solid or dotted only according to whether its points belong to the set; cutting a rectangle along a line does not make the cut edge dotted.

IIVisualization 1 β€” Each Endpoint Owns One Edge

In AΓ—BA \times B, the edge at x=ax = a belongs to the set exactly when the endpoint aa belongs to AA.

A = 1, 3 B = 2, 5

IIIVisualization 2 β€” One Set, Two Descriptions

For A=[0,2]A = [0, 2], B=[2,4)B = [2, 4), C=(3,5]C = (3, 5], both sides of each identity contain exactly the same points.

πŸ’‘ Two examples do not make a proof: the next video states these identities as a theorem for any sets AA, BB, CC.

IVVisualization 3 β€” Swapping the Factors

Swapping the coordinates of every point reflects AΓ—BA \times B across y=xy = x onto BΓ—AB \times A, a different set.

VQuiz Questions

Problem 1 Β· Which Edges Are Solid?

Given: the graph of (1,4]Γ—[0,3)(1, 4] \times [0, 3) in the plane. Which edges of the rectangle belong to the set (are drawn solid)?

βœ… Correct! 4∈(1,4]4 \in (1, 4] and 0∈[0,3)0 \in [0, 3), so the right edge x=4x = 4 and the bottom edge y=0y = 0 are solid; 11 and 33 are excluded, so the left and top edges are dotted.
❌ Every edge is reversed. A square bracket includes its endpoint and a parenthesis excludes it: 1βˆ‰(1,4]1 \notin (1, 4] makes the left edge dotted, and 3βˆ‰[0,3)3 \notin [0, 3) makes the top edge dotted.
❌ Check the left edge. The left edge is the set of points with x=1x = 1, and 1βˆ‰(1,4]1 \notin (1, 4], so that edge is dotted; the right edge x=4x = 4 is solid instead.
❌ Check the top edge. The top edge is the set of points with y=3y = 3, and 3βˆ‰[0,3)3 \notin [0, 3), so that edge is dotted; the bottom edge y=0y = 0 is solid instead.
Show solution

(1,4]Γ—[0,3)={(x,y)∈R2∣1<x≀4Β andΒ 0≀y<3}(1, 4] \times [0, 3) = \{(x, y) \in \mathbb{R}^2 \mid 1 < x \le 4 \text{ and } 0 \le y < 3\}. Each edge corresponds to one endpoint:

  • left edge x=1x = 1: 1βˆ‰(1,4]1 \notin (1, 4], dotted;
  • right edge x=4x = 4: 4∈(1,4]4 \in (1, 4], solid;
  • bottom edge y=0y = 0: 0∈[0,3)0 \in [0, 3), solid;
  • top edge y=3y = 3: 3βˆ‰[0,3)3 \notin [0, 3), dotted.

So exactly the right and bottom edges are solid.

Problem 2 Β· The Cut Edge

Given: A=[1,3]A = [1, 3], B=[0,4]B = [0, 4] and C=(2,6]C = (2, 6]. Which set equals (AΓ—B)βˆ’(AΓ—C)(A \times B) - (A \times C)?

βœ… Correct! The removed rectangle AΓ—CA \times C leaves out its bottom edge y=2y = 2, because 2βˆ‰C2 \notin C, so those points stay and the cut edge is solid.
❌ The cut edge is not dotted. A point (x,2)(x, 2) with 1≀x≀31 \le x \le 3 is in AΓ—BA \times B but not in AΓ—CA \times C, since 2βˆ‰(2,6]2 \notin (2, 6], so it survives the subtraction and the edge y=2y = 2 is solid.
❌ That is the overlap. [1,3]Γ—(2,4][1, 3] \times (2, 4] is (AΓ—B)∩(AΓ—C)(A \times B) \cap (A \times C), exactly the part that the difference removes.
❌ That is the union. [1,3]Γ—[0,6][1, 3] \times [0, 6] is (AΓ—B)βˆͺ(AΓ—C)(A \times B) \cup (A \times C); the difference keeps only points of AΓ—BA \times B that are not in AΓ—CA \times C.
Show solution

By the difference identity, (AΓ—B)βˆ’(AΓ—C)=AΓ—(Bβˆ’C)(A \times B) - (A \times C) = A \times (B - C). On the number line, Bβˆ’CB - C keeps the numbers of [0,4][0, 4] that are not in (2,6](2, 6]:

Bβˆ’C=[0,4]βˆ’(2,6]=[0,2],B - C = [0, 4] - (2, 6] = [0, 2],

where 22 stays because 2βˆ‰(2,6]2 \notin (2, 6]. Hence

(AΓ—B)βˆ’(AΓ—C)=[1,3]Γ—[0,2]={(x,y)∈R2∣1≀x≀3Β andΒ 0≀y≀2}.(A \times B) - (A \times C) = [1, 3] \times [0, 2] = \{(x, y) \in \mathbb{R}^2 \mid 1 \le x \le 3 \text{ and } 0 \le y \le 2\}.

All four edges are solid, including the edge y=2y = 2 along which the rectangle AΓ—BA \times B was cut.

Problem 3 Β· Two Rectangles Overlapping

Find the set ([0,3)Γ—(1,4])∩((1,5]Γ—[2,6))\big([0, 3) \times (1, 4]\big) \cap \big((1, 5] \times [2, 6)\big).

βœ… Correct! The conditions on xx combine to 1<x<31 < x < 3 and those on yy to 2≀y≀42 \le y \le 4, so the overlap has dotted left and right edges and solid top and bottom edges.
❌ Check the xx-endpoints. 1βˆ‰(1,5]1 \notin (1, 5] and 3βˆ‰[0,3)3 \notin [0, 3), so neither x=1x = 1 nor x=3x = 3 satisfies both conditions on xx.
❌ Check the yy-endpoints. y=2y = 2 satisfies 1<y≀41 < y \le 4 and 2≀y<62 \le y < 6, and so does y=4y = 4; an edge of an overlap need not be dotted.
❌ The brackets are attached to the wrong numbers. The endpoint 33 comes only from [0,3)[0, 3), which excludes it, and the endpoint 44 comes only from (1,4](1, 4], which includes it; also 4∈[2,6)4 \in [2, 6).
Show solution

A pair (x,y)(x, y) is in both rectangles exactly when it meets all four conditions:

0≀x<3,1<y≀4,1<x≀5,2≀y<6.0 \le x < 3,\quad 1 < y \le 4,\quad 1 < x \le 5,\quad 2 \le y < 6.

The conditions on xx combine to 1<x<31 < x < 3, so x∈[0,3)∩(1,5]=(1,3)x \in [0, 3) \cap (1, 5] = (1, 3). The conditions on yy combine to 2≀y≀42 \le y \le 4, so y∈(1,4]∩[2,6)=[2,4]y \in (1, 4] \cap [2, 6) = [2, 4]. Hence

([0,3)Γ—(1,4])∩((1,5]Γ—[2,6))=(1,3)Γ—[2,4].\big([0, 3) \times (1, 4]\big) \cap \big((1, 5] \times [2, 6)\big) = (1, 3) \times [2, 4].

Its left and right edges are dotted and its top and bottom edges are solid.

Problem 4 Β· When There Is No Common Factor

Given: A=B=[0,1]A = B = [0, 1] and C=D=[2,3]C = D = [2, 3]. Which point belongs to (AβˆͺC)Γ—(BβˆͺD)(A \cup C) \times (B \cup D) but not to (AΓ—B)βˆͺ(CΓ—D)(A \times B) \cup (C \times D)?

βœ… Correct! 0.5∈AβˆͺC0.5 \in A \cup C and 2.5∈BβˆͺD2.5 \in B \cup D, but (0.5,2.5)(0.5, 2.5) is in neither square AΓ—BA \times B nor CΓ—DC \times D; the two sets are not equal.
❌ This point is in both sets. (0.5,0.5)∈AΓ—B(0.5, 0.5) \in A \times B, so it lies in the union (AΓ—B)βˆͺ(CΓ—D)(A \times B) \cup (C \times D) as well as in (AβˆͺC)Γ—(BβˆͺD)(A \cup C) \times (B \cup D).
❌ This point is in both sets. (2.5,2.5)∈CΓ—D(2.5, 2.5) \in C \times D, so it lies in the union (AΓ—B)βˆͺ(CΓ—D)(A \times B) \cup (C \times D) as well.
❌ This point is in neither set. 1.5βˆ‰[0,1]βˆͺ[2,3]1.5 \notin [0, 1] \cup [2, 3], so (1.5,1.5)βˆ‰(AβˆͺC)Γ—(BβˆͺD)(1.5, 1.5) \notin (A \cup C) \times (B \cup D).
Show solution

(AβˆͺC)Γ—(BβˆͺD)=([0,1]βˆͺ[2,3])Γ—([0,1]βˆͺ[2,3])(A \cup C) \times (B \cup D) = \big([0, 1] \cup [2, 3]\big) \times \big([0, 1] \cup [2, 3]\big) consists of four unit squares, with lower-left corners (0,0)(0, 0), (2,0)(2, 0), (0,2)(0, 2) and (2,2)(2, 2).

(AΓ—B)βˆͺ(CΓ—D)=[0,1]2βˆͺ[2,3]2(A \times B) \cup (C \times D) = [0, 1]^2 \cup [2, 3]^2 consists of only two of them, with lower-left corners (0,0)(0, 0) and (2,2)(2, 2).

The point (0.5,2.5)(0.5, 2.5) lies in the square [0,1]Γ—[2,3][0, 1] \times [2, 3], which is in the first set but not the second. The identities of this video share the factor AA on both sides; without a common factor, a union of products need not be a product.

Solved: 0 / 4