{"id":208574,"date":"2023-12-20T06:05:16","date_gmt":"2023-12-20T09:05:16","guid":{"rendered":"http:\/\/clubes.obmep.org.br\/blog\/?page_id=208574"},"modified":"2024-11-21T05:36:35","modified_gmt":"2024-11-21T08:36:35","slug":"a-sala-para-leitura-ao-infinito-e-alem","status":"publish","type":"page","link":"https:\/\/clubes.obmep.org.br\/blog\/a-sala-para-leitura-ao-infinito-e-alem\/","title":{"rendered":"(A) Sala para leitura_040: Ao Infinito e Al\u00e9m!"},"content":{"rendered":"<p class=\"ti3\"  style=\"text-align:center;\">Clique no bot\u00e3o abaixo para visualizar a Sala.<\/p>\n<div style=\"text-align:center;margin-top:10px;\">\n<input class=\"bo1 c1 cb13\" style=\"width:150px;\" value=\"Sala\" title=\"Clique aqui\" type=\"button\" onclick=    \"if(this.parentNode.getElementsByTagName('div')[0].style.display != ''){this.parentNode.getElementsByTagName('div')[0].style.display = '';this.value = 'Ocultar';} else{this.parentNode.getElementsByTagName('div')[0].style.display = 'none'; this.value = 'Sala';}\" \/>  <\/p>\n<div style=\"display: none;\">\n<p style=\"margin:10px;\">\n<div  style=\"color: #484848; padding:20px; font-family: times; line-height: 28px; font-size: 20px; border: 3px solid #800080;text-align:justify;  padding-bottom:10px;\">\n<p class=\"ti1 \" style=\"line-height:30px;margin:1px; color:#800080; font-size: 40px; \"> Ao Infinito e Al\u00e9m!<\/p>\n<hr style=\"height:3px; width:100%;background-color:#910091;   margin-top: 30px; margin-bottom: 30px; border: 0 none\"\/>\n<div style=\"margin:30px 40px 30px 40px;\">\nNesta Sala para Leitura, vamos descobrir um pouco mais sobre a natureza dos infinitos, destrinchando alguns conceitos um tanto quanto contraintuitivos e separando e organizando diferentes infinitos que vamos conhecer em categorias; pois, afinal, <span  style=\" color:#a200a2;font-size: 23px;\"><strong> eles n\u00e3o s\u00e3o iguais!<\/strong> <\/span><br \/>\nEsperamos, desse modo, que a leitura deste material facilite a compreens\u00e3o de algumas dessas ideias t\u00e3o intrigantes (e inicialmente absurdas) que, inclusive, demoraram muito tempo a serem desenvolvidas com o rigor matem\u00e1tico que hoje conhecemos. <\/p>\n<p class=\"ti2\"  style=\"margin:20px 20px 10px 20px; line-height: 15px; font-size: 30px;  color:#800080\">Apertem os cintos e<\/p>\n<p class=\"ti2\"  style=\"margin:30px 20px 40px 20px; line-height: 15px; font-size: 35px;  color:#800080\"> BOA VIAGEM!<\/p>\n<p style=\"text-align:center; font-size:16px;\">\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/gif_01.gif\" style=\"border:none\" alt=\"\" width=\"600\" height=\"373\" class=\"aligncenter size-full wp-image-206450\" \/>GIF extra\u00eddo de  <a href=https:\/\/tenor.com\/pt-BR\/view\/infinity-loop-infinity-symbol-gif-16359183\/\"rel=\"noopener\" target=\"_blank\"><strong>Tenor Imagens<\/strong><\/a> (Acesso em 23\/11\/23)<\/p>\n<\/div>\n<hr style=\"height:1px; width:100%;background-color:#910091;   margin-top: 30px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:6px; width:100%;background-color:#910091;  margin-top: 8px; margin-bottom: 8px;  border: 0 none\"\/>\n<hr style=\"height:1px; width:100%;background-color:#910091;   margin-top: 8px; margin-bottom: 30px; border: 0 none\"\/>\n<p class=\"ti1\" style=\"line-height:30px;margin:30px; color:#800080; font-size: 27px;\"><em>Mas o que \u00e9 o infinito?<\/em><\/p>\n<p>De acordo com o dicion\u00e1rio <em>Michaelis On-line<\/em>, infinito \u00e9:<br \/>\n<center><\/p>\n<div class=\"te1\"  style=\"width:70%;  background-color:#ccbce8;border:1px solid #8B5A2B;line-height: 32px; padding:10px; text-align:center;\">\n<em> \u201c1. Aquilo que n\u00e3o se pode demarcar: o infinito \u00e9 inalcan\u00e7\u00e1vel. <\/p>\n<p>2. [Matem\u00e1tica] Grandeza que n\u00e3o se consegue calcular, medir.\u201d<\/em><\/div>\n<p><\/center><br \/>\nNo entanto, essas defini\u00e7\u00f5es parecem se perder dentre as \u00e1reas da Filosofia, da Religi\u00e3o, das Artes&#8230; e da Matem\u00e1tica tamb\u00e9m.<br \/>\nPode um infinito estar contido em um espa\u00e7o delimitado?<br \/>\nE pode um infinito caber em outro, como se estivesse \u201cdentro\u201d dele, sendo que os dois, pela pr\u00f3pria no\u00e7\u00e3o intuitiva de infinito, n\u00e3o teriam fim?<br \/>\nOnde a Matem\u00e1tica entra nessa conversa?<\/p>\n<hr style=\"height:1px; width:100%;background-color:#910091;   margin-top: 30px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:1px; width:100%;background-color:#910091;   margin-top: 8px; margin-bottom: 30px; border: 0 none\"\/>\n<p class=\"ti1\" style=\"line-height:30px;margin:30px;  color:#800080; font-size: 27px;\"> I &#8211; Um Pouco de Contexto&#8230;<\/p>\n<p>Antes de entrarmos na densa teoria de infinitos, vamos pensar: <span style=\"color:#a200a2;\"><strong>como o infinito se caracteriza no senso comum?<\/strong><\/span><\/p>\n<p style=\"margin:-25px;\">\n<p>Desde o nosso contato inicial com os n\u00fameros, na mais tenra inf\u00e2ncia, nos deparamos com a possibilidade de sempre existir um n\u00famero ap\u00f3s o 1, outro ap\u00f3s o 2, ap\u00f3s o 3&#8230;; qual \u00e9, ent\u00e3o, o \u00faltimo n\u00famero?<br \/>\nEssa quest\u00e3o intriga pequenos grandes matem\u00e1ticos de todo o mundo, o que os leva a questionar os adultos:<br \/>\n&nbsp;&nbsp;&nbsp;&nbsp;&#8211; <em>Onde terminam os n\u00fameros?<\/em><br \/>\ne a resposta \u00e9, geralmente, a mesma seca e vazia frase:<br \/>\n&nbsp;&nbsp;&nbsp;&nbsp;&#8211; <em>Eles n\u00e3o terminam<\/em>.<\/p>\n<p style=\"margin:-25px;\">\n<p>Com o tempo, essa \u00e9 uma ideia que vai amadurecendo e, ao longo da juventude, novos problemas (e dilemas filos\u00f3ficos) envolvendo o infinito come\u00e7am a surgir:<br \/>\n&nbsp;&nbsp;&nbsp;&nbsp;&#8211; <em>Ser\u00e1 que o espa\u00e7o \u00e9 infinito? <\/em><br \/>\n&nbsp;&nbsp;&nbsp;&nbsp;&#8211; <em>E o tempo? <\/em><br \/>\n&nbsp;&nbsp;&nbsp;&nbsp;&#8211; <em>Ser\u00e1 que ficaremos juntos para sempre? <\/em><\/p>\n<p style=\"margin:-25px;\">\n<p>Sem falar no que passa na nossa cabe\u00e7a antes de uma prova de matem\u00e1tica:<br \/>\n&nbsp;&nbsp;&nbsp;&nbsp;&#8211; <em>O que significa um conjunto ser infinito?<\/em><br \/>\n&nbsp;&nbsp;&nbsp;&nbsp;&#8211; <em>Todos os conjuntos infinitos t\u00eam a mesma quantidade de elementos?<\/em><br \/>\n&nbsp;&nbsp;&nbsp;&nbsp;&#8211; <em>H\u00e1 um infinito entre o 0 e o 1? Mas e aquele entre o 0 e o 2? \u00c9 maior do que o primeiro?<\/em><\/p>\n<p style=\"margin:-25px;\">\n<p>Essas quest\u00f5es s\u00e3o muito recorrentes em nossas vidas (e, por vezes, mal compreendidas), de modo que acabam se refletindo tamb\u00e9m em nossa cultura. Talvez voc\u00ea se recorde, por exemplo, de como o infinito foi tratado na adapta\u00e7\u00e3o para o cinema do livro <em>A Culpa \u00e9 das Estrelas<\/em>, de John Green, no momento em que Hazel faz um elogio a Gus. <\/p>\n<p style=\"color:#a200a2;text-align:center; font-size: 25px;\"><strong>Confira, \u00e9 s\u00f3 clicar na setinha!<\/strong><\/p>\n<p style=\"text-align:center\"><iframe loading=\"lazy\" width=\"700\" height=\"440\" src=\"https:\/\/www.youtube.com\/embed\/W_2ex05FNXM?si=hmaCv_ny43fdGNfY&amp;start=57\" allowfullscreen><\/iframe><\/p>\n<p>Apesar de ser um belo discurso, matematicamente falando, ele est\u00e1 incorreto.<br \/>\nPois \u00e9&#8230; sinto muito, Hazel, mas voc\u00ea estava errada. N\u00e3o; o infinito entre 0 e 2 n\u00e3o \u00e9 maior do que o infinito entre 0 e 1!<br \/>\nMas isso explicaremos mais tarde. <\/p>\n<hr style=\"height:1px; width:100%;background-color:#910091;   margin-top: 30px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:1px; width:100%;background-color:#910091;   margin-top: 8px; margin-bottom: 30px; border: 0 none\"\/>\n<p class=\"ti1\" style=\"line-height:30px;margin:30px; color:#800080; font-size: 27px;\">II &#8211; Um pouco de Matem\u00e1tica<\/p>\n<p>Vamos analisar primeiramente o que entendemos por um conjunto com um n\u00famero finito de elementos.  Para este prop\u00f3sito ser\u00e1 necess\u00e1rio o importante conceito de fun\u00e7\u00e3o bijetora. Se voc\u00ea n\u00e3o se lembra dele, clique no bot\u00e3o abaixo;<\/p>\n<p style=\"margin:20px;\">\n<div style=\"text-align:center;\"><input class=\"bo1 c3 cb33\" style=\"width:150px;\" value=\"Defini\u00e7\u00e3o\" title=\"Clique aqui\" type=\"button\" onclick=    \"if(this.parentNode.getElementsByTagName('div')[0].style.display != ''){this.parentNode.getElementsByTagName('div')[0].style.display = '';this.value = 'Ocultar';} else{this.parentNode.getElementsByTagName('div')[0].style.display = 'none'; this.value = 'Defini\u00e7\u00e3o';}\" \/>   <\/p>\n<div  style=\"display: none;\">\n<center><\/p>\n<div  style=\"width:95%;  background-color:#ccbce8;border:1px solid #8B5A2B;line-height:28px; padding:20px;text-align:justify\">\n<p style=\"text-align:center; margin-bottom:10px; font-size: 25px;\"><strong>Fun\u00e7\u00e3o Bijetora<\/strong><\/p>\n<p>Uma <strong>fun\u00e7\u00e3o bijetora (ou bijetiva)<\/strong> \u00e9 uma rela\u00e7\u00e3o entre dois conjuntos em que cada elemento do conjunto de partida (<strong>dom\u00ednio<\/strong>) \u00e9 associado a um \u00fanico elemento do conjunto de chegada (<strong>contradom\u00ednio<\/strong>), e cada elemento do conjunto de chegada tem exatamente um elemento correspondente no conjunto de partida.<br \/>\nPor exemplo, das fun\u00e7\u00f5es que aparecem representadas na imagem a seguir, apenas <em><strong>h<\/strong><\/em> \u00e9 bijetora. <\/p>\n<p><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/12\/fig_08_4.png\"  style=\"border:none\" alt=\"\" width=\"741\" height=\"237\" class=\"aligncenter size-full wp-image-207061\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/12\/fig_08_4.png 741w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/12\/fig_08_4-300x96.png 300w\" sizes=\"auto, (max-width: 741px) 100vw, 741px\" \/><\/div>\n<p><\/center>\n<\/div>\n<\/div>\n<p style=\"margin:20px;\">\n<p>Vejamos, de forma mais detalhada, como funciona o processo de atribuir a um conjunto finito, digamos <strong>A<\/strong>=[tex]\\{\\diamondsuit, \\triangledown, \\square, \\heartsuit, \\circ\\}[\/tex], o seu n\u00famero de elementos.<br \/>\n Dizemos que esse conjunto <strong>A<\/strong> possui 5 elementos devido ao fato de existir uma fun\u00e7\u00e3o bijetora entre ele e o  conjunto {1, 2, 3, 4, 5}, como por exemplo:<br \/>\n[tex] \\qquad \\qquad \\begin{array}{ccc}<br \/>\n1 &#038; \\longleftrightarrow &#038; \\diamondsuit \\\\<br \/>\n2 &#038; \\longleftrightarrow &#038; \\triangledown \\\\<br \/>\n3 &#038; \\longleftrightarrow &#038; \\square \\\\<br \/>\n4 &#038; \\longleftrightarrow &#038; \\heartsuit \\\\<br \/>\n5 &#038; \\longleftrightarrow &#038;  \\circ \\\\<br \/>\n\\end{array}[\/tex]<\/p>\n<p style=\"margin:10px;\">\n<p><span style=\"color: #a200a2; font-size: 20px;\"><strong>Defini\u00e7\u00e3o:<\/strong><\/span> De um modo geral, um conjunto <strong>A<\/strong> diz-se <strong><em>finito<\/em><\/strong>, ou que possui uma quantidade finita de elementos, quando existe, para algum [tex]n\\in \\mathbb{N}[\/tex], uma fun\u00e7\u00e3o bijetora do conjunto [tex]\\{1, 2, \\dots, n\\}[\/tex] no conjunto <strong>A<\/strong>. Neste caso, dizemos que <strong>A<\/strong> possui <strong><em> n <\/em><\/strong> elementos ou que a <strong>cardinalidade de A<\/strong> \u00e9 <strong><em>n<\/em><\/strong>. \u00c9 usual utilizar a nota\u00e7\u00e3o <strong>#A = <em>n<\/em><\/strong> (ou <strong><em>n<\/em>(A)=<em>n<\/em><\/strong>).<br \/>\nPor outro lado, dizemos que um conjunto <strong>A<\/strong> \u00e9 <strong><em>infinito<\/em><\/strong>, ou que possui infinitos elementos, quando ele n\u00e3o \u00e9 finito, ou seja, para qualquer [tex]n\\in \\mathbb{N}[\/tex], n\u00e3o existe uma fun\u00e7\u00e3o bijetora do conjunto [tex]\\{1, 2, \\dots, n\\}[\/tex] no conjunto <strong>A<\/strong>.<\/p>\n<p style=\"margin:-15px;\">\n<p>Alguns fatos sobre conjuntos finitos s\u00e3o muito \u00fateis para se entender os conjuntos infinitos. Vejamos dois deles.<\/p>\n<p style=\"margin:-20px;\">\n<p><span style=\"color:#a200a2;\">&#10148;<\/span> Observe que, de acordo com exposto acima, dois conjuntos finitos <strong>A<\/strong> e <strong>B<\/strong> possuem o mesmo n\u00famero de elementos ou a mesma cardinalidade (<strong>#A = #B<\/strong>) quando existe uma fun\u00e7\u00e3o bijetora entre eles. <\/p>\n<ul><span style=\"color:#a200a2;\">&#9679;<\/span> Vejamos um exemplo ilustrativo desse fato. Consideremos os conjuntos <strong>A<\/strong>=[tex]\\{\\diamondsuit, \\triangledown, \\square\\}[\/tex] e <strong>B<\/strong>=[tex]\\{ \\heartsuit, \\circ, \\triangle\\}.[\/tex] Como cada um destes conjuntos possui 3 elementos, existem fun\u00e7\u00f5es bijetoras  [tex]\\sigma: \\{1, 2, 3\\} \\to [\/tex] <strong>A<\/strong>&nbsp;  e [tex]~\\tau : \\{1, 2, 3\\} \\to[\/tex] <strong>B<\/strong>, como por exemplo:<br \/>\n[tex]\\qquad \\begin{array}{ccc}<br \/>\n &#038; \\sigma &#038;  \\\\<br \/>\n1 &#038; \\longleftrightarrow &#038; \\diamondsuit \\\\<br \/>\n2 &#038; \\longleftrightarrow &#038; \\triangledown \\\\<br \/>\n3 &#038; \\longleftrightarrow &#038; \\square \\\\<br \/>\n\\end{array} \\ \\ \\ \\ \\  \\begin{array}{ccc}<br \/>\n &#038;\\tau &#038; \\\\<br \/>\n1 &#038; \\longleftrightarrow &#038; \\heartsuit \\\\<br \/>\n2 &#038; \\longleftrightarrow &#038; \\circ \\\\<br \/>\n3 &#038; \\longleftrightarrow &#038; \\triangle\\\\<br \/>\n\\end{array}[\/tex]<br \/>\nPodemos usar essas duas fun\u00e7\u00f5es para construir uma fun\u00e7\u00e3o bijetora entre <strong>A<\/strong> e <strong>B<\/strong>:<br \/>\n[tex]\\qquad  \\begin{array}{ccc}<br \/>\n \\diamondsuit &#038; \\longleftrightarrow &#038; \\heartsuit \\\\<br \/>\n\\triangledown &#038; \\longleftrightarrow &#038; \\circ \\\\<br \/>\n\\square &#038; \\longleftrightarrow &#038; \\triangle\\\\<br \/>\n\\end{array}[\/tex]<\/ul>\n<p><span style=\"color:#a200a2;\">&#10148;<\/span> Outro fato muito importante \u00e9 que  um conjunto finito  <strong>A<\/strong> possui um n\u00famero menor de elementos do que um conjunto finito <strong>B<\/strong>, ou a cardinalidade de <strong>A<\/strong> \u00e9 menor do que a cardinalidade de <strong>B<\/strong>, quando existe uma fun\u00e7\u00e3o bijetora de <strong>A<\/strong> com um subconjunto de <strong>B<\/strong>, mas n\u00e3o existe fun\u00e7\u00e3o bijetora entre <strong>A<\/strong> e <strong>B<\/strong>. <\/p>\n<ul>\n<span style=\"color:#a200a2;\">&#9679;<\/span> Novamente consideremos um exemplo ilustrativo com os conjuntos <strong>A<\/strong>=[tex]\\{  \\diamondsuit,  \\triangledown \\}[\/tex] e <strong>B<\/strong>=[tex]\\{ \\square, \\heartsuit,  \\circ,  \\triangle\\}.[\/tex]<br \/>\nPodemos exibir a fun\u00e7\u00e3o bijetora entre <strong>A<\/strong> e o subconjunto [tex]\\{ \\square, \\heartsuit\\}[\/tex] de <strong>B<\/strong><br \/>\n[tex]\\qquad  \\begin{array}{ccc}<br \/>\n \\diamondsuit &#038; \\longleftrightarrow &#038; \\heartsuit \\\\<br \/>\n\\triangledown &#038; \\longleftrightarrow &#038; \\square \\\\<br \/>\n\\end{array}[\/tex]<br \/>\nmas o leitor n\u00e3o ter\u00e1 trabalho em se convencer de que jamais poderemos exibir uma fun\u00e7\u00e3o bijetora entre <strong>A<\/strong> e <strong>B<\/strong>. Dessa forma, dizemos que a cardinalidade de <strong>A<\/strong> \u00e9 menor do que a cardinalidade de <strong>B<\/strong>.<\/ul>\n<p style=\"margin:10px;\">\n<p>Podemos fazer analogias  com estes fatos sobre os conjuntos finitos no caso de conjuntos infinitos. <\/p>\n<p style=\"margin:-20px;\">\n<p><span style=\"color:#a200a2;\">&#10148;<\/span> Dizemos que dois conjuntos infinitos <strong>A<\/strong> e <strong>B<\/strong> possuem a mesma cardinalidade, ou mesma extens\u00e3o, quando existe uma fun\u00e7\u00e3o bijetora entre <strong>A<\/strong> e <strong>B<\/strong>. Neste caso, tamb\u00e9m utilizamos a nota\u00e7\u00e3o  <strong>#A = #B<\/strong>.<br \/>\n\t<span style=\"color:#a200a2;\">&#10148;<\/span>  Dizemos tamb\u00e9m que o conjunto infinito <strong>A<\/strong> possui cardinalidade inferior \u00e0 cardinalidade do conjunto infinito <strong>B<\/strong>, ou ainda que a extens\u00e3o de <strong>A<\/strong> \u00e9 menor do que a extens\u00e3o de <strong>B<\/strong>, quando existe uma fun\u00e7\u00e3o bijetora de <strong>A<\/strong> com um subconjunto de <strong>B<\/strong>, mas n\u00e3o existe fun\u00e7\u00e3o bijetora entre <strong>A<\/strong> e <strong>B<\/strong>.<\/p>\n<p style=\"margin:-25px;\">\n<p>Observe que, nos casos em que um conjunto \u00e9 finito, utilizamos o seu n\u00famero de elementos para indicar a sua cardinalidade, ou seja, o seu &#8220;tamanho&#8221;. Agora, para se indicar a cardinalidade de um conjunto infinito, ou o seu &#8220;tamanho&#8221;, foram criados os chamados <em><strong>n\u00fameros transfinitos<\/strong><\/em>. Um deles ser\u00e1 apresentado no item IV.<\/p>\n<p style=\"margin:-20px;\">\n<p>Na pr\u00f3xima se\u00e7\u00e3o veremos como essas ideias foram historicamente introduzidas na Matem\u00e1tica.<\/p>\n<hr style=\"height:1px; width:100%;background-color:#910091;   margin-top: 30px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:1px; width:100%;background-color:#910091;   margin-top: 8px; margin-bottom: 30px; border: 0 none\"\/>\n<p class=\"ti1\" style=\"line-height:30px;margin:30px; color:#800080; font-size: 27px;\">III &#8211; Um Pouco de Hist\u00f3ria&#8230;<\/p>\n<p><strong>Zen\u00e3o de Eleia<\/strong> (490 &#8211; 430 a.C.) era disc\u00edpulo do conhecido fil\u00f3sofo <em>Parm\u00eanides<\/em>, o qual defendia fortemente que a mudan\u00e7a \u00e9 imposs\u00edvel e a pluralidade (ideia de que as coisas possuem diversos estados, ao inv\u00e9s de um s\u00f3) n\u00e3o existe. Buscando defender as ideias de seu mestre, Zen\u00e3o possu\u00eda a estrat\u00e9gia de supor teses que queria atacar (por exemplo, a infinidade de pontos em uma reta), deduzir uma consequ\u00eancia que levasse \u00e0 contradi\u00e7\u00e3o, chegando, por fim, a uma redu\u00e7\u00e3o ao absurdo. Iremos entender esse processo agora, com um de seus paradoxos mais famosos:<br \/>\n<center><\/p>\n<div  style=\"width:95%;  background-color:#ccbce8;border:1px solid #8B5A2B;line-height: 32px; padding:20px;text-align:justify\">\n<p style=\"text-align:center; margin-bottom:10px; font-size: 25px;\"><strong>O Paradoxo da Flecha<\/strong><\/p>\n<p> Um arqueiro lan\u00e7a uma flecha que adquire movimento. Para que a flecha alcance o alvo, ela deve primeiro percorrer metade da dist\u00e2ncia entre si mesma e o alvo. No entanto, antes de percorrer essa metade, ela deve percorrer um quarto da dist\u00e2ncia, e antes disso, um oitavo, e assim por diante.<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_07.png\" alt=\"\" width=\"635\" height=\"186\" class=\"aligncenter size-full wp-image-206874\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_07.png 635w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_07-300x88.png 300w\" sizes=\"auto, (max-width: 635px) 100vw, 635px\" \/>Essa divis\u00e3o continua infinitamente, resultando em uma quantidade infinita de etapas a serem conclu\u00eddas antes que a flecha possa, de fato, atingir o alvo. <\/p>\n<p style=\"margin:-25px;\">\n<p>A implica\u00e7\u00e3o aparente desse paradoxo \u00e9 que, dado o n\u00famero infinito de etapas necess\u00e1rias para que a flecha alcance o alvo, ela nunca realmente atingir\u00e1 o alvo, j\u00e1 que as infinitas etapas n\u00e3o podem ser conclu\u00eddas. Isso desafia a nossa intui\u00e7\u00e3o sobre o movimento e a divisibilidade do espa\u00e7o.<\/p>\n<p style=\"text-align:center; font-size:16px;\">\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_01.png\"  style=\"border:none\" alt=\"\" width=\"519\" height=\"339\" class=\"aligncenter size-full wp-image-206585\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_01.png 519w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_01-300x196.png 300w\" sizes=\"auto, (max-width: 519px) 100vw, 519px\" \/>Imagens extra\u00eddas de FisikanaRede e Canva Imagens. (Acesso em 23\/11\/23)<\/p>\n<\/div>\n<p><\/center><br \/>\nAo descrever essa contradi\u00e7\u00e3o, tendo como principal objetivo defender uma tese filos\u00f3fica, Zen\u00e3o de Eleia acabou por, sem querer, iniciar a discuss\u00e3o matem\u00e1tica formal acerca da exist\u00eancia de infinitos, come\u00e7ando a partir de segmentos que podem ser divididos em partes infinitamente pequenas por meio de divis\u00f5es sucessivas.<\/p>\n<p style=\"margin:-20px;\">\n<p>Essa discuss\u00e3o avan\u00e7ou no per\u00edodo da Idade Cl\u00e1ssica, com as no\u00e7\u00f5es de <strong>Arist\u00f3teles <\/strong>(384 \u2013 322 a.C.) acerca do infinito, as quais buscam, sobretudo, expor as contradi\u00e7\u00f5es do Paradoxo da Flecha de Zen\u00e3o.<br \/>\nArist\u00f3teles, por meio de sua tese sobre <strong><em>ato <\/em><\/strong>e <strong><em>pot\u00eancia<\/em><\/strong>, afirma existir um <strong><em>infinito potencial<\/em><\/strong> e um <em><strong>infinito atual<\/strong><\/em>.<br \/>\nO <em>infinito potencial<\/em> ocorre como um processo sem fim ao longo do tempo em objetos que, entretanto, s\u00e3o factualmente finitos. Assim, um infinito potencial \u00e9 um processo sem fim ao longo do tempo, mas que \u00e9 finito em qualquer momento espec\u00edfico. O <em>infinito atual, ou real<\/em>, existe em ato e de todo a um dado momento; logo, seria uma infinidade total e completa.<br \/>\nPortanto, com o infinito potencial tem-se a possibilidade de ir sempre mais longe (inesgot\u00e1vel) e com infinito atual tem-se uma infinidade realizada (esgotada). O caso do infinito potencial aplica-se, por exemplo, \u00e0s divis\u00f5es infinitas de um objeto finito, enquanto o infinito atual diz respeito, por exemplo, a conjuntos infinitos, ou seja, infinitos em ato. <\/p>\n<p style=\"margin:-20px;\">\n<p>Discuss\u00f5es sobre o infinito, no entanto, mantiveram-se estagnadas durante muitos s\u00e9culos, e os paradoxos de Zen\u00e3o n\u00e3o foram de todo esclarecidos. Os matem\u00e1ticos somente ousaram levantar novamente essa quest\u00e3o no s\u00e9culo XV, durante o Renascimento. Duas importantes figuras se destacaram: <strong>Giordano Bruno<\/strong>, o qual, com sua obra <em>Acerca do Infinito, do Universo e dos Mundos<\/em>, argumentou que o Universo era infinito e que continha um n\u00famero infinito de mundos; e <strong>Galileu Galilei<\/strong>, que dissertou sobre a equicardinalidade do conjunto dos inteiros e dos quadrados perfeitos.<\/p>\n<p style=\"margin:-20px;\">\n<p>Foi no desenvolvimento do C\u00e1lculo, por <strong>Gottfried Leibniz<\/strong> e <strong>Isaac Newton<\/strong>, com os estudos sobre sequ\u00eancias e s\u00e9ries convergentes e o estabelecimento do conceito de <strong><em>limite<\/em><\/strong>, que paradoxos como os de Zen\u00e3o adquiriram uma outra interpreta\u00e7\u00e3o. Express\u00f5es infinitesimais como a soma das pot\u00eancias de <span style=\"font-size:30px;\"> &#189; <\/span>  adquiriram novo sentido.<br \/>\n<center><\/p>\n<div style=\"width:95%;  background-color:#ccbce8;border:1px solid #8B5A2B;line-height:40px; padding:20px;text-align:justify\">\n<p style=\"text-align:center; margin-bottom:10px; font-size: 25px;line-height:40px;\"><strong>Uma Soma dos Infinitos Termos<\/strong><\/p>\n<p style=\"text-align:center;\">[tex]1+\\dfrac{1}{2}+\\dfrac{1}{4}+\\dfrac{1}{8}+\\dfrac{1}{16}+\\cdots=2[\/tex]<\/p>\n<p style=\"text-align:center; font-size:16px;\">\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_02.png\" style=\"border:none\" alt=\"\" width=\"648\" height=\"328\" class=\"aligncenter size-full wp-image-206608\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_02.png 648w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_02-300x152.png 300w\" sizes=\"auto, (max-width: 648px) 100vw, 648px\" \/>Imagem extra\u00edda de <a href=\"https:\/\/pt.wikipedia.org\/wiki\/Progress%C3%A3o_geom%C3%A9trica\" rel=\"noopener\" target=\"_blank\">Wikip\u00e9dia<\/a>. (Acesso em 23\/11\/23)<\/p>\n<\/div>\n<p><\/center><br \/>\nNo entanto, foi s\u00f3 no s\u00e9culo XIX que os \u201ctamanhos\u201d dos infinitos passaram a ser cautelosamente analisados e estudados, principalmente com a apari\u00e7\u00e3o de uma importante figura:<strong> Georg Cantor<\/strong> (1845 &#8211; 1918).<br \/>\nN\u00e3o \u00e9 exagero dizer que Cantor foi o matem\u00e1tico que mais contribuiu para a defini\u00e7\u00e3o do infinito e delimita\u00e7\u00e3o do estudo desse conceito, por meio de seu trabalho no \u00e2mbito de teoria dos conjuntos: <em>suas ideias permitiram a sistematiza\u00e7\u00e3o do estudo do infinito, a partir da elabora\u00e7\u00e3o de uma teoria hoje entendida e reconhecida como um dos pilares da Matem\u00e1tica<\/em>.<br \/>\n<center><\/p>\n<div  style=\"width:95%;  background-color:#ccbce8;border:1px solid #8B5A2B;line-height:40px; padding:20px;text-align:justify\">\n<p style=\"text-align:center; margin-bottom:10px; font-size: 25px;\"><strong>Georg Ferdinand Ludwig Philipp Cantor<\/strong><\/p>\n<p>Georg Cantor foi o principal expoente no estudo dos infinitos. <\/p>\n<p style=\"text-align:center; font-size:16px;\">\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_03.png\" style=\"border:none\" alt=\"\" width=\"900\" height=\"310\" class=\"aligncenter size-full wp-image-206613\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_03.png 900w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_03-300x103.png 300w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_03-768x265.png 768w\" sizes=\"auto, (max-width: 900px) 100vw, 900px\" \/>Imagem extra\u00edda de <a href=\"https:\/\/www.bbvaopenmind.com\/en\/science\/mathematics\/georg-cantor-the-man-who-discovered-different-infinities\/\" rel=\"noopener\" target=\"_blank\"> BBVA Openmind<\/a>. (Acesso em 23\/11\/23)<\/p>\n<\/div>\n<p><\/center><\/p>\n<p>A partir da defini\u00e7\u00e3o de <em><strong>n\u00famero transfinito<\/strong><\/em>, Cantor demonstrou que nem todos os infinitos s\u00e3o iguais, desenvolvendo a no\u00e7\u00e3o de que existem infinitos de \u201cdiferentes tamanhos\u201d, tamanhos esses conhecidos como <strong><em>cardinalidades <\/em><\/strong>(ou <strong><em>pot\u00eancias<\/em><\/strong> ou <em><strong>extens\u00f5es<\/strong><\/em>). De fato, Cantor demonstrou que &#8220;<em>existem mais n\u00fameros reais do que n\u00fameros naturais<\/em>&#8220;, apesar de ambos serem infinitos. Explicaremos essas ideias e a tese de Cantor mais detalhadamente no item IV.<\/p>\n<p style=\"margin:-20px;\">\n<p>Um dos principais colaboradores e defensores das ideias de Georg Cantor foi <strong>David Hilbert<\/strong> (1862 &#8211; 1943), o qual descreveu como <em>para\u00edso <\/em>o trabalho sobre infinitos desenvolvido por Cantor. Bastante conhecido por propor no Congresso Internacional de Matem\u00e1ticos de Paris, em 1900, os 23 Problemas que muito influenciaram a Matem\u00e1tica do s\u00e9culo XX, Hilbert tamb\u00e9m foi o idealizador do famoso paradoxo do Hotel de Hilbert.<\/p>\n<p><center><\/p>\n<div  style=\"width:97%;  background-color:#ccbce8;border:1px solid #8B5A2B;line-height:28px; padding:20px;text-align:justify\">\n<p style=\"text-align:center; margin-bottom:10px; font-size: 25px;\"><strong>O Paradoxo do Hotel de Hilbert<\/strong><\/p>\n<p>O \u201cHotel de Hilbert\u201d ou \u201cHotel Infinito\u201d, como tamb\u00e9m \u00e9 conhecido, \u00e9 um conceito paradoxal introduzido por David Hilbert para ilustrar as intrigantes propriedades dos infinitos. Esse paradoxo esclarece os conceitos contraintuitivos propostos por Georg Cantor ao estudarmos os infinitos na Matem\u00e1tica, destacando a ideia de <strong><em>correspond\u00eancia bijetiva<\/em><\/strong>. <\/p>\n<ul> <span style=\"color: #a200a2; font-size: 20px;\">&#9679;<\/span> Imagine um hotel com infinitos quartos. Agora, imagine que todos eles est\u00e3o ocupados, ou seja, h\u00e1 um h\u00f3spede em cada quarto. Em um dado momento, chega um turista no hotel sem ter feito reserva anteriormente e solicita um quarto. O recepcionista, sem saber como proceder, pois todos os quartos estavam ocupados, chama o gerente para resolver a situa\u00e7\u00e3o. O gerente, por conseguinte, solicita que o h\u00f3spede do quarto 1 v\u00e1 para o quarto 2; que o h\u00f3spede do quarto 2 v\u00e1 ao quarto 3 e assim por diante&#8230;; fazendo sempre com que o h\u00f3spede do quarto <strong><em>n<\/em><\/strong> v\u00e1 para o quarto <em><strong>n+1<\/strong><\/em>. Desse modo, o turista p\u00f4de se alojar no quarto 1 e todos os infinitos h\u00f3spedes continuam hospedados nos infinitos quartos.<br \/>\nConsidere, posteriormente, que o respons\u00e1vel por um \u00f4nibus com infinitos passageiros deseje hospedar todos eles no Hotel de Hilbert. O gerente, que \u00e9 novamente chamado, pede que o h\u00f3spede do quarto 1 v\u00e1 ao quarto 2; que o h\u00f3spede do quarto 2 v\u00e1 ao quarto 4; que o h\u00f3spede do quarto 3 v\u00e1 ao quarto 6&#8230; e assim por diante; ou seja, que o h\u00f3spede de cada quarto <strong><em>n<\/em><\/strong> v\u00e1 para o quarto <strong><em>2n<\/em><\/strong>. Dessa forma, todos os infinitos passageiros do \u00f4nibus podem se hospedar nos infinitos quartos \u00edmpares, e os infinitos h\u00f3spedes originais continuam hospedados no hotel, ocupando agora os infinitos quartos pares.<\/ul>\n<p>Dentre tantos objetos esquecidos nos quartos antigos e esbarr\u00f5es nos infinitos corredores, essa hist\u00f3ria contada por David Hilbert busca ilustrar a ideia de Cantor de que um infinito \u00e9 t\u00e3o grande quanto outro sempre que h\u00e1 uma <strong><em>correspond\u00eancia de um para um<\/em><\/strong> entre todos os elementos de seus conjuntos.<\/p>\n<p style=\"text-align:center; font-size:30px;\">David Hilbert e seu Hotel Infinito.<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_04.png\" style=\"border:none\" alt=\"\" width=\"784\" height=\"314\" class=\"aligncenter size-full wp-image-206717\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_04.png 784w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_04-300x120.png 300w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_04-768x308.png 768w\" sizes=\"auto, (max-width: 784px) 100vw, 784px\" \/><span  style=\"text-align:center; font-size:16px;\">Imagens extra\u00eddas de  <a href=\"https:\/\/www.matematicapraquem.com.br\/post\/o-surpreendente-infinito-e-o-hotel-de-hilbert\" rel=\"noopener\" target=\"_blank\">Matem\u00e1tica para Quem?<\/a> e  <a href=\"https:\/\/pt.wikipedia.org\/wiki\/David_Hilbert\" rel=\"noopener\" target=\"_blank\"> Wikip\u00e9dia<\/a>. (Acesso em 23\/11\/23)<\/span><\/p>\n<\/div>\n<p><\/center><\/p>\n<p style=\"margin:10px;\">\n<p>Agora que entendemos um pouco sobre como a ideia de infinito se desenvolveu ao longo da hist\u00f3ria, vamos entender um pouco mais sobre as ideias desenvolvidas por Georg Cantor.<\/p>\n<hr style=\"height:1px; width:100%;background-color:#910091;   margin-top: 30px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:1px; width:100%;background-color:#910091;   margin-top: 8px; margin-bottom: 30px; border: 0 none\"\/>\n<p class=\"ti1\" style=\"line-height:30px;margin:30px; color:#800080;  font-size: 27px;\">IV &#8211;  Mas, afinal, como pode um infinito ser maior do que outro?<\/p>\n<p>Veja que o que possibilita abrir infinitas vagas no hotel de Hilbert \u00e9 o fato de que <em><strong>o conjunto dos n\u00fameros naturais pares tem a mesma cardinalidade do conjunto formado pelos n\u00fameros naturais<\/strong><\/em>; e, com isso, os infinitos h\u00f3spedes que j\u00e1 estavam no hotel podem ficar hospedados apenas nos quartos com n\u00fameros pares. Mais precisamente, na fun\u00e7\u00e3o <strong><em>f<\/em><\/strong> que associa cada n\u00famero natural ao seu dobro, o conjunto <strong>A<\/strong> dos n\u00fameros naturais \u00e9 o dom\u00ednio e cada elemento desse dom\u00ednio est\u00e1 associado a um, e somente um, elemento do contradom\u00ednio <strong>B<\/strong>, que \u00e9 o conjunto dos n\u00fameros naturais pares. Al\u00e9m disso, todo n\u00famero do contradom\u00ednio est\u00e1 associado a um elemento do dom\u00ednio ( n\u00famero par [tex]2m[\/tex] est\u00e1 associado ao n\u00famero natural  [tex]m[\/tex]).<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_05.png\" style=\"border:none\" alt=\"\" width=\"407\" height=\"285\" class=\"aligncenter size-full wp-image-206728\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_05.png 407w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/11\/fig_05-300x210.png 300w\" sizes=\"auto, (max-width: 407px) 100vw, 407px\" \/><br \/>\nDessa forma, todo n\u00famero [tex]n \\in \\mathbb{N}[\/tex] tem seu correspondente [tex]2n[\/tex] e nenhum n\u00famero &#8220;sobra&#8221; em qualquer dos dois conjuntos. Logo,<strong> <em>esses conjuntos possuem a mesma extens\u00e3o, e nenhum deles \u00e9 maior do que outro<\/em><\/strong>. <\/p>\n<p style=\"margin:-20px;\">\n<p>Este caso pode parecer nada intuitivo, afinal o conjunto <strong>P<\/strong> dos n\u00fameros pares \u00e9 um subconjunto pr\u00f3prio do conjunto dos n\u00fameros naturais.<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/12\/fig_11.png\" style=\"border:none\" alt=\"\" width=\"100\" height=\"295\" class=\"aligncenter size-full wp-image-207457\" \/> No entanto, quando se trata de conjuntos infinitos, podemos dizer que <em>nem sempre o todo \u00e9 maior do que a soma de suas partes<\/em>; e isso ficar\u00e1 mais evidente ainda nos pr\u00f3ximos exemplos.<br \/>\nO matem\u00e1tico <strong>George Cantor<\/strong> denotou a cardinalidade de conjuntos com a mesma cardinalidade dos n\u00fameros naturais, conhecidos como conjuntos infinitos enumer\u00e1veis,  pelo n\u00famero transfinito [tex]\\aleph_0[\/tex] (alef zero).<\/p>\n<p style=\"margin:-20px;\">\n<p>Talvez mais impressionante do que o fato de existir uma bije\u00e7\u00e3o entre [tex]\\mathbb{N}[\/tex] e seu subconjunto de n\u00fameros pares seja o fato de tamb\u00e9m existir uma bije\u00e7\u00e3o entre [tex]\\mathbb{N}[\/tex] e todo o conjunto dos n\u00fameros inteiros [tex]\\mathbb{Z}[\/tex]; afinal, em [tex]\\mathbb{Z}[\/tex] est\u00e3o contidos, al\u00e9m dos naturais, todos os seus sim\u00e9tricos. No entanto, observe a seguinte fun\u00e7\u00e3o [tex] f:\\mathbb{N}\\rightarrow \\mathbb{Z}[\/tex] definida por partes:<\/p>\n<p style=\"text-align:center\";>[tex]f(n)=\\begin{cases}<br \/>\n\\dfrac{n+1}{2},\\text{ se } n \\text{ for \u00edmpar}  \\\\<br \/>\n~~\\\\<br \/>\n&#8211;  \\dfrac{n}{2},\\text{ se } n \\text{ for par}\\\\<br \/>\n\\end{cases} \\, .[\/tex]<\/p>\n<p>Voc\u00ea consegue perceber que essa fun\u00e7\u00e3o \u00e9 bijetora, de tal modo que estabelece uma rela\u00e7\u00e3o de um para um entre [tex]\\mathbb{N}[\/tex] e [tex]\\mathbb{Z}[\/tex]?<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/12\/fig_12.png\" style=\"border:none\" alt=\"\" width=\"413\" height=\"283\" class=\"aligncenter size-full wp-image-207464\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/12\/fig_12.png 413w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/12\/fig_12-300x206.png 300w\" sizes=\"auto, (max-width: 413px) 100vw, 413px\" \/><br \/>\nUma caracter\u00edstica bastante importante que possuem os n\u00fameros naturais e os n\u00fameros inteiros, e que os diferencia do restante dos n\u00fameros reais, \u00e9 a exist\u00eancia dos respectivos sucessores, e isso estabelece um ordenamento bastante claro dos elementos dos conjuntos [tex]\\mathbb{N}[\/tex] e [tex]\\mathbb{Z}.[\/tex] A cada elemento <strong><em>n<\/em><\/strong> de [tex]\\mathbb{N}[\/tex] ou [tex]\\mathbb{Z}[\/tex], sabemos que o pr\u00f3ximo elemento, chamado de sucessor, \u00e9 o n\u00famero <strong><em>n+1<\/em><\/strong> e essa caracter\u00edstica n\u00e3o est\u00e1 presente no conjunto [tex]\\mathbb{Q}[\/tex] dos n\u00fameros racionais. De fato, dado um n\u00famero  [tex]\\frac{m}{n} \\in \\mathbb{Q}[\/tex], n\u00e3o sabemos dizer qual \u00e9 o racional imediatamente maior (ou menor) do que [tex]\\frac{m}{n}[\/tex] (isso se deve ao fato de o conjunto dos n\u00fameros racionais ser denso&#8230; mas vamos deixar essa discuss\u00e3o para outro momento).<br \/>\nApesar disso, \u00e9 poss\u00edvel estabelecer uma listagem dos n\u00fameros racionais que possibilite uma contagem desses n\u00fameros, no sentido de associar n\u00fameros naturais a todos os n\u00fameros racionais. Dessa forma, fica estabelecida uma rela\u00e7\u00e3o bijetora entre os dois conjuntos, e podemos concluir que ambos possuem mesma cardinalidade e s\u00e3o enumer\u00e1veis.<br \/>\nA figura abaixo ilustra uma listagem dos n\u00fameros racionais positivos e um procedimento de contagem para eles. A sequ\u00eancia da contagem \u00e9 indicada pelas flechinhas azuis e um n\u00famero riscado com um X vermelho significa que ele j\u00e1 apareceu anteriormente em algum momento na contagem.<\/p>\n<p style=\"margin:10px;\">\n<p><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/12\/fig_09.png\" style=\"border:none\" alt=\"\" width=\"450\" height=\"664\" class=\"aligncenter size-full wp-image-207175\" \/><\/p>\n<p style=\"margin:10px;\">\n<p>Veja os primeiros termos da sequ\u00eancia na qual ordenamos os racionais positivos:<br \/>\n<center>[tex] \\left(\\dfrac{0}{1}~,~\\dfrac{1}{1}~,~\\dfrac{2}{1}~,~\\dfrac{1}{2}~,~\\dfrac{1}{3}~,~\\dfrac{3}{1}~,~\\dfrac{4}{1}~,~\\dfrac{3}{2}~,~\\dfrac{2}{3}~,~\\dfrac{1}{4}~,~\\cdots\\right)[\/tex]<\/center><br \/>\nAt\u00e9 agora, todos os exemplos citados correspondem a conjuntos com mesma cardinalidade. E isso ainda n\u00e3o responde a pergunta:<\/p>\n<p style=\"color:#a200a2;text-align:center; font-size: 25px; margin: -20px 10px 10px 10px;\"><strong><em>Existe um conjunto infinito maior do que outro conjunto infinito?<\/em><\/strong><\/p>\n<p>Para responder afirmativamente a essa pergunta, seria suficiente encontrar um conjunto infinito com o qual n\u00e3o consigamos estabelecer uma bije\u00e7\u00e3o com [tex]\\mathbb{N}[\/tex]. Dessa maneira esse novo conjunto n\u00e3o ter\u00e1 a mesma cardinalidade de [tex]\\mathbb{N}[\/tex], mas sim uma cardinalidade &#8220;maior&#8221; ou &#8220;menor&#8221;. Particularmente, vamos utilizar um conjunto infinito cuja cardinalidade \u00e9 maior do que a cardinalidade de [tex]\\mathbb{N}.[\/tex]<br \/>\nEsse conjunto \u00e9 exatamente o intervalo real [tex]\\left(0,1\\right)=\\{x \\in \\mathbb{R}\\, |\\, 0 \\lt x \\lt 1\\}[\/tex], aquele mesmo mencionado no filme <em>A Culpa \u00e9 das Estrelas<\/em>.<br \/>\nA t\u00e9cnica utilizada para comprovar, inicialmente, que a cardinalidade desse conjunto n\u00e3o \u00e9 a mesma que a de [tex]\\mathbb{N}[\/tex] tamb\u00e9m \u00e9 devida a Cantor, e \u00e9 conhecida como <strong><em>diagonaliza\u00e7\u00e3o de Cantor<\/em><\/strong>.<br \/>\nTente imaginar uma rela\u00e7\u00e3o entre todos os n\u00fameros naturais e todos os n\u00fameros entre 0 e 1. Poder\u00edamos relacionar o 1 com 0,1; o 2 com 0,2; o 3 com 0,3; e assim por diante. Mas \u00e9 f\u00e1cil perceber que essa suposta enumera\u00e7\u00e3o de n\u00fameros reais entre 0 e 1, apesar de infinita, n\u00e3o cobre todo o intervalo [tex]\\left(0,1\\right).[\/tex] H\u00e1 uma infinidade de n\u00fameros reais entre 0,1 e 0,2, por exemplo, que n\u00e3o estariam contemplados nessa estrat\u00e9gia.<br \/>\nImaginemos, ent\u00e3o, uma rela\u00e7\u00e3o mais aleat\u00f3ria. O argumento que vamos utilizar faz uso de uma t\u00e9cnica de demonstra\u00e7\u00e3o matem\u00e1tica bastante \u00fatil: <strong><em>a demonstra\u00e7\u00e3o por redu\u00e7\u00e3o ao absurdo<\/em><\/strong>. Vamos supor que algo seja verdadeiro e, ao chegar a uma contradi\u00e7\u00e3o, conclu\u00edmos que a hip\u00f3tese inicial era falsa.<br \/>\nVamos l\u00e1!<\/p>\n<div style=\"margin: -20px 20px 10px 20px;\">Vamos supor que o intervalo [tex]\\left(0,1\\right)[\/tex] tenha a mesma cardinalidade de [tex]\\mathbb{N}[\/tex], isto \u00e9, que \u00e9 enumer\u00e1vel. Dessa forma, podemos construir uma bije\u00e7\u00e3o que associa todos os n\u00fameros naturais a todos os n\u00fameros reais entre 0 e 1; assim, associamos<br \/>\n[tex]\\qquad \\qquad  1 \\text{ com } x_1= 0,a_{11}a_{12}a_{13}\\cdots\\\\<br \/>\n\\qquad \\qquad  2 \\text{ com } x_2= 0,a_{21}a_{22}a_{23}\\cdots\\\\<br \/>\n\\qquad \\qquad  3 \\text{ com } x_3= 0,a_{31}a_{32}a_{33}\\cdots\\\\<br \/>\n\\qquad \\qquad ~~~~~~~~~~ \\vdots\\\\<br \/>\n\\qquad \\qquad  k \\text{ com } x_k= 0,a_{k1}a_{k2}a_{k3}\\cdots\\\\<br \/>\n\\qquad \\qquad  ~~~~~~~~~~  \\vdots\\\\[\/tex]<br \/>\nMas, observe que existe um n\u00famero especial [tex]D[\/tex] que n\u00e3o est\u00e1 contemplado nessa enumera\u00e7\u00e3o.<br \/>\nSe definirmos<br \/>\n[tex]\\qquad \\qquad  D=0, d_1d_2d_3\\cdots,[\/tex]<br \/>\ncom os algarismos [tex]d_1\\ne a_{11}[\/tex]; [tex]d_2\\ne a_{22}[\/tex]; [tex]d_3\\ne a_{33} \\cdots[\/tex];  [tex]d_k\\ne a_{kk}[\/tex], e assim por diante, teremos um n\u00famero que pertence ao intervalo [tex]\\left(0,1\\right)[\/tex] mas que n\u00e3o est\u00e1 enumerado na listagem acima, pois [tex]D[\/tex] se diferencia de [tex]x_1[\/tex] no primeiro d\u00edgito depois da v\u00edrgula, de [tex]x_2[\/tex] no segundo d\u00edgito depois da v\u00edrgula,  de [tex]x_3[\/tex] no terceiro d\u00edgito depois da v\u00edrgula, etc. <\/div>\n<p>Dessa forma n\u00e3o existe uma bije\u00e7\u00e3o entre o conjunto dos n\u00fameros naturais e o intervalo [tex]\\left(0,1\\right)[\/tex], ou seja, o intervalo [tex]\\left(0,1\\right)[\/tex] n\u00e3o \u00e9 enumer\u00e1vel.<br \/>\nPor outro lado, observe que existe uma bije\u00e7\u00e3o de [tex]\\mathbb{N}[\/tex]  com o subconjunto [tex]B=\\{\\frac{1}{2}, \\frac{1}{3}, \\dots, \\frac{1}{n+1}\\dots \\}[\/tex] do intervalo [tex]\\left(0,1\\right)[\/tex] que associa a cada n\u00famero natural [tex]n[\/tex] o n\u00famero [tex]\\dfrac{1}{n+1}[\/tex].<br \/>\nLogo, a cardinalidade do conjunto [tex]\\left(0,1\\right)[\/tex] \u00e9 maior do que a cardinalidade dos n\u00fameros naturais, ou seja, o infinito entre 0 e 1 \u00e9 maior do que o infinito dos n\u00fameros naturais &#8230;<br \/>\nPortanto, SIM: <span style=\"color:#a200a2; font-size: 22px;\"> <strong>h\u00e1 infinitos maiores do que outros!<\/strong><\/span><\/p>\n<p style=\"margin:-10px;\">\n<p><strong>Mas aten\u00e7\u00e3o:<\/strong> corrigindo a afirma\u00e7\u00e3o de Hazel, o infinito entre 0 e 2 tem o mesmo tamanho do que o infinito entre 0 e 1.<br \/>\nBasta estabelecer a fun\u00e7\u00e3o bijetora [tex]f:\\left(0,1\\right) \\rightarrow \\left(0,2\\right)[\/tex], dada por [tex]f(x)=2x.[\/tex]<\/p>\n<hr style=\"height:1px; width:100%;background-color:#910091;   margin-top: 30px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:1px; width:100%;background-color:#910091;   margin-top: 8px; margin-bottom: 30px; border: 0 none\"\/>\n<p class=\"ti1\" style=\"line-height:30px;margin:30px; color:#800080;  font-size: 27px;\">V &#8211;  Aplica\u00e7\u00f5es interessantes de infinitos<\/p>\n<p>Infinitos s\u00e3o, definitivamente, curiosos. Sabemos que eles existem, no entanto, s\u00e3o inacess\u00edveis \u00e0 nossa limitada compreens\u00e3o humana. Algo sem fim desafia completamente qualquer concep\u00e7\u00e3o de realidade que nossa mente \u00e9 capaz de criar, afinal, imaginar n\u00fameros grandes j\u00e1 \u00e9 uma tarefa dif\u00edcil&#8230;<br \/>\nSe o tamanho de um continente, a dist\u00e2ncia entre a Terra e o Sol, a propor\u00e7\u00e3o entre os componentes de um \u00e1tomo&#8230; j\u00e1 s\u00e3o ideias complexas demais para serem processadas por nosso c\u00e9rebro, o que dizer, ent\u00e3o, sobre algo t\u00e3o grande que n\u00e3o tem fim?<br \/>\nQuer algo mais perturbador do que saber que no intervalo [tex]\\left(0,1\\right)[\/tex] tem tantos n\u00fameros quanto no intervalo [tex]\\left(0,2\\right)[\/tex]? \u00c9 s\u00f3 pensar no &#8220;tamanho geom\u00e9trico&#8221; dos dois segmentos para ter at\u00e9 calafrios&#8230;<br \/>\n<img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/12\/fig_13.png\" alt=\"\" width=\"500\" height=\"118\" class=\"aligncenter size-full wp-image-207576\" srcset=\"https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/12\/fig_13.png 500w, https:\/\/clubes.obmep.org.br\/blog\/wp-content\/uploads\/2023\/12\/fig_13-300x71.png 300w\" sizes=\"auto, (max-width: 500px) 100vw, 500px\" \/><\/p>\n<p>N\u00e3o importa o quanto tente, qualquer tentativa de dimensionar o infinito \u00e9 falha para a mente humana. E isso pode ser assustador e maravilhoso!<br \/>\nImagine um macaco de frente para uma m\u00e1quina de escrever. Por n\u00e3o ser capaz de compreender o significado dos s\u00edmbolos da m\u00e1quina, ele aperta as teclas aleatoriamente. Ap\u00f3s algum tempo, ele talvez consiga escrever corretamente alguma palavra, ou escrever uma sequ\u00eancia de vogais e consoantes com um padr\u00e3o de repeti\u00e7\u00e3o, ou ent\u00e3o escrever os n\u00fameros na ordem certa. Quanto mais tempo ele digita, maiores s\u00e3o as possibilidades de padr\u00f5es. E se esse tempo for infinito, quais padr\u00f5es ele vai formar?<br \/>\nA resposta \u00e9: (quase) todos!<br \/>\nEsse \u00e9 o <strong>Teorema do Macaco Infinito<\/strong>, apresentado por <strong>\u00c9mile Borel<\/strong> em 1913, e seu objetivo \u00e9 mostrar como eventos com chances pequenas de ocorrer, como digitar aleatoriamente e formar uma palavra, (quase) certamente acontecem em um espa\u00e7o de tempo infinito (a express\u00e3o \u201cquase certamente\u201d possui um significado matematicamente preciso e compreendido melhor dentro da teoria da probabilidade, para a qual Borel fez enormes contribui\u00e7\u00f5es).<br \/>\nNesse exemplo, com tempo infinito para bater aleatoriamente nas teclas, o macaco acabar\u00e1 por escrever palavras, frases, par\u00e1grafos e at\u00e9 livros inteiros. Ele escrever\u00e1 todas as obras de <strong>Shakespeare<\/strong>, mais de uma vez e de tr\u00e1s pra frente. Escrever\u00e1 todos os roteiros de filmes da Marvel que j\u00e1 sa\u00edram e que ainda ir\u00e3o sair (embora esse seja outro infinito &#128512;).<br \/>\nBrincadeiras \u00e0 parte, esse teorema n\u00e3o se limita a exemplos absurdos como um macaco com uma m\u00e1quina de escrever, podendo ser observado em situa\u00e7\u00f5es muito mais comuns.<br \/>\nVamos considerar o n\u00famero &#960;, a cl\u00e1ssica raz\u00e3o entre o comprimento da circunfer\u00eancia e seu di\u00e2metro. Ele \u00e9 um n\u00famero irracional, com infinitas casas depois da v\u00edrgula dispostas sem nenhum padr\u00e3o, aleat\u00f3rias como o bater nas teclas do macaco. Podemos atribuir uma correspond\u00eancia entre o conjunto dos caracteres dispon\u00edveis em um teclado e o conjunto de algarismos (ou sequ\u00eancias de algarismos) da expans\u00e3o de &#960;. Assim 01 poderia corresponder \u00e0 letra &#8220;a&#8221;, 02 corresponderia a &#8220;b&#8221;, 27 ao algarismo &#8220;1&#8221;, e outras sequ\u00eancias poderiam corresponder a sinais de pontua\u00e7\u00e3o ou outros s\u00edmbolos. Desse modo, poder\u00edamos encontrar palavras escondidas na expans\u00e3o decimal de \u03c0, mas n\u00e3o s\u00f3 isso!<br \/>\nNesse sistema, na expans\u00e3o de &#960; provavelmente est\u00e3o escritas todas as palavras e todas as frases em todas as l\u00ednguas, seu nome aparece escrito infinitas vezes, a hist\u00f3ria de sua vida e a hist\u00f3ria do pr\u00f3prio universo! Tudo isso, dentro de um n\u00famero entre 3 e 4.<br \/>\n\u00c9 estranho pensar como esses infinitos que, apenas por existirem j\u00e1 desafiam todas as nossas concep\u00e7\u00f5es, abrangem concep\u00e7\u00f5es ainda mais complexas dentro de si, afinal essa Sala de Leitura sobre infinitos que voc\u00ea est\u00e1 lendo provavelmente nada mais \u00e9 do que a c\u00f3pia de algumas linhas da expans\u00e3o de &#960;.<\/p>\n<hr style=\"height:1px; width:100%;background-color:#910091;   margin-top: 30px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:1px; width:100%;background-color:#910091;   margin-top: 8px; margin-bottom: 30px; border: 0 none\"\/>\n<p class=\"ti1\" style=\"line-height:30px;margin:30px; color:#800080;  font-size: 27px;\">VI &#8211;  Alguns V\u00eddeos Recomendados&#8230;<\/p>\n<p>Se voc\u00ea se interessou pelo assunto e quiser saber mais a respeito, recomendamos aqui alguns v\u00eddeos que, inclusive, utilizamos de inspira\u00e7\u00e3o para compreender melhor os infinitos, suas dimens\u00f5es e propriedades.<\/p>\n<div class=\"gr1\" style=\"margin:30px;line-height:30px; width:85%; margin-left:auto; margin-right:auto; text-align:center; border: solid 2px #910091;font-size:16px \">\n<p class=\"ti1\" style=\"line-height:30px;margin:10px; color:#800080;\"><em>Alguns INFINITOS s\u00e3o MAIORES que outros<\/em><\/p>\n<hr style=\"height:1px; width:100%;background-color:#910091; margin-top: 10px; margin-bottom: 20px;border: 0 none\"\/>\n<p style=\"text-align:justify;\"> Este v\u00eddeo utiliza uma \u00f3tima analogia para explicar de maneira bastante did\u00e1tica porque o infinito dos naturais \u00e9 t\u00e3o grande quanto o dos naturais pares.<\/p>\n<p>Para assistir, \u00e9 s\u00f3 clicar na setinha.<br \/>\n<iframe loading=\"lazy\" width=\"640\" height=\"360\" src=\"https:\/\/www.youtube.com\/embed\/mkMvJGUdRUs?rel=0\" allowfullscreen><\/iframe><br \/>\nV\u00eddeo do canal \u201cCi\u00eancia Todo Dia\u201d, de Pedro Loss.<\/div>\n<p style=\"margin:30px;\">\n<div class=\"gr1\" style=\"margin:30px;line-height:30px; width:85%; margin-left:auto; margin-right:auto; text-align:center; border: solid 2px #910091;font-size:16px \">\n<p class=\"ti1\" style=\"line-height:30px;margin:10px; color:#800080;\"><em>Os INFINITOS e a HIP\u00d3TESE DO CONT\u00cdNUO<\/em><\/p>\n<hr style=\"height:1px; width:100%;background-color:#910091; margin-top: 10px; margin-bottom: 20px;border: 0 none\"\/>\n<p style=\"text-align:justify;\"> O que \u00e9 o infinito? Existe infinito no mundo real? Ou ele \u00e9 apenas uma abstra\u00e7\u00e3o, algo que existe apenas nas nossas mentes?<\/p>\n<p>Para saber, \u00e9 s\u00f3 clicar na setinha.<br \/>\n<iframe loading=\"lazy\" width=\"640\" height=\"360\" src=\"https:\/\/www.youtube.com\/embed\/Olh5tPdCaeM?rel=0\" allowfullscreen><\/iframe><br \/>\nV\u00eddeo do canal \u201cTem Ci\u00eancia\u201d, de Daniel Nunes.<\/div>\n<p style=\"margin:30px;\">\n<div class=\"gr1\" style=\"margin:30px;line-height:30px; width:85%; margin-left:auto; margin-right:auto; text-align:center; border: solid 2px #910091;font-size:16px \">\n<p class=\"ti1\" style=\"line-height:30px;margin:10px; color:#800080;\"><em>Cardinalidade de Conjuntos<\/em><\/p>\n<hr style=\"height:1px; width:100%;background-color:#910091; margin-top: 10px; margin-bottom: 20px;border: 0 none\"\/>\n<p style=\"text-align:justify;\"> Para compreender um pouco melhor sobre cardinalidade de conjuntos, sugerimos que voc\u00ea assista aos v\u00eddeos sobre o assunto no canal <a href=\"https:\/\/www.youtube.com\/@portalmatematicaobmep\" rel=\"noopener\" target=\"_blank\"><span style=\"color:#c400c4;\"><strong>Portal da Matem\u00e1tica OBMEP<\/strong><\/span><\/a>, come\u00e7ando pelo v\u00eddeo a seguir.<\/p>\n<p>\u00c9 s\u00f3 clicar na setinha.<br \/>\n<iframe loading=\"lazy\" width=\"640\" height=\"360\" src=\"https:\/\/www.youtube.com\/embed\/4T3khfMs8M0?rel=0\" allowfullscreen><\/iframe><\/div>\n<p style=\"margin:30px;\">\n<hr style=\"height:2px; width:100%;background-color:#910091;   margin-top: 10px; margin-bottom: 8px; border: 0 none\"\/>\n<hr style=\"height:2px; width:100%;background-color:#910091;   margin-top: 8px; margin-bottom: 10px; border: 0 none\"\/>\n<p style=\"text-align: right;\"><span style=\"color: #800080; font-size: 22px;\"><strong>COM Geomestres Slay <\/strong> <span style=\"font-size:19px;\">(Col\u00e9gio Militar de Porto Alegre, RS)<\/span><br \/>\n<strong>Equipe COM &#8211; OBMEP<\/strong><\/span><\/p>\n<\/div>\n<p style=\"margin:20px;\">\n<div  class=\"ref\" style=\"padding-left: 20px; padding-right:60px;line-height:20px;\">\n<strong>Refer\u00eancias:<\/strong><br \/>\n<strong>[1]<\/strong> Cap\u00edtulo 2, Conjuntos Infinitos, por Martha Monteiro: <a href=\"https:\/\/www.ime.usp.br\/~martha\/mat0315-2018\/enumeraveis.pdf\" rel=\"noopener\" target=\"_blank\"><span style=\"color:#c400c4;\"> <strong>IME-USP<\/strong><\/span><\/a> (Acesso em 02\/12\/2023).<br \/>\n<strong>[2]<\/strong> Filosofia da F\u00edsica Cl\u00e1ssica &#8211; USP 2017: <a href=\"https:\/\/opessoa.fflch.usp.br\/sites\/opessoa.fflch.usp.br\/files\/FiFi-17-Cap05.pdf\" rel=\"noopener\" target=\"_blank\"><span style=\"color:#c400c4;\"> <strong>FFLCH &#8211; USP<\/strong><\/span><\/a> (Acesso em 02\/12\/2023).<br \/>\n<strong>[3]<\/strong> Existe alguma coisa maior do que o infinito?, por Bruno Vaiano: <a href=\"https:\/\/super.abril.com.br\/especiais\/existe-alguma-coisa-maior-do-que-o-infinito\" target=\"_blank\"><span style=\"color:#c400c4;\"> <strong>Super Abril<\/strong><\/span><\/a> (Acesso em 02\/12\/2023).<br \/>\n<strong>[4] <\/strong>Hist\u00f3ria do Infinito: <a href=\"https:\/\/webpages.ciencias.ulisboa.pt\/~ommartins\/seminario\/cantor\/histinfinito.htm\" rel=\"noopener\" target=\"_blank\"> <span style=\"color:#c400c4;\"> <strong>Faculdade de Ci\u00eancias da Universidade de Lisboa <\/strong><\/span><\/a> (Acesso em 02\/12\/2023).<br \/>\n<strong>[5]<\/strong> Conjuntos Enumer\u00e1veis e N\u00e3o-Enumer\u00e1veis: <a href=\"https:\/\/acervodigital.ufpr.br\/handle\/1884\/54776?show=full\" rel=\"noopener\" target=\"_blank\"><span style=\"color:#c400c4;\"> <strong>Acervo digital- UFPR<\/strong><\/span><\/a> (Acesso em 02\/12\/2023).<br \/>\n<strong>[6]<\/strong> Um breve passeio ao infinito real de Cantor: <a href=\"http:\/\/www.mat.ufpb.br\/bienalsbm\/arquivos\/Conferencias%20Apresentadas\/C%205.pdf\"> <span style=\"color:#c400c4;\"> <strong>UFPB <\/strong><\/span><\/a>(Acesso em 02\/12\/2023).<br \/>\n<strong>[7]<\/strong> Teorema do Macaco Infinito: <a href=\"https:\/\/pt.wikipedia.org\/wiki\/Teorema_do_macaco_infinito\" rel=\"noopener\" target=\"_blank\"><span style=\"color:#c400c4;\"> <strong>Wikip\u00e9dia  <\/strong><\/span><\/a>(Acesso em 02\/12\/2023).<\/p><\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Clique no bot\u00e3o abaixo para visualizar a Sala. Ao Infinito e Al\u00e9m! Nesta Sala para Leitura, vamos descobrir um pouco mais sobre a natureza dos infinitos, destrinchando alguns conceitos um tanto quanto contraintuitivos e separando e organizando diferentes infinitos que vamos conhecer em categorias; pois, afinal, eles n\u00e3o s\u00e3o iguais! Esperamos, desse modo, que a &hellip; <\/p>\n<p><a class=\"more-link btn\" href=\"https:\/\/clubes.obmep.org.br\/blog\/a-sala-para-leitura-ao-infinito-e-alem\/\">Continue lendo<\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"template-onecolumn.php","meta":{"footnotes":""},"class_list":["post-208574","page","type-page","status-publish","hentry","nodate","item-wrap"],"_links":{"self":[{"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/pages\/208574","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/comments?post=208574"}],"version-history":[{"count":5,"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/pages\/208574\/revisions"}],"predecessor-version":[{"id":228000,"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/pages\/208574\/revisions\/228000"}],"wp:attachment":[{"href":"https:\/\/clubes.obmep.org.br\/blog\/wp-json\/wp\/v2\/media?parent=208574"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}