Real analysis

40 languages

• Article
• Talk

• Read
• Edit
• View history

From Wikipedia, the free encyclopedia

In mathematics, the branch of real analysis studies the behavior of real numbers, sequences and series of real numbers, and real functions.^[1] 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[edit]

This section may require cleanup to meet Wikipedia's quality standards. The specific problem is: This section goes too heavily into detail about each concept. It should just portray a brief overview in relation to the field of real analysis. Please help improve this section if you can. (June 2019) (Learn how and when to remove this template message)

Construction of the real numbers[edit]

Main article: Construction of the real numbers

The theorems of real analysis rely on the properties of the real number system, which must be established. The real number system consists of an uncountable set (${\displaystyle \mathbb{�}}$), together with two binary operations denoted + and ⋅, and an 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 (e.g., the rational numbers ${\displaystyle \mathbb{�}}$) 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[edit]

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 ${\displaystyle \mathbb{�}}$ 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.^{[clarification needed]}

Topological properties of the real numbers[edit]

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 ${\displaystyle �:\mathbb{�}\times \mathbb{�}\to {\mathbb{�}}_{\ge 0}}$ using the absolute value function as ${\displaystyle �(�,�)=|�-�|}$, the real numbers become the prototypical example of a metric space. The topology induced by metric ${\displaystyle �}$ 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 ${\displaystyle \mathbb{�}}$ only. Often, such proofs tend to be shorter or simpler compared to classical proofs that apply direct methods.

Sequences[edit]

Main article: Sequence

A sequence is a function whose domain is a countable, totally ordered set. The domain is usually taken to be the natural numbers,^[2] 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 ${\displaystyle �:\mathbb{�}\to \mathbb{�}:�\mapsto {�}_{�}}$. Each ${\displaystyle �(�)={�}_{�}}$ 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:^[3]

$${\displaystyle ({�}_{�})=({�}_{�}{)}_{�\in \mathbb{�}}=({�}_1,{�}_2,{�}_3,\dots ).}$$

A sequence that tends to a limit (i.e., $\underset{�\to \mathrm{\infty }}{lim}{�}_{�}$ exists) is said to be convergent; otherwise it is divergent. (See the section on limits and convergence for details.) A real-valued sequence ${\displaystyle ({�}_{�})}$ is bounded if there exists ${\displaystyle �\in \mathbb{�}}$ such that  for all ${\displaystyle �\in \mathbb{�}}$. A real-valued sequence ${\displaystyle ({�}_{�})}$ is monotonically increasing or decreasing if

$${\displaystyle {�}_1\le {�}_2\le {�}_3\le \cdots }$$

or

$${\displaystyle {�}_1\ge {�}_2\ge {�}_3\ge \cdots }$$

holds, respectively. If either holds, the sequence is said to be monotonic. The monotonicity is strict if the chained inequalities still hold with ${\displaystyle \le }$ or ${\displaystyle \ge }$ replaced by < or >.

Given a sequence ${\displaystyle ({�}_{�})}$, another sequence ${\displaystyle ({�}_{�})}$ is a subsequence of ${\displaystyle ({�}_{�})}$ if ${\displaystyle {�}_{�}={�}_{{�}_{�}}}$ for all positive integers ${\displaystyle �}$ and ${\displaystyle ({�}_{�})}$ is a strictly increasing sequence of natural numbers.

Limits and convergence[edit]

Main article: Limit (mathematics)

Roughly speaking, a limit is the value that a function or a sequence "approaches" as the input or index approaches some value.^[4] (This value can include the symbols ${\displaystyle \pm \mathrm{\infty }}$ when addressing the behavior of a function or sequence as the variable increases or decreases without bound.) The idea of a limit is fundamental to calculus (and mathematical analysis in general) and its formal definition is used in turn to define notions like continuity, derivatives, and integrals. (In fact, the study of limiting behavior has been used as a characteristic that distinguishes calculus and mathematical analysis from other branches of mathematics.)

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 ${\displaystyle �}$ be a real-valued function defined on ${\displaystyle �\subset \mathbb{�}}$. We say that ${\displaystyle �(�)}$ tends to ${\displaystyle �}$ as ${\displaystyle �}$ approaches ${\displaystyle {�}_0}$, or that the limit of ${\displaystyle �(�)}$ as ${\displaystyle �}$ approaches ${\displaystyle {�}_0}$ is ${\displaystyle �}$ if, for any , there exists  such that for all ${\displaystyle �\in �}$,  implies that . We write this symbolically as

$${\displaystyle �(�)\to �\text{as}�\to {�}_0,}$$

or as

$${\displaystyle \underset{�\to {�}_0}{lim}�(�)=�.}$$

Intuitively, this definition can be thought of in the following way: We say that ${\displaystyle �(�)\to �}$ as ${\displaystyle �\to {�}_0}$, when, given any positive number ${\displaystyle �}$, no matter how small, we can always find a ${\displaystyle �}$, such that we can guarantee that ${\displaystyle �(�)}$ and ${\displaystyle �}$ are less than ${\displaystyle �}$ apart, as long as ${\displaystyle �}$ (in the domain of ${\displaystyle �}$) is a real number that is less than ${\displaystyle �}$ away from ${\displaystyle {�}_0}$ but distinct from ${\displaystyle {�}_0}$. The purpose of the last stipulation, which corresponds to the condition  in the definition, is to ensure that $\underset{�\to {�}_0}{lim}�(�)=�$ does not imply anything about the value of ${\displaystyle �({�}_0)}$ itself. Actually, ${\displaystyle {�}_0}$ does not even need to be in the domain of ${\displaystyle �}$ in order for $\underset{�\to {�}_0}{lim}�(�)$ to exist.

In a slightly different but related context, the concept of a limit applies to the behavior of a sequence ${\displaystyle ({�}_{�})}$ when ${\displaystyle �}$ becomes large.

Definition. Let ${\displaystyle ({�}_{�})}$ be a real-valued sequence. We say that ${\displaystyle ({�}_{�})}$ converges to ${\displaystyle �}$ if, for any , there exists a natural number ${\displaystyle �}$ such that ${\displaystyle �\ge �}$ implies that . We write this symbolically as

$${\displaystyle {�}_{�}\to �\text{as}�\to \mathrm{\infty },}$$

or as

$${\displaystyle \underset{�\to \mathrm{\infty }}{lim}{�}_{�}=�;}$$

if ${\displaystyle ({�}_{�})}$ fails to converge, we say that ${\displaystyle ({�}_{�})}$ diverges.

Generalizing to a real-valued function of a real variable, a slight modification of this definition (replacement of sequence ${\displaystyle ({�}_{�})}$ and term ${\displaystyle {�}_{�}}$ by function ${\displaystyle �}$ and value ${\displaystyle �(�)}$ and natural numbers ${\displaystyle �}$ and ${\displaystyle �}$ by real numbers ${\displaystyle �}$ and ${\displaystyle �}$, respectively) yields the definition of the limit of ${\displaystyle �(�)}$ as ${\displaystyle �}$ increases without bound, notated $\underset{�\to \mathrm{\infty }}{lim}�(�)$. Reversing the inequality ${\displaystyle �\ge �}$ to ${\displaystyle �\le �}$ gives the corresponding definition of the limit of ${\displaystyle �(�)}$ as ${\displaystyle �}$ decreases without bound, $\underset{�\to -\mathrm{\infty }}{lim}�(�)$.

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 ${\displaystyle ({�}_{�})}$ be a real-valued sequence. We say that ${\displaystyle ({�}_{�})}$ is a Cauchy sequence if, for any , there exists a natural number ${\displaystyle �}$ such that ${\displaystyle �,�\ge �}$ 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, ${\displaystyle (\mathbb{�},|\cdot |)}$, 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.

Un