Free Abelian Topological Group Research Articles

Topological groups with strong disconnectedness properties

Topological groups whose underlying spaces are basically disconnected, F-, or F′-spaces but not P-spaces are considered. It is proved, in particular, that the existence of a Lindelöf basically disconnected topological group which is not a P-space is equivalent to the existence of a Boolean basically disconnected Lindelöf group of countable pseudocharacter, that free and free Abelian topological groups of zero-dimensional non-P-spaces are never F′-spaces, and that the existence of a free Boolean F′-group which is not a P-space is equivalent to that of selective ultrafilters on ω.

Is the Free Locally Convex Space L(X) Nuclear?

Given a class $${{\mathcal {P}}}$$ of Banach spaces, a locally convex space (LCS) E is called multi- $${{\mathcal {P}}}$$ if E can be isomorphically embedded into a product of spaces that belong to $${{\mathcal {P}}}$$ . We investigate the question whether the free locally convex space L(X) is strongly nuclear, nuclear, Schwartz, multi-Hilbert or multi-reflexive. If X is a Tychonoff space containing an infinite compact subset then, as it follows from the results of Außenhofer (Topol Appl 134:90–102, 2007), L(X) is not nuclear. We prove that for such X the free LCS L(X) has the stronger property of not being multi-Hilbert. We deduce that if X is a k-space, then the following properties are equivalent: (1) L(X) is strongly nuclear; (2) L(X) is nuclear; (3) L(X) is multi-Hilbert; (4) X is countable and discrete. On the other hand, we show that L(X) is strongly nuclear for every projectively countable P-space (in particular, for every Lindelöf P-space) X. We observe that every Schwartz LCS is multi-reflexive. It is known that if X is a $$k_\omega $$ -space, then L(X) is a Schwartz LCS (Außenhofer et al. in Stud Math 181(3):199–210, 2007), hence L(X) is multi-reflexive. We show that for every first-countable paracompact (in particular, for every metrizable) space X the converse is true, so L(X) is multi-reflexive if and only if X is a $$k_\omega $$ -space, equivalently if X is a locally compact and $$\sigma $$ -compact space. Similarly, we show that for any first-countable paracompact space X the free abelian topological group A(X) is a Schwartz group if and only if X is a locally compact space such that the set $$X^{(1)}$$ of all non-isolated points of X is $$\sigma $$ -compact.

Products of topological groups and ω-stability

We present conditions on factors guaranteeing that the product of two spaces (topological groups) is (fairly) pseudo-ℵ1-compact or ω-stable. It is shown, for example, that the product X×Y of a regular pseudo-ℵ1-compact P-space X with a weakly Lindelöf space Y is fairly pseudo-ℵ1-compact. Similarly, the product G×Y of a pseudo-ℵ1-compact P-group G and a fairly pseudo-ℵ1-compact space Y is fairly pseudo-ℵ1-compact.Also, we prove that for each infinite cardinal τ, a Tychonoff space X is τ-stable if and only if the free topological group F(X) (equivalently, the free Abelian topological group A(X)) on X is τ-steady. This enables us to establish τ-stability of several classes of Tychonoff spaces. Additionally, we resolve Open Problem 5.6.2 from [2] by proving that the product G×H of a Lindelöf Σ-group G and a Lindelöf P-group H is τ-stable provided τ=ℵn for some n∈ω or τω=τ.

Topological groups of Lipschitz functions and Graev metrics

We study the properties of the free abelian topological group Ad(X) on a metric space (X,d) endowed with the topology generated by the Graev extension dˆ of a given metric d on X. We find that the group of Lipschitz functions Lip0(X,T) is the group of continuous characters of Ad(X). From this fact we derive some interesting properties of the metric groups Ad(X) and Lip0(X,T).

$P$-bases and topological groups

A topological space $X$ is defined to have a neighborhood $P$-base at any $x\in X$ from some partially ordered set (poset) $P$ if there exists a neighborhood base $(U_p[x])_{p\in P}$ at $x$ such that $U_p[x]\subseteq U_{p’}[x]$ for all $p\geq p’$ in $P$. We prove that a compact space is countable, hence metrizable, if it has countable scattered height and a $\mathcal {K}(M)$-base for some separable metric space $M$. Banakh [Dissertationes Math. 538 (2019), p. 141] gives a positive answer to Problem 8.6.8. Let $A(X)$ be the free Abelian topological group on $X$. It is shown that if $Y$ is a retract of $X$ such that the free Abelian topological group $A(Y)$ has a $P$-base and $A(X/Y)$ has a $Q$-base, then $A(X)$ has a $P\times Q$-base. Also if $Y$ is a closed subspace of $X$ and $A(X)$ has a $P$-base, then $A(X/Y)$ has a $P$-base. It is shown that any Fréchet-Urysohn topological group with a $\mathcal {K}(M)$-base for some separable metric space $M$ is first-countable, hence metrizable. And if $P$ is a poset with calibre $(\omega _1, \omega )$ and $G$ is a topological group with a $P$-base, then any precompact subset in G is metrizable, hence $G$ is strictly angelic. Applications in function spaces $C_p(X)$ and $C_k(X)$ are discussed. We also give an example of a topological Boolean group of character $\leq \mathfrak {d}$ such that the precompact subsets are metrizable but $G$ doesn’t have an $\omega ^\omega$-base if $\omega _1<\mathfrak {d}$. Gabriyelyan, Kakol, and Liederman [Fund. Math. 229 (2015), pp. 129–158] give a consistent negative answer to Problem 6.5.

Tukey order and diversity of free Abelian topological groups

For a Tychonoff space X the free Abelian topological group over X , denoted A ( X ) , is the free Abelian group on the set X with the coarsest topology so that for any continuous map of X into an Abelian topological group its canonical extension to a homomorphism on A ( X ) is continuous. We show there is a family A of maximal size, 2 c , consisting of separable metrizable spaces , such that if M and N are distinct members of A then A ( M ) and A ( N ) are not topologically isomorphic (moreover, A ( M ) neither embeds topologically in A ( N ) nor is an open image of A ( N ) ). We show there is a chain C = { M α : α < c + } , of maximal size, of separable metrizable spaces such that if β < α then A ( M β ) embeds as a closed subgroup of A ( M α ) but no subspace of A ( M β ) is homeomorphic to A ( M α ) . We show that the character (minimal size of a local base at 0) of A ( M ) is d (minimal size of a cofinal set in N N ) for every non-discrete, analytic M , but consistently there is a co-analytic M such that the character of A ( M ) is strictly above d . The main tool used for these results is the Tukey order on the neighborhood filter at 0 in an A ( X ) , and a connection with the family of compact subsets of an auxiliary space.

Topological groups with invariant linear spans

Given a topological group G that can be embedded as a topological subgroup into some topological vector space (over the field of reals) we say that G has invariant linear span if all linear spans of G under arbitrary embeddings into topological vector spaces are isomorphic as topological vector spaces. For an arbitrary set A let \({{\mathbb {Z}}}^{(A)}\) be the direct sum of |A|-many copies of the discrete group of integers endowed with the Tychonoff product topology. We show that the topological group \({{\mathbb {Z}}}^{(A)}\) has invariant linear span. This answers a question from a paper of Dikranjan et al. (J Math Anal Appl 437:1257–1282, 2016) in positive. We prove that given a non-discrete sequential space X, the free abelian topological group A(X) over X is an example of a topological group that embeds into a topological vector space but does not have invariant linear span.

Long colimits of topological groups II: Free groups and vector spaces

Topological properties of the free topological group and the free abelian topological group on a space have been thoroughly studied since the 1940s. In this paper, we study the free topological R-vector space V(X) on X. We show that V(X) is a quotient of the free abelian topological group on [−1,1]×X, and use this to prove topological vector space analogues of existing results for free topological groups on pseudocompact spaces. As an application, we show that certain families of subspaces of V(X) satisfy the so-called algebraic colimit property defined in the authors' previous work.

Metrizable quotients of free topological groups

We consider the following problem: For which Tychonoff topological spaces X do the free topological group F(X) and the free abelian topological group A(X) admit a nontrivial (i.e. not finitely generated) metrizable quotient group? First, we give a complete solution of this problem for the key class of compact spaces X. Then, relying on this result, we resolve the problem for several more general important classes of spaces X, including the class of $$\sigma $$ -compact spaces, the class of pseudocompact spaces, the class of $$\omega $$ -bounded spaces, the class of Cech-complete spaces and the class of K-analytic spaces. Also we describe all absolutely analytic metric spaces X (in particular, completely metrizable spaces) such that the free topological group F(X) and the free abelian topological group A(X) admit a nontrivial metrizable quotient group. Our results are based on an extensive use of topological properties of non-scattered spaces.

Countable tightness and $${\mathfrak {G}}$$-bases on free topological groups

Given a Tychonoff space X, let F(X) and A(X) be respectively the free topological group and the free Abelian topological group over X in the sense of Markov. In this paper, we consider two topological properties of F(X) or A(X), namely the countable tightness and $$\mathfrak G$$-base. We provide some characterizations of the countable tightness and $$\mathfrak G$$-base of F(X) and A(X) for various special classes of spaces X. Furthermore, we also study the countable tightness and $$\mathfrak G$$-base of some $$F_{n}(X)$$ of F(X).

Separable Quotients of Free Topological Groups

AbstractWe study the following problem: For which Tychonoff spaces $X$ do the free topological group $F(X)$ and the free abelian topological group $A(X)$ admit a quotient homomorphism onto a separable and nontrivial (i.e., not finitely generated) group? The existence of the required quotient homomorphisms is established for several important classes of spaces $X$, which include the class of pseudocompact spaces, the class of locally compact spaces, the class of $\unicode[STIX]{x1D70E}$-compact spaces, the class of connected locally connected spaces, and some others.We also show that there exists an infinite separable precompact topological abelian group $G$ such that every quotient of $G$ is either the one-point group or contains a dense non-separable subgroup and, hence, does not have a countable network.

A REMARK ON THE SEPARABLE QUOTIENT PROBLEM FOR TOPOLOGICAL GROUPS

The Banach–Mazur separable quotient problem asks whether every infinite-dimensional Banach space $B$ has a quotient space that is an infinite-dimensional separable Banach space. The question has remained open for over 80 years, although an affirmative answer is known in special cases such as when $B$ is reflexive or even a dual of a Banach space. Very recently, it has been shown to be true for dual-like spaces. An analogous problem for topological groups is: Does every infinite-dimensional (in the topological sense) connected (Hausdorff) topological group $G$ have a quotient topological group that is infinite dimensional and metrisable? While this is known to be true if $G$ is the underlying topological group of an infinite-dimensional Banach space, it is shown here to be false even if $G$ is the underlying topological group of an infinite-dimensional locally convex space. Indeed, it is shown that the free topological vector space on any countably infinite $k_{\unicode[STIX]{x1D714}}$-space is an infinite-dimensional toplogical vector space which does not have any quotient topological group that is infinite dimensional and metrisable. By contrast, the Graev free abelian topological group and the Graev free topological group on any infinite connected Tychonoff space, both of which are connected topological groups, are shown here to have the tubby torus $\mathbb{T}^{\unicode[STIX]{x1D714}}$, which is an infinite-dimensional metrisable group, as a quotient group.

EMBEDDING OF THE FREE ABELIAN TOPOLOGICAL GROUP INTO

We consider the following question: for which metrizable separable spaces does the free abelian topological group isomorphically embed into . While for many natural spaces such an embedding exists, our main result shows that if is a Cook continuum or is a rigid Bernstein set, then does not embed into as a topological subgroup. The analogous statement is true for the free boolean group .

The Mackey problem for free abelian topological groups

The classical Mackey–Arens theorem states that every locally convex space has a Mackey space topology. However, in the wider class of locally quasi-convex (lqc) groups an analogous result does not hold. Indeed, Ausenhofer and the author showed independently that the free abelian topological group $$A(\mathbf {s})$$ over a convergent sequence $$\mathbf {s}$$ does not admit a Mackey group topology. We essentially extend this example by showing that the free abelian topological group A(X) over a non-discrete zero-dimensional (for example, countable) metrizable space X does not have a Mackey group topology.

The kR-property of free Abelian topological groups and products of sequential fans

A space X is called a kR-space, if X is Tychonoff and the necessary and sufficient condition for a real-valued function f on X to be continuous is that the restriction of f to each compact subset is continuous. In this paper, we discuss the kR-property of products of sequential fans and free Abelian topological groups by applying the κ-fan introduced by Banakh. In particular, we prove the following two results:(1)The space Sω1×Sω1 is not a kR-space.(2)The space Sω×Sω1 is a kR-space if and only if Sω×Sω1 is a k-space if and only if b>ω1.These results generalize some well-known results on sequential fans. Furthermore, we generalize some results of Yamada on the free Abelian topological groups by applying the above results. Finally, we pose some open questions about the kR-spaces.

Notes on countable tightness of the subspaces of free (Abelian) topological groups

Given a Tychonoff space X, let F(X) and A(X) be respectively the free topological group and the free Abelian topological group over X in the sense of Markov. For every n∈N, let Fn(X) (resp. An(X)) denote the subspace of F(X) (resp. A(X)) that consists of words of reduced length at most n with respect to the free basis X. In this paper, we mainly discuss the subspaces Fn(X) and An(X) with countable tightness for a Lašnev space X, and prove that:(1) Assume b=ω1. For a non-metrizable Lašnev space X, the tightness of F5(X) is countable if and only if the tightness of F(X) is countable;(2) Let X be the closed image of a locally separable metrizable space. Then the tightness of A4(X) is countable if and only if the tightness of A(X) is countable.

SUBSPACES OF THE FREE TOPOLOGICAL VECTOR SPACE ON THE UNIT INTERVAL

For a Tychonoff space $X$, let $\mathbb{V}(X)$ be the free topological vector space over $X$, $A(X)$ the free abelian topological group over $X$ and $\mathbb{I}$ the unit interval with its usual topology. It is proved here that if $X$ is a subspace of $\mathbb{I}$, then the following are equivalent: $\mathbb{V}(X)$ can be embedded in $\mathbb{V}(\mathbb{I})$ as a topological vector subspace; $A(X)$ can be embedded in $A(\mathbb{I})$ as a topological subgroup; $X$ is locally compact.

On Generalized Retracts and Isomorphic Classification of Free Objects. I

We present the application of parallel generalized retracts to the construction of spaces with topologically isomorphic free (Abelian) topological groups and free locally convex spaces.

The k-spaces property of the free Abelian topological groups over non-metrizable Lašnev spaces

Given a Tychonoff space X, let A(X) be the free Abelian topological group over X in the sense of Markov. For every n∈N, let An(X) denote the subspace of A(X) that consists of words of reduced length at most n with respect to the free basis X. In this paper, we show that for an arbitrary non-metrizable Lašnev space X, the subspace A4(X) is a k-space if and only if A(X) is a k-space, which gives a complementary for one result of K. Yamada's. Under the assumption of b=ω1, we also show that for an arbitrary non-metrizable Lašnev space X, the subspace A3(X) is a k-space if and only if A(X) is a k-space. However, under the assumption of b>ω1, we provide a non-metrizable Lašnev space X such that A3(X) is a k-space but A(X) is not a k-space.

The topological properties of q-spaces in free topological groups

Given a Tychonoff space X, let F(X) and A(X) be respectively the free topological group and the free Abelian topological group over X in the sense of Markov. In this paper, we provide some topological properties of X whenever one of F(X), A(X), some finite level of F(X) and some finite level of A(X) is q-space (in particular, locally ω-bounded spaces and r-spaces), which give some partial answers to a problem posed in [10].