MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 excluded silly counterexamples

Is the (algebraic) span a finite set of vectors in a Hausdorff topological vector space over a complete field always closed?

I suspect yes, but I can't come up with a proof, and it seems like locally convex might be needed to get this.
show/hide this revision's text 1

Closedness of finite-dimensional subspaces

Is the (algebraic) span a finite set of vectors in a Hausdorff topological vector space always closed?

I suspect yes, but I can't come up with a proof, and it seems like locally convex might be needed to get this.