Read · 1 min
We'll be a bit pedantic throughout this section/chapter, to make sure our definitions are airtight (assuming only properties of the real numbers).
A point in the plane (or simply point, when the context is clear) is an ordered pair of real numbers (called the coordinates of the point). We call the first coordinate the -coordinate, and the second the y-coordinate.
The coordinate plane (or simply plane, when the context is clear) is the set of points in the plane, i.e. the set of ordered pairs .
The -axis is the set of points with -coordinate equal to , i.e. the set of points . Similarly, the -axis is the set of points with coordinates of the form . (Although we haven't defined a line yet, you can intuitively think of the - and -axes as lines.)
We will postpone fully defining a distance metric, to maximize the intuition behind our definitions. In other words, even though we could write out a totally correct formula for the "distance", it would feel like cheating. The approach we'll take is by treating "distance" as a function of points in the plane satisfying some simple and intuitive properties, and "derive" a formula for the distance only using these properties. Here's the properties we'll start with:
- Borrowing from one-dimensional geometry, we set and for any reals .
(Intuition: along lines parallel to the - and -axes, distance corresponds to one-dimensional length.)
- As a corollary of (1), for any point in the plane.