e/F-space

Information
has gloss	eng: In functional analysis, an F-space is a vector space V over the real or complex numbers together with a metric d : V × V → R so that # Scalar multiplication in V is continuous with respect to d and the standard metric on R or C. # Addition in V is continuous with respect to d. # The metric is translation-invariant, i.e. d(x+a, y+a) = d(x, y) for all x, y and a in V # The metric space (V, d) is complete
lexicalization	eng: F-space
instance of	e/Topological vector space

Meaning
Portuguese
has gloss	por: Em matemática, uma espaço vetorial topológico é dito um F-espaço se sua topologia é induzida por uma métrica invariante completa.
lexicalization	por: F-espaço