Producttopologie: verschil tussen versies

De [[stelling van Tychonov]] luidt dat elk product van [[compact]]e topologische ruimten compact is. Voor een product van een [[eindige verzameling|eindig]] aantal [[ruimte (wiskunde)|ruimte]]nruimten is dit elementair, maar de [[stelling]] blijft geldig voor [[oneindig product|oneindige product]]enproducten. Het [[bewijs (wiskunde)|bewijs]] hangt cruciaal af van het [[keuzeaxioma]] en de stelling is er zelfs mee gelijkwaardig.