完备度量空间中连续映射正轨道导集等于全空间的证明问询

嘿，结合你已经证出的ω(x)是闭集这个关键结论，咱们可以用反证法+连续性来推进，核心逻辑是抓住「轨道稠密」和「ω(x)闭」这两个点，从假设存在不在ω(x)的点出发导出矛盾：

第一步：明确前提与定义 #

先把已知条件再理一遍，避免混淆：

• $X$是完备度量空间，$T:X\to X$连续
• 正轨道 $O_T^+(x) = {T^n(x): n \in \Bbb N}$，且它的闭包$\overline{O_T^+(x)} = X$（轨道在全空间稠密）
• ω-极限集$w(x)$是$O_T^+(x)$的导集（即轨道所有聚点的集合），你已经证明它是闭集

第二步：反证假设，推导邻域性质 #

假设存在$y \in X \setminus w(x)$，根据导集的定义：$y$不是轨道的聚点，所以必然存在$y$的一个开邻域$U$，使得$U$与$O_T^+(x)$的交集是有限集。

设这个有限交集中，轨道点的最大下标为$N$——也就是说，当$n > N$时，$T^n(x) \notin U$，轨道从第$N+1$步开始就再也不进入$U$了。

第三步：利用连续性与完备性导出矛盾 #

1. 考虑闭集$Y = X \setminus U$：因为$X$是完备度量空间，闭子集$Y$也具备完备性。
2. 现在看$T$在$Y$上的限制：假设存在某个$z \in Y$使得$T(z) \in U$，那由$T$的连续性，对于$T(z)$的邻域$U$，存在$z$的邻域$V$，使得$T(V) \subseteq U$。但轨道在$X$中稠密，所以$V$里必然包含某个轨道点$T^k(x)$（$k$可以任意大）。如果$k > N$，那$T^k(x) \in Y$，此时$T^{k+1}(x) = T(T^k(x)) \in U$，但这和我们之前的结论「$n > N$时$T^n(x) \notin U$」矛盾！所以$T(Y) \subseteq Y$，即$T$把$Y$映射到自身。
3. 轨道的后半段${T^n(x) | n > N}$完全包含在$Y$中，它的闭包是什么？原轨道的闭包是$X$，而前半段${T^0(x), ..., T^N(x)}$是有限集，闭包就是自身。所以后半段轨道的闭包必须等于$X \setminus {T^0(x), ..., T^N(x)}$的闭包，也就是包含整个$Y$（因为$Y = X \setminus U$，而$U$是开集）。
4. 现在，$Y$是完备度量空间，$T$在$Y$上连续且映到自身，后半段轨道在$Y$中稠密。按照同样的逻辑，后半段轨道的ω-极限集（也就是$w(x)$在$Y$中的部分）应该是$Y$的闭子集，但如果$w(x) \neq X$，那$Y$的闭包（也就是$Y$本身）会被$w(x)$的子集覆盖，同时原轨道的稠密性要求$Y$中的每个点都是后半段轨道的聚点——这就意味着$w(x)$必须包含整个$Y$。
5. 但我们一开始假设$y \in X \setminus w(x)$，而$y \in U$，那$U$里的点都不在$w(x)$吗？不对，轨道和$U$只有有限个交点，那$U$里的其他点都不是轨道的聚点，但轨道稠密，$U$里应该有无限多个轨道点才对，这就矛盾了！

第四步：回到「$x \in w(x)$」的推导 #

其实还有个更直接的小结论可以用：如果$x \notin w(x)$，那$x$的某个邻域里只有$x$这一个轨道点，但轨道在$X$中稠密，这个邻域里必然存在其他轨道点，矛盾，所以**$x$一定属于$w(x)$**。

结合$w(x)$是闭集且$T(w(x)) \subseteq w(x)$（因为聚点的像还是聚点，由$T$的连续性保证），如果$w(x) \neq X$，那$X \setminus w(x)$是非空开集，但轨道稠密性要求这个开集里有无限多个轨道点，可根据ω-极限集的定义，这个开集里的点都不是聚点，只能包含有限个轨道点，这就直接矛盾了。

所以最终只能是$w(x) = X$。

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