Chámase **topoloxía produto** a unha topoloxía construída sobre o produto cartesiano de espazos topolóxicos a partir da topoloxía dos factores. Foi introducida en 1930 por Tychonoff, como a topoloxía menos fina que converte ás proxeccións sobre cada factor en aplicacións continuas.

Esta topoloxía coincide no caso de produto dun número finito de factores con outra quizais máis obvia, chamada topoloxía de caixas, introducida previamente por Tietzeen 1923. Pero a topoloxía de caixas presenta propiedades indesexables para un produto de infinitos factores: entre outras, o produto de espazos conexos non é necesariamente conexo, nin o de compactos necesariamente compacto, cousas que si suceden para a topoloxía produto.

Por todo iso, sobreenténdese que nun produto cartesiano, salvo que se especifique o contrario, úsase sempre a topoloxía produto,

Definición formal
-----------------

Sexa {\displaystyle \{X\_{\alpha },T\_{\alpha }\}} unha familia arbitraria (talvez infinita) de espazos topolóxicos. Chamemos X ao seu produto cartesiano, i.e. {\displaystyle X=\prod \_{\alpha \in A}X\_{\alpha }} e {\displaystyle p\_{\alpha }:X\longrightarrow X\_{\alpha }} á proxección sobre o factor correspondente.

Podemos dotar a X da *topoloxía produto*, que é aquela que ten como unha subbase aos conxuntos da forma {\displaystyle \{p\_{\alpha }^{-1}(U\_{\alpha })\}} onde cada {\displaystyle U\_{\alpha }} é un aberto de {\displaystyle X\_{\alpha }} .

Isto é, a topoloxía produto é a topoloxía xerada polos conxuntos da forma {\displaystyle \prod \_{\alpha \in B}U\_{\alpha }\times \prod \_{\alpha \in A\setminus B}X\_{\alpha }} , onde B é algún subconxunto finito de A, e {\displaystyle U\_{\alpha }} é aberto en {\displaystyle X\_{\alpha }} para cada {\displaystyle \alpha \in B}

Base da topoloxía
-----------------

A intersección finita de elementos da subbase dará lugar aos elementos da base, con distinto resultado segundo tratemos cun produto dun número finito ou infinito de espazos

### Produto dun número finito de factores

Neste caso a topoloxía produto será a que ten por base as caixas abertas, é dicir, o produto cartesiano de abertos{\displaystyle \{\prod \_{\alpha }U\_{\alpha }\}}

### Produto de infinitos factores

Aquí os abertos básicos serán da forma:

{\displaystyle U\_{\alpha \_{1}}\times \cdots U\_{\alpha \_{n}}\times \prod \{X\_{\beta }:\beta \neq \alpha \_{1},\cdots ,\alpha \_{n}\}}
Isto condicionará a forma dos abertos *V* da topoloxía produto: todo aberto debe verificar que {\displaystyle p\_{\alpha }(V)=X\_{\alpha }} para todos os índices salvo para un conxunto finito, pois debe conter un aberto básico que se proxecta desta forma.

Relación con outras propiedades topolóxicas
-------------------------------------------

* Separación
	+ Todo produto de espazos T0 é T0
	+ Todo produto de espazos T1 é T1
	+ Todo produto de espazos Hausdorff é Hausdorff.
* Compacidade
	+ Todo produto de compactos é compacto (Teorema de Tychonoff)
	+ Pero un produto de espazos localmente compactos non ten por que ser localmente compacto.
* Conexión
	+ Todo produto de espazos conexos é conexo.
	+ Todo produto de espazos arcoconexos é arcoconexo.

Notas
-----

1. ↑  Tychonov, A. (1930). Über die topologische Erweiterung von Räume, Math. Ann. 102, 544-561.
2. ↑   Tietze, H. (1923). Beitrage zur allgemeinen topologie I, Math. Ann. 88, 280-312.
3. ↑  Rubiano, G. N. *Topología general.* Unibiblos. ISBN 958-701-108-2. (Capítulo 4)

Véxase tamén
------------

### Ligazóns externas

|  |  |
| --- | --- |
|  | O Galilibros ten un manual sobre:  ***Topoloxía produto*** |

 ***Wikibooks*** ten un manual sobre *Espazos Métricos*, incluíndo un capítulo sobre **topololoxía produto**.

|  |  |
| --- | --- |
| Control de autoridades | 
* Wd: Q1070472
* MAG: 123222754

 |