Displaying similar documents to “Remarks on extremally disconnected semitopological groups”

On topological and algebraic structure of extremally disconnected semitopological groups

Aleksander V. Arhangel'skii (2000)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Starting with a very simple proof of Frol’ık’s theorem on homeomorphisms of extremally disconnected spaces, we show how this theorem implies a well known result of Malychin: that every extremally disconnected topological group contains an open and closed subgroup, consisting of elements of order 2 . We also apply Frol’ık’s theorem to obtain some further theorems on the structure of extremally disconnected topological groups and of semitopological groups with continuous inverse. In particular,...

On resolvable spaces and groups

Luis Miguel Villegas-Silva (1995)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

It is proved that every uncountable ω -bounded group and every homogeneous space containing a convergent sequence are resolvable. We find some conditions for a topological group topology to be irresolvable and maximal.

Topology from Neighbourhoods

Roland Coghetto (2015)

Formalized Mathematics

Similarity:

Using Mizar [9], and the formal topological space structure (FMT_Space_Str) [19], we introduce the three U-FMT conditions (U-FMT filter, U-FMT with point and U-FMT local) similar to those VI, VII, VIII and VIV of the proposition 2 in [10]: If to each element x of a set X there corresponds a set B(x) of subsets of X such that the properties VI, VII, VIII and VIV are satisfied, then there is a unique topological structure on X such that, for each x ∈ X, B(x) is the set of neighborhoods...