$ω^ω$-Dominated function spaces and $ω^ω$-bases in free objects of Topological Algebra

Abstract

A topological space $X$ is defined to have an $ω^ω$-base if at each point $x\in X$ the space $X$ has a neighborhood base $(U_α[x])_{α\inω^ω}$ such that $U_β[x]\subset U_α[x]$ for all $α\leβ$ in $ω^ω$. We characterize topological and uniform spaces whose free (locally convex) topological vector spaces or free (Abelian or Boolean) topological groups have $ω^ω$-bases.