Is the set of all real summable sequences, endowed with the box topology, a topological vector space?
Formally, I am interested in $X=\{(a_1,\ldots):a_n \in \mathbb{R} \ \forall n, \ \sum a_n < \infty\}$ endowed with the box topology.
I think that this is the case as vector addition and scalar multiplication both seem continuous to me.
But, there is at least one place which suggests that the box topology generally does not define a topological vector space:
Why is the box topology on a product of complete topological vector spaces complete?