F-space

In functional analysis, an F-space is a vector space V over the real or complex numbers together with a metric d : V × V → ℝ so that 1. * Scalar multiplication in V is continuous with respect to d and the standard metric on ℝ or ℂ. 2. * Addition in V is continuous with respect to d. 3. * The metric is translation-invariant; i.e., d(x + a, y + a) = d(x, y) for all x, y and a in V. 4. * The metric space (V, d) is complete.

F-space

In functional analysis, an F-space is a vector space V over the real or complex numbers together with a metric d : V × V → ℝ so that 1. * Scalar multiplication in V is continuous with respect to d and the standard metric on ℝ or ℂ. 2. * Addition in V is continuous with respect to d. 3. * The metric is translation-invariant; i.e., d(x + a, y + a) = d(x, y) for all x, y and a in V. 4. * The metric space (V, d) is complete.