In
mathematics, the branch of real analysis studies the behavior of
real number
In mathematics, a real number is a number that can be used to measurement, measure a ''continuous'' one-dimensional quantity such as a distance, time, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small var ...
s,
sequence
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is called ...
s and
series of real numbers, and
real functions. Some particular properties of real-valued sequences and functions that real analysis studies include
convergence,
limits,
continuity,
smoothness,
differentiability and
integrability.
Real analysis is distinguished from
complex analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebra ...
, which deals with the study of
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
s and their functions.
Scope
Construction of the real numbers
The theorems of real analysis rely on the properties of the
real number
In mathematics, a real number is a number that can be used to measurement, measure a ''continuous'' one-dimensional quantity such as a distance, time, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small var ...
system, which must be established. The real number system consists of an
uncountable set
In mathematics, an uncountable set (or uncountably infinite set) is an infinite set that contains too many elements to be countable. The uncountability of a set is closely related to its cardinal number: a set is uncountable if its cardinal num ...
(
), together with two
binary operation
In mathematics, a binary operation or dyadic operation is a rule for combining two elements (called operands) to produce another element. More formally, a binary operation is an operation of arity two.
More specifically, an internal binary op ...
s denoted and , and an
order
Order, ORDER or Orders may refer to:
* Categorization, the process in which ideas and objects are recognized, differentiated, and understood
* Heterarchy, a system of organization wherein the elements have the potential to be ranked a number of d ...
denoted . The operations make the real numbers a
field, and, along with the order, an
ordered field. The real number system is the unique ''
complete ordered field'', in the sense that any other complete ordered field is
isomorphic to it. Intuitively, completeness means that there are no 'gaps' in the real numbers. This property distinguishes the real numbers from other ordered fields (e.g., the rational numbers
) and is critical to the proof of several key properties of functions of the real numbers. The completeness of the reals is often conveniently expressed as the ''least upper bound property'' (see below).
Order properties of the real numbers
The real numbers have various
lattice-theoretic properties that are absent in the complex numbers. Also, the real numbers form an
ordered field, in which sums and products of positive numbers are also positive. Moreover, the ordering of the real numbers is
total
Total may refer to:
Mathematics
* Total, the summation of a set of numbers
* Total order, a partial order without incomparable pairs
* Total relation, which may also mean
** connected relation (a binary relation in which any two elements are comp ...
, and the real numbers have the
least upper bound property:
''Every nonempty subset of that has an upper bound has a least upper bound
In mathematics, the infimum (abbreviated inf; plural infima) of a subset S of a partially ordered set P is a greatest element in P that is less than or equal to each element of S, if such an element exists. Consequently, the term ''greatest lo ...
that is also a real number.''
These
order-theoretic properties lead to a number of fundamental results in real analysis, such as the
monotone convergence theorem, the
intermediate value theorem
In mathematical analysis, the intermediate value theorem states that if f is a continuous function whose domain contains the interval , then it takes on any given value between f(a) and f(b) at some point within the interval.
This has two im ...
and the
mean value theorem
In mathematics, the mean value theorem (or Lagrange theorem) states, roughly, that for a given planar arc between two endpoints, there is at least one point at which the tangent to the arc is parallel to the secant through its endpoints. It ...
.
However, while the results in real analysis are stated for real numbers, many of these results can be generalized to other mathematical objects. In particular, many ideas in
functional analysis
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. inner product, norm, topology, etc.) and the linear functions defined ...
and
operator theory generalize properties of the real numbers – such generalizations include the theories of
Riesz spaces and
positive operators. Also, mathematicians consider
real and
imaginary parts of complex sequences, or by
pointwise evaluation of
operator
Operator may refer to:
Mathematics
* A symbol indicating a mathematical operation
* Logical operator or logical connective in mathematical logic
* Operator (mathematics), mapping that acts on elements of a space to produce elements of another ...
sequences.
Topological properties of the real numbers
Many of the theorems of real analysis are consequences of the topological properties of the real number line. The order properties of the real numbers described above are closely related to these topological properties. As a
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called po ...
, the real numbers has a ''standard topology'', which is the
order topology
In mathematics, an order topology is a certain topology that can be defined on any totally ordered set. It is a natural generalization of the topology of the real numbers to arbitrary totally ordered sets.
If ''X'' is a totally ordered set, ...
induced by order
. Alternatively, by defining the ''metric'' or ''distance function''
using the
absolute value function as the real numbers become the prototypical example of a
metric space
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 sett ...
. The topology induced by metric
turns out to be identical to the standard topology induced by order
. Theorems like the
intermediate value theorem
In mathematical analysis, the intermediate value theorem states that if f is a continuous function whose domain contains the interval , then it takes on any given value between f(a) and f(b) at some point within the interval.
This has two im ...
that are essentially topological in nature can often be proved in the more general setting of metric or topological spaces rather than in
only. Often, such proofs tend to be shorter or simpler compared to classical proofs that apply direct methods.
Sequences
A ''sequence'' is a
function whose
domain is a
countable
In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural number ...
,
totally ordered set. The domain is usually taken to be the
natural number
In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country").
Numbers used for counting are called '' cardinal ...
s,
although it is occasionally convenient to also consider bidirectional sequences indexed by the set of all integers, including negative indices.
Of interest in real analysis, a ''real-valued sequence'', here indexed by the natural numbers, is a map
. Each
is referred to as a ''term'' (or, less commonly, an ''element'') of the sequence. A sequence is rarely denoted explicitly as a function; instead, by convention, it is almost always notated as if it were an ordered ∞-tuple, with individual terms or a general term enclosed in parentheses:
A sequence that tends to a
limit
Limit or Limits may refer to:
Arts and media
* ''Limit'' (manga), a manga by Keiko Suenobu
* ''Limit'' (film), a South Korean film
* Limit (music), a way to characterize harmony
* "Limit" (song), a 2016 single by Luna Sea
* "Limits", a 2019 ...
(i.e.,
exists) is said to be convergent; otherwise it is divergent. (''See the section on limits and convergence for details.'') A real-valued sequence
is ''bounded'' if there exists
such that