===== Produtos infinitos =====

<WRAP tip>
A [[lista:produtos| lista de produtos]] é um bom aquecimento para esta.
</WRAP>

**~~#~~** Seja $X$ um conjunto e seja $T$ uma família não vazia de topologias sobre $X$. Mostre que $\bigcap_{\tau \in T} \tau$ é uma topologia sobre $X$. 

<WRAP info>
Seja $X$ um conjunto e seja $\mathcal A$ uma família de subconjuntos de $X$. Definimos a {{entry>topologia/gerada pela família; topologia gerada pela família}} $\mathcal A$ $\tau = \bigcap_{\rho \in T} \rho$ onde $T = \{\rho: \rho$ é topologia sobre $X$ e $\mathcal A \subset \rho\}$. Evite problemas: note que $T \neq \emptyset$. 
</WRAP>

**~~#~~** Seja $\mathcal A$ uma família de subconjuntos de $X$ tal que $\bigcup_{A \in \mathcal A} A = X$. Considere $\tau = \{V \subset X: \forall x \in V \ \exists A_1, ..., A_n \in \mathcal A \ x \in A_1 \cap \cdots \cap A_n \subset V\}$

**~~#.#~~** Mostre que $\tau$ é uma topologia sobre $X$.

**~~#.#~~** Mostre que cada $A \in \mathcal A$ é aberto em $\tau$.

**~~#.#~~** Mostre que se $\rho$ é uma topologia sobre $X$ tal que $\mathcal A \subset \rho$, então $\tau \subset \rho$.

**~~#.#~~** Conclua que $\tau$ é a topologia gerada por $\mathcal A$.

**~~#~~** Seja $\mathcal A$ uma família de subconjuntos de $X$ tal que $\bigcup \mathcal A = X$. Considere $\tau$ a topologia gerada por $\mathcal A$. Mostre que o conjunto $\{A_1 \cap \cdots \cap A_n: A_1, ..., A_n \in \mathcal A\}$ é uma base para $\tau$.

<WRAP info>
Sejam $X$ um conjunto e $(Y, \rho)$ um espaço topológico. Seja $\mathcal F$ uma família de funções da forma $f: X \rightarrow Y$. Definimos $\tau_{\mathcal F}$ a {{entry>topologia gerada pela família de funções}} $\mathcal F$ a topologia gerada pela família $\{f^{-1}[A]: f \in \mathcal F, A \in \rho\}$.  
</WRAP>

**~~#~~** Sejam $(X, \tau)$ e $(Y, \rho)$ espaços topológicos e seja $\mathcal F$ uma família de funções contínuas de $X$ em $Y$. Mostre que $\tau_{\mathcal F} \subset \tau$. 

<WRAP info>
Seja $(X_i, \tau_i)_{i \in I}$ família de espaços topológicos. Definimos a {{entry>topologia/produto; topologia produto}} sobre $X = \prod_{i \in I} X_i$ a topologia $\tau_{\mathcal F}$, onde $\mathcal F$ é a família de todas as projeções $\pi_i: X \rightarrow X_i$ dadas por $\pi_i((x_j)_{j \in I}) = x_i$. 
</WRAP>

**~~#~~** Considere $(X_1, \tau_1)$ e $(X_2, \tau_2)$ espaços topológicos e $\pi_1$ e $\pi_2$ como acima.

**~~#.#~~** Dado $A \subset X_1$, determine $\pi_1^{-1}[A]$. <wrap help>[[Solucao:produtosinfinitos51|Solução]]</wrap>

**~~#.#~~** Dados $A \subset X_1$ e $B \subset X_2$, mostre que $A \times B = \pi_1^{-1}[A] \cap \pi_2^{-1}[B]$. <wrap help>[[Solucao:produtosinfinitos52|Solução]]</wrap> 

**~~#.#~~** Mostre que a topologia produto em $X_1 \times X_2$ como definida acima coincide com a topologia produto usual finito (vista nesta [[lista:produtos|lista]]).

**~~#~~** Mostre que $\mathcal B = \{\bigcap_{i \in F} \pi_i^{-1}[A_i]: A_i \in \tau_i$ e $F \subset I$ é finito$\}$ é uma base para a topologia produto sobre $\prod_{i \in I} X_i$. <wrap tip>[[Dica:produtosinfinitosbase1|Dica]]</wrap><wrap help>[[Solucao:produtosinfinitosbase1|Solução]]</wrap>

**~~#~~** Mostre que $\mathcal B = \{\prod_{i \in I} A_i: A_i \in \tau_i$ e $\{i \in I: A_i \neq X_i\}$ é finito$\}$ é uma base para a topologia produto sobre $\prod_{i \in I} X_i$. <wrap help>[[Solucao:produtosinfinitosbase2|Solução]]</wrap>

**~~#~~** Mostre que se $I$ é finito, a definição desta lista coincide com a definição da [[lista:produtos|lista de produtos]].

**~~#~~** Mostre que produto de espaços de Hausdorff é um espaço de Hausdorff. <wrap help>[[Solucao:produtosinfinitos.6|Solução]]</wrap>

**~~#~~** Mostre que $F_i \subset X_i$ é um fechado para cada $i \in I$, então $\prod_{i \in I} F_i$ é fechado em $\prod_{i \in I} X_i$. Vale o resultado análogo para abertos? <wrap help>[[Solucao:produtosinfinitosfinal|Solução]]</wrap>