The algebra of symmetric polynomials on \((L_\infty)^n\) (Q2299437)

The author considers the \(n\)-fold Cartesian product of the space of essentially bounded functions on the closed interval \([0,1]\) with itself, \((L_\infty)^n\), endowed with the norm \(\|(x_i)_{1\le i\le n}\|_{\infty,n}= \max_{1\le i\le n}\{\|x_i\|_\infty\}\). A function \(f\) on \((L_\infty)^n\) is said to be symmetric if \(f((x_1\circ\sigma,\dots, x_n\circ\sigma))=f((x_1,\dots, x_n))\) for all \((x_1,\dots, x_n)\) in \((L_\infty)^n\) and all measurable bijections \(\sigma: [0,1]\to [0,1]\) which have a measurable inverse. Given an \(n\)-tuple of natural numbers \(k=(k_1,\dots, k_n)\), \(R_k:(L_\infty)^n\to \mathbb{C}\) denotes the symmetric \((k_1+\cdots+k_n)\)-homogeneous polynomial defined by \[ R_k(x)=\int_{[0,1]}\prod_{s=1,k_s0}^n(x_s(t))^{k_s}\,dt. \] The main result of the paper is that any symmetric \(N\)-homogeneous polynomial on \((L_\infty)^n\) can be represented as a suitable sum of products of power of the \(R_k\). This means that the set \(\{R_k: k\in \mathbb{Z}^n$, $ |k|\ge 1\}\) forms an algebraic basis for the set of all symmetric complex-valued polynomials on \((L_\infty)^n\).