An application of averaging operators to multilinearity
almost Milutin spaceaveraging operatorsCantor setcompact metric spacescontinuous surjectionintegral multilinear formmultilinear operatormultilinear operatorspolynomial operatorproducts of bounded linear operators and the pointwise multiplication operator
Duality and reflexivity in normed linear and Banach spaces (46B10) Classical Banach spaces in the general theory (46B25) Banach spaces of continuous, differentiable or analytic functions (46E15) Infinite-dimensional holomorphy (46G20) Banach algebras of continuous functions, function algebras (46J10) Linear operators belonging to operator ideals (nuclear, (p)-summing, in the Schatten-von Neumann classes, etc.) (47B10) Nonlinear operators and their properties (47H99)
For compact metric spaces \(K\), \(S\) and a continuous surjection \(\varphi: K\to S\), let the linear isometry \(\varphi^ 0: C(S)\to C(K)\) be given by \(\varphi^ 0 f= f\circ\varphi\). \(\varphi\) is said to admit a (regular) averaging operator if there exists a (contractive) projection from \(C(K)\) onto \(\varphi^ 0(C(S))\). As an application of the existence (due to A. Pełczyński) of averaging operators, the author proves that certain multilinear operators between spaces \(C(K)\) of continuous functions can be represented as products of bounded linear operators and the (pointwise) multiplication operator on \(C(K)\). More precisely (and more generally), let \(K\) and \(S\) be compact spaces, \(K\) metric uncountable, let \(P\) be a continuous symmetric \(M\)-linear map \(C(K)\times\cdots\times C(K)\to C(S)\), \(M>1\). Assume that, for each \(t\in S\), the map \[ f_ 1(x_ 1)\cdots f_ M(x_ M)\to P(f_ 1,\dots,f_ M)(t),\quad\text{where } f_ j\in C(K), \] can be extended to a continuous linear form \(m^{(t)}\) on \(C(K^ M)\) which depends continuously on \(t\) when \(C(K^ M)^*\) is endowed with the \(\text{weak}^*\)-topology. Then there exist continuous linear operators \(A\in L(C(K),C(K))\), \(B\in L(C(K),C(S))\) such that \[ P(f_ 1,\dots,f_ M)= B\left(\prod^ M_{j=1} Af_ j\right)\qquad\text{for all }f_ 1,\dots,f_ M\in C(K). \] Conversely, if \(P\) can be represented in this form, then the assumptions on \(m^{(t)}\) hold. -- There is a similar result for continuous symmetric \(M\)-linear maps from \(C(K)\times\cdots \times C(K)\) into a Banach space \(X\). The author also discusses the case when \(K\) is non-metrizable.
- An injective characterization of Peano spaces
- Classical Banach spaces
- scientific article; zbMATH DE number 3760799 (Why is no real title available?)
- On a Lemma of Milutin Concerning Averaging Operators in Continuous Function Spaces
- On a problem of Pełczyński: Milutin spaces, Dugundji spaces and AE(0-dim)
- Linearization of holomorphic mappings on \(C(K)\)-spaces
- Polynomials with an integral representation
- scientific article; zbMATH DE number 5846604 (Why is no real title available?)
- scientific article; zbMATH DE number 3919144 (Why is no real title available?)
- Multilinear proofs for two theorems on circular averages
- Factorization of holomorphic mappings on C(K)-spaces
- A characterization of regular averaging operators and its consequences
- Averaging operators and set-valued maps
- Factorization of multilinear operators defined on products of function spaces
This page was built for publication: An application of averaging operators to multilinearity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1318147)
