Cardinality of integer-periodic function spaces

ID: cardinality-of-integer-periodic-function-spaces

For fixed positive integer period , integer-valued periodic functions on are in bijection with and hence form a countable set. Their union over periods is a countable union of countable sets. In contrast, period-one integer-valued functions on can prescribe arbitrary binary values on its infinitely many distinct classes modulo . The power set of a countably infinite set injects into them, proving uncountability.

New to topics? Read the docs here!