with arithmetic progression topology is not locally compact.
如果不是試著證明我也不會發現 Topology — A Categorical Approach 的 Example 1.5 定義是錯的xd
Proof. [local-0]
Proof. [local-0]
If is a compact neighborhood of , then . Since is clopen, it is a closed subspace of , hence compact.
But , via
and is not compact: the cover
has no finite subcover (any finite subfamily misses for primes outside the chosen set). Contradiction.