The real line
In mathematics, the real line, or real number line is the line whose points are the real numbers. That is, the real line is the set R of all real numbers, viewed as a geometric space, namely the Euclidean space of dimension one. It can be thought of as a vector space (or affine space), a metric space, a topological space, a measure space, or a linear continuum.
Just like the set of real numbers, the real line is usually denoted by the symbol R (or alternatively, \mathbb{R} , the letter “R” in blackboard bold). However, it is sometimes denoted R^{1} in order to emphasize its role as the first Euclidean space.
This article focuses on the aspects of R as a geometric space in topology, geometry, and real analysis. The real numbers also play an important role in algebra as a field, but in this context R is rarely referred to as a line. For more information on R in all of its guises, see real number.
Contents

As a linear continuum 1

As a metric space 2

As a topological space 3

As a vector space 4

As a measure space 5

In real algebras 6

See also 7

References 8
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 leastupperbound 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 orderisomorphic 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 orderisomorphic 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
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 1dimensional Euclidean metric. Since the ndimensional 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 ∈ 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:
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 1manifolds 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 locally compact and paracompact, as well as secondcountable and normal. It is also pathconnected, 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 onepoint 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 [−∞, +∞]. 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 a standard inner product, making it a Euclidean space. (The inner product is simply ordinary multiplication of real numbers.) The standard norm on R is simply the absolute value function.
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
The real line is a onedimensional subspace of a real algebra A where R ⊂ A. 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 \mapsto v of subspace V. In this way the real line consists of the fixed points of the conjugation.
See also
References


Walter Rudin, Real and Complex Analysis, McGrawHill, 1966, ISBN 0071002766.
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.