Namespaces
Variants
Actions

Difference between revisions of "Composite function"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
Line 1: Line 1:
A function that is the composite of several functions. If the range <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c0242601.png" /> of a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c0242602.png" /> is contained in the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c0242603.png" /> of a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c0242604.png" />, that is, if
+
{{TEX|done}}
 +
A function that is the composite of several functions. If the range $Y_i$ of a function $f_i$ is contained in the domain $X_{i+1}$ of a function $f_{i+1}$, that is, if
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c0242605.png" /></td> </tr></table>
+
$$f_i\colon X_i\to Y_i\subset X_{i+1},\quad i=1,\dots,n-1,$$
  
 
then the function
 
then the function
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c0242606.png" /></td> </tr></table>
+
$$f_n\circ\dots\circ f_1,\quad n\geq2,$$
  
 
defined by
 
defined by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c0242607.png" /></td> </tr></table>
+
$$(f_n\circ\dots\circ f_1)(x)=f_n(\dots(f_1(x))\dots),\quad x\in X_1,$$
  
is called the composite function or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c0242609.png" />-fold composite (or superposition) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426010.png" />. For example, every rational function in any number of variables is a composite of the four arithmetic operations, that is, of the functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426011.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426012.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426013.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426014.png" />.
+
is called the composite function or $(n-1)$-fold composite (or superposition) of $f_1,\dots,f_n$. For example, every rational function in any number of variables is a composite of the four arithmetic operations, that is, of the functions $x+y$, $x-y$, $xy$, and $x/y$.
  
A composite function inherits many of the properties of the functions of which it is composed. For example, the composite of continuous functions is continuous. This means that if a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426015.png" /> is continuous at a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426016.png" />, and a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426017.png" /> is continuous at the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426018.png" />, then the composite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426019.png" /> is also continuous at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426020.png" /> (here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426021.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426022.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426023.png" /> are, for example, topological spaces). Similarly, the composite of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426024.png" />-fold (continuously) differentiable functions is again <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426025.png" />-fold (continuously) differentiable, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426026.png" />. The composite of increasing (decreasing) functions is again increasing (decreasing). In composing functions quantitative properties often change: The composition of two functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426027.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426028.png" /> satisfying a Hölder condition of certain degrees is a function satisfying the Hölder condition of degree equal to the product of the degrees of the Hölder conditions satisfied by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426029.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426030.png" />. Some properties of functions are not preserved under composition. For example, the composite of Riemann- or Lebesgue-integrable functions is not, in general, Riemann or Lebesgue integrable, respectively. The composite of absolutely-continuous functions can turn out not to be absolutely continuous. However, according to the results of N.K. Bari and D.E. Men'shov [[#References|[1]]], composition of three absolutely-continuous functions on an interval does not lead to a wider class of functions than that obtained by composing two. Bari
+
A composite function inherits many of the properties of the functions of which it is composed. For example, the composite of continuous functions is continuous. This means that if a function $f_1\colon X\to Y$ is continuous at a point $x_0\in X$, and a function $f_2\colon Y\to Z$ is continuous at the point $f_1(x_0)\in Y$, then the composite $f_2\circ f_1$ is also continuous at $x_0$ (here $X$, $Y$ and $Z$ are, for example, topological spaces). Similarly, the composite of $n$-fold (continuously) differentiable functions is again $n$-fold (continuously) differentiable, $n=1,2,\dots$. The composite of increasing (decreasing) functions is again increasing (decreasing). In composing functions quantitative properties often change: The composition of two functions $f_1$ and $f_2$ satisfying a Hölder condition of certain degrees is a function satisfying the Hölder condition of degree equal to the product of the degrees of the Hölder conditions satisfied by $f_1$ and $f_2$. Some properties of functions are not preserved under composition. For example, the composite of Riemann- or Lebesgue-integrable functions is not, in general, Riemann or Lebesgue integrable, respectively. The composite of absolutely-continuous functions can turn out not to be absolutely continuous. However, according to the results of N.K. Bari and D.E. Men'shov [[#References|[1]]], composition of three absolutely-continuous functions on an interval does not lead to a wider class of functions than that obtained by composing two. Bari [2] proved that any continuous function on a closed interval can be written as the sum of three composites of absolutely-continuous functions, and that there are continuous functions which cannot be written as the sum of two. Moreover, every continuous function on a closed interval is the sum of two composites of functions of bounded variation. Finally, $n$-fold composites of functions of bounded variation lead to essentially new classes of functions for every $n=1,2,\dots,$ and there are continuous functions that are not one-fold compositions of functions of bounded variation [[#References|[3]]].
  
proved that any continuous function on a closed interval can be written as the sum of three composites of absolutely-continuous functions, and that there are continuous functions which cannot be written as the sum of two. Moreover, every continuous function on a closed interval is the sum of two composites of functions of bounded variation. Finally, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426031.png" />-fold composites of functions of bounded variation lead to essentially new classes of functions for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426032.png" /> and there are continuous functions that are not one-fold compositions of functions of bounded variation [[#References|[3]]].
+
The concept of composition of functions constitutes the widest possible way of giving meaning to the term  "representation of a function by a formula" . The problem of representing a function in terms of composites arose in connection with the discovery of formulas for the solutions of algebraic equations. Every root of an equation of degree at most four can be expressed as a composition of the four arithmetical operations and of radicals applied to the coefficients of the equation. By means of a certain substitution (called a Tschirnhausen transformation) every equation of degree $n\geq5$ can be reduced to the form
  
The concept of composition of functions constitutes the widest possible way of giving meaning to the term  "representation of a function by a formula" . The problem of representing a function in terms of composites arose in connection with the discovery of formulas for the solutions of algebraic equations. Every root of an equation of degree at most four can be expressed as a composition of the four arithmetical operations and of radicals applied to the coefficients of the equation. By means of a certain substitution (called a Tschirnhausen transformation) every equation of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426033.png" /> can be reduced to the form
+
$$x^n+a_1x^{n-4}+\dots+a_{n-4}x+1=0.$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426034.png" /></td> </tr></table>
+
Thus, every root of an equation of degree $x\geq5$ is a function of $n-4$ parameters. The problem consists of deciding whether these functions can be represented as a composition of algebraic functions in a smaller number of variables. One of the 23 problems posed by D. Hilbert at the International Congress of Mathematicians in Paris in 1900 is related to this. Namely, the thirteenth problem consists of the following (see [[#References|[4]]]): Can a root $f$ of the equation
  
Thus, every root of an equation of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426035.png" /> is a function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426036.png" /> parameters. The problem consists of deciding whether these functions can be represented as a composition of algebraic functions in a smaller number of variables. One of the 23 problems posed by D. Hilbert at the International Congress of Mathematicians in Paris in 1900 is related to this. Namely, the thirteenth problem consists of the following (see [[#References|[4]]]): Can a root <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426037.png" /> of the equation
+
\begin{equation}f^7+xf^3+yf^2+zf+1=0\label{*}\end{equation}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426038.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>
+
be represented as a composite of certain continuous functions in two variables applied to the coefficients $x,y$ and $z$? (Note that every function in a finite number of variables is a composite of discontinuous functions in two variables.) Hilbert established the impossibility of obtaining all analytic functions in three variables by composing analytic functions in two variables. He also showed [[#References|[5]]] that a solution of an equation of the nine-th degree can be written as a composite of algebraic functions in four variables (instead of in five, as immediately follows from the application of a Tschirnhausen transformation). These investigations were taken up by many mathematicians (see [[#References|[6]]]–[[#References|[19]]]).
  
be represented as a composite of certain continuous functions in two variables applied to the coefficients <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426039.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426040.png" />? (Note that every function in a finite number of variables is a composite of discontinuous functions in two variables.) Hilbert established the impossibility of obtaining all analytic functions in three variables by composing analytic functions in two variables. He also showed [[#References|[5]]] that a solution of an equation of the nine-th degree can be written as a composite of algebraic functions in four variables (instead of in five, as immediately follows from the application of a Tschirnhausen transformation). These investigations were taken up by many mathematicians (see [[#References|[6]]]–[[#References|[19]]]).
+
In 1954 A.G. Vitushkin proved [[#References|[10]]] that if natural numbers $m,n,m_1$, and $n_1$ satisfy the inequality $(m/n)>(m_1/n_1)$, then it is possible to find an $n$-fold differentiable function in $m$ variables that cannot be written as a composite of $n_1$-fold differentiable functions in $m_1$ variables. In particular, for every $n$ it is possible to find a function in $n$ variables of preassigned smoothness that is not a composite of functions of a smaller number of variables and of the same smoothness. In this sense, among smooth functions of any number of variables there are functions that depend essentially on all their arguments.
  
In 1954 A.G. Vitushkin proved [[#References|[10]]] that if natural numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426041.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426042.png" /> satisfy the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426043.png" />, then it is possible to find an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426044.png" />-fold differentiable function in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426045.png" /> variables that cannot be written as a composite of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426046.png" />-fold differentiable functions in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426047.png" /> variables. In particular, for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426048.png" /> it is possible to find a function in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426049.png" /> variables of preassigned smoothness that is not a composite of functions of a smaller number of variables and of the same smoothness. In this sense, among smooth functions of any number of variables there are functions that depend essentially on all their arguments.
+
In 1956, A.N. Kolmogorov showed [[#References|[11]]] that every continuous function defined on an $n$-dimensional cube $(n\geq4)$ is a composite of continuous functions in three variables. Later V.I. Arnol'd reduced the number of variables from three to two. In fact, he proved [[#References|[12]]] that any continuous function in three variables on a cube can be written as a composite of continuous functions in two variables (and even, more precisely, as the sum of nine functions each of which is a composite of two continuous functions in two variables). Thus, every continuous function on an $n$-dimensional cube $(n\geq3)$ can be written as a composite of continuous functions in two variables. This was the last word in refuting Hilbert's conjecture on the impossibility of representing the roots of the equation \eqref{*} in the form of composites of continuous functions in two variables. The papers of Kolmogorov and Arnol'd gave, in particular, a positive solution to the problem of representing the roots of algebraic equations of arbitrary degree as composites of continuous functions in at most two variables. For composites of analytic and algebraic functions the corresponding problem remains unsolved. It is not yet known (1987) whether or not the roots of the equation \eqref{*} are composites of analytic functions.
  
In 1956, A.N. Kolmogorov showed [[#References|[11]]] that every continuous function defined on an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426050.png" />-dimensional cube <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426051.png" /> is a composite of continuous functions in three variables. Later V.I. Arnol'd reduced the number of variables from three to two. In fact, he proved [[#References|[12]]] that any continuous function in three variables on a cube can be written as a composite of continuous functions in two variables (and even, more precisely, as the sum of nine functions each of which is a composite of two continuous functions in two variables). Thus, every continuous function on an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426052.png" />-dimensional cube <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426053.png" /> can be written as a composite of continuous functions in two variables. This was the last word in refuting Hilbert's conjecture on the impossibility of representing the roots of the equation (*) in the form of composites of continuous functions in two variables. The papers of Kolmogorov and Arnol'd gave, in particular, a positive solution to the problem of representing the roots of algebraic equations of arbitrary degree as composites of continuous functions in at most two variables. For composites of analytic and algebraic functions the corresponding problem remains unsolved. It is not yet known (1987) whether or not the roots of the equation (*) are composites of analytic functions.
+
This series of papers is completed by the following theorem of Kolmogorov [[#References|[13]]]: Any continuous function in $n$ variables can be obtained by composing continuous functions in one variable and the single function $g(x,y)=x+y$ in two variables. In fact, he proved that any continuous function $f$ on an $n$-dimensional cube can be written in the form
  
This series of papers is completed by the following theorem of Kolmogorov [[#References|[13]]]: Any continuous function in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426054.png" /> variables can be obtained by composing continuous functions in one variable and the single function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426055.png" /> in two variables. In fact, he proved that any continuous function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426056.png" /> on an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426057.png" />-dimensional cube can be written in the form
+
$$f(x_1,\dots,x_n)=\sum_{i=1}^{2n+1}h_i\left(\sum_{j=1}^n\phi_{ij}(x_j)\right),$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426058.png" /></td> </tr></table>
+
where the functions $h_i$ and $\phi_{ij}$ are continuous, and $\phi_{ij}$ are standard functions, that is, they do not depend on the choice of $f$.
  
where the functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426059.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426060.png" /> are continuous, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426061.png" /> are standard functions, that is, they do not depend on the choice of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426062.png" />.
+
Vitushkin showed [[#References|[14]]] that for any finite sets of continuous functions $p_k$ and continuously-differentiable functions $q_k$ in $n$ variables ($k=1,\dots,m$; $n=1,2,\dots$), there even are analytic functions in $n$ variables that cannot be written as a composite of the form
  
Vitushkin showed [[#References|[14]]] that for any finite sets of continuous functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426063.png" /> and continuously-differentiable functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426064.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426065.png" /> variables (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426066.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426067.png" />), there even are analytic functions in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426068.png" /> variables that cannot be written as a composite of the form
+
$$\sum_{k=1}^mp_k\circ(f_k\circ q_k),$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426069.png" /></td> </tr></table>
+
where the $f_k$ are arbitrary continuous functions in one variable.
 
 
where the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c024/c024260/c02426070.png" /> are arbitrary continuous functions in one variable.
 
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N.K. Bari,  D.E. Men'shov,  "Sur l'intégrale de Lebesgue–Stieltjes et les fonctions absolument continues de fonctions absolument continues"  ''Ann. di Math.'' , '''5'''  (1928)  pp. 19–54</TD></TR><TR><TD valign="top">[2a]</TD> <TD valign="top">  N. [N.K. Bari] Bary,  "Mémoire sur la répresentation des fonctions continues I"  ''Math. Ann.'' , '''103'''  (1930)  pp. 185–248</TD></TR><TR><TD valign="top">[2b]</TD> <TD valign="top">  N. [N.K. Bari] Bary,  "Mémoire sur la répresentation des fonctions continues II"  ''Math. Ann.'' , '''103'''  (1930)  pp. 598–653</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  N.K. Bari,  ''Mat. Sb.'' , '''40'''  (1933)  pp. 326–372</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  "Hilbert problems"  ''Bull. Amer. Math. Soc.'' , '''8'''  (1902)  pp. 437–479  (Translated from German)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  D. Hilbert,  "Ueber die Gleichung neunten Grades"  ''Math. Ann.'' , '''97'''  (1927)  pp. 243–251</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  L. Bieberbach,  "Bemerkungen zum dreizehnten Hilbertschen Problem"  ''J. Reine Angew. Math.'' , '''165'''  (1931)  pp. 89–92</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  N.G. Chebotarev,  , ''Collected Works'' , '''1''' , Moscow-Leningrad  (1949)  pp. 255–340</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  N.G. Chebotarev,  "On the problem of resolvents"  ''Uchen. Zap. Kazan. Univ.'' , '''114''' :  2  (1954)  pp. 189–193  (In Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  V.V. Morozov,  "On certain questions in the problem of resolvents"  ''Uchen. Zap. Kazan. Univ.'' , '''114''' :  2  (1954)  pp. 173–187  (In Russian)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  A.G. Vitushkin,  "On higher-dimensional variations" , Moscow  (1955)  (In Russian)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  A.N. Kolmogorov,  "On the representation of continuous functions of several variables by superpositions of continuous functions of a smaller number of variables"  ''Dokl. Akad. Nauk SSSR'' , '''108''' :  2  (1956)  pp. 179–182  (In Russian)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  V.I. Arnol'd,  ''Dokl. Akad. Nauk SSSR'' , '''114''' :  4  (1957)  pp. 679–681</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  A.N. Kolmogorov,  ''Dokl. Akad. Nauk SSSR'' , '''114''' :  5  (1957)  pp. 953–956</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  A.G. Vitushkin,  "Some properties of linear superpositions of smooth functions"  ''Soviet Math. Doklady'' , '''5'''  (1964)  pp. 741–744  ''Dokl. Akad. Nauk SSSR'' , '''156'''  (1964)  pp. 1258–1261</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  G.G. Lorentz,  "Approximation of functions" , Holt, Rinehart &amp; Winston  (1966)</TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top">  D.A. Sprecher,  "A survey of solved and unsolved problems on superpositions of functions"  ''J. Approx. Theory'' , '''6''' :  2  (1972)  pp. 123–134</TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top">  J.P. Kahane,  "Sur le théorème de superposition de Kolmogorov"  ''J. Approx. Theory'' , '''13'''  (1975)  pp. 229–234</TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top">  V.Ya. Lin,  "Superpositions of algebraic functions"  ''Functional. Anal. Appl.'' , '''10''' :  1  (1976)  pp. 32–38  ''Funktsional. Analiz. i Prilozhen.'' , '''10''' :  1  (1976)  pp. 37–45</TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top">  A.G. Vitushkin,  "On representation of functions by means of superpositions and related topics"  ''l'Enseign. Math.'' , '''23'''  (1977)  pp. 255–320</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N.K. Bari,  D.E. Men'shov,  "Sur l'intégrale de Lebesgue–Stieltjes et les fonctions absolument continues de fonctions absolument continues"  ''Ann. di Math.'' , '''5'''  (1928)  pp. 19–54</TD></TR><TR><TD valign="top">[2a]</TD> <TD valign="top">  N. [N.K. Bari] Bary,  "Mémoire sur la répresentation des fonctions continues I"  ''Math. Ann.'' , '''103'''  (1930)  pp. 185–248</TD></TR><TR><TD valign="top">[2b]</TD> <TD valign="top">  N. [N.K. Bari] Bary,  "Mémoire sur la répresentation des fonctions continues II"  ''Math. Ann.'' , '''103'''  (1930)  pp. 598–653</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  N.K. Bari,  ''Mat. Sb.'' , '''40'''  (1933)  pp. 326–372</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  "Hilbert problems"  ''Bull. Amer. Math. Soc.'' , '''8'''  (1902)  pp. 437–479  (Translated from German)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  D. Hilbert,  "Ueber die Gleichung neunten Grades"  ''Math. Ann.'' , '''97'''  (1927)  pp. 243–251</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  L. Bieberbach,  "Bemerkungen zum dreizehnten Hilbertschen Problem"  ''J. Reine Angew. Math.'' , '''165'''  (1931)  pp. 89–92</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  N.G. Chebotarev,  , ''Collected Works'' , '''1''' , Moscow-Leningrad  (1949)  pp. 255–340</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  N.G. Chebotarev,  "On the problem of resolvents"  ''Uchen. Zap. Kazan. Univ.'' , '''114''' :  2  (1954)  pp. 189–193  (In Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  V.V. Morozov,  "On certain questions in the problem of resolvents"  ''Uchen. Zap. Kazan. Univ.'' , '''114''' :  2  (1954)  pp. 173–187  (In Russian)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  A.G. Vitushkin,  "On higher-dimensional variations" , Moscow  (1955)  (In Russian)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  A.N. Kolmogorov,  "On the representation of continuous functions of several variables by superpositions of continuous functions of a smaller number of variables"  ''Dokl. Akad. Nauk SSSR'' , '''108''' :  2  (1956)  pp. 179–182  (In Russian)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  V.I. Arnol'd,  ''Dokl. Akad. Nauk SSSR'' , '''114''' :  4  (1957)  pp. 679–681</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  A.N. Kolmogorov,  ''Dokl. Akad. Nauk SSSR'' , '''114''' :  5  (1957)  pp. 953–956</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  A.G. Vitushkin,  "Some properties of linear superpositions of smooth functions"  ''Soviet Math. Doklady'' , '''5'''  (1964)  pp. 741–744  ''Dokl. Akad. Nauk SSSR'' , '''156'''  (1964)  pp. 1258–1261</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  G.G. Lorentz,  "Approximation of functions" , Holt, Rinehart &amp; Winston  (1966)</TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top">  D.A. Sprecher,  "A survey of solved and unsolved problems on superpositions of functions"  ''J. Approx. Theory'' , '''6''' :  2  (1972)  pp. 123–134</TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top">  J.P. Kahane,  "Sur le théorème de superposition de Kolmogorov"  ''J. Approx. Theory'' , '''13'''  (1975)  pp. 229–234</TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top">  V.Ya. Lin,  "Superpositions of algebraic functions"  ''Functional. Anal. Appl.'' , '''10''' :  1  (1976)  pp. 32–38  ''Funktsional. Analiz. i Prilozhen.'' , '''10''' :  1  (1976)  pp. 37–45</TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top">  A.G. Vitushkin,  "On representation of functions by means of superpositions and related topics"  ''l'Enseign. Math.'' , '''23'''  (1977)  pp. 255–320</TD></TR></table>

Revision as of 21:30, 10 December 2018

A function that is the composite of several functions. If the range $Y_i$ of a function $f_i$ is contained in the domain $X_{i+1}$ of a function $f_{i+1}$, that is, if

$$f_i\colon X_i\to Y_i\subset X_{i+1},\quad i=1,\dots,n-1,$$

then the function

$$f_n\circ\dots\circ f_1,\quad n\geq2,$$

defined by

$$(f_n\circ\dots\circ f_1)(x)=f_n(\dots(f_1(x))\dots),\quad x\in X_1,$$

is called the composite function or $(n-1)$-fold composite (or superposition) of $f_1,\dots,f_n$. For example, every rational function in any number of variables is a composite of the four arithmetic operations, that is, of the functions $x+y$, $x-y$, $xy$, and $x/y$.

A composite function inherits many of the properties of the functions of which it is composed. For example, the composite of continuous functions is continuous. This means that if a function $f_1\colon X\to Y$ is continuous at a point $x_0\in X$, and a function $f_2\colon Y\to Z$ is continuous at the point $f_1(x_0)\in Y$, then the composite $f_2\circ f_1$ is also continuous at $x_0$ (here $X$, $Y$ and $Z$ are, for example, topological spaces). Similarly, the composite of $n$-fold (continuously) differentiable functions is again $n$-fold (continuously) differentiable, $n=1,2,\dots$. The composite of increasing (decreasing) functions is again increasing (decreasing). In composing functions quantitative properties often change: The composition of two functions $f_1$ and $f_2$ satisfying a Hölder condition of certain degrees is a function satisfying the Hölder condition of degree equal to the product of the degrees of the Hölder conditions satisfied by $f_1$ and $f_2$. Some properties of functions are not preserved under composition. For example, the composite of Riemann- or Lebesgue-integrable functions is not, in general, Riemann or Lebesgue integrable, respectively. The composite of absolutely-continuous functions can turn out not to be absolutely continuous. However, according to the results of N.K. Bari and D.E. Men'shov [1], composition of three absolutely-continuous functions on an interval does not lead to a wider class of functions than that obtained by composing two. Bari [2] proved that any continuous function on a closed interval can be written as the sum of three composites of absolutely-continuous functions, and that there are continuous functions which cannot be written as the sum of two. Moreover, every continuous function on a closed interval is the sum of two composites of functions of bounded variation. Finally, $n$-fold composites of functions of bounded variation lead to essentially new classes of functions for every $n=1,2,\dots,$ and there are continuous functions that are not one-fold compositions of functions of bounded variation [3].

The concept of composition of functions constitutes the widest possible way of giving meaning to the term "representation of a function by a formula" . The problem of representing a function in terms of composites arose in connection with the discovery of formulas for the solutions of algebraic equations. Every root of an equation of degree at most four can be expressed as a composition of the four arithmetical operations and of radicals applied to the coefficients of the equation. By means of a certain substitution (called a Tschirnhausen transformation) every equation of degree $n\geq5$ can be reduced to the form

$$x^n+a_1x^{n-4}+\dots+a_{n-4}x+1=0.$$

Thus, every root of an equation of degree $x\geq5$ is a function of $n-4$ parameters. The problem consists of deciding whether these functions can be represented as a composition of algebraic functions in a smaller number of variables. One of the 23 problems posed by D. Hilbert at the International Congress of Mathematicians in Paris in 1900 is related to this. Namely, the thirteenth problem consists of the following (see [4]): Can a root $f$ of the equation

\begin{equation}f^7+xf^3+yf^2+zf+1=0\label{*}\end{equation}

be represented as a composite of certain continuous functions in two variables applied to the coefficients $x,y$ and $z$? (Note that every function in a finite number of variables is a composite of discontinuous functions in two variables.) Hilbert established the impossibility of obtaining all analytic functions in three variables by composing analytic functions in two variables. He also showed [5] that a solution of an equation of the nine-th degree can be written as a composite of algebraic functions in four variables (instead of in five, as immediately follows from the application of a Tschirnhausen transformation). These investigations were taken up by many mathematicians (see [6][19]).

In 1954 A.G. Vitushkin proved [10] that if natural numbers $m,n,m_1$, and $n_1$ satisfy the inequality $(m/n)>(m_1/n_1)$, then it is possible to find an $n$-fold differentiable function in $m$ variables that cannot be written as a composite of $n_1$-fold differentiable functions in $m_1$ variables. In particular, for every $n$ it is possible to find a function in $n$ variables of preassigned smoothness that is not a composite of functions of a smaller number of variables and of the same smoothness. In this sense, among smooth functions of any number of variables there are functions that depend essentially on all their arguments.

In 1956, A.N. Kolmogorov showed [11] that every continuous function defined on an $n$-dimensional cube $(n\geq4)$ is a composite of continuous functions in three variables. Later V.I. Arnol'd reduced the number of variables from three to two. In fact, he proved [12] that any continuous function in three variables on a cube can be written as a composite of continuous functions in two variables (and even, more precisely, as the sum of nine functions each of which is a composite of two continuous functions in two variables). Thus, every continuous function on an $n$-dimensional cube $(n\geq3)$ can be written as a composite of continuous functions in two variables. This was the last word in refuting Hilbert's conjecture on the impossibility of representing the roots of the equation \eqref{*} in the form of composites of continuous functions in two variables. The papers of Kolmogorov and Arnol'd gave, in particular, a positive solution to the problem of representing the roots of algebraic equations of arbitrary degree as composites of continuous functions in at most two variables. For composites of analytic and algebraic functions the corresponding problem remains unsolved. It is not yet known (1987) whether or not the roots of the equation \eqref{*} are composites of analytic functions.

This series of papers is completed by the following theorem of Kolmogorov [13]: Any continuous function in $n$ variables can be obtained by composing continuous functions in one variable and the single function $g(x,y)=x+y$ in two variables. In fact, he proved that any continuous function $f$ on an $n$-dimensional cube can be written in the form

$$f(x_1,\dots,x_n)=\sum_{i=1}^{2n+1}h_i\left(\sum_{j=1}^n\phi_{ij}(x_j)\right),$$

where the functions $h_i$ and $\phi_{ij}$ are continuous, and $\phi_{ij}$ are standard functions, that is, they do not depend on the choice of $f$.

Vitushkin showed [14] that for any finite sets of continuous functions $p_k$ and continuously-differentiable functions $q_k$ in $n$ variables ($k=1,\dots,m$; $n=1,2,\dots$), there even are analytic functions in $n$ variables that cannot be written as a composite of the form

$$\sum_{k=1}^mp_k\circ(f_k\circ q_k),$$

where the $f_k$ are arbitrary continuous functions in one variable.

References

[1] N.K. Bari, D.E. Men'shov, "Sur l'intégrale de Lebesgue–Stieltjes et les fonctions absolument continues de fonctions absolument continues" Ann. di Math. , 5 (1928) pp. 19–54
[2a] N. [N.K. Bari] Bary, "Mémoire sur la répresentation des fonctions continues I" Math. Ann. , 103 (1930) pp. 185–248
[2b] N. [N.K. Bari] Bary, "Mémoire sur la répresentation des fonctions continues II" Math. Ann. , 103 (1930) pp. 598–653
[3] N.K. Bari, Mat. Sb. , 40 (1933) pp. 326–372
[4] "Hilbert problems" Bull. Amer. Math. Soc. , 8 (1902) pp. 437–479 (Translated from German)
[5] D. Hilbert, "Ueber die Gleichung neunten Grades" Math. Ann. , 97 (1927) pp. 243–251
[6] L. Bieberbach, "Bemerkungen zum dreizehnten Hilbertschen Problem" J. Reine Angew. Math. , 165 (1931) pp. 89–92
[7] N.G. Chebotarev, , Collected Works , 1 , Moscow-Leningrad (1949) pp. 255–340
[8] N.G. Chebotarev, "On the problem of resolvents" Uchen. Zap. Kazan. Univ. , 114 : 2 (1954) pp. 189–193 (In Russian)
[9] V.V. Morozov, "On certain questions in the problem of resolvents" Uchen. Zap. Kazan. Univ. , 114 : 2 (1954) pp. 173–187 (In Russian)
[10] A.G. Vitushkin, "On higher-dimensional variations" , Moscow (1955) (In Russian)
[11] A.N. Kolmogorov, "On the representation of continuous functions of several variables by superpositions of continuous functions of a smaller number of variables" Dokl. Akad. Nauk SSSR , 108 : 2 (1956) pp. 179–182 (In Russian)
[12] V.I. Arnol'd, Dokl. Akad. Nauk SSSR , 114 : 4 (1957) pp. 679–681
[13] A.N. Kolmogorov, Dokl. Akad. Nauk SSSR , 114 : 5 (1957) pp. 953–956
[14] A.G. Vitushkin, "Some properties of linear superpositions of smooth functions" Soviet Math. Doklady , 5 (1964) pp. 741–744 Dokl. Akad. Nauk SSSR , 156 (1964) pp. 1258–1261
[15] G.G. Lorentz, "Approximation of functions" , Holt, Rinehart & Winston (1966)
[16] D.A. Sprecher, "A survey of solved and unsolved problems on superpositions of functions" J. Approx. Theory , 6 : 2 (1972) pp. 123–134
[17] J.P. Kahane, "Sur le théorème de superposition de Kolmogorov" J. Approx. Theory , 13 (1975) pp. 229–234
[18] V.Ya. Lin, "Superpositions of algebraic functions" Functional. Anal. Appl. , 10 : 1 (1976) pp. 32–38 Funktsional. Analiz. i Prilozhen. , 10 : 1 (1976) pp. 37–45
[19] A.G. Vitushkin, "On representation of functions by means of superpositions and related topics" l'Enseign. Math. , 23 (1977) pp. 255–320
How to Cite This Entry:
Composite function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Composite_function&oldid=43519
This article was adapted from an original article by L.D. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article