===== Topologia Forte =====
<WRAP round box>
Seja $\mathcal{F}=\{f_i:Y_i \Rightarrow X; i \in I\}$ a família de funções, para $(Y_i,\tau_i)$ espaço topológico. Chama-se **topologia forte** em $X$ induzida por $\mathcal{F}$ a maior topologia onde $f_i$ é contínua.
</WRAP>

<WRAP round tip 50%>
Pode pensar que, se acrescentar um aberto nessa topologia, umas das funções $f_i$ deixa de ser contínua.
</WRAP>

Ao exibir uma determinada topologia, será mostrado que é a única a satisfazer a propriedade destacada.

=== Como são os abertos? ===
Considere $$\tau:\{V \subset X: f_i^{-1}[V]\in \tau_i     \forall i \in I\}$$

<WRAP center round tip 50%>
Família formada por elementos que, ao pegar a imagem inversa deles, são levados a um aberto $i$ certo.
</WRAP>

Note que, com a restrição imposta, cada $f_i$ passa a ser contínua, visto que foi escolhida exatamente a condição necessária (imagem inversa de aberto é aberta). Além disso, vê-se que será aberta em toda topologia $\tau_i$.

=== É maximal === 
Note que ela é maximal. Seja $\rho$ uma topologia qualquer que esteja sobre $X$ tal que $f_i$ sejam contínuas. Assim, qualquer aberto de $\rho$ satisfaz a condição de continuidade. Portanto, qualquer aberto de $\rho$ é aberto de $\tau$. Logo, $\rho \in \tau$. 

<WRAP round box>
Critério: Para saber que $g$ é contínua, basta saber que $g\circ f_i$ é contínua.
</WRAP>
{{:topologia:1.png?200|}}

O critério caracteriza a topologia forte.
[[.:dem:demonstprop|Demonstração]]