In the present note we study the effective construction of a natural generalized metric structure (on a set), obtaining as particular case the result of Menger. In the case of groups, we analyze its topology and its structure of natural proximity space (in the sense of Efremovic).
Let a space be Tychonoff product of -many Tychonoff nonsingle point spaces . Let Suslin number of be strictly less than the cofinality of . Then we show that every point of remainder is a non-normality point of its Čech–Stone compactification . In particular, this is true if is either or and a cardinal is infinite and not countably cofinal.
We show that given infinite sets and a function which is onto and -to-one for some , the preimage of any ultrafilter of under extends to an ultrafilter. We prove that the latter result is, in some sense, the best possible by constructing a permutation model with a set of atoms and a finite-to-one onto function such that for each free ultrafilter of its preimage under does not extend to an ultrafilter. In addition, we show that in there exists an ultrafilter compact pseudometric...