Definición
La afirmación de que cualquier producto (con la topología producto) de espacios topológicos compactos es compacto; en la teoría ZF este teorema es equivalente al Axioma de Elección.
Principio
Principio
La compacidad se preserva bajo productos arbitrarios cuando el producto lleva la topología producto; las demostraciones usan redes, ultrafiltros o el teorema de subbase de Alexander y requieren el axioma de elección en plena generalidad.
Demostración
Demostración
El cubo de Tychonoff [0,1]^I (producto de copias del intervalo compacto [0,1] indexadas por I) es compacto en la topología producto para cualquier conjunto de índices I; argumentos por ultrafiltros o subbase establecen la compacidad.
Aplicación incorrecta
Aplicación incorrecta
Aplicar el teorema a la topología box o suponer que productos de espacios meramente localmente compactos son compactos es un uso indebido; la topología producto y la compacidad de cada factor son hipótesis esenciales.
Consecuencia
Consecuencia
El teorema de Tychonoff sustenta muchos resultados de existencia (por ejemplo medidas producto y compactificaciones) y su equivalencia al Axioma de Elección muestra profundas implicaciones fundacionales para construcciones en topología y análisis.
Inversión
Inversión
El fracaso de la compacidad del producto en topologías alternativas (p. ej. topología box) o sin elección destaca el contraste: los productos finitos preservan la compacidad trivialmente, mientras que los productos infinitos requieren el teorema completo y, desde la perspectiva de la teoría de conjuntos, la elección.
Límite
Límite
El teorema se refiere específicamente a la topología producto sobre conjuntos de índices arbitrarios y a la compacidad de los factores; no se extiende a otras topologías análogas al producto y no es válido en ZF sin elección salvo para clases especiales de espacios.
Tensión semántica
Tensión semántica
Hay tensión entre la topología producto y la topología box, entre pruebas por recubrimientos y por ultrafiltros/redes, y entre el contenido topológico y su equivalencia en teoría de conjuntos con el Axioma de Elección.
Síntesis
Síntesis
El teorema de Tychonoff afirma que productos arbitrarios de espacios compactos son compactos en la topología producto; es a la vez una herramienta potente para construir espacios compactos y una afirmación con fuerza set-teórica precisa equivalente a la elección.