Countable tightness and \(k\)-property of free topological vector spaces (Q2315323)

Definition 2.1. Let \(X\) be a space. (1) The space \(X\) is separable if it contains a countable subset \(B\) such that \(\overline{B}=X\). (2) The space \(X\) is of countable tightness if the closure of any subset \(A\) of \(X\) equals the union of closures of all countable subsets of \(A\), and the countable tightness of a space \(X\) is denoted by \(t(X)\leq\omega\). (3) The space \(X\) is called a \(k\)-space provided that a subset \(C\subseteq X\) is closed in \(X\) if \(C\cap K\) is closed in \(K\) for each compact subset \(K\) of \(X\). (4) The space \(X\) is called a \(k_{\omega}\)-space if there exists a family of countably many compact subsets \(\left\{K_{n}:n\in \mathbb{N}\right\}\) of \(X\) such that each subset \(F\) of \(X\) is closed in \(X\) provided that \(F\cap K_{n}\) is closed in \(K_{n}\) for each \(n\in \mathbb{N}\). In this paper the authors prove the following results: \textbf{Theorem 3.3.} Let \(X\) be a paracompact \(\aleph\)-space. Then the following statements are equivalent: (1) \(sp_{1}(X)\) is \(csf\)-countable; (2) \(V(X)\) is an \(\aleph_{0}\)-space (where \(V(X)\) denotes the free topological vector space over \(X\)); (3) \(X\) is separable. \textbf{Theorem 3.5.} Let \(X\) be a (Tychonoff) space. Then \(V(X)\) is \(snf\)-countable if and only if \(X\) is finite. \textbf{Theorem 3.6} Let \(X\) be a submetrizable space. Then \(V(X)\) is submetrizable. \textbf{Theorem 3.10} Let \(X\) be a \(k^{\star}\)-metrizable space. Then \(A(X)\) is a \(k\)-space if and only if \(X\) is the topological sum of a \(k_{\omega}\)-space and a discrete space (here \(A(X)\) denotes the free abelian topological group over \(X\)). \textbf{Theorem 3.12} Let \(X\) be a non-metrizable \(k\)-metrizable space. Then the following statements are equivalent: (1) \(A(X)\) is a \(k\)-space; (2) \(A_{4}(X)\) is a \(k\)-space; (3) \(X\) is the topological sum of a \(k_{\omega}\)-space and a discrete space. \textbf{Theorem 3.13} Let \(X\) be a \(k^{\star}\)-metrizable space. Then the following statements are equivalent: (1) \(V(X)\) is a \(k\)-space; (2) \(V(X)\) is a \(k_{\omega}\)-space; (3) \(X\) is a \(k_{\omega}\)-space. \textbf{Theorem 3.15} Let \(X\) be a non-metrizable \(k^{\star}\)-metrizable space. Then the following statements are equivalent: (1) \(V(X)\) is a \(k\)-space; (2) \(V(X)\) is a \(k_{\omega}\)-space; (3) \(sp_{4}(X)\) is a \(k_{\omega}\)-space; (4) \(sp_{4}(X)\) is a \(k\)-space; (5) \(X\) is a \(k_{\omega}\)-space. \textbf{Theorem 3.17} Let \(X\) be a paracompact \(\sigma\)-space. If \(X\) is a \(k\)-space, then the following statements are equivalent: (1) the tightness of \(V(X)\) countable; (2) the tightness of \(sp_{4}(X)\) countable; (3) \(V(X)\) is a cosmic space; (4) \(X\) is separable.