View source for Functions of a real variable, theory of

An area of mathematical analysis in which one studies questions of representation and approximation of functions, and their local and global properties. The modern theory of functions of a real variable typically involves a wide application of set-theoretic methods, along, naturally, with classical methods.

Thus, the object studied in the theory of functions of a real variable is a function. About this concept N.N. Luzin [[#References|[3]]] wrote  "It did not take shape all at once, but, having arisen two hundred years ago in the famous argument about a vibrating string, underwent deep changes even in the energetic polemics that started then. From then on there has been a constant deepening and evolution of this concept, continuing up to the present day. Therefore no single isolated formal definition can embrace the whole content of this concept …" . In accordance with this, it is completely natural to attribute the sources of the origin of the theory to the time of the argument about a vibrating string (L. Euler, D. Bernoulli, J. d'Alembert, J.L. Lagrange, and others), although the formation of this theory took place in the 19th century (J. Fourier, A.L. Cauchy, N.I. Lobachevskii, P. Dirichlet, B. Riemann, P.L. Chebyshev, C. Jordan, and others).

In classical analysis one studied mainly functions with a definite degree of smoothness. But in the second half of the 19th century certain problems took clear shape, waiting for a solution and touching on more general classes of functions, and also on a deeper study even of smooth functions. Among such problems one must put those of the measure of a set, the length of curves and the area of surfaces, the primitive and the integral, the relationship between integration and differentiation, the term-by-term integration and differentiation of series, the properties of functions obtained as a result of a limiting process, etc. The solution of these problems was of fundamental significance for mathematics. The classical methods of analysis could no longer give a sufficiently satisfactory answer to questions of this kind. In this connection there arose at the end of the 19th century an urgent need for a new critical review of the foundations of mathematical analysis, which was carried out at the end of the 19th century and beginning of the 20th century on the basis of [[Set theory|set theory]], with which the creation of the foundations of the modern theory of functions of a real variable was completed.

Usually the modern theory of functions of a real variable is divided into three parts: 1) the descriptive theory; 2) the metric theory; and 3) approximation theory.

The first two parts are particularly close, their foundations having been laid by E. Borel, R. Baire, H. Lebesgue, and others.

1) In the descriptive theory of functions one studies the properties of certain classes of functions that are obtained as a result of limiting processes. This study (on the basis of, and in connection with, [[Descriptive set theory|descriptive set theory]]) has shown that the concept of a [[Function|function]] is extremely complex. In this direction, [[Baire classes|Baire classes]] of functions were invented, which turned out to be most closely connected with the classification of Borel sets (cf. [[Borel set|Borel set]]).

The fundamental results in the descriptive theory of sets and functions were obtained in the Soviet Union in the second and third decades of the 20th century (Luzin, M.Ya. Suslin, P.S. Aleksandrov, A.N. Kolmogorov, L.V. Keldysh, P.S. Novikov, and others).

2) In the [[Metric theory of functions|metric theory of functions]] one studies the properties of functions on the basis of the concept of the [[Measure|measure]] of a set. The modern concept of the measure of a set (the [[Lebesgue measure|Lebesgue measure]]) was introduced by Lebesgue in 1902. At the same time, on the basis of this concept, he also created the theory of the integral (the [[Lebesgue integral|Lebesgue integral]]). These two extremely important concepts — measure and integral — form the foundation of the metric theory of functions, which is concerned with the study of properties of functions, derivatives, integrals, series of functions, etc.

The first major results in the Soviet Union in this direction were obtained in the second decade of the 20th century by D.F. Egorov and Luzin (see [[Egorov theorem|Egorov theorem]]; [[Luzin-C-property|Luzin <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042130/f0421301.png" />-property]]). The founder and leader of the school of the metric theory of functions in the USSR was Luzin.

To the metric theory of functions should be assigned the theory of [[Summation|summation]] of series and sequences, and also the theory of almost-periodic functions (cf. [[Almost-periodic function|Almost-periodic function]]). This last theory was created in the work of P. Bohl, H. Bohr, N.N. Bogolyubov, H. Weyl, V.V. Stepanova, and others.

Research on the metric theory of functions and the concepts and methods that have arisen in it have had a particularly large influence on various areas of modern mathematics. Indeed: in much analytical research in several branches of mathematics one can seldom manage without the Lebesgue measure and the Lebesgue integral (or their respective analogues and generalizations).

3) The foundations of the theory of [[Approximation of functions|approximation of functions]] of a real variable were laid in the classical papers of Chebyshev (mid 19th century). He introduced the extremely important concept of the [[Best approximation|best approximation]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042130/f0421302.png" />, and proved one of the basic theorems about the best approximation of functions by polynomials (the [[Chebyshev theorem|Chebyshev theorem]]). The further development of this theory was carried out principally in the Soviet Union — in the work of E.I. Zolotarev, A.N. Korkin and the brothers A.A. and V.A. Markov. A large role in [[Approximation theory|approximation theory]] was played by the [[Weierstrass theorem|Weierstrass theorem]] on the possibility of approximating continuous functions by polynomials.

At the beginning of the 20th century it was discovered that the differentiability properties of functions have an influence on the rate at which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042130/f0421303.png" /> tends to zero as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f042/f042130/f0421304.png" /> (Lebesgue, Borel, Ch.J. de la Vallée-Poussin).

The most important problems relating to the elucidation of the links between the structural properties of functions and the rate of their approximation by polynomials were solved by S.N. Bernshtein [S.N. Bernstein] and D. Jackson (cf. [[Bernstein theorem|Bernstein theorem]]; [[Jackson theorem|Jackson theorem]]).

Starting from the 1930's, the research in the USSR on the approximation theory of functions of a real variable took a particularly wide scope. Along with the research of Bernshtein, in the first place the extensive achievements of Kolmogorov and S.M. Nikol'skii, and of their pupils, should be mentioned here (cf. [[Imbedding theorems|Imbedding theorems]]).

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  R. Baire,   "Leçons sur les fonctions discontinues, professées au collège de France" , Gauthier-Villars  (1905)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  N.N. [N.N. Luzin] Lusin,   "Leçons sur les ensembles analytiques et leurs applications" , Gauthier-Villars  (1930)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  N.N. Luzin,  , ''Collected works'' , '''3''' , Moscow  (1959)  pp. 319–341  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  A.M. Lyapunov,   S.P. Novikov,   "Descriptive set theory" , ''B Mathematics in the USSR during thirty years: 1917–1947'' , Moscow-Leningrad  (1948)  (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  H. Lebesgue,   "Leçons sur l'intégration et la récherche des fonctions primitives" , Gauthier-Villars  (1928)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  E. Kamke,   "Das Lebesgue–Stieltjes Integral" , Teubner  (1960)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  A.N. Kolmogorov,   S.V. Fomin,   "Elements of the theory of functions and functional analysis" , '''1–2''' , Graylock  (1957–1961)  (Translated from Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  P.L. Ul'yanov,   "The metric theory of functions" , ''The history of Soviet Mathematics'' , '''3''' , Kiev  (1968)  pp. 530–568  (In Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  G.H. Hardy,   "Divergent series" , Clarendon Press  (1949)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  H. Bohr,   "Almost periodic functions" , Chelsea, reprint  (1947)  (Translated from German)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  B.M. Levitan,   "Almost-periodic functions" , Moscow  (1953)  (In Russian)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  P.L. Chebyshev,   "Questions on smallest quantities connected with the approximate representation of functions (1859)" , ''Collected works'' , '''2''' , Moscow-Leningrad  (1947)  pp. 151–235  (In Russian)</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  S.M. Lozinskii,   I.P. Natanson,   "Metric and constructive theory of functions of a real variable" , ''Mathematics in the USSR during 40 years: 1917–1957'' , '''1''' , Moscow  (1959)  (In Russian)</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  S.M. Nikol'skii,   "The theory of approximation of functions by polynomials" , ''The history of national mathematics'' , '''3''' , Kiev  (1968)  (In Russian)</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  S.M. Nikol'skii,   "Approximation of functions of several variables and imbedding theorems" , Springer  (1975)  (Translated from Russian)</TD></TR></table>



====Comments====
The decomposition into three main parts as done in the main article is a Russian one. For the first part see [[Descriptive set theory|Descriptive set theory]], [[#References|[a2]]], [[#References|[a3]]], [[#References|[a4]]]. As to the second part, the phrase  "metric theory of functions"  is not used in Western literature, and the corresponding notions are spread out over various branches of [[Functional analysis|functional analysis]]. Consult the various articles on approximation for the third part (see also [[#References|[a5]]]). [[#References|[a1]]] and [[#References|[a6]]] are general references.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  E. Hewitt,   K.R. Stromberg,   "Real and abstract analysis" , Springer  (1965)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H.L. Royden,   "Real analysis" , Macmillan  (1968)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  A.C.M. van Rooy,   W.H. Schikhof,   "A second course on real functions" , Cambridge Univ. Press  (1982)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  S. Saks,   "Theory of the integral" , Hafner  (1952)  (Translated from French)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  G.G. Lorentz,   "Approximation of functions" , Holt, Rinehart &amp; Winston  (1966)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  G. Choquet,   "Outils topologiques et métriques de l'analyse mathématique" , Centre Docum. Univ. Paris  (1969)  (Rédigé par C. Mayer)</TD></TR></table>