The topology on is defined as follows: for any fixed compact set , the space of functions with is a Fréchet space with countable family of seminorms (these are actually norms, and the completion of the space with the norm is a Banach space ).