We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > General Topology

Title: $P$-bases and Topological Groups

Authors: Ziqn Feng
Abstract: A topological space $X$ is defined to have a neighborhood $P$-base at any $x\in X$ from some 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$. This gives a positive answer to Problem 8.6.8 in \cite{Banakh2019}.
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\'{e}che-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}$. This gives a consistent negative answer to Problem 6.5 in \cite{GKL15}.
Subjects: General Topology (math.GN); Group Theory (math.GR)
Cite as: arXiv:2010.08004 [math.GN]
  (or arXiv:2010.08004v3 [math.GN] for this version)

Submission history

From: Ziqin Feng [view email]
[v1] Thu, 15 Oct 2020 20:06:27 GMT (13kb)
[v2] Wed, 21 Oct 2020 14:46:30 GMT (15kb)
[v3] Wed, 19 May 2021 20:02:10 GMT (355kb)

Link back to: arXiv, form interface, contact.