局部紧空间连续映射像的局部紧性：反例构造求助

我来给你梳理几个经典的构造思路和具体例子，都是拓扑学里验证这类命题常用的：

• 核心思路：找一个局部紧的拓扑空间，构造一个连续但非开的映射，把它映射到一个非局部紧的空间里，这样就能直接说明a)不成立。

• 经典例子1：离散空间到有理数集的映射

  • 取局部紧空间：整数集$\mathbb{Z}$，赋予离散拓扑。离散空间里每个点的邻域就是自身，是紧集，所以$\mathbb{Z}$是局部紧的。
  • 取目标空间：有理数集$\mathbb{Q}$，赋予欧氏拓扑。$\mathbb{Q}$不是局部紧的——任何非空开集都无法被一个紧集包含，比如$[0,1]\cap\mathbb{Q}$，它是闭有界的但不是紧集，因为存在逼近无理数的有理柯西列，无法收敛到$\mathbb{Q}$中的点。
  • 构造连续映射：定义$f:\mathbb{Z}\to\mathbb{Q}$，其中$f(0)=0$，$f(n)=\frac{1}{n}$（$n\in\mathbb{Z}\setminus{0}$）。离散空间到任何拓扑空间的映射都是连续的，因为每个单点集的原像都是开集。
  • 验证结论：$f(\mathbb{Z})={0}\cup\left{\frac{1}{n}\mid n\in\mathbb{Z}\setminus{0}\right}$，作为$\mathbb{Q}$的子空间不是局部紧的。看0这个点，它的任何邻域都包含无限多个$\frac{1}{n}$，而这个邻域的闭包在$\mathbb{Q}$中不是紧集——你无法找到有限个开集覆盖这个闭包，因为$\frac{1}{n}$会无限趋近于0，但0的邻域无法同时包含所有$\frac{1}{n}$且成为紧集。

• 经典例子2：实数集到特殊商空间的映射

  • 取局部紧空间：$\mathbb{R}$（欧氏拓扑，每个点都有闭区间这样的紧邻域，显然局部紧）。
  • 构造商空间：把$\mathbb{R}$中所有整数点粘成一个单点，得到商空间$Y=\mathbb{R}/\mathbb{Z}^{*$（$\mathbb{Z}}*$表示所有整数构成的集合），赋予商拓扑。这个商空间不是局部紧的——那个粘起来的“单点”的任何邻域都包含无限多个原实数轴上的区间段，无法被紧集包含。
  • 构造映射：商映射$f:\mathbb{R}\to Y$，这个映射是连续的（商映射天然连续），但不是开映射（比如开区间$(1/2,3/2)$的像包含那个粘起来的点，不是开集）。
  • 验证结论：$f(\mathbb{R})=Y$，而$Y$不是局部紧的，完全符合a)不成立的情况。

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