On projection measurability of functions and multifunctions
We introduce notions of projectively quotient, open, and closed functors. We give sufficient conditions for a functor to be projectively quotient. In particular, any finitary normal functor is projectively quotient. We prove that the sufficient conditions obtained are necessary for an arbitrary subfunctor of the functor of probability measures. At the same time, any “good” functor is neither projectively open nor projectively closed.
It is shown that any proximity that is generated by a countable family of entourages is sequential. Metrization theorems for proximities are derived.
We study in ZF and in the class of spaces the web of implications/ non-implications between the notions of pseudocompactness, light compactness, countable compactness and some of their ZFC equivalents.