Why the finite sequences space $\mathbb{K}^\infty$ with the final topology is a locally convex topological vector space?

214 Views Asked by At

On Wikipedia, it is claimed that the finite sequences space $\mathbb{K}^\infty$ with the final topology is a locally convex topological vector space. But I couldn't figure out how to prove this, both for why it is a topological vector space and why it is locally convex. Can someone help me with this? Thanks a lot.