Ordered N-Tuples and Cartesian Products
Ordered Pairs
When Order Matters
Imagine giving someone directions. If you say, “Go one block east, then two blocks north,” they’ll end up in a specific spot. But if you say, “Go two blocks east, then one block north,” they’ll arrive somewhere completely different. The instructions are the same, but the order changes everything.
In mathematics, we have a way to handle situations where sequence is critical. We use something called an ordered pair.
Ordered Pair
noun
A pair of elements, say a and b, where one is designated as the first element and the other as the second. It is written as (a, b).
In the ordered pair , is called the first component and is the second component. The most important rule for ordered pairs is about equality:
Two ordered pairs and are equal only if their corresponding components are equal. That means must equal , and must equal .
This rule tells us that the ordered pair is different from the ordered pair , because . The order locks the numbers into their positions.
As you can see, changing the order of the numbers in the pair changes the point's location on the graph entirely.
Ordered Pairs vs. Sets
This focus on order makes ordered pairs very different from sets. In a set, order doesn't matter at all. A set is just a collection of unique elements.
The set {1, 2} is exactly the same as the set {2, 1}. They contain the same two elements, and that's all that matters. But as we just saw, the ordered pair is not the same as .
Another difference is that a set cannot contain duplicate elements. The set {1, 1} is just {1}. An ordered pair, however, can have identical components, like , which is a perfectly valid and distinct point on a graph.
| Feature | Ordered Pair | Set |
|---|---|---|
| Order | Matters | Does not matter |
| Notation | (a, b) | {a, b} |
| Equality | (1, 2) ≠ (2, 1) | {1, 2} = {2, 1} |
| Duplicates | Allowed, (1, 1) is valid | Not allowed, {1, 1} is {1} |
Ordered pairs are the building blocks for many concepts in mathematics. They are used to define coordinates in geometry, represent relationships between numbers, and form the foundation for functions, which are rules that assign each input to exactly one output.