Prova 2 - 2020 - Questão 2
Exercício: Seja $X$ um espaço de Hausdorff e $K \subset X$ um compacto. Mostre que $K$ é fechado.
Resolução: Basta mostrar que $X \setminus K$ é aberto. Seja $x \in X \setminus K$ arbitrário. Para cada $y \in K$, devido a $X$ ser Hausdorff, existem vizinhanças (abertas) $U_y, V_y$ de $x$ e de $y$ respectivamente, tais que $U_y \cap V_y = \emptyset$.
Note que $\mathcal{V}=\{V_y:y\in K\}$ forma uma cobertura aberta de $K$. Da compacidade, existem $y_1,...y_n \in K$ tais que:
$$
K \subset \bigcup_{i=1}^{n}V_{y_i} := V
$$
Além disso, $V$ é um aberto de $X$. Defina:
$$
U=\bigcap_{i=1}^{n} U_{y_i}
$$
Temos que $U$ é aberto, por ser interseção finita de abertos e $x \in U$, afinal $x \in U_{y_i}$, para cada $i$. No entanto, como $U_{y_i} \cap V_{y_i} = \emptyset$, então $U \cap V = \emptyset$, assim $U \subset X \setminus V \subset X \setminus K$.
Dada a arbitrariedade de $x$ escolhido em $X\setminus K$, segue que $X\setminus K$ é aberto e portanto, $K$ é fechado.
- AAndré Caldas @andrecaldas
Agora, faça usando as vizinhanças fechadas $\mathscr{F}(x)$. Sabemos que num espaço de Hausdorff,
$$\bigcap \mathscr{F}(x) = \{x\}.$$ - DEm resposta arodolfo_edp⬆:Daniel Abreu @daniel1.abreu
Fiquei na duvida se foi só erro de notação ou se tem algum motivo a mais pra escrever $U_y$ em vez de $U_x$.
- AAndré Caldas @andrecaldas
Acho que tem um $U$ para cada $y$. O $x$ tá fixado.
- DDaniel Abreu @daniel1.abreu
Obg professor. Eu posso tomar a vizinhança $U$ de $x$ mas escolhendo em função de $y$. Eu meio que pensei que ao tomar dois pontos $x$ e $y$ de um conjunto Hausdorff, as vizinhaças dijuntas deveriam sempre ser escolhidas em função desses pontos ....
- AAndré Caldas @andrecaldas
É em função desses pontos. O $x$ está fixado. E para cada $y$, você tem uma vizinhança de $x$ e uma vizinhança de $y$ que não se intersectam. Chame essas vizinhanças de $U_y$ e $V_y$. A escolha das vizinhanças depende do $x$ e do $y$. Talvez, se o $x$ não estivesse fixado, você fosse escrever
$$U_{x,y}\quad\text{e}\quad V_{x,y}.$$
Ambas as vizinhanças dependem dos dois pontos. Mas como o $x$ tá fixado...- DDaniel Abreu @daniel1.abreu
Humm entendi... nesse caso funciona bem porque $x$ ta fixado .. um arbitrário mas fixado. obg .
- AAndré Caldas @andrecaldas
A grande sacada, é que interseção infinita de vizinhança pode não ser vizinhança. Mas se você conseguir escolher só uma quantidade finita de abertos, então a interseção finita é um aberto.
- Em resposta adaniel1.abreu⬆:RRodolfo Ferreira de Oliveira @rodolfo_edp
Como o professor já comentou, o motivo de estar indexado o $y$ é por conta de $x$ estar fixado, e para cada $y \in K$ escolhido a vizinhança de $x$ que irá satisfazer a condição de Hausdorff com a vizinhança de $y$ pode acabar mudando