F-espaço

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),~~~\forall x,y,z\in X\,$

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