Topological spaces with an $ω^ω$-base

Abstract

Given a partially ordered set $P$ we study properties of topological spaces $X$ admitting a $P$-base, i.e., an indexed family $(U_α)_{α\in P}$ of subsets of $X\times X$ such that $U_β\subset U_α$ for all $α\leβ$ in $P$ and for every $x\in X$ the family $(U_α[x])_{α\in P}$ of balls $U_α[x]=\{y\in X:(x,y)\in U_α\}$ is a neighborhood base at $x$. A $P$-base $(U_α)_{α\in P}$ for $X$ is called locally uniform if the family of entourages $(U_αU_α^{-1}U_α)_{α\in P}$ remains a $P$-base for $X$. A topological space is first-countable if and only if it has an $ω$-base. By Moore's Metrization Theorem, a topological space is metrizable if and only if it is a $T_0$-space with a locally uniform $ω$-base. In the paper we shall study topological spaces possessing a (locally uniform) $ω^ω$-base. Our results show that spaces with an $ω^ω$-base share some common properties with first countable spaces, in particular, many known upper bounds on the cardinality of first-countable spaces remain true for countably tight $ω^ω$-based topological spaces. On the other hand, topological spaces with a locally uniform $ω^ω$-base have many properties, typical for generalized metric spaces. Also we study Tychonoff spaces whose universal (pre- or quasi-) uniformity has an $ω^ω$-base and show that such spaces are close to being $σ$-compact.