 A subset of Z+ is compact in the Appert topology if and only if it is finite.In particular, Z+ is not locally compact, since there is no compact neighborhood of 1.Moreover, Z+ is not countably compact.