Separable reduction in the theory of Fréchet subdifferentials (Q2436683)

The present paper is concerned with the separable reduction for Fréchet subdifferentials \(\partial_Ff(x)\) of functions \(f\) defined on Banach spaces. Roughly speaking, separable reduction means that a property concerning a Banach space \(X\) holds whenever it holds for (sufficiently large) separable subspaces of \(X\), allowing to take advantage of the good topological and geometric properties of separable Banach spaces. The main result of the paper is: { Theorem 2.3. }\; Let \(X,Y,Z\,\) be Banach spaces, \(A : X\to Y,\, T : Z\to Y\,\) bounded linear operators, \(f: X\to (-\infty,+\infty]\) a function, and \(L_0\) a separable subspace of \(Y\). Then given a countable set \(\mathcal D\) of data \((c,\varepsilon,\rho)\) there exists a bigger separable subspace \(L_0\subset L\subset Y\) and separable subspaces \(V\subset X,\, W\subset Z\) such that \(A(V)\subset L,\, T(W)\subset L,\) and for any \(y\in L\) and any data \((c,\varepsilon,\rho)\in \mathcal D\) \[ \{y^*\in \partial_Ff(y) : \|y^*\|\leq c,\, \|A^*y^*\|<\varepsilon,\, \left|\|T^*y^*\|-\rho\right|<\varepsilon\}\neq\emptyset\,, \] provided that \[ \{l^*\in \partial_F(f|_L)(y) : \|l^*\|\leq c,\, \|(A|_L)^*l^*\|<\varepsilon,\, \left|\|(T|_L)^*l^*\|-\rho\right|<\varepsilon\}\neq\emptyset\,. \] The authors show that this general results covers all previously known results on separable reduction for Fréchet subdifferentials, with a more transparent and easier proof. The introduction to the paper contains a survey of various situations where a separable reduction result is available.