Estas funciones forman un espacio vectorial topológico mediante una familia adecuada de seminormas: