En topología, el teorema de Tíkhonov establece que el producto de cualquier colección de espacios topológicos compactos es compacto. El teorema se nombró así por Andréi Nikoláyevich Tíjonov, quien lo probó por primera vez en 1930 para potencias del intervalo unitario cerrado y lo generalizó en 1935 resaltando que la prueba era la misma que para el caso especial. La prueba más reciente que se publicó está contenida en un artículo de 1937 de Eduard Čech.Varios textos identifican el teorema de Tychonoff como el resultado más importante en topología general [Willard, p. 120]; otros también incluyen el teorema de Urysohn que debe su nombre a Pável Urysón.
