Zulip Chat Archive
Stream: maths
Topic: uniform convergence
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?
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.
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: Dec 20 2023 at 11:08 UTC