Real analysis
In mathematics, the branch of real analysis studies the behavior of real numbers, sequences 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, which deals with the study of complex numbers and their functions.
Scope
Construction of the real numbers
The theorems of real analysis rely on the properties of the real number system. The real number system consists of an uncountable set, together with two binary operations denoted and, and a total order 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 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.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, and the real numbers have the least upper bound property:Every nonempty subset of that has an upper bound has a least upper bound 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 and the mean value theorem.
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 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 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, the real numbers has a standard topology, which is the order topology 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. The topology induced by metric turns out to be identical to the standard topology induced by order. Theorems like the intermediate value theorem 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, totally ordered set. The domain is usually taken to be the natural numbers, 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 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 is said to be convergent; otherwise it is divergent. A real-valued sequence is bounded if there exists such that for all. A real-valued sequence is monotonically increasing or decreasing if
or
holds, respectively. If either holds, the sequence is said to be monotonic. The monotonicity is strict if the chained inequalities still hold with or replaced by < or >.
Given a sequence, another sequence is a subsequence of if for all positive integers and is a strictly increasing sequence of natural numbers.
Limits and convergence
Roughly speaking, a limit is the value that a function or a sequence "approaches" as the input or index approaches some value. The idea of a limit is fundamental to calculus and its formal definition is used in turn to define notions like continuity, derivatives, and integrals.The concept of limit was informally introduced for functions by Newton and Leibniz, at the end of the 17th century, for building infinitesimal calculus. For sequences, the concept was introduced by Cauchy, and made rigorous, at the end of the 19th century by Bolzano and Weierstrass, who gave the modern ε-δ definition, which follows.
Definition. Let be a real-valued function defined on We say that tends to as approaches , or that the limit of as approaches is if, for any, there exists such that for all, implies that. We write this symbolically as
or as
Intuitively, this definition can be thought of in the following way: We say that as, when, given any positive number, no matter how small, we can always find a, such that we can guarantee that and are less than apart, as long as is a real number that is less than away from but distinct from. The purpose of the last stipulation, which corresponds to the condition in the definition, is to ensure that does not imply anything about the value of itself. Actually, does not even need to be in the domain of in order for to exist.
In a slightly different but related context, the concept of a limit applies to the behavior of a sequence when becomes large.
Definition. Let be a real-valued sequence. We say that converges to if, for any, there exists a natural number such that implies that. We write this symbolically as
or as
if fails to converge, we say that diverges.
Generalizing to a real-valued function of a real variable, a slight modification of this definition yields the definition of the limit of as increases without bound, notated. Reversing the inequality to gives the corresponding definition of the limit of as decreases ''without bound'',
Sometimes, it is useful to conclude that a sequence converges, even though the value to which it converges is unknown or irrelevant. In these cases, the concept of a Cauchy sequence is useful.
Definition. Let be a real-valued sequence. We say that is a Cauchy sequence if, for any, there exists a natural number such that implies that.
It can be shown that a real-valued sequence is Cauchy if and only if it is convergent. This property of the real numbers is expressed by saying that the real numbers endowed with the standard metric,, is a complete metric space. In a general metric space, however, a Cauchy sequence need not converge.
In addition, for real-valued sequences that are monotonic, it can be shown that the sequence is bounded if and only if it is convergent.
Uniform and pointwise convergence for sequences of functions
In addition to sequences of numbers, one may also speak of sequences of functions ''on, that is, infinite, ordered families of functions, denoted, and their convergence properties. However, in the case of sequences of functions, there are two kinds of convergence, known as pointwise convergence and uniform convergence, that need to be distinguished.Roughly speaking, pointwise convergence of functions to a limiting function, denoted, simply means that given any, as. In contrast, uniform convergence is a stronger type of convergence, in the sense that a uniformly convergent sequence of functions also converges pointwise, but not conversely. Uniform convergence requires members of the family of functions,, to fall within some error of for every value of , whenever, for some integer. For a family of functions to uniformly converge, sometimes denoted, such a value of must exist for any given, no matter how small. Intuitively, we can visualize this situation by imagining that, for a large enough, the functions are all confined within a 'tube' of width about for every value in their domain''.
The distinction between pointwise and uniform convergence is important when exchanging the order of two limiting operations is desired: in order for the exchange to be well-behaved, many theorems of real analysis call for uniform convergence. For example, a sequence of continuous functions is guaranteed to converge to a continuous limiting function if the convergence is uniform, while the limiting function may not be continuous if convergence is only pointwise. Karl Weierstrass is generally credited for clearly defining the concept of uniform convergence and fully investigating its implications.
Compactness
Compactness is a concept from general topology that plays an important role in many of the theorems of real analysis. The property of compactness is a generalization of the notion of a set being closed and bounded. Briefly, a closed set contains all of its boundary points, while a set is bounded if there exists a real number such that the distance between any two points of the set is less than that number. In, sets that are closed and bounded, and therefore compact, include the empty set, any finite number of points, closed intervals, and their finite unions. However, this list is not exhaustive; for instance, the set is a compact set; the Cantor ternary set is another example of a compact set. On the other hand, the set is not compact because it is bounded but not closed, as the boundary point 0 is not a member of the set. The set is also not compact because it is closed but not bounded.For subsets of the real numbers, there are several equivalent definitions of compactness.
Definition. A set is compact if it is closed and bounded.
This definition also holds for Euclidean space of any finite dimension,, but it is not valid for metric spaces in general. The equivalence of the definition with the definition of compactness based on subcovers, given later in this section, is known as the Heine-Borel theorem.
A more general definition that applies to all metric spaces uses the notion of a subsequence.
Definition. A set in a metric space is compact if every sequence in has a convergent subsequence.
This particular property is known as subsequential compactness. In, a set is subsequentially compact if and only if it is closed and bounded, making this definition equivalent to the one given above. Subsequential compactness is equivalent to the definition of compactness based on subcovers for metric spaces, but not for topological spaces in general.
The most general definition of compactness relies on the notion of open covers and subcovers, which is applicable to topological spaces. In brief, a collection of open sets is said to be an open cover of set if the union of these sets is a superset of. This open cover is said to have a finite subcover if a finite subcollection of the could be found that also covers.
Definition. A set in a topological space is compact if every open cover of has a finite subcover.
Compact sets are well-behaved with respect to properties like convergence and continuity. For instance, any Cauchy sequence in a compact metric space is convergent. As another example, the image of a compact metric space under a continuous map is also compact.