« Home

Proposition. Integer with arithmetic progression topology is not locally compact [1OV1]

Z\mathbb{Z} with arithmetic progression topology is not locally compact.

如果不是試著證明我也不會發現 Topology — A Categorical Approach 的 Example 1.5 定義是錯的xd

Proof. [local-0]

If KK is a compact neighborhood of 00, then KS(a,0)=aZK \supseteq S(a, 0) = a\mathbb{Z}. Since S(a,0)S(a, 0) is clopen, it is a closed subspace of KK, hence compact.

But S(a,0)(Z,Furstenberg)S(a, 0) \cong (\mathbb{Z}, \text{Furstenberg}), via

nann \mapsto an

and (Z,Furstenberg)(\mathbb{Z}, \text{Furstenberg}) is not compact: the cover

{aZ}{ZpZp prime,pa}\{a\mathbb{Z}\} \cup \{\mathbb{Z} \setminus p\mathbb{Z} \mid p \text{ prime}, p \nmid a\}

has no finite subcover (any finite subfamily misses p1p2pkp_1 p_2 \cdots p_k for primes outside the chosen set). Contradiction.