In general, by Proposition 1.3,
for each ,
we choose a basis
|
|
|
of
such that
|
|
|
for all .
If we set
|
|
|
for . Then , so that
|
|
|
for all .
Let be a local basis of over an open set .
Then the above inequalities imply that
|
|
|
for all , which shows that the sequence
converges to
uniformly on .
Thus, by the previous observation,
is continuous on .
∎