S'anomena topologia producte a una topologia construïda sobre el producte cartesià d'espais topològics a partir de la topologia dels factors. Va ser introduïda el 1930 per Tychonoff^[1] , com la topologia menys fina que fa que les projeccions sobre cada factor en aplicacions contínues.

Aquesta topologia coincideix en el cas de producte d'un nombre finit de factors amb una altra potser més òbvia, anomenada topologia de caixes, introduïda prèviament per Tietz^[2] a 1923. Però la topologia de caixes presenta propietats indesitjables per a un producte d'infinits factors: entre d'altres, el producte d'espais connexos no és necessàriament connex, ni el de compactes necessàriament compacte,^[3] coses que sí que succeeixen per la topologia producte.

Per tot això, se sobreentén que en un producte cartesià, llevat que s'especifiqui el contrari. es fa servir sempre la topologia producte,

Sigui ${\displaystyle \{X_{\alpha },T\alpha \}}$ una família arbitrària (potser infinita) d'espais topològics. Truquem X al seu producte cartesià, ie ${\displaystyle X=\prod _{\alpha }X_{\alpha }}$ i ${\displaystyle p_{\alpha }:X\longrightarrow X_{\alpha }}$ a la projecció sobre el factor corresponent.

Podem dotar X de la 'topologia producte, que és aquella que té com una subbase als conjunts de la forma ${\displaystyle \{p_{\alpha }^{-1}(U_{\alpha })\}}$ on cada ${\displaystyle U_{\alpha }}$ és un obert de ${\displaystyle X_{\alpha }}$.

La intersecció finita d'elements de la subbase donarà lloc als elements de la base, amb diferent resultat segons tractem amb un producte d'un nombre finit o infinit d'espais.

En aquest cas la topologia producte serà la que té per base les caixes obertes, és a dir, el producte cartesià d'oberts ${\displaystyle \{\prod _{\alpha }U_{\alpha }\}}$

Aquí els oberts bàsics seran de la forma:

${\displaystyle U_{\alpha _{1}}\times \cdots U_{\alpha _{n}}\times \prod \{X_{\beta }:\beta \neq \alpha _{1},\cdots ,\alpha _{n}\}}$

Això condicionarà la forma dels oberts V de la topologia producte: tot obert, comproveu que ${\displaystyle p_{\alpha }(V)=X_{\alpha }}$ per a tots els índexs excepte per a un conjunt finit, ja que ha de contenir un obert bàsic que es projecta d'aquesta manera.

• Separació
  • Tot producte d'espais T₀ és T ₀
  • Tot producte d'espais T₁ és T ₁
  • Tot producte d'espais Hausdorff és Hausdorff.
• Compacitat
  • Tot producte de compactes és compacte (Teorema de Tychonoff)
  • Però un producte d'espais localment compactes no té per què ser localment compacte.
• Connexió
  • Tot producte d'espais connexos és connex.
  • Tot producte d'espais arcoconnexos és arcoconexo.