In functional analysis, an F-space is a vector space X over the real or complex numbers together with a metric {\displaystyle d:X\times X\to \mathbb {R} } such that
Scalar multiplication in X is continuous with respect to d and the standard metric... Wikipedia