Smooth Banach spaces, weak Asplund spaces and monotone or usco mappings (Q1178323)

The authors prove that if \(X\approx sm\), then \(X\) is a \(w\)-Asplund space, which gives the long time open question an affirmative answer. And, they also prove that if \(X\approx sm\), \(D=\text{int}\{x\in X\): \(T(x)\neq\emptyset\}\) is nonempty, where \(T\) is a maximal monotone operator on \(X\), then there exists a dense \(G_ \delta\) subset \(G\subset D\) such that \(T(x)\) is a singleton for every \(x\in G\). They introduce the concepts of \(\beta\)-differentiable function and \(\beta\)-continuous function and prove the following theorem. Definition. Let \(\beta\) be a family of nonempty bounded subsets \(S\) of \(X\) satisfying (a) \(\lambda S\in\beta\) whenever \(\lambda\in R\) and \(S\in\beta\) and (b) the union of the members of \(\beta\) is all of \(X\). We say that a continuous convex function \(f\) on an open convex subset \(D\) of \(X\) is \(\beta\)-differentiable at \(x\in D\) if for all \(S\in\beta\) the limit of \({{f(x+ty)-f(x)}\over t}\) exists uniformly for \(y\) in \(S\). Natural choices for \(\beta\) are all finite sets (Gateaux differentiability), all weakly compact sets (Hadamard differentiability) or all bounded sets (Fréchet differentiability). If the norm is \(\beta\)-differentiable at every \(x\neq 0\), it is said to be \(\beta\)- smooth. Definition. Let \(\Omega\) be a Hausdorff space and \(\varphi\) a set-valued mapping from \(\Omega\) into \(X\). We say that \(\varphi\) is \(\beta\)- continuous at a point \(t\in\Omega\) provided \(\varphi(t)\) is a singleton and, for every set \(S\) in \(\beta\), there exists an open neighborhood \(U\) to \(t\) in \(\Omega\) such that \(\varphi(U)\subset\varphi(t)+S^ 0\), where \(S^ 0=\{z^*\in X^*\); \(\langle z^*,z\rangle\leq 1\) for all \(z\in S\}\). Theorem: Suppose that the norm in \(X\) is \(\beta\)-smooth and that \(\Omega\) is a Baire space. Then for each minimal \(w-\text{usco} \varphi: \Omega\to 2^{X^*}\) there is a residual subset \(F\) of \(\Omega\) such that \(\varphi\) is \(\beta\)-continuous at each point of \(G\).