Zulip Chat Archive

Stream: Is there code for X?

Topic: continuous map to \top


Kenny Lau (Sep 10 2020 at 17:26):

Do we know that the map from a topological space to its top subspace (the whole subspace) is continuous?

Reid Barton (Sep 10 2020 at 17:27):

I don't know if we have this exact statement, but the easy way to prove it is to note it's the factorization of a continuous map (the identity) through an embedding

Reid Barton (Sep 10 2020 at 17:27):

docs#embedding.continuous_iff


Last updated: Dec 20 2023 at 11:08 UTC