Separable reduction theorems by the method of elementary submodels

Volume 219 / 2012

Marek Cúth Fundamenta Mathematicae 219 (2012), 191-222 MSC: 46B26, 03C15, 03C30. DOI: 10.4064/fm219-3-1


We simplify the presentation of the method of elementary submodels and we show that it can be used to simplify proofs of existing separable reduction theorems and to obtain new ones. Given a nonseparable Banach space $X$ and either a subset $A\subset X$ or a function $f$ defined on $X$, we are able for certain properties to produce a separable subspace of $X$ which determines whether $A$ or $f$ has the property in question. Such results are proved for properties of sets: of being dense, nowhere dense, meager, residual or porous, and for properties of functions: of being continuous, semicontinuous or Fréchet differentiable. Our method of creating separable subspaces enables us to combine results, so we easily get separable reductions of properties such as being continuous on a dense subset, Fréchet differentiable on a residual subset, etc. Finally, we show some applications of separable reduction theorems and demonstrate that some results of Zajíček, Lindenstrauss and Preiss hold in the nonseparable setting as well.


  • Marek CúthFaculty of Mathematics and Physics
    Charles University
    Sokolovská 83
    186 75 Praha 8 Karlín, Czech Republic

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image