We shall prove an open mapping theorem concerning a Polish group acting transitively on a complete metric space.

In this paper we extend the notion of perfect, θ-continuous, irreducible and θ-perfect mappings to bitopological spaces. The main result is the following: the (small) image of an (i, j)-canonical open sets is an (i, j)-canonical open set under a pairwise θ-closed irreducible surjective mapping. Also we extend the notion of θ-proximity spaces to quasi θ-proximity spaces and point out the interrelation between it and separated quasi-proximity spaces by means of a pairwise θ-perfect irreducible mappings.

A unified theory of continuous and certain non-continuous functions is proposed and developed. The proposed theory encompasses in one the theories of continuous functions, upper (lower) semicontinuous functions, almost continuous functions, c-continuous functions, c*-continuous functions, s-continuous functions, l-continuous functions, H-continuous functions, and the ε-continuous functions of Klee.

This paper discusses several properties of topological spaces and how they are refelected by corresponding properties of the associated semi-regularization topologies. For example a space is almost locally connected if and only if its semi-regularization is locally connected. Various separation, connectedness, covering, and mapping properties are considered.

Let Q denote the rationals, P the irrationals, C the Cantor set and L the space C − {p} (where p ∈ C). Let f : X → Y be a perfect continuous surjection. We show: (1) If X ∈ {Q, P, Q × P}, or if f is irreducible and X ∈ {C, L}, then Y is homeomorphic to X if Y is zero-dimensional. (2) If X ∈ {P, C, L} and f is irreducible, then there is a dense subset S of Y such that f|f ← [S] is a homeomorphism onto S. However, if Z is any σ-compact nowhere locally compact metric space then there is a perfect irreducible continuous surjection from Q × C onto Z such that each fibre of the map is homeomorphic to C.