F-espaço

Predefinição:Sem-fontes Em matemática, uma espaço vetorial topológico é dito um F-espaço se sua topologia é induzida por uma métrica invariante completa.

Uma métrica $d$ em um espaço linear $X$ é dita invariante se:

$d(x+z,y+z)=d(x,y),\mathrm{\forall }x,y,z\in X$

Todo espaço de Banach é um F-espaço.