Related papers: Topological classification of zero-dimensional $M_…
We prove that each non-separable completely metrizable convex subset of a Frechet space is homeomorphic to a Hilbert space. This resolves an old (more than 30 years) problem of infinite-dimensional topology. Combined with the topological…
Let M be a compact irreducible Hermitian symmetric space and write M=G/K, with G the group of holomorphic isometries of M and K the stability group of the point of 0 in M. We determine the maximal dimension of a complex projective space…
Given a definably compact group G in a saturated o-minimal structure, there is a canonical homomorphism from G to a compact real Lie group F(G). We establish a similar result for the (o-mininimal) universal cover of a definably compact…
It is shown that every separable abelian topological group is isomorphic with a topological subgroup of a monothetic group (that is, a topological group with a single topological generator). In particular, every separable metrizable abelian…
For compact Hausdorff admissible right topological (CHART) group $G$, we prove $w(G)=\pi\chi(G)$. This equality is well known for compact topological groups. This implies the criteria for the metrizability of CHART groups: if $G$ is…
The set $\Cal C(G)$ of closed subgroups of a locally compact group $G$ has a natural topology which makes it a compact space. This topology has been defined in various contexts by Vietoris, Chabauty, Fell, Thurston, Gromov, Grigorchuk, and…
In this paper we give conditions under which a topological semigroup can be embedded algebraically and topologically into a compact topological group. We prove that every feebly compact regular first countable cancellative commutative…
Let $(U, R)$ be an approximation space with $U$ being non-empty set and $R$ being an equivalence relation on $U$, and let $\overline{G}$ and $\underline{G}$ be the upper approximation and the lower approximation of subset $G$ of $U$. A…
As it was introduced by Tkachuk and Wilson, a topological space $X$ is cellular-compact if given any cellular, i.e. disjoint, family $\mathcal U$ of non-empty open subsets of $X$ there is a compact subspace $K\subset X$ such that $K\cap…
The unitary group $\mathrm U(\mathcal H)$ on an infinite dimensional complex Hilbert space $\mathcal H$ in its strong topology is a topological group and has some further nice properties, e.g. it is metrizable and contractible if $\mathcal…
In this paper we focus on the set-open topologies on the group $\mathcal{H}(X)$ of all self-homeomorphisms of a topological space $X$ which yield continuity of both the group operations, product and inverse function. As a consequence, we…
The Hilbert-Smith conjecture states, for any connected topological manifold $M$, any locally compact subgroup of $\mathrm{Homeo}(M)$ is a Lie group. We generalize basic results of Segal-Kosniowski-tomDieck (2.6), James-Segal (2.12), G…
A subspace Y of a separable metrizable space X is separable, but without X metrizable this is not true even If Y is a closed linear subspace of a topological vector space X. K.H. Hofmann and S.A. Morris introduced the class of pro-Lie…
Suppose M is a noncompact connected smooth 2-manifold without boundary and let D(M)_0 denote the identity component of the diffeomorphism group of M with the compact-open C^infty-topology. In this paper we investigate the topological type…
In this article, we introduce an interesting topology-like concept concerning groups (and with almost the same method it can be defined for other algebraic systems). Given an arbitrary group $G$, we define a {\em topo-system} on $G$ as a…
The deck of a topological space $X$ is the set $\mathcal{D}(X)=\{[X \setminus \{x\}] \colon x \in X\}$, where $[Z]$ denotes the homeomorphism class of $Z$. A space $X$ is topologically reconstructible if whenever…
We consider automorphism groups of some countably categorical structures and their precompact expansions. We prove that automorphism groups of omega-stable omega-categorical structures have metrizable universal minimal flows. We also study…
We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set…
A discrete subset $S$ of a topological gyrogroup $G$ with the identity $0$ is said to be a {\it suitable set} for $G$ if it generates a dense subgyrogroup of $G$ and $S\cup \{0\}$ is closed in $G$. In this paper, it was proved that each…
We develop a theory of large scale geometry of metrisable topological groups that, in a significant number of cases, allows one to define and identify a unique quasi-isometry type intrinsic to the topological group. Moreover, this…