Mathematical-Reasoning Β· Unit 18 Β· Video 3 Β· Interactive Practice
| Formula | Name | What it says |
|---|---|---|
| Product of subsets of | A region of the plane | |
| : and | Product of two intervals | A rectangle; here all four edges belong to it |
| edge is in | Edge rule | Endpoint included: solid edge; excluded: dotted edge |
| Product with , , | The same holds with and with in place of |
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.
In , the edge at belongs to the set exactly when the endpoint belongs to .
For , , , 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 , , .
Swapping the coordinates of every point reflects across onto , a different set.
Problem 1 Β· Which Edges Are Solid?
Given: the graph of in the plane. Which edges of the rectangle belong to the set (are drawn solid)?
. Each edge corresponds to one endpoint:
So exactly the right and bottom edges are solid.
Problem 2 Β· The Cut Edge
Given: , and . Which set equals ?
By the difference identity, . On the number line, keeps the numbers of that are not in :
where stays because . Hence
All four edges are solid, including the edge along which the rectangle was cut.
Problem 3 Β· Two Rectangles Overlapping
Find the set .
A pair is in both rectangles exactly when it meets all four conditions:
The conditions on combine to , so . The conditions on combine to , so . Hence
Its left and right edges are dotted and its top and bottom edges are solid.
Problem 4 Β· When There Is No Common Factor
Given: and . Which point belongs to but not to ?
consists of four unit squares, with lower-left corners , , and .
consists of only two of them, with lower-left corners and .
The point lies in the square , which is in the first set but not the second. The identities of this video share the factor on both sides; without a common factor, a union of products need not be a product.
Solved: 0 / 4