Skip to content

Mathematics · Ch 2 — Relations and Functions

Cartesian Product of the Reals — R×R and R×R×R

2.2

Cartesian Product of the Reals — R×R and R×R×R

Taking A=B=RA = B = \mathbb{R}, the set of real numbers, in the definition of the previous section gives one of the most important sets in the whole of mathematics.

R×R\mathbb{R} \times \mathbb{R}.

R×R={(x,y):x∈R, y∈R}.\mathbb{R} \times \mathbb{R} = \{(x, y) : x \in \mathbb{R},\ y \in \mathbb{R}\}.

Every ordered pair of real numbers (x,y)(x, y) is an element of R×R\mathbb{R} \times \mathbb{R}, and conversely every element of R×R\mathbb{R} \times \mathbb{R} is such a pair. This is precisely the set that is identified with the Cartesian (rectangular coordinate) plane: fixing a horizontal xx-axis and a vertical yy-axis through a common origin, the ordered pair (x,y)(x, y) is represented by the point obtained by moving xx units along the xx-axis and yy units parallel to the yy-axis. This correspondence — one ordered pair of reals for every point of the plane, and one point for every ordered pair — is why R×R\mathbb{R} \times \mathbb{R} is also written R2\mathbb{R}^2.

R×R×R\mathbb{R} \times \mathbb{R} \times \mathbb{R}. Extending the same idea to ordered triples,

R×R×R={(x,y,z):x,y,z∈R},\mathbb{R} \times \mathbb{R} \times \mathbb{R} = \{(x, y, z) : x, y, z \in \mathbb{R}\},

also written R3\mathbb{R}^3, is identified with three-dimensional space in exactly the same way: three mutually perpendicular axes (xx, yy, zz) through a common origin let every ordered triple of reals be represented by a unique point in space, and conversely. So (2,−1,3)∈R×R×R(2, -1, 3) \in \mathbb{R} \times \mathbb{R} \times \mathbb{R} names the point reached by moving 22 units along the xx-axis, −1-1 unit along the yy-axis and 33 units along the zz-axis — while a pair such as (0,0)(0,0), having only two components, belongs to R×R\mathbb{R}\times\mathbb{R} and not to R×R×R\mathbb{R}\times\mathbb{R}\times\mathbb{R} at all. …