Nicodemi sequences of operators between spaces of multilinear mappings (Q412026)

For Banach spaces \(E\) and \(G\) and a positive inetger \(m\), \({\mathcal L}(^mE,G)\) denotes the space of all \(m\)-linear mappings from \(E\) into \(G\). Given Banach spaces \(E\), \(F\) and \(G\) and a continuous linear mapping \(\mathrm{Nic}_1: {\mathcal L} (E,G)\to {\mathcal L}(F,G)\) \textit{O. Nicodemi} in [Lect. Notes Math. 843, 534--546 (1981; Zbl 0482.46012)] inductively defines a sequence of continuous linear mappings \(\mathrm{Nic}_m: {\mathcal L}(^mE,G)\to {\mathcal L}(^mF,G)\). Such a sequence is now known as a Nicodemi sequence starting with \(\mathrm{Nic}_1\). In the special case where there is a linear operator \(J: E\to F\) with \(\mathrm{Nic}_1 (u)\circ J=u\) for all \(u\) in \({\mathcal L}(E,F)\), \(\mathrm{Nic}_m\) is said to be an \(m\)-linear extension operator for \(J\). Given a subspace \(H\) of \(G\), \(\mathrm{Nic}_m\) is said to be \(H\)-invariant if \(\mathrm{Nic}_m(T)\) takes values in \(H\) whenever \(T\) takes values in \(H\). The authors prove that if \(\mathrm{Nic}_1\) is \(H\)-invariant then \(\mathrm{Nic}_m\) is \(H\)-invariant for all \(m\in {\mathbb N}\). Moreover, if \(\mathrm{Nic}_1\) fixes a functional for \(J: E\to F\) in the sense that there is \(\varphi\) in \(E'\) such that \(\mathrm{Nic}_1(\varphi\otimes b)\circ J=\varphi\otimes b\) for all \(b\) in \(G\), then the converse is also true. The authors also show that under these conditions \({{\|\mathrm{Nic}_m\|}\over{\|J\|}}\leq \|\mathrm{Nic}_{m+1}\|\leq \|\mathrm{Nic}_m\|\cdot \|\mathrm{Nic}_1\|\). Using the weak\({}^*\) density of the unit ball of \(E\) in the unit ball of \(E''\) \textit{R. M. Aron} and \textit{P. D. Berner} [``A Hahn-Banach extension theorem for analytic mappings'', Bull. Soc. Math. Fr. 106, 3--24 (1978; Zbl 0378.46043)] introduced a method extending each continuous \(m\)-linear mapping \(A: E\to G\) to a continuous \(m\)-linear mapping \(AB_m(A): E''\to G''\). The authors prove that if \(E\) and \(G\) are Banach spaces and the linear mapping \(\mathrm{Nic}_1: {\mathcal L}(E,G'')\to {\mathcal L}(E'',G'')\) given by \(\mathrm{Nic}_1(u)=(u'\circ J_{G'})'\) is \(J_G(G)\)-invariant then \(AB_m(A)= \mathrm{Nic}_m(J_G\circ A)\) for all \(m\in{\mathbb N}\) and all \(A\) in \({\mathcal L}(^mE,G)\). This condition is met when every linear mapping from \(E\) into \(G\) is weakly compact.