You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

Hausdorff空间收缩核闭性证明疑问:r(z)=z是否必然推出z∈Y?

关于Hausdorff空间收缩核闭性的疑问

最近在解决拓扑学的一个问题,题目内容如下:

设$Z$是拓扑空间,若存在连续映射$r:Z \rightarrow Y$,使得对所有$y \in Y$有$r(y)=y$,则称$Y \subset Z$是$Z$的收缩核。证明:若$Z$是Hausdorff空间且$Y$是$Z$的收缩核,则$Y$在$Z$中是闭集?

我查阅了不少相关资料后发现,绝大多数解法都依赖一个默认事实:若$z \in Z$满足$r(z)=z$,则$z \in Y$。但严格抠题目的定义来看,题目里只明确了收缩核映射$r$会把$Y$中的每个点映射到自身,并没有直接规定只有$Y$内的点才会满足$r(z)=z$,这一点让我有点困惑,总觉得这个默认的前提是不是需要额外的推导或者说明?

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

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.05.19 08:21:53