^-dominated function spaces and ^-bases in free objects of topological algebra

From MaRDI portal
Publication:1646554



Abstract: A topological space X is defined to have an omegaomega-base if at each point xinX the space X has a neighborhood base (Ualpha[x])alphainomegaomega such that for all in omegaomega. We characterize topological and uniform spaces whose free (locally convex) topological vector spaces or free (Abelian or Boolean) topological groups have omegaomega-bases.


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.



Cites work









This page was built for publication: \(\omega^\omega\)-dominated function spaces and \(\omega^{\omega}\)-bases in free objects of topological algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1646554)