the.com/tychonoff
proof that infinite committees of compact spaces can still reach consensus.
means the theorem stating that any product of compact topological spaces, no matter how many, is itself compact.
from named for andrey tychonoff, a soviet mathematician who proved it in 1930 while untangling how topological properties survive infinite products, a question that had stumped set theorists chasing generalizations of finite compactness.
equivalenceequivalent to the axiom of choice itself
infinite reachworks for any number of factor spaces, even uncountable
key toolused constantly in functional analysis and logic