Remark 2
Tag 0CBK, permanent. Cite it as [Bourbaki, Tag 0CBK].
General Topology, chapter X, § 1. The uniformity of $\mathscr{G}$-convergence
A filter on can converge pointwise to a continuous function without converging uniformly to this function.
For example, on the interval , let be the real-valued function which is equal to 0 for and , equal to 1 for , and linear in each of the intervals and . The sequence converges pointwise to 0, but does not converge uniformly to 0 in (cf. Exercise 6).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.