English

Free topological vector spaces

General Topology 2016-04-15 v1

Abstract

We define and study the free topological vector space V(X)\mathbb{V}(X) over a Tychonoff space XX. We prove that V(X)\mathbb{V}(X) is a kωk_\omega-space if and only if XX is a kωk_\omega-space. If XX is infinite, then V(X)\mathbb{V}(X) contains a closed vector subspace which is topologically isomorphic to V(N)\mathbb{V}(\mathbb{N}). It is proved that if XX is a kk-space, then V(X)\mathbb{V}(X) is locally convex if and only if XX is discrete and countable. If XX is a metrizable space it is shown that: (1) V(X)\mathbb{V}(X) has countable tightness if and only if XX is separable, and (2) V(X)\mathbb{V}(X) is a kk-space if and only if XX is locally compact and separable. It is proved that V(X)\mathbb{V}(X) is a barrelled topological vector space if and only if XX is discrete. This result is applied to free locally convex spaces L(X)L(X) over a Tychonoff space XX by showing that: (1) L(X)L(X) is quasibarrelled if and only if L(X)L(X) is barrelled if and only if XX is discrete, and (2) L(X)L(X) is a Baire space if and only if XX is finite.

Keywords

Cite

@article{arxiv.1604.04005,
  title  = {Free topological vector spaces},
  author = {Saak S. Gabriyelyan and Sidney A. Morris},
  journal= {arXiv preprint arXiv:1604.04005},
  year   = {2016}
}
R2 v1 2026-06-22T13:31:59.332Z