Theorem
Letrepresent the set of all continuous functions on
For each
and
define
The familyforms a basis for a topology
on
Proof
Suppose
Letand let
In fact ifthen
and
and
Therefore
Theorem
Letrepresent the set of all continuous functions on
For each
and
define
The familyforms a basis for a topology
on
Proof
Suppose
Letand let
In fact ifthen
and
and
Therefore