Separable reduction theorems by the method of elementary submodels. (English) Zbl 1270.46015

Cúth, Marek

Fundam. Math. 219, No. 3, 191-222 (2012).

Summary: 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.

MSC:

46B26	Nonseparable Banach spaces
03C15	Model theory of denumerable and separable structures
03C30	Other model constructions
03C98	Applications of model theory

Keywords:

elementary submodel; separable reduction; Fréchet differentiability; residual set; porous set

Citations:

Zbl 1245.46033; Zbl 1171.46313