Separable reduction theorems by the method of elementary submodels

Abstract

We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to a special separable subspace, dependent only on the given set (function). We are interested in properties of sets "to be dense, nowhere dense, meager, residual or porous" and in properties of functions "to be continuous, semicontinuous or Fréchet differentiable". Our method of creating separable subspaces enables us to combine our results, so we easily get separable reductions of function properties such as "be continuous on a dense subset", "be Fréchet differentiable on a residual subset", etc. Finally, we show some applications of presented separable reduction theorems and demonstrate that some results of Zajicek, Lindenstrauss and Preiss hold in nonseparable setting as well.

27 pages

References in corpus (1)

• Banach spaces with projectional skeletons

Cited by in corpus (8)

• Decompositions of preduals of JBW and JBW${}^{\ast }$ algebras
• Monotone retractability and retractional skeletons
• Separable reduction of Frechet subdifferentiability in Asplund spaces
• On Separable Determination of Sigma-P-Porous Sets in Banach Spaces
• Characterizations of weakly $\mathcal{K}$-analytic and Vašák spaces using projectional skeletons and separable PRI
• Sigma-porosity is separably determined
• On projectional skeletons in Vašák spaces
• Characterization of (semi-)Eberlein compacta using retractional skeletons