Infinite products of filters
We call a topological space -compact if every subset of size has a complete accumulation point in it. Let denote the following statement: and there is such that whenever . We show that if holds and the space is both -compact and -compact then is -compact as well. Moreover, from PCF theory we deduce for every singular cardinal . As a corollary we get that a linearly Lindelöf and -compact space is uncountably compact, that is -compact for all uncountable cardinals .
Let be a bounded countable metric space and a constant, such that , for any pairwise distinct points of . For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of .