Quasi-monotone and confluent images of irreducible continua
Let G ⊂ Homeo(E) be a group of homeomorphisms of a topological space E. The class of an orbit O of G is the union of all orbits having the same closure as O. Let E/G̃ be the space of classes of orbits, called the quasi-orbit space. We show that every second countable T₀-space Y is a quasi-orbit space E/G̃, where E is a second countable metric space. The regular part X₀ of a T₀-space X is the union of open subsets homeomorphic to ℝ or to 𝕊¹. We give a characterization of the spaces X with finite...
In this article, using mostly Pervin [9], Kunzi [6], [8], [7], Williams [11] and Bourbaki [3] works, we formalize in Mizar [2] the notions of quasiuniform space, semi-uniform space and locally uniform space. We define the topology induced by a quasi-uniform space. Finally we formalize from the sets of the form ((X Ω) × X) ∪ (X × Ω), the Csaszar-Pervin quasi-uniform space induced by a topological space.
Soit un espace topologique régulier et fortement -favorable : si est image continue d’un espace métrisable séparable alors est lusinien; ceci répond à une question de R. Haydon. Si est seulement de Lindelöf et à diagonale alors l’espace mesurable est standard; on en déduit que si l’ensemble des points extrêmaux d’un convexe compact est de Lindelöf et à diagonale , alors est métrisable.