A topological vector space is Fréchet-Urysohn if and only if it has bounded tightness (Q2389174)

Let \(E\) be a topological vector space. The authors prove that the following assertions are equivalent. (1)~\(E\) is Fréchet-Urysohn, i.e., for every subset \(A\) of \(E\) and every \(x\in\overline{A}\) there is a sequence in \(A\) which converges to~\(x\). (2)~\(E\) has bounded tightness, i.e., for every subset \(A\) of \(E\) such that \(0\in\overline A\) there exists a bounded subset \(B\) of \(A\) such that \(0\in\overline B\). (3)~For any sequence \((A_n)_n\) of subsets of \(E\), each with \(0\in\overline{A_n}\), there exists a sequence \(B_n\subset A_n\), \(n\in\mathbb N\), such that \(\bigcup_nB_n\) is bounded and \(0\in\overline{\bigcup_{n\leq k}B_k}\) for each \(n\in\mathbb N\).