Ordered Pair
Geometry & MeasurementAn ordered pair is a set of two numbers written in the form (x, y) that gives the exact location of a point on the coordinate plane.
Definition
An ordered pair is two numbers inside parentheses, separated by a comma, like $(3, 5)$. The first number tells you how far to go left or right; the second number tells you how far to go up or down.
Example
To plot $(4, 2)$: start at the origin, move $4$ spaces right, then $2$ spaces up. To plot $(-3, 5)$: move $3$ spaces left, then $5$ spaces up. The ORDER matters: $(4, 2)$ and $(2, 4)$ are different points.
Key Insight
The word "ordered" is key. $(3, 5)$ and $(5, 3)$ are different points on the grid. The first number is always the x-coordinate (left-right) and the second is always the y-coordinate (up-down).
Definition
An ordered pair $(x, y)$ in the Cartesian plane specifies a unique point: $x$ is the horizontal displacement from the origin along the x-axis, and $y$ is the vertical displacement along the y-axis. The pair is ordered because swapping the values generally produces a different point.
Example
The point $(-5, 3)$ is $5$ units left and $3$ units up from the origin, placing it in Quadrant II. The point $(3, -5)$ is $3$ units right and $5$ units down, placing it in Quadrant IV. These are distinct locations.
Key Insight
Ordered pairs encode the idea that position requires two independent measurements. This extends to ordered triples $(x, y, z)$ for 3-D space and n-tuples for higher-dimensional spaces.
Definition
An ordered pair $(a, b)$ is formally defined using the Kuratowski definition as the set $\{\{a\}, \{a, b\}\}$, ensuring that $(a, b) = (c, d)$ if and only if $a = c$ and $b = d$. This set-theoretic definition extends to n-tuples and is the foundation of the Cartesian product $A \times B = \{(a, b) : a \in A, b \in B\}$.
Example
The Cartesian product $\mathbb{R} \times \mathbb{R} = \mathbb{R}^2$ is the set of all ordered pairs of real numbers, forming the coordinate plane. Relations and functions are defined as subsets of Cartesian products, so ordered pairs are the atoms of all of set-theoretic mathematics.
Key Insight
The formalization of ordered pairs by Hausdorff and Kuratowski in the early 20th century was crucial for building mathematics on a rigorous set-theoretic foundation, showing that even seemingly primitive notions can be reduced to pure set theory.