CASO VERÍDICO: Faça uma análise crítica das seguintes frases, ou trechos de frases que seguem abaixo. Observe que, em cada uma delas, ou definições ou terminologias matemáticas foram usadas incorretamente: ou não foi corretamente expresso o que se gostaria de comunicar, ou há alguma incoerência lógica na construção da frase. A maioria das frases, matematicamente erradas, são reais e foram extraídas de livros publicados no país e adotados em escolas do Ensino Fundamental ou Médio. Faça uma análise crítica das frases abaixo. (Algumas das frases apareceram na RPM Revista do Professor de Matemática-, a partir do número 40, na Seção Pisando na Bola.)
(e) “Um ponto não pode ser medido. Mas quando você tem infinita fila de sucessivos pontos, todos se tocando entre si, eles formam algo que pode ser visto e medido. Formam uma reta. É assim que os matemáticos vêem uma reta, como uma fileira de pontos.”
(e) “Um ponto não pode ser medido. Mas quando você tem infinita fila de sucessivos pontos, todos se tocando entre si, eles formam algo que pode ser visto e medido. Formam uma reta. É assim que os matemáticos vêem uma reta, como uma fileira de pontos.”
Passo 1
O enunciado pede uma análise crítica da frase (trecho):
“Um ponto não pode ser medido. Mas quando você tem infinita fila de sucessivos pontos, todos se tocando entre si, eles formam algo que pode ser visto e medido. Formam uma reta. É assim que os matemáticos vêem uma reta, como uma fileira de pontos.”
Informações dadas que usarei na análise:
“Um ponto não pode ser medido. Mas quando você tem infinita fila de sucessivos pontos, todos se tocando entre si, eles formam algo que pode ser visto e medido. Formam uma reta. É assim que os matemáticos vêem uma reta, como uma fileira de pontos.”
Informações dadas que usarei na análise:
- A frase afirma que um ponto não pode ser medido (dizendo que tem “tamanho” nulo).
- A frase afirma que uma “infinita fila de sucessivos pontos, todos se tocando” forma uma reta que pode ser medida.
- A frase sugere que “matemáticos veem a reta como uma fileira de pontos”.
- Há uma figura (peguei da imagem enviada) de um plano
com dois pontos marcados e sobre ele.
Passo 2
O que é um “ponto” em matemática (explicação didática):
- Em geometria euclidiana um ponto é um conceito primitivo: não tem dimensão, não tem comprimento, largura nem área. É usado para indicar localização. Dizemos que um ponto tem “medida”
no sentido de comprimento/área/volume. Escrever que “um ponto não pode ser medido” pode ser entendido corretamente como "um ponto tem medida " — isso está bem, desde que se entenda o que é medida. - Importante: "ter medida
" não é a mesma coisa que “não participar” da medição de um conjunto maior. Um conjunto de pontos pode ter medida positiva.
Passo 3
O que é “medida” (intuitivo e o que importa aqui):
- Medida de comprimento/área/volume é uma forma de atribuir um número a conjuntos (por exemplo, o comprimento de um segmento). A teoria formal é a medida de Lebesgue, mas aqui basta a ideia: pontos isolados têm comprimento
. Escrever isso em símbolo: "um ponto tem medida ". - Teorema útil (em linguagem simples): a união contável (ou seja, enumerável) de conjuntos de medida
tem medida . Em símbolos: se e cada então .
Passo 4
Por que a afirmação “infinita fila de sucessivos pontos” é problemática (sucessor e sequência):
- “Sucessivos” sugere que existe uma noção de “próximo”, um ponto que vem imediatamente depois do outro (como em inteiros, onde existe sucessor). Em
isso não existe: entre quaisquer dois pontos distintos existem infinitos pontos. Logo não há “pontos sucessivos” com vizinhança vazia entre eles. - Uma sequência (lista enumerada) de pontos é sempre numerável (contável). Qualquer sequência
representa um conjunto com cardinalidade no máximo . Conjuntos enumeráveis não conseguem “preencher” um intervalo real de modo a ter comprimento positivo — a união enumerável de pontos têm medida . Exemplo concreto: a sequência tem infinitos pontos, mas não preenche o intervalo ; sua união tem medida . - Conclusão: imaginar a reta como “fila de pontos sucessivos, todos se tocando” é falso porque não existe “sucessor” nem “toque” entre pontos da reta.
Passo 5
Por que união de infinitos pontos pode ou não ter medida positiva — diferença entre contável e não contável:
- Se o conjunto de pontos for contável (enumerável), como
(os racionais em ), sua medida é . Mesmo que os racionais sejam densos em , eles não somam comprimento. - Se o conjunto for não contável (contínuo), como o próprio segmento
, a medida pode ser positiva: . Assim a reta (ou segmento) é formada por não só “infinitos pontos” mas por infinitos no sentido mais forte: há uncountably many points (cardinalidade do contínuo). Em símbolos: (cardinalidade do contínuo), muito maior que . - Portanto, dizer apenas “infinita fila de pontos” é ambíguo e enganoso: é preciso distinguir “contável” vs “não contável”.
Passo 6
O verbo “se tocam” é enganoso quando aplicado a pontos:
- “Tocar” sugere contato físico entre objetos com extensão. Um ponto não tem extensão, então falar que dois pontos “se tocam” não faz sentido técnico. O que matemáticos dizem é que pontos podem ser “adjacentes” em alguns conjuntos discretos (por exemplo em conjuntos ordenados com sucessor), mas na reta euclidiana não há adjacência: todo ponto é limite de outros pontos em qualquer vizinhança. De forma mais técnica, pontos têm vizinhanças arbitrariamente pequenas; existe topologia: um ponto é isolado ou é ponto de acumulação. Na reta
os pontos não são isolados (se consideramos intervalos), então a linguagem de “toque” é inadequada.
Passo 7
Como os matemáticos realmente “veem” a reta (modelos e axiomas) — explicando sem jargões pesados:
- Existem várias formas equivalentes de formalizar a reta: como um objeto geométrico axiomático (axiomas de Euclides), ou como o conjunto dos números reais
com sua ordem e distância, ou como completude dos racionais via cortes de Dedekind ou conclusão por séries de Cauchy. Em todas essas descrições, a reta é um conjunto de pontos, mas não é construída por “colagem de pontos que se tocam” no sentido físico. - A propriedade chave é a completude: em
toda sequência de Cauchy converge dentro da reta; isso é o que torna a reta “contínua”. Não é a ideia de “toque” entre pontos, e sim propriedades ordenadas e topológicas que definem continuidade.
Passo 8
Exemplos simples para fixar a intuição (aprender para prova):
- Exemplo 1: a sequência
tem infinitos termos, é contável, seu conjunto tem medida e não forma um segmento. Em símbolos: tem medida . - Exemplo 2: o segmento
é união de pontos (cada ponto tem medida ), mas o conjunto inteiro tem medida . Isso mostra que “muitos pontos” (no sentido do contínuo) podem somar comprimento positivo. - Exemplo 3: os racionais
são densos em (entre quaisquer dois pontos há um racional), mas é enumerável, logo tem medida . Assim “todos os pontos racionais se tocam” é frase sem sentido: são muitos pontos, mas não “preenchem” comprimento.
Passo 9
Reescrever a frase original de forma correta, com sugestões didáticas:
- Evitar: “fila de sucessivos pontos” e “se tocando”. Essas expressões induzem à ideia errada de sucessor e de contato físico.
- Frase correta e clara: “Uma reta é um conjunto infinito de pontos; cada ponto tem medida
, mas a união de uma família não enumerável (não contável) de pontos, como o segmento , pode ter medida positiva. Matematicamente, a reta é modelada como o conjunto (ou por axiomas geométricos) — isto é, um continuum de pontos, não uma ‘fila’ de pontos com sucessores.’”
Passo 10
Resumo crítico dos erros e do que deve ser dito na prova (pontos curtos para decorar):
- Erro 1: “Um ponto não pode ser medido” — melhor dizer: um ponto tem medida
(isto está correto). - Erro 2: “infinita fila de sucessivos pontos” — incorreto: em
não existem pontos sucessivos; entre quaisquer dois pontos há infinitos outros. Sucessor faz sentido em , não em . - Erro 3: “todos se tocando” — linguagem física inadequada; pontos não têm extensão nem “toque”.
- Erro 4 (implicação falsa): supor que “infinitos pontos” (no sentido genérico) bastam para formar um conjunto de comprimento positivo. É preciso especificar que são muitíssimos no sentido não contável; a união contável de pontos tem medida
. - Correção prática para resposta de prova: explique a distinção entre conjunto contável e não contável, e entre "cada ponto tem medida
" e “o conjunto pode ter medida positiva”.
Resposta
A frase contém imprecisões sérias: é correto dizer que um ponto tem medida
, mas é errado afirmar que uma “fila de sucessivos pontos, todos se tocando” forma uma reta. Não existem pontos sucessivos em
, o verbo “se tocam” é inadequado para pontos, e é preciso distinguir conjuntos enumeráveis (medida
) de conjuntos não enumeráveis (o contínuo, que pode ter medida positiva). A forma correta é: a reta é um conjunto contínuo de pontos (modelo
), não uma fileira de pontos com sucessores.