Number line

Last updated July 23, 2024

The order of the natural numbers shown on the number line

In elementary mathematics, a number line is a picture of a straight line that serves as spatial representation of numbers, usually graduated like a ruler with a particular origin point representing the number zero and evenly spaced marks in either direction representing integers, imagined to extend infinitely. The metaphorical association between numbers and points on the line links arithmetical operations on numbers to geometric relations between points, and provides a conceptual scaffold for learning mathematics.

The number line is initially used to teach addition and subtraction of integers, especially involving negative numbers. As students progress, more kinds of numbers can be placed on the line, including fractions, decimal fractions, square roots, and transcendental numbers such as the circle constant $π$ : Every point of the number line corresponds to a unique real number, and every real number to a unique point.^[1]

Using a number line, numerical concepts can be interpreted geometrically and geometric concepts interpreted numerically. An inequality between numbers corresponds to a left-or-right order relation between points. Numerical intervals are associated to geometrical segments of the line. Operations and functions on numbers correspond to geometric transformations of the line. Wrapping the line into a circle relates modular arithmetic to the geometric composition of angles. Marking the line with logarithmically spaced graduations associates multiplication and division with geometric translations, the principle underlying the slide rule. In analytic geometry, coordinate axes are number lines which associate points in a geometric space with tuples of numbers, so geometric shapes can be described using numerical equations and numerical functions can be graphed.

In advanced mathematics, the number line is usually called the real line or real number line, and is a geometric line isomorphic to the set of real numbers, with which it is often conflated; both the real numbers and the real line are commonly denoted $R$ or ⁠ $\mathbb {R}$ ⁠. The real line is a one-dimensional real coordinate space, so is sometimes denoted $R 1$ when comparing it to higher-dimensional spaces. The real line is a one-dimensional Euclidean space using the difference between numbers to define the distance between points on the line. It can also be thought of as a vector space, a metric space, a topological space, a measure space, or a linear continuum. The real line can be embedded in the complex plane, used as a two-dimensional geometric representation of the complex numbers.

History

The first mention of the number line used for operation purposes is found in John Wallis's Treatise of algebra.^[2] In his treatise, Wallis describes addition and subtraction on a number line in terms of moving forward and backward, under the metaphor of a person walking.

An earlier depiction without mention to operations, though, is found in John Napier's A description of the admirable table of logarithmes, which shows values 1 through 12 lined up from left to right.^[3]

Contrary to popular belief, René Descartes's original La Géométrie does not feature a number line, defined as we use it today, though it does use a coordinate system. In particular, Descartes's work does not contain specific numbers mapped onto lines, only abstract quantities.^[4]

Drawing the number line

A number line is usually represented as being horizontal, but in a Cartesian coordinate plane the vertical axis (y-axis) is also a number line.^[5] According to one convention, positive numbers always lie on the right side of zero, negative numbers always lie on the left side of zero, and arrowheads on both ends of the line are meant to suggest that the line continues indefinitely in the positive and negative directions. Another convention uses only one arrowhead which indicates the direction in which numbers grow.^[5] The line continues indefinitely in the positive and negative directions according to the rules of geometry which define a line without endpoints as an infinite line, a line with one endpoint as a ray, and a line with two endpoints as a line segment.

Comparing numbers

If a particular number is farther to the right on the number line than is another number, then the first number is greater than the second (equivalently, the second is less than the first). The distance between them is the magnitude of their difference—that is, it measures the first number minus the second one, or equivalently the absolute value of the second number minus the first one. Taking this difference is the process of subtraction.

Thus, for example, the length of a line segment between 0 and some other number represents the magnitude of the latter number.

Two numbers can be added by "picking up" the length from 0 to one of the numbers, and putting it down again with the end that was 0 placed on top of the other number.

Two numbers can be multiplied as in this example: To multiply 5 × 3, note that this is the same as 5 + 5 + 5, so pick up the length from 0 to 5 and place it to the right of 5, and then pick up that length again and place it to the right of the previous result. This gives a result that is 3 combined lengths of 5 each; since the process ends at 15, we find that 5 × 3 = 15.

Division can be performed as in the following example: To divide 6 by 2—that is, to find out how many times 2 goes into 6—note that the length from 0 to 2 lies at the beginning of the length from 0 to 6; pick up the former length and put it down again to the right of its original position, with the end formerly at 0 now placed at 2, and then move the length to the right of its latest position again. This puts the right end of the length 2 at the right end of the length from 0 to 6. Since three lengths of 2 filled the length 6, 2 goes into 6 three times (that is, 6 ÷ 2 = 3).

The ordering on the number line: Greater elements are in direction of the arrow.
The difference 3-2=3+(-2) on the real number line.
The addition 1+2 on the real number line
The absolute difference.
The multiplication 2 times 1.5
The division 3÷2 on the real number line

Portions of the number line

The closed interval

[a,b]

.

The section of the number line between two numbers is called an interval. If the section includes both numbers it is said to be a closed interval, while if it excludes both numbers it is called an open interval. If it includes one of the numbers but not the other one, it is called a half-open interval.

All the points extending forever in one direction from a particular point are together known as a ray. If the ray includes the particular point, it is a closed ray; otherwise it is an open ray.

Extensions of the concept

Logarithmic scale

On the number line, the distance between two points is the unit length if and only if the difference of the represented numbers equals 1. Other choices are possible.

One of the most common choices is the logarithmic scale, which is a representation of the positive numbers on a line, such that the distance of two points is the unit length, if the ratio of the represented numbers has a fixed value, typically 10. In such a logarithmic scale, the origin represents 1; one inch to the right, one has 10, one inch to the right of 10 one has 10×10 = 100, then 10×100 = 1000 = 10³, then 10×1000 = 10,000 = 10⁴, etc. Similarly, one inch to the left of 1, one has 1/10 = 10^–1, then 1/100 = 10^–2, etc.

This approach is useful, when one wants to represent, on the same figure, values with very different order of magnitude. For example, one requires a logarithmic scale for representing simultaneously the size of the different bodies that exist in the Universe, typically, a photon, an electron, an atom, a molecule, a human, the Earth, the Solar System, a galaxy, and the visible Universe.

Logarithmic scales are used in slide rules for multiplying or dividing numbers by adding or subtracting lengths on logarithmic scales.

The two logarithmic scales of a slide rule

Combining number lines

A line drawn through the origin at right angles to the real number line can be used to represent the imaginary numbers. This line, called imaginary line, extends the number line to a complex number plane, with points representing complex numbers.

Alternatively, one real number line can be drawn horizontally to denote possible values of one real number, commonly called x, and another real number line can be drawn vertically to denote possible values of another real number, commonly called y. Together these lines form what is known as a Cartesian coordinate system, and any point in the plane represents the value of a pair of real numbers. Further, the Cartesian coordinate system can itself be extended by visualizing a third number line "coming out of the screen (or page)", measuring a third variable called z. Positive numbers are closer to the viewer's eyes than the screen is, while negative numbers are "behind the screen"; larger numbers are farther from the screen. Then any point in the three-dimensional space that we live in represents the values of a trio of real numbers.

Advanced concepts

As a linear continuum

The real line is a linear continuum under the standard $<$ ordering. Specifically, the real line is linearly ordered by $<$ , and this ordering is dense and has the least-upper-bound property.

In addition to the above properties, the real line has no maximum or minimum element. It also has a countable dense subset, namely the set of rational numbers. It is a theorem that any linear continuum with a countable dense subset and no maximum or minimum element is order-isomorphic to the real line.

The real line also satisfies the countable chain condition: every collection of mutually disjoint, nonempty open intervals in $R$ is countable. In order theory, the famous Suslin problem asks whether every linear continuum satisfying the countable chain condition that has no maximum or minimum element is necessarily order-isomorphic to $R$ . This statement has been shown to be independent of the standard axiomatic system of set theory known as ZFC.

As a metric space

An

ε

-ball around a number

a

The real line forms a metric space, with the distance function given by absolute difference:

d(x,y)=|x-y|.

The metric tensor is clearly the 1-dimensional Euclidean metric. Since the $n$ -dimensional Euclidean metric can be represented in matrix form as the $n$ -by- $n$ identity matrix, the metric on the real line is simply the 1-by-1 identity matrix, i.e. 1.

If $p \in R$ and $ε > 0$ , then the $ε$ -ball in $R$ centered at $p$ is simply the open interval $(p - ε, p + ε)$ .

This real line has several important properties as a metric space:

The real line is a complete metric space, in the sense that any Cauchy sequence of points converges.
The real line is path-connected and is one of the simplest examples of a geodesic metric space.
The Hausdorff dimension of the real line is equal to one.

As a topological space

The real line carries a standard topology, which can be introduced in two different, equivalent ways. First, since the real numbers are totally ordered, they carry an order topology. Second, the real numbers inherit a metric topology from the metric defined above. The order topology and metric topology on $R$ are the same. As a topological space, the real line is homeomorphic to the open interval $(0, 1)$ .

The real line is trivially a topological manifold of dimension 1. Up to homeomorphism, it is one of only two different connected 1-manifolds without boundary, the other being the circle. It also has a standard differentiable structure on it, making it a differentiable manifold. (Up to diffeomorphism, there is only one differentiable structure that the topological space supports.)

The real line is a locally compact space and a paracompact space, as well as second-countable and normal. It is also path-connected, and is therefore connected as well, though it can be disconnected by removing any one point. The real line is also contractible, and as such all of its homotopy groups and reduced homology groups are zero.

As a locally compact space, the real line can be compactified in several different ways. The one-point compactification of $R$ is a circle (namely, the real projective line), and the extra point can be thought of as an unsigned infinity. Alternatively, the real line has two ends, and the resulting end compactification is the extended real line $[-\infty, +\infty]$ . There is also the Stone–Čech compactification of the real line, which involves adding an infinite number of additional points.

In some contexts, it is helpful to place other topologies on the set of real numbers, such as the lower limit topology or the Zariski topology. For the real numbers, the latter is the same as the finite complement topology.

As a vector space

The real line is a vector space over the field $R$ of real numbers (that is, over itself) of dimension 1. It has the usual multiplication as an inner product, making it a Euclidean vector space. The norm defined by this inner product is simply the absolute value.

As a measure space

The real line carries a canonical measure, namely the Lebesgue measure. This measure can be defined as the completion of a Borel measure defined on $R$ , where the measure of any interval is the length of the interval.

Lebesgue measure on the real line is one of the simplest examples of a Haar measure on a locally compact group.

In real algebras

When A is a unital real algebra, the products of real numbers with 1 is a real line within the algebra. For example, in the complex plane z = x + iy, the subspace {z : y = 0} is a real line. Similarly, the algebra of quaternions

q = w + x i + y j + z k

has a real line in the subspace {q : x = y = z = 0 }.

When the real algebra is a direct sum $A=R\oplus V,$ then a conjugation on A is introduced by the mapping $v\to -v$ of subspace V. In this way the real line consists of the fixed points of the conjugation.

For a dimension n, the square matrices form a ring that has a real line in the form of real products with the identity matrix in the ring.

Related Research Articles

<span class="mw-page-title-main">Compact space</span> Type of mathematical space

In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it includes all limiting values of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval [0,1] would be compact. Similarly, the space of rational numbers $is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers is not compact either, because it excludes the two limiting values and . However, the extended real number line would be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topological spaces.$

In mathematics, the Cantor set is a set of points lying on a single line segment that has a number of unintuitive properties. It was discovered in 1874 by Henry John Stephen Smith and mentioned by German mathematician Georg Cantor in 1883.

In mathematical analysis, a metric space $M$ is called complete if every Cauchy sequence of points in $M$ has a limit that is also in $M$ .

Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's Elements, it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension n, which are called Euclidean n-spaces when one wants to specify their dimension. For n equal to one or two, they are commonly called respectively Euclidean lines and Euclidean planes. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics.

$<span class="mw-page-title-main">Hausdorff dimension</span> Invariant measure of fractal dimension$

In mathematics, Hausdorff dimension is a measure of roughness, or more specifically, fractal dimension, that was introduced in 1918 by mathematician Felix Hausdorff. For instance, the Hausdorff dimension of a single point is zero, of a line segment is 1, of a square is 2, and of a cube is 3. That is, for sets of points that define a smooth shape or a shape that has a small number of corners—the shapes of traditional geometry and science—the Hausdorff dimension is an integer agreeing with the usual sense of dimension, also known as the topological dimension. However, formulas have also been developed that allow calculation of the dimension of other less simple objects, where, solely on the basis of their properties of scaling and self-similarity, one is led to the conclusion that particular objects—including fractals—have non-integer Hausdorff dimensions. Because of the significant technical advances made by Abram Samoilovitch Besicovitch allowing computation of dimensions for highly irregular or "rough" sets, this dimension is also commonly referred to as the Hausdorff–Besicovitch dimension.

In mathematics, a metric space is a set together with a notion of distance between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setting for studying many of the concepts of mathematical analysis and geometry.

In mathematics, a topological space is called separable if it contains a countable, dense subset; that is, there exists a sequence $of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence.$

In the part of mathematics referred to as topology, a surface is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solid figures; for example, the sphere is the boundary of the solid ball. Other surfaces arise as graphs of functions of two variables; see the figure at right. However, surfaces can also be defined abstractly, without reference to any ambient space. For example, the Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space.

In mathematics, the unit interval is the closed interval $[0,1]$ , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted $I$ . In addition to its role in real analysis, the unit interval is used to study homotopy theory in the field of topology.

In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points form a discontinuous sequence, meaning they are isolated from each other in a certain sense. The discrete topology is the finest topology that can be given on a set. Every subset is open in the discrete topology so that in particular, every singleton subset is an open set in the discrete topology.

<span class="mw-page-title-main">Curve</span> Mathematical idealization of the trace left by a moving point

In mathematics, a curve is an object similar to a line, but that does not have to be straight.

In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology.

In mathematics, a Radon measure, named after Johann Radon, is a measure on the $σ$ -algebra of Borel sets of a Hausdorff topological space $X$ that is finite on all compact sets, outer regular on all Borel sets, and inner regular on open sets. These conditions guarantee that the measure is "compatible" with the topology of the space, and most measures used in mathematical analysis and in number theory are indeed Radon measures.

In mathematics, the magnitude or size of a mathematical object is a property which determines whether the object is larger or smaller than other objects of the same kind. More formally, an object's magnitude is the displayed result of an ordering of the class of objects to which it belongs. Magnitude as a concept dates to Ancient Greece and has been applied as a measure of distance from one object to another. For numbers, the absolute value of a number is commonly applied as the measure of units between a number and zero.

In mathematics, the real coordinate space or real coordinate n-space, of dimension $n$ , denoted $R n$ or , is the set of all ordered $n$ -tuples of real numbers, that is the set of all sequences of $n$ real numbers, also known as coordinate vectors. Special cases are called the real line $R 1$ , the real coordinate plane $R 2$ , and the real coordinate three-dimensional space $R 3$ . With component-wise addition and scalar multiplication, it is a real vector space.

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an $-dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space.$

In set theory, the Baire space is the set of all infinite sequences of natural numbers with a certain topology. This space is commonly used in descriptive set theory, to the extent that its elements are often called "reals". It is denoted by N^N, or ^ωω, or by the symbol $or sometimes by ω ω .$

In mathematics, a space is a set with a definition (structure) of relationships among the elements of the set. While modern mathematics uses many types of spaces, such as Euclidean spaces, linear spaces, topological spaces, Hilbert spaces, or probability spaces, it does not define the notion of "space" itself.

In mathematics, a real number is a number that can be used to measure a continuous one-dimensional quantity such as a distance, duration or temperature. Here, continuous means that pairs of values can have arbitrarily small differences. Every real number can be almost uniquely represented by an infinite decimal expansion.

References

↑ Stewart, James B.; Redlin, Lothar; Watson, Saleem (2008). College Algebra (5th ed.). Brooks Cole. pp. 13–19. ISBN 978-0-495-56521-5.
↑ Wallis, John (1685). Treatise of algebra. http://lhldigital.lindahall.org/cdm/ref/collection/math/id/11231 pp. 265
↑ Napier, John (1616). A description of the admirable table of logarithmes https://www.math.ru.nl/werkgroepen/gmfw/bronnen/napier1.html
↑ Núñez, Rafael (2017). How Much Mathematics Is "Hardwired", If Any at All Minnesota Symposia on Child Psychology: Culture and Developmental Systems, Volume 38. http://www.cogsci.ucsd.edu/~nunez/COGS152_Readings/Nunez_ch3_MN.pdf pp. 98
1 2 Introduction to the x,y-plane Archived 2015-11-09 at the Wayback Machine "Purplemath" Retrieved 2015-11-13