Zulip Chat Archive

Stream: Is there code for X?

Topic: continuous map to \top


view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip Reid Barton (Sep 10 2020 at 17:27):

docs#embedding.continuous_iff


Last updated: May 07 2021 at 19:12 UTC