Zulip Chat Archive

Stream: maths

Topic: uniform convergence


view this post on Zulip Reid Barton (Jan 13 2020 at 21:57):

Do we have any updated situation regarding the continuity of a uniformly convergent limit/sum of continuous functions?

view this post on Zulip Sebastien Gouezel (Jan 14 2020 at 08:19):

Do we have any updated situation regarding the continuity of a uniformly convergent limit/sum of continuous functions?

There is continuous_of_uniform_limit_of_continuous in topology/bounded_continuous.

view this post on Zulip Reid Barton (Jan 14 2020 at 16:16):

Ah thanks. I was expecting some statement about uniform spaces, but unsurprisingly this version covers my actual usage.


Last updated: May 18 2021 at 06:15 UTC