English

Free locally convex spaces with a small base

Functional Analysis 2016-04-19 v2 General Topology

Abstract

The paper studies the free locally convex space L(X)L(X) over a Tychonoff space XX. Since for infinite XX the space L(X)L(X) is never metrizable (even not Fr\'echet-Urysohn), a possible applicable generalized metric property for L(X)L(X) is welcome. We propose a concept (essentially weaker than first-countability) which is known under the name a G\mathfrak{G}-base. A space XX has a {\em G\mathfrak{G}-base} if for every xXx\in X there is a base {Uα:αNN}\{ U_\alpha : \alpha\in\mathbb{N}^\mathbb{N}\} of neighborhoods at xx such that UβUαU_\beta \subseteq U_\alpha whenever αβ\alpha\leq\beta for all α,βNN\alpha,\beta\in\mathbb{N}^\mathbb{N}, where α=(α(n))nNβ=(β(n))nN\alpha=(\alpha(n))_{n\in\mathbb{N}}\leq \beta=(\beta(n))_{n\in\mathbb{N}} if α(n)β(n)\alpha(n)\leq\beta(n) for all nNn\in\mathbb{N}. We show that if XX is an Ascoli σ\sigma-compact space, then L(X)L(X) has a G\mathfrak{G}-base if and only if XX admits an Ascoli uniformity U\mathcal{U} with a G\mathfrak{G}-base. We prove that if XX is a σ\sigma-compact Ascoli space of NN\mathbb{N}^\mathbb{N}-uniformly compact type, then L(X)L(X) has a G\mathfrak{G}-base. As an application we show: (1) if XX is a metrizable space, then L(X)L(X) has a G\mathfrak{G}-base if and only if XX is σ\sigma-compact, and (2) if XX is a countable Ascoli space, then L(X)L(X) has a G\mathfrak{G}-base if and only if XX has a G\mathfrak{G}-base.

Keywords

Cite

@article{arxiv.1604.02555,
  title  = {Free locally convex spaces with a small base},
  author = {Saak Gabriyelyan and Jerzy Kakol},
  journal= {arXiv preprint arXiv:1604.02555},
  year   = {2016}
}
R2 v1 2026-06-22T13:28:33.715Z