No internet connection
  1. Home
  2. Resolução Completa

Prova 2 - 2020 - Questão 2

Por Rodolfo Ferreira de Oliveira @rodolfo_edp
    2022-01-05 11:19:56.750Z

    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.

    • 8 respostas
    1. A
      André Caldas @andrecaldas
        2022-01-05 11:37:26.647Z

        Agora, faça usando as vizinhanças fechadas $\mathscr{F}(x)$. Sabemos que num espaço de Hausdorff,
        $$\bigcap \mathscr{F}(x) = \{x\}.$$

        1. D
          Em resposta arodolfo_edp:
          Daniel Abreu @daniel1.abreu
            2022-01-05 13:00:06.776Z

            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$.

            1. AAndré Caldas @andrecaldas
                2022-01-05 13:21:45.096Z

                Acho que tem um $U$ para cada $y$. O $x$ tá fixado.

                1. DDaniel Abreu @daniel1.abreu
                    2022-01-05 14:11:31.145Z

                    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 ....

                    1. AAndré Caldas @andrecaldas
                        2022-01-05 14:19:58.828Z

                        É 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...

                        1. DDaniel Abreu @daniel1.abreu
                            2022-01-05 14:27:40.714Z

                            Humm entendi... nesse caso funciona bem porque $x$ ta fixado .. um arbitrário mas fixado. obg .

                            1. AAndré Caldas @andrecaldas
                                2022-01-05 15:49:08.822Z

                                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.

                        2. Em resposta adaniel1.abreu:

                          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