No internet connection
  1. Home
  2. Resolução Completa
  3. Série B

Bolas abertas fechadas

Por Mattheus Pereira @mattheuspsa
    2021-12-02 16:58:46.841Z2021-12-03 11:51:07.584Z

    Série B

    É possível que bolas abertas sejam fechadas? Defina um espaço métrico em que isso ocorre (a escolha do espaço é livre).

    Existem várias respostas possíveis. Um desafio é que o espaço seja o mais simples possível. Outro, é que seja um espaço complicado. Outro, é que seja um espaço que parece que é, mais não é... :-)

    Essa pergunta pode ter várias respostas. Por favor, não poste respostas iguais às que já foram postadas. Mas você pode sugerir melhorias.

    • 19 respostas
    1. Caio Tomás de Paula @CaioTomas
        2021-12-03 11:39:49.775Z2021-12-03 12:36:09.770Z

        Tomando um espaço métrico $(X,d)$ sendo $d$ a métrica discreta dada por
        $$
        \begin{align*}
        d : X \times X &\rightarrow \mathbb{R}^+
        \\
        (x,y) & \mapsto \begin{cases}
        0, &x=y \\
        1, &x\neq y
        \end{cases} ,
        \end{align*}
        $$ as bolas de raio menor ou igual a $1$ são conjuntos unitários, que são fechados.

        1. AAndré Caldas @andrecaldas
            2021-12-03 11:48:34.663Z2021-12-03 12:36:29.555Z

            Com capricho, @CaioTomas...

            1. Não existe "o espaço métrico" com a métrica discreta.

            2. Você pode escrever a definição de $d$ de um modo mais estético:
              $$
              \begin{align*}
              d: X \times X &\rightarrow \mathbb{R}
              \\
              (x,y) &\mapsto \begin{cases}0,& x = y \\ 1,& x \neq y.\end{cases}
              \end{align*}
              $$

            1. Em resposta aCaioTomas:
              AAndré Caldas @andrecaldas
                2021-12-03 12:37:29.212Z

                Botei $X \times X$ que eu acho que fica mais bonito.


                PS: É o sujo falando do mal lavado, haja visto que no meu eu tinha escrito $d: X \rightarrow \mathbb{R}$. :-)

                1. Caio Tomás de Paula @CaioTomas
                    2021-12-03 12:37:48.302Z

                    Hahhahaha

                  • Em resposta aCaioTomas:

                    Seja $X$ um espaço métrico munido da Métrica Zero-Um, então para todo $a \in X$, temos que $B(a,r)=B[a,r]=X \ se \ r>1 $.
                    E $B(a,r)=B[a,r]={a}\ se \ r<1$.

                    1. AAndré Caldas @andrecaldas
                        2021-12-04 02:13:57.087Z

                        Faz um com os racionais.

                    2. V
                      Em resposta amattheuspsa:
                      VITORIA CHAVES FERNANDES @VitoriaC
                        2021-12-03 12:34:54.779Z

                        Seja $X= \begin{Bmatrix}
                        z \in \mathbb{R}^{2}; \mid z \mid \leq 1 \end{Bmatrix}$ o disco de centro $0$ e raio $1$, com a métricia euclidiana do plano $d: X \times X \rightarrow \mathbb{R}^{+}$.

                        No espaço métrico $(X,d)$, temos $B(0;r)=B[0;r]$, se $r> 1.$

                        1. AAndré Caldas @andrecaldas
                            2021-12-03 12:35:31.701Z

                            Adorei!!!! Muito inusitado!!!

                          • E
                            Em resposta amattheuspsa:
                            @Ellen
                              2021-12-06 15:27:33.769Z2021-12-06 17:35:49.615Z

                              Seja $q\in\mathbb{Q}$. Então $B(q,\sqrt{2})=\{p\in\mathbb{Q}; |p-q|<\sqrt{2}\}$ é uma bola aberta e fechada simultaneamente.

                              $B(q,\sqrt{2})$ é aberta, por definição de bola aberta.

                              $B(q,\sqrt{2})$ é fechada.
                              Para isso, vamos mostrar que $\mathbb{Q}\backslash B(q,\sqrt{2})$ é um conjunto aberto. De fato, seja $p\in \mathbb{Q}\backslash B(q,\sqrt{2})$ um elemento qualquer. Assim,
                              $$|p-q|\geq\sqrt{2}\Leftrightarrow p-q\geq \sqrt{2} \mbox{ ou } p-q\leq - \sqrt{2}$$

                              Vamos fazer o caso em que $p-q\geq \sqrt{2}$. O outro é análogo.

                              Por hipótese, $p$ e $q$ são racionais, desta maneira, $p\neq q+\sqrt{2}$. Assim, $p>q+\sqrt{2}$.
                              Considere $\alpha=p-(q+\sqrt{2})>0$. Daí,
                              $$q-\sqrt{2}<q<q+\sqrt{2}=p-\alpha<p<p+\alpha$$
                              Seja $B(p,\alpha)=\{r\in\mathbb{Q}; |r-p|<\alpha\}.$
                              Note que
                              $$B(q,\sqrt{2})\cap B(p,\alpha)=\emptyset$$
                              Suponhamos por absurdo que exista $s\in (B(q,\sqrt{2})\cap B(p,\alpha)).$ Logo,
                              $$q-\sqrt{2}<s<q+\sqrt{2} \ \ \ \ \ \ \ \mbox{ e } \ \ \ \ \ \ \ p-\alpha<s<p+\alpha.$$
                              Já sabemos que $q+\sqrt{2}=p-\alpha$. Assim,
                              $$q-\sqrt{2}<s<q+\sqrt{2}=p-\alpha<s<p+\alpha\Rightarrow s<s,$$
                              o que é um absurdo.
                              Logo, $B(q,\sqrt{2})\cap B(p,\alpha)=\emptyset.$
                              Isto implica que $$B(p,\alpha)\subset \mathbb{Q}\backslash B(q, \sqrt{2}),$$
                              ou seja, $\mathbb{Q}\backslash B(q,\sqrt{2})$ contém uma bola aberta e desse modo, $\mathbb{Q}\backslash B(q, \sqrt{2})$ é aberto. Consequentemente, $B(q,\sqrt{2})$ é fechado.

                              1. AAndré Caldas @andrecaldas
                                  2021-12-06 15:42:18.171Z

                                  Muito bom.

                                  As bolas abertas de raio $\sqrt{2}$ e as bolas fechadas de raio $\sqrt{2}$ são iguais. A bola fechada é sempre fechada? Na verdade... foram essas duas coisas que você mostrou, né? Então é aberta e fechada.

                                  1. E@Ellen
                                      2021-12-06 16:58:36.435Z

                                      Eu mostrei exatamente isso, só faltou escrever

                                      $$\mbox{ Para } q\in\mathbb{Q} \mbox{ temos } B(q,\sqrt{2})=B[q,\sqrt{2}]$$

                                      Na verdade,

                                      $$\mbox{ Para } q\in\mathbb{Q} \mbox{ e } \alpha\in\mathbb{(R\backslash Q)^{*}_{+}} \mbox{ temos } B(q,\alpha)=B[q,\alpha]$$

                                      1. AAndré Caldas @andrecaldas
                                          2021-12-06 19:21:51.678Z
                                          1. E@Ellen
                                              2021-12-06 19:24:27.605Z

                                              Beleza!

                                              1. Em resposta aandrecaldas:
                                                E@Ellen
                                                  2021-12-08 21:09:47.212Z

                                                  Ainda não consegui tá kkkkkkkk

                                              2. Em resposta aandrecaldas:
                                                E@Ellen
                                                  2021-12-07 03:15:19.860Z2021-12-07 03:39:47.985Z

                                                  ''A bola fechada é sempre fechada?'' Sim!

                                                  Sejam $(M,d)$ um espaço métrico qualquer e $r>0$. Considere $B[a,r]=\{x\in M; d(a,x)\leq r\}$ a bola fechada centrada em $a$ e de raio $r>0$. Vamos mostrar que $B[a,r]$ é fechado.
                                                  Para isso vamos usufruir do fato do complementar de um conjunto aberto ser fechado.

                                                  Seja $y\in M\backslash B[a,r]$ um elemento arbitrário. Desta forma, $d(a,y)>r.$
                                                  Considere $\alpha=d(a,y)-r>0.$ Vamos provar que
                                                  $$B(y,\alpha)\subset M\backslash B[a,r].$$
                                                  De fato, seja $z\in B(y,\alpha)$ qualquer. Daí, $d(y,z)<\alpha.$

                                                  Pela desigualdade triangular, temos
                                                  $$d(a,y)\leq d(a,z)+d(z,y)=d(a,z)+d(y,z)<d(a,z)+\alpha=d(a,z)+(d(a,y)-r)\Rightarrow$$
                                                  $$\Rightarrow d(a,y)<d(a,z)+d(a,y)-r\Rightarrow 0<d(a,z)-r\Rightarrow d(a,z)>r\Rightarrow z\in M\backslash B[a,r].$$
                                                  Como o conjunto $M\backslash B[a,r]$ contém uma bola aberta sabemos que ele é aberto. Portanto, seu complementar, $B[a,r]$, é fechado.

                                                  P.S: Antes tarde do que nunca hahahah.

                                                  1. AAndré Caldas @andrecaldas
                                                      2021-12-07 03:29:09.902Z

                                                      Para isso vamos usufruir do fato do complementar de um conjunto fechado ser aberto.

                                                      Você está usando a direção oposta:

                                                      O complementar de um aberto é fechado.

                                                      Você quer mostrar que é fechado...

                                                      1. E@Ellen
                                                          2021-12-07 03:38:51.256Z

                                                          Siiiimmm. Penso em uma coisa e escrevo outra kkkkkkk. Obrigada.

                                                    • Em resposta aEllen:
                                                      Caio Tomás de Paula @CaioTomas
                                                        2021-12-06 17:30:51.312Z

                                                        Oi, Ellen! Gostei do seu exemplo, ficou bem bonito :-)
                                                        Tenho duas perguntas:
                                                        1ª: na linha
                                                        $$
                                                        |p-q|\geq\sqrt{2} \iff p-q\geq\sqrt{2} \ \ \text{ ou } \ \ p-q\leq\sqrt{2}
                                                        $$ não deveria ser
                                                        $$
                                                        |p-q|\geq\sqrt{2} \iff p-q\geq\sqrt{2} \ \ \text{ ou } \ \ p-q\leq-\sqrt{2},
                                                        $$ com o sinal de $-$?

                                                        2ª: na linha
                                                        $$
                                                        q - \sqrt{2} < s < \sqrt{2} \ \ \text{ e } \ \ p - \alpha < s < p + \alpha
                                                        $$ não deveria ser
                                                        $$
                                                        q - \sqrt{2} < s < q + \sqrt{2} \ \ \text{ e } \ \ p - \alpha < s < p + \alpha?
                                                        $$

                                                        1. E@Ellen
                                                            2021-12-06 17:34:30.263Z

                                                            Siiimmm. Eu conferi e ainda mesmo assim digitei algumas coisas erradas hahahah. Obrigada! Vou concertar!