F-space

topological vector space with a complete translation-invariant metric