Cantor space, often denoted as \(2^{\mathbb{N}}\), is a topological space that is fundamental in various areas of mathematics, particularly in topology and set theory. It is typically constructed as follows: 1. **Definition**: Cantor space consists of all infinite sequences of binary digits (0s and 1s).
Articles by others on the same topic
Cantor space is the binary sequence space with the product topology of discrete two-point factors. Here the Bernoulli-space synonym refers to this topology, without selecting a particular probability measure. The metric induces the topology. A diagonal subsequence argument gives compactness. Fixing a finite prefix gives a clopen cylinder set. The map is a homeomorphism to the usual Cantor set.