Mathematical Writing - Vivaldi Franco 2014
Sets of Numbers
Essential Dictionary I
The ’open face’ symbols , , were introduced in Sect. 2.1.1 to represent the natural numbers, the integers, and the rationals, respectively. Likewise, we denote by the set of real numbers (its symbolic definition is left as Exercise 2.13), while the set of complex numbers is denoted by . The set may be written as
The symbol is called the imaginary unit, while and are, respectively, the real part and the imaginary part of the complex number . The sets and are represented geometrically as the real line and the complex plane (or Argand plane), respectively. A plot of complex numbers in the Argand plane is called an Argand diagram. We have the chain of proper inclusions
We now construct new sets from the sets of numbers introduced above. An interval is a subset of of the type
where are real numbers, with . This interval is closed, that is, it contains its end points. (A point is sometimes regarded as a degenerate closed interval, by allowing in the definition.) We also have open intervals
as well as half-open intervals
The notational clash between an open interval and an ordered pair is unfortunate but unavoidable, since both notations are firmly established. For (half) open intervals, there is the following alternative—and very logical—notation
which, for some reason, is not so common.
The interval with end-points and is the (open, closed, half-open) unit interval. A semi-infinite interval
is called a ray. The rays consisting of all positive real or rational numbers are particularly important, and have a dedicated notation
(2.12)
whereas is just .
Some authors extend the meaning of interval to include also rays and lines, and use expressions such as
(2.13)
As infinity does not belong to the set of real numbers, the notation is incorrect.
A variant of (2.12) is used to denote non-zero real and rational numbers:
(2.14)
This notation is common but not universally recognised; before using these symbols, a clarifying comment may be appropriate (see Sect. 6.2).
The set of all ordered pairs of real numbers is called the cartesian plane, which is the cartesian product of the real line with itself. If , then the first component is called the abscissa and the second component the ordinate.
The set , the collection of points of the plane having rational coordinates, is called the set of rational points in . The set is called the unit square. In we have the unit cube , and for we have the unit hypercube . The following subsets of the cartesian plane are related to the geometrical figure of the circle:
(2.15)
Thus the closed unit disc is the union of the open unit disc and the unit circle. The (unit) circle is denoted by the symbol .
For , the -dimensional unit sphere is defined as follows:
This Zermelo definition, to be compared with the Definition (2.15) of the unit circle , employs a combination of ordinary and raised ellipses. For , we have .