No internet connection
  1. Home
  2. General

Dúvidas e Sugestões - Apostila

Por Rodolfo Ferreira de Oliveira @rodolfo_edp
    2021-12-01 21:38:09.405Z

    Tomei a liberdade de criar este tópico para que possam ser debatidas dúvidas sobre a apostila ou quem sabe até fazer um comentário complementando algo dela.

    • 16 respostas
    1. R

      Para inaugurar este tópico eu gostaria de fazer um comentário na definição de métrica

      Na Definição 1.1 da apostila, já está posto que uma métrica tem que ser uma função com contradomínio em $\mathbb{R}^+$ e devido a isso não se faz necessário listar a propriedade que $d(x,y) \ge 0$ para todo $x,y \in X$. No entanto, é bastante interessante observar que não é necessário nem listar essa propriedade nem se preocupar em dizer que o contradomínio da métrica é a parte positiva da reta real, pois as propriedades 1), 2) e 3) já implicam naturalmente a condição $d(x,y)\ge 0$ para todo $x,y\in X$. Com efeito, pelas propriedades 1) e 3):

      $$0=d(x,x) \le d(x,y)+d(y,x)$$

      Porém, a propriedade 2) afirma que $d(x,y)=d(y,x)$, logo:

      $$
      0=d(x,x)\le 2d(x,y) \implies d(x,y)\ge 0 , \forall x,y\in X
      $$

      1. FFelipe Bezerra da Silva @felipebs01
          2021-12-01 22:48:27.709Z

          Essa é minha primeira vez estudando topologia e meu primeiro contato com métrica. Por métrica fazer referência com distância, é um pouco intuitivo que $d(x, y) \geq 0$ para todo $x, y \in X$. Mas essa sua observação é muito interessante, principalmente porque parte das 3 condições impostas para que $(X, d)$ seja um espaço métrico.

          1. AAndré Caldas @andrecaldas
              2021-12-02 00:04:30.819Z

              Às vezes, a gente dá um nome pra alguma coisa que sugere que ela tem certas propriedades. Mas existe uma definição. Não é porque você deu um certo nome que essa sua definição vai ser consistente com esse nome.

              Por exemplo, "bola" sugere que ela seja "redonda". Mas nem toda bola é "redonda" (seja lá o que isso signifique) em um espaço métrico. :-)

              Amanhã, vamos ver que existem coisas chamadas de "conjuntos abertos". E existem as "bolas abertas". Não é só porque você chamou as bolas de "abertas" que elas vão automaticamente satisfazer os critérios para que seja considerada um "conjunto aberto".

              Poderíamos ter chamado a "métrica" de "galinha"... a matemática seria a mesma! O que garante que a galinha não é negativa? :-)

            • Em resposta arodolfo_edp:
              AAndré Caldas @andrecaldas
                2021-12-02 00:10:46.928Z

                Você vai gostar do exercício 1.1.6.

                Se é que ele está certo! Tem muita coisa errada na apostila. Vou criar uma "categoria": erros e sugestões na apostila. Essas notas eu escrevi quando ainda estava no mestrado... o que não falta é erro. :-)

                Nunca tive tempo para terminá-la. Aliás... procuro voluntários. :-)

              • F
                Em resposta arodolfo_edp:
                Felipe Bezerra da Silva @felipebs01
                  2021-12-01 23:11:07.034Z

                  Sobre a apostila, tem uma notação que não me é familiar na proposição 1.7.

                  $$
                  \cap_{\epsilon > 0}B_{\epsilon}(x)
                  $$

                  1. MMarcio Henrique @marciodoblackpink
                      2021-12-01 23:54:29.577Z

                      A ideia dessa notação é interceptar todas as bolas centradas em $x$ e raio $\epsilon >0$.

                    • A
                      Em resposta arodolfo_edp:

                      Sobre os primeiros exercícios da apostila, mais especificamente o 1.1.3, eu fiquei em dúvida quanto ao símbolo em anexo, assumi, com a ajuda de uma amiga, que seja contém mas não é igual, isso confere?

                      1. AAndré Caldas @andrecaldas
                          2021-12-02 14:02:41.813Z

                          Sim. É isso mesmo. Em $\LaTeX$,

                          \$\subsetneq\$: $\subsetneq$.

                          1. Em resposta aaryel_kath:
                            GGeorge Kiametis @georgekiametis
                              2021-12-02 14:03:27.469Z

                              Sim

                            • E
                              Em resposta arodolfo_edp:
                              @Ellen
                                2021-12-05 22:29:25.123Z

                                Na definição 3.7 da apostila (base de vizinhanças) está escrito:
                                $$\mathcal{V}(x)=\{V \subset X \ | \ \exists \ B \in \mathcal{B}, \mbox{ com } \ B \subset Y\}.$$
                                Na minha cabeça esse Y não faz muito sentido ... seria X ou V?

                                1. AAndré Caldas @andrecaldas
                                    2021-12-06 00:08:54.066Z

                                    Excelente!!! :-)

                                    Na minha cabeça esse Y não faz muito sentido ... seria X ou V?

                                    Eu é que pergunto!!! :-)
                                    Seria $X$ ou $V$?

                                    1. E@Ellen
                                        2021-12-06 00:23:27.985Z

                                        Eu chutaria $V$ hahahahah.

                                      • Em resposta aEllen:
                                        AAndré Caldas @andrecaldas
                                          2021-12-06 00:09:47.879Z

                                          Tem mais outra coisa errada, ai... não é $\mathcal{B}$. O correto é $\mathcal{B}(x)$.

                                          1. E@Ellen
                                              2021-12-06 00:23:41.478Z

                                              Beleza!

                                              1. AAndré Caldas @andrecaldas
                                                  2021-12-06 01:23:41.414Z

                                                  É como se fosse

                                                  $V$ contém uma bola centrada em $x$

                                            • E
                                              Em resposta arodolfo_edp:
                                              @Ellen
                                                2021-12-08 21:04:04.877Z

                                                No exemplo 4.4 da apostila, temos que
                                                $$\tau=\left\{(\alpha,\infty) \ | \ \alpha\in \mathbb{R}\right\}$$
                                                é uma topologia sobre $\mathbb{R}$, chamada Topologia da Continuidade Inferior.

                                                Agora,
                                                $$\tau=\left\{A_{q}=(q,\infty) \ ; \ q\in\mathbb{Q}\right\}$$
                                                não é uma topologia sobre $\mathbb{R}$.

                                                De fato, repare que
                                                $$A=\left\{A_{q}; \ \ q>\sqrt{2}\right\}$$
                                                é um aberto em $\tau$. No entanto,
                                                $$B=\bigcup{A}=\left(\sqrt{2},\infty\right)$$
                                                não pertence a $\tau$, pois $\sqrt{2}$ não é um número racional.
                                                Como a união arbitrária de abertos de $\tau$ não pertencem a $\tau$ segue que $\tau$ não é uma topologia em $\mathbb{R}$.