Hi Experts,


I have question regarding Kolmogorov's Superposition Theorem:


It is known that:
Let ${f(x\_1,x\_2,...,x\_m): \Re^m :=[0,1]^m \to \Re}$ be an arbitrary multivariate continuous function. From Kolmogorov’s Superposition Theorem we have the following representation:


${f(x\_1,x\_2,...,x\_m)= \sum\_{q=0}^{2m} \Phi\_q (\sum\_{p=1}^m \phi\_{p,q}(x\_p))}$


with continuous one-dimensional outer functions ${\Phi\_q}$ and inner functions ${\phi\_{p,q}}$. All these functions are defined on real line. The inner functions ${\phi}$ are independent of function ${f(x\_1,x\_2,...,x\_m)}$.


Question is:
Is it possible to find inner functions ${\phi\_p{(x\_p)}}$ which is independent of $q$, that satisfies the superposition theorem:


${f(x\_1,x\_2,...,x\_m)= \sum\_{q=0}^{2m} \Phi\_q (\sum\_{p=1}^m \phi\_p (x\_p))}$ 


Where ${\Phi\_q, \phi\_p, N}$ can be selected and defined where appropriate.


It is critical to our works on nonlinear control, and we look forward to your advises on possible solutions, tips, related documents,etc.


Thank You!
Wang Tao 



Regarding Kolmogorov's Superposition Theorem
If I understand correctly, that doesn’t seem possible. If the inner functions are independent of $ q $, then the sum of the outer functions collapses to a single function $ \Phi $ with
$$
\Phi(\cdot) = \sum\_{q = 0}^{2 m} {\Phi\_{q}}(\cdot).
$$
Hence, the stronger form of the theorem that you’re looking for would be equivalent to:



> 
> For every $ m \in \mathbb{N} $, there exist continuous functions $ \phi\_{1},\phi\_{2},\ldots,\phi\_{m}: [0,1] \to \mathbb{R} $ such that any continuous function $ f: [0,1]^{m} \to \mathbb{R} $ can be written as
>  $$
> f(x\_{1},x\_{2},\ldots,x\_{m}) = {\Phi\_{f}} \left( \sum\_{p = 1}^{m} {\phi\_{p}}(x\_{p}) \right)
> $$
>  for some continuous function $ \Phi\_{f}: \mathbb{R} \to \mathbb{R} $.
> 
> 
> 


For each $ i \in \{ 1,\ldots,m \} $, take $ f\_{i} $ to be the $ i $-th projection function (i.e., $ {f\_{i}}(x\_{1},x\_{2},\ldots,x\_{m}) = x\_{i} $). It can be shown that this would imply the existence of a continuous function $ F: [0,1]^{m} \to \mathbb{R} $ that is also *one-to-one* (as all the coordinates can be recovered from it). However, a continuous function from an open set in $ \mathbb{R}^{m} $ to $ \mathbb{R} $ cannot be one-to-one for $ m > 1 $ (by Invariance of Domain), so we obtain a contradiction.


