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 ⊂ 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...
We prove some generalizations of results
concerning Valdivia compact spaces
(equivalently spaces with a commutative
retractional skeleton) to the spaces
with a retractional skeleton
(not necessarily commutative).
Namely, we show that the dual unit ball
of a Banach space is Corson provided
the dual unit ball of every equivalent
norm has a retractional skeleton.
Another result to be mentioned is the
following. Having a compact space ,
we show that is Corson if and only
if every continuous image...
We compare two methods of proving separable reduction theorems in functional analysis - the method of rich families and the method of elementary submodels. We show that any result proved using rich families holds also when formulated with elementary submodels and the converse is true in spaces with fundamental minimal system and in spaces of density ℵ1. We do not know whether the converse is true in general. We apply our results to show that a projectional skeleton may be without loss of generality...
We prove a separable reduction theorem for -porosity of Suslin sets. In particular, if is a Suslin subset in a Banach space , then each separable subspace of can be enlarged to a separable subspace such that is -porous in if and only if is -porous in . Such a result is proved for several types of -porosity. The proof is done using the method of elementary submodels, hence the results can be combined with other separable reduction theorems. As an application we extend a theorem...
We collect several variants of the proof of the third case of the Bessaga-Klee relative classification of closed convex bodies in topological vector spaces. We were motivated by the fact that we have not found anywhere in the literature a complete correct proof. In particular, we point out an error in the proof given in the book of C. Bessaga and A. Pełczyński (1975). We further provide a simplified version of T. Dobrowolski's proof of the smooth classification of smooth convex bodies in Banach...
Download Results (CSV)