Aqui você vê as diferenças entre duas revisões dessa página.
| Ambos lados da revisão anterior Revisão anterior Próxima revisão | Revisão anterior | ||
|
solucao:intersec-fecha [2016/11/05 17:05] mayk |
solucao:intersec-fecha [2020/11/06 16:05] (atual) |
||
|---|---|---|---|
| Linha 3: | Linha 3: | ||
| " | " | ||
| - | Seja $x \in \overline A$, tome $F \in \mathcal{F}$. Supondo que $x \neq F$, então $x \in F^c \in \tau$, assim $F^c \cap A \neq \emptyset$. Contradição, pois $A \subset F$, ou seja $F^c \cap A = \emptyset$. Então $x \in F$. Como $F$ é arbitrário, | + | Seja $x \in \overline A$, tome $F \in \mathcal{F}$. Supondo que $x \notin F$, então $x \in F^c \in \tau$. Assim $F^c \cap A \neq \emptyset$, |
| " | " | ||
| Seja $x \in \bigcap_{F \in \mathcal{F} } F$, temos que $\overline A \in \mathcal{F}$ pois é um conjunto fechado, ou seja, $x \in \overline A$. | Seja $x \in \bigcap_{F \in \mathcal{F} } F$, temos que $\overline A \in \mathcal{F}$ pois é um conjunto fechado, ou seja, $x \in \overline A$. | ||