Theorem
Let
represent the set of all continuous functions on
For each
and
define
![]()
The family
forms a basis for a topology
on![]()
Proof
Suppose![]()
Let
and let![]()
![]()
In fact if
then
and
and![]()
Therefore![]()
Theorem
Let
represent the set of all continuous functions on
For each
and
define
![]()
The family
forms a basis for a topology
on![]()
Proof
Suppose![]()
Let
and let![]()
![]()
In fact if
then
and
and![]()
Therefore![]()