Munkres引理38.1：嵌入映射诱导拓扑空间紧化的技术问询

嘿，咱们来拆解这个拓扑学里的经典结论：

假设X是任意拓扑空间，h:X→Z是X到紧豪斯多夫空间Z的嵌入映射，那么我们能得到两个核心结论：

• 存在X的一个紧化Y，同时存在嵌入映射H:Y→Z，使得H在X上的限制恰好就是h；
• 这个紧化Y在等价意义下是唯一的——也就是说，任何满足条件的紧化都和Y是等价的。

具体构造过程 #

怎么得到这个紧化Y呢？其实步骤很直观：
给定嵌入h后，我们先定义X₀为Z的子空间h(X)（因为h是嵌入，X和X₀是同胚的），再令Y₀是X₀在Z中的闭包。
由于Z是紧豪斯多夫空间，它的闭子空间Y₀必然也是紧豪斯多夫空间；同时Y₀是X₀的闭包，所以Y₀本身就是X₀的一个紧化。

接下来，我们把X中的点x和X₀里的h(x)做等同（毕竟X和X₀同胚），这样Y₀就可以对应到X的紧化Y。而这里的嵌入映射H，就是Y₀到Z的自然包含映射，它在X上的限制正好就是h，完美满足我们的要求。

内容的提问来源于stack exchange，提问作者user193319