\(\omega^\omega\)-dominated function spaces and \(\omega^{\omega}\)-bases in free objects of topological algebra (Q1646554): Difference between revisions

A topological space \(X\) has an \(\omega^{\omega}\)-base if for each \(x\in X\) there is a local \(\omega^{\omega}\)-base at \(x\), i.e. a local base \(\{U_\alpha(x): \alpha \in \omega^{\omega}\}\) such that \(U_{\beta}(x) \subset U_{\alpha}(x)\) for \(\alpha \leq \beta\) in \(\omega^{\omega}\). A uniform space \((X,\mathcal U)\) has an \(\omega^{\omega}\)-base if \(\mathcal U\) has a base \(\{U_\alpha: \alpha \in \omega^{\omega}\}\) such that \(U_{\beta} \subset U_{\alpha}\) whenever \(\alpha \leq \beta\) in \(\omega^{\omega}\). The authors of this interesting paper detect and study topological and uniform spaces whose free topological objects have \(\omega^{\omega}\)-bases. We give here two typical results. (A) For a Tychonoff space \(X\) the following properties are equivalent: (1) the free abelian topological group \(A(X)\) of \(X\) has an \(\omega^{\omega}\)-base; (2) the free Boolean topological group \(B(X)\) of \(X\) has an \(\omega^{\omega}\)-base; (3) the universal uniformity of \(X\) has an \(\omega^{\omega}\)-base. Also the properties (4) the free locally convex space \(L(X)\) of \(X\) has an \(\omega^{\omega}\)-base; (5) the free topological vector space \(V(X)\) of \(X\) has an \(\omega^{\omega}\)-base; (6) the universal uniformity of \(X\) has an \(\omega^{\omega}\)-base and \(X\) is separable, are equivalent. (B) For a separable uniform space \(X\) the following conditions are equivalent: (i) the free abelian topological group \(A(X)\) of \(X\) has an \(\omega^{\omega}\)-base; (ii) the free Boolean topological group \(B(X)\) of \(X\) has an \(\omega^{\omega}\)-base; (iii) the free topological group \(F(X)\) of \(X\) has an \(\omega^{\omega}\)-base; (iv) the free locally convex space \(L(X)\) of \(X\) has an \(\omega^{\omega}\)-base; (v) the free topological vector space \(V(X)\) of \(X\) has an \(\omega^{\omega}\)-base; (vi) the universal uniformity of \(X\) has an \(\omega^{\omega}\)-base.