There is a standard way to approach such questions using Grothendieck's completeness. Suppose that you have a complete topological vector space and an absolutely convex bounded closed subset thereof. Then the span of the latter is a Banach space with its Minkoski functional as norm.
clyde
- 91
- 1
- 2