Kolmogorov–Arnold representation theorem
In real analysis and approximation theory, the Kolmogorov–Arnold representation theorem (or superposition theorem) states that every multivariate continuous function can be represented as a superposition of continuous single-variable functions.
The works of Vladimir Arnold and Andrey Kolmogorov established that if f is a multivariate continuous function, then f can be written as a finite composition of continuous functions of a single variable and the binary operation of addition. More specifically,
where and .
In this representation, the inner functions are continuous and universal, that is, independent of , while the outer functions depend on the specific function being represented. The same representation formula extends to all multivariate functions , including discontinuous ones, as discussed in . If is continuous, then the corresponding outer functions are continuous; if is discontinuous, the outer functions are generally discontinuous, while the inner functions remain unchanged, being the same universal functions.
There are proofs with specific constructions.
It solved a more constrained form of Hilbert's thirteenth problem, so the original Hilbert's thirteenth problem is a corollary. In a sense, they showed that the only true continuous multivariate function is the sum, since every other continuous function can be written using univariate continuous functions and summing.