On a classification of pointwise compact sets of the first Baire class functions
We prove that a cosmic space (= a Tychonoff space with a countable network) is analytic if it is an image of a -analytic space under a measurable mapping. We also obtain characterizations of analyticity and -compactness in cosmic spaces in terms of metrizable continuous images. As an application, we show that if is a separable metrizable space and is its dense subspace then the space of restricted continuous functions is analytic iff it is a -space iff is -compact.
The notion of quasi-p-boundedness for p ∈ is introduced and investigated. We characterize quasi-p-pseudocompact subsets of β(ω) containing ω, and we show that the concepts of RK-compatible ultrafilter and P-point in can be defined in terms of quasi-p-pseudocompactness. For p ∈ , we prove that a subset B of a space X is quasi-p-bounded in X if and only if B × is bounded in X × , if and only if , where is the set of Rudin-Keisler predecessors of p.
In [7], M. Levin proved that the set of all Bing maps of a compact metric space to the unit interval is a dense -subset of the space of all maps. In [6], J. Krasinkiewicz independently proved that the set of all Bing maps of a compact metric space to an n-dimensional manifold (n ≥ 1) is a dense -subset of the space of maps. In [9], J. Song and E. D. Tymchatyn, solving some problems of J. Krasinkiewicz ([6]), proved that the set of all Bing maps of a compact metric space to a nondegenerate connected...