Seminormed spaces
Semi-quotient mappings and spaces
In this paper, we continue the study of s-topological and irresolute-topological groups. We define semi-quotient mappings which are stronger than semi-continuous mappings, and then consider semi-quotient spaces and groups. It is proved that for some classes of irresolute-topological groups (G, *, τ) the semi-quotient space G/H is regular. Semi-isomorphisms of s-topological groups are also discussed.
Semitopological homomorphisms
Sequentially determined convergence spaces
Some aspects of nuclear vector groups
In [2] W. Banaszczyk introduced nuclear groups, a Hausdorff variety of abelian topological groups which is generated by all nuclear vector groups (cf. 2.3) and which contains all nuclear vector spaces and all locally compact abelian groups. We prove in 5.6 that the Hausdorff variety generated by all nuclear vector spaces and all locally compact abelian groups (denoted by 𝒱₁) is strictly smaller than the Hausdorff variety of all nuclear groups (denoted by 𝒱₂). More precisely,...
Some examples of monothetic groups
Some large and small sets in topological groups.
Some Minimal Group Topologies are Precompact.
Stabilizers of closed sets in the Urysohn space
Building on earlier work of Katětov, Uspenskij proved in [8] that the group of isometries of Urysohn's universal metric space 𝕌, endowed with the pointwise convergence topology, is a universal Polish group (i.e. it contains an isomorphic copy of any Polish group). Answering a question of Gao and Kechris, we prove here the following, more precise result: for any Polish group G, there exists a closed subset F of 𝕌 such that G is topologically isomorphic to the group of isometries of 𝕌 which map...
Strong reflexivity of Abelian groups
A reflexive topological group is called strongly reflexive if each closed subgroup and each Hausdorff quotient of the group and of its dual group is reflexive. In this paper we establish an adequate concept of strong reflexivity for convergence groups. We prove that complete metrizable nuclear groups and products of countably many locally compact topological groups are BB-strongly reflexive.
Subgroups and products of -factorizable -groups
We show that every subgroup of an -factorizable abelian -group is topologically isomorphic to a closed subgroup of another -factorizable abelian -group. This implies that closed subgroups of -factorizable -groups are not necessarily -factorizable. We also prove that if a Hausdorff space of countable pseudocharacter is a continuous image of a product of -spaces and the space is pseudo--compact, then . In particular, direct products of -factorizable -groups are -factorizable and...
Subgroups of -factorizable groups.
Subgroups of -factorizable groups
The properties of -factorizable groups and their subgroups are studied. We show that a locally compact group is -factorizable if and only if is -compact. It is proved that a subgroup of an -factorizable group is -factorizable if and only if is -embedded in . Therefore, a subgroup of an -factorizable group need not be -factorizable, and we present a method for constructing non--factorizable dense subgroups of a special class of -factorizable groups. Finally, we construct a closed...
Sui gruppi abeliani ridotti che ammettono una unica topologia compatta
Sul completamento di un gruppo abeliano nella topologia dei sottogruppi di indice finito
Sulla uniformità naturale nei gruppi topologici
Summable Family in a Commutative Group
Hölzl et al. showed that it was possible to build “a generic theory of limits based on filters” in Isabelle/HOL [22], [7]. In this paper we present our formalization of this theory in Mizar [6]. First, we compare the notions of the limit of a family indexed by a directed set, or a sequence, in a metric space [30], a real normed linear space [29] and a linear topological space [14] with the concept of the limit of an image filter [16]. Then, following Bourbaki [9], [10] (TG.III, §5.1 Familles sommables...
Sur le groupe des difféomorphismes du tore
Il est démontré que le groupe des difféomorphismes du tore qui sont isotopes à l’identité est un groupe qui est égal à son groupe des commutateurs. Il résulte de D.A.B. Epstein que c’est un groupe simple. Un lemme fondamental est utilisé ; il donne la structure locale des orbites de certaines translations du tore ; ce lemme est une application du théorème des fonctions implicites de F. Sergeraert.
Sur les produits filtrés de certains groupes topologiques
Swelling actions of ...-compact semigroups.