Related papers: $P$-bases and Topological Groups

We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space X=(X,T) is countably compact iff it is countably subcompact relative…

We introduce the property of countable separation for a locally convex Hausdorff space $X$ and relate it to the existence of a metrizable coarser topology. Building on this, we demonstrate how the separability of $X$ is equivalent to the…

Let $P$ be a finite poset. We will show that for any reasonable $P$-persistent object $X$ in the category of finite topological spaces, there is a $P-$ weighted graph, whose clique complex has the same $P$-persistent homology as $X$.

We prove that a topological Clifford semigroup $S$ is metrizable if and only if $S$ is an $M$-space and the set $E=\{e\in S:ee=e\}$ of idempotents of $S$ is a metrizable $G_\delta$-set in $S$. The same metrization criterion holds also for…

Let G be an infinite discrete group and bG its Cech-Stone compactification. Using the well known fact that a free ultrafilter on an infinite set is nonmeasurable, we show that for each element p of the remainder bG G, left multiplication…

We examine sufficient conditions for the dual of a topological group to be metrizable and locally compact.

A topological group $X$ is defined to have $compact$ $exponent$ if for some number $n\in\mathbb N$ the set $\{x^n:x\in X\}$ has compact closure in $X$. Any such number $n$ will be called a compact exponent of $X$. Our principal result…

Let $F(X)$ be the free topological group on a Tychonoff space $X$. For all natural numbers $n$ we denote by $F_n(X)$ the subset of $F(X)$ consisting of all words of reduced length $\leq n$. In \cite{Y3}, the author found equivalent…

A non-trivial topological group is called \emph{$d$-independent} if for every subgroup of cardinality less than the continuum there exists a countable dense subgroup intersecting it trivially. This notion was introduced by M\'arquez and…

A topological space is reversible if each continuous bijection of it onto itself is open. We introduce an analogue of this notion in the category of topological groups: A topological group G is g-reversible if every continuous automorphism…

The 'contracting boundary' of a proper geodesic metric space consists of equivalence classes of geodesic rays that behave like rays in a hyperbolic space. We introduce a geometrically relevant, quasi-isometry invariant topology on the…

We show that if a (locally compact) group $G$ acts properly on a locally compact $\sigma$-compact space $X$ then there is a family of $G$-invariant proper continuous finite-valued pseudometrics which induces the topology of $X$. If $X$ is…

A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. The Roelcke uniformity (or lower uniformity) on a topological group is the greatest lower bound of the left and right uniformities. A group is…

It is a simple fact that a subgroup generated by a subset $A$ of an abelian group is the direct sum of the cyclic groups $\langle a\rangle$, $a\in A$ if and only if the set $A$ is independent. In [5] the concept of an $independent$ set in…

We show that the first homology group of a locally connected compact metric space is either uncountable or is finitely generated. This is related to Shelah's well-known result which shows that the fundamental group of such a space satisfies…

Let $G$ be a group of homeomorphisms of a topological space $X$. $G$ is $\textit{(properly) isometrizable}$ if there exists a $G$-invariant (proper) gauge structure on $X$. $G$ is $\textit{equiregular}$ if for every $x \in X$ and every open…

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…

We give a characterization of countable discrete subspace $A$ of a topological space $X$ such that there exists a (linear) continuous mapping $\varphi:C_p^*(A)\to C_p(X)$ with $\varphi(y)|_A=y$ for every $y\in C_p^*(A)$. Using this…

We give a complete description of the topological spaces $X$ such that the free abelian topological group $A(X)$ embeds into the free abelian topological group $A(I)$ of the closed unit interval. In particular, the free abelian topological…

A topological space is locally equiconnected if there exists a neighborhood $U$ of the diagonal in $X\times X$ and a continuous map $\lambda:U\times[0,1]\to X$ such that $\lambda(x,y,0)=x$, $\lambda(x,y,1)=y$ et $\lambda(x,x,t)=x$ for…