Open-access La propiedad de completitud del sistema real: una introducción vía la convergencia de sucesiones

A propriedade de completude do sistema real: uma introdução via la convergência de sequências

Resumen

El sistema de los números reales es el dominio numérico en el cual se desarrollan conceptos y se validan propiedades del Análisis Matemático vinculadas a sucesiones y series numéricas, funciones continuas, funciones derivables y la noción de integrabilidad, entre otros. Estos desarrollos teóricos son posibles en ℝ y no en ℚ debido a una propiedad que distingue a estos dos cuerpos totalmente ordenados: la propiedad de completitud. En este trabajo, presentamos el diseño y los resultados de una propuesta de enseñanza para introducir la propiedad de completitud vía la convergencia de las sucesiones monótonas crecientes y acotadas superiormente. El diseño de la propuesta considera el doble carácter de herramienta y de objeto de una noción matemática (Douady, 1992) y el metadiscurso de las nociones FUG (Dorier, 1995). Utilizamos un enfoque metodológico interpretativo-cualitativo y como método el estudio de casos (Bisquerra, 2009). El análisis e interpretación de los datos nos permiten afirmar que tres de los cuatro estudiantes que participaron de la experiencia, lograron poner en funcionamiento el carácter de herramienta explícita y de objeto de la completitud.

Formación de docentes; Sistema de números reales; Propiedad de completitud; Carácter de herramienta y de objeto de nociones matemáticas; Metadiscurso de nociones FUG

Resumo

O sistema dos números reais é o domínio numérico no qual conceitos são desenvolvidos e propriedades da Análise Matemática ligadas a sequências e séries numéricas, funções contínuas, funções deriváveis e a noção de integrabilidade, entre outras, são validadas. Esses desenvolvimentos teóricos são possíveis em ℝ e não em ℚ devido a uma propriedade que distingue esses dois corpos totalmente ordenados: a propriedade de completude. Neste artigo, apresentamos o desenho e os resultados de uma proposta pedagógica para introduzir a propriedade de completude através da convergência de sequências monótonas crescentes e limitadas superiormente. O projeto da proposta considera o duplo caráter de ferramenta e objeto de uma noção matemática (Douady, 1992) e o metadiscurso das noções FUG (Dorier, 1995). Utilizamos uma abordagem metodológica interpretativa-qualitativa e um método de estudo de caso (Bisquerra, 2009). A análise e interpretação dos dados nos permitem afirmar que três dos quatro alunos que participaram da experiência conseguiram pôr em funcionamento o caráter de ferramenta explícita e de objeto da completude.

Formação de professores; Sistema dos números reais; Propriedade de completude; O caráter de ferramenta e objeto das noções matemáticas; Metadiscurso de noções de FUG

1 Introducción

El sistema de los números reales, ℝ, es el dominio numérico donde se desarrollan conceptos y se validan propiedades del Análisis Matemático, vinculadas a sucesiones y series numéricas, funciones continuas, funciones derivables y la noción de integrabilidad, entre otros conceptos. Estos desarrollos teóricos son posibles en ℝ y no en el sistema racional ℚ debido a una propiedad que distingue a estos dos cuerpos totalmente ordenados: la propiedad de completitud que ℝ posee, y ℚ no.

Nos ha interesado indagar en qué medida los estudiantes universitarios logran comprender por qué estos desarrollos teóricos son posibles en ℝ y no en ℚ. En particular, el curso de análisis de variable real del profesorado de matemática en Uruguay, denominado Análisis 1, la propiedad de completitud del sistema de los números reales es presentada a partir del enunciado que afirma que todo subconjunto de números reales, no vacío y acotado superiormente, tiene supremo real, enunciado conocido como la propiedad o el axioma del supremo. Hay trabajos de investigación, referenciados en la próxima sección, que muestran que la noción de supremo es comprendida sólo por una proporción muy pequeña de estudiantes. Deducimos, entonces, que la comprensión de la propiedad de completitud para el trabajo en el área del análisis matemático, se dificulta cuando es introducida vía la propiedad del supremo.

El objetivo de este escrito es dar cuenta de la exploración de un camino alternativo al de la propiedad del supremo para introducir la propiedad de completitud del sistema de los números reales. Construimos y experimentamos una secuencia de enseñanza y aprendizaje en la que hemos buscado poner de relieve la necesidad de esta propiedad, así como explotar el doble carácter de herramienta (hacer uso de la noción para resolver ciertos problemas) y objeto de esta noción matemática, tomando como referencia la dialéctica herramienta – objeto introducida por Douady (1992).

2 Estado del arte

Para abordar como un problema la enseñanza y el aprendizaje de la completitud de ℝ,consideramos necesario tomar distancia de dicha noción y entender cómo, por qué y en qué contexto se hizo necesaria su aparición en la matemática. Tomamos como referencia el trabajo de Bergé y Sessa (2003), quienes señalan tres estados epistemológicos de la propiedad de completitud en distintos momentos de la historia de la matemática: como un atributo implícito, como un atributo explícito, aunque naturalmente aceptado y como una propiedad explícita y demostrable. Este recorrido histórico nos acerca a entender qué tipo de problemas resuelve la completitud, la importancia de su rol en la construcción de conocimientos matemáticos del Análisis y la insuficiencia del conjunto de los números racionales para resolver los problemas planteados.

La convergencia de sucesiones monótonas y acotadas y el teorema del valor intermedio (también conocido como Teorema de Bolzano) forman parte del problema vinculado a la necesidad de formalizar la propiedad a inicios del siglo XIX. Los problemas en los que la completitud se hace necesaria, están relacionados con la construcción de pruebas formales (todas ellas ligadas a asegurar la existencia de un elemento del sistema numérico real) que, en muchos casos, resultan evidentes desde una perspectiva gráfica. La propiedad de completitud es necesaria cuando se quiere fundamentar en Análisis, cuando se busca resolver problemas relacionados con una prueba de existencia, ya sea de un límite, de la raíz de una función, del elemento intersección de intervalos encajados. En muchos casos, estas situaciones son evidentes desde una perspectiva gráfica.

Respecto a la enseñanza y el aprendizaje de la completitud, pudimos constatar que diversas investigaciones abordan cuestiones vinculadas, directa o indirectamente, a esta temática. Los trabajos de Bergé (2016, 2008), Acevedo (2011) y Bills y Tall (1998) nos permiten conocer ciertas ideas que construyen los estudiantes cuando la presentación de la completitud, en cursos iniciales de Análisis, se realiza a partir del enunciado del Axioma del supremo; el tipo de trabajo en el aula descripto en esos tres trabajos es similar a los cursos de Análisis 1 del profesorado uruguayo.

De estos trabajos se desprende que este tratamiento tiene como consecuencia una visión naturalizada de la propiedad que no parece contribuir a que los estudiantes logren poner en funcionamiento el carácter de herramienta explícita de la completitud. Las actividades y el tipo de preguntas propuestas en las investigaciones nos permiten conjeturar que los cursos típicos de Análisis privilegian un tratamiento del supremo desvinculado de los contextos particulares de uso y centrado en analizar las propiedades y características de esta noción, sin hacer explícita la necesidad de su existencia. De estos trabajos, interpretamos que la presentación de la completitud vía la noción del supremo no favorece que los estudiantes tengan disponible la propiedad para ser usada en la demostración de otras propiedades o en la definición de otros objetos matemáticos. El acceso a la completitud queda bloqueado y en el mejor de los casos, el alumno retiene la definición formal de supremo y la demostración de propiedades generales de supremos de subconjuntos de números reales.

Hay investigaciones que dan cuenta de ciertas dificultades que pueden manifestar los estudiantes durante el proceso de conceptualización de la noción de supremo. Algunas de estas dificultades parecen estar relacionadas tanto a la comprensión de las estructuras, objetos y relaciones lógicas que entran en juego en la construcción de su definición formal (Chellougui, 2016); como también a la realización de ejercicios de determinar y justificar la existencia de cotas superiores, inferiores, supremo e ínfimos de conjuntos dados (Sari; Machromah; Purnomo, 2018; Hernández; Trigueros, 2012). Las actividades y el tipo de preguntas propuestas en estas investigaciones nos llevan a inferir que en los cursos típicos de Análisis se privilegia un tratamiento objetual de la noción de supremo, sin hacer explícita la necesidad de su existencia.

Como producto de la reflexión sobre lo expuesto en los párrafos anteriores, decidimos elaborar una propuesta de enseñanza para introducir la propiedad de completitud, que muestre la necesidad de esta propiedad y revele que el trabajo con ciertas nociones matemáticas no es posible en el conjunto de los números racionales. Tomamos de Bergé (2016) la sugerencia de introducir la propiedad de completitud mediante situaciones que van más allá de lo estrictamente numérico e incluyan sucesiones o funciones, recreando condiciones similares o equivalentes a las que motivaron la emergencia de la definición de dicha propiedad. Nuestra propuesta considera introducir la completitud vía la convergencia de sucesiones monótonas y acotadas. En la siguiente sección, explicitamos las nociones teóricas que sustentan nuestro trabajo.

3 Marco conceptual

3.1 Las nociones matemáticas, su enseñanza y su aprendizaje

Tomamos como referencia los trabajos de Douady (1992, 1995), quien afirma que, para un concepto matemático, conviene distinguir su carácter de herramienta (H) y su carácter de objeto (O). Vemos el carácter de herramienta de la completitud desplegarse cuando la misma es utilizada para resolver una situación contextualizada y particular; por ejemplo, para probar la convergencia de sucesiones, la existencia de raíces o de extremos de funciones bajo determinadas condiciones. Cuando el interés en la propiedad de completitud se presenta desligado de los contextos particulares de uso y se busca caracterizar dicha propiedad de forma general o analizar la interrelación con otras nociones matemáticas, se pone de manifiesto su carácter de objeto. Tomamos de Douady (1995) las siguientes caracterizaciones: un alumno ha aprendido cierta noción matemática si es capaz de hacerla funcionar en su doble carácter de herramienta y de objeto. Para el docente, enseñar un concepto matemático implica crear las condiciones que permitirán la apropiación del mismo por parte del alumno, lo que requiere cierta organización en su enseñanza.

Hay nociones matemáticas cuyo aprendizaje representa, en buena medida, un salto con respecto a los conocimientos previos de los estudiantes: su presentación en el aula involucra la definición de nuevos objetos matemáticos o la introducción de un nuevo formalismo, o de nueva simbología, o responden a la necesidad de unificar o generalizar conocimientos. Las nociones con estas características han sido denominadas nociones o conceptos FUG (Robert, 1998; Dorier, 1995) justamente por su carácter formalizador, unificador y generalizador. Pensamos que la propiedad de completitud puede ser interpretada como una noción FUG por las razones que detallamos a continuación.

En los cursos universitarios donde la completitud se introduce con el enunciado de la propiedad del supremo, se hace necesario definir nuevos objetos matemáticos, nuevas palabras e introducir una nueva simbología, característica formalizadora de la noción en el sentido de Robert (1998). La completitud permite unificar nociones ya conocidas de manera compartimentada por los estudiantes, como ser el comportamiento de ciertas sucesiones numéricas y las propiedades de ciertas funciones continuas en intervalos cerrados. El trabajo matemático, en un cuerpo ordenado y completo, posibilita asegurar y generalizar la convergencia de las sucesiones monótonas y acotadas, y ciertas características de todas las funciones continuas en intervalos cerrados. Considerar la completitud como una noción FUG nos posibilita tomar en cuenta las recomendaciones didácticas de autores que han trabajado en la enseñanza y el aprendizaje de este tipo de nociones. Estos investigadores consideran que las nociones FUG difícilmente pueden ser introducidas en el aula a partir de una situación fundamental en el sentido de Brousseau (1986), afirman que son nociones que requieren de una enseñanza a largo plazo y de la elaboración de un discurso particular por parte del docente (metadiscurso) para generar la reflexión en el aula sobre las nociones puestas en juego (Dorier, 1995).

4 Metodología

Hemos diseñado una secuencia de enseñanza y aprendizaje de ocho actividades para ser trabajada en un curso de Análisis de variable real, de la que daremos cuenta en la sección 5. En este escrito, nos centramos en las dos primeras actividades de dicha secuencia. Utilizamos una metodología cualitativa dentro del paradigma interpretativo-cualitativo y el método utilizado es el estudio de casos (Bisquerra, 2009). Este paradigma se caracteriza por tener como objetivo de investigación la acción humana; la realidad educativa es considerada una construcción social que resulta de las interpretaciones y significados que le otorgan los participantes del estudio (dimensión ontológica), la naturaleza de la relación entre el investigador y el contexto de investigación (dimensión epistemológica) es desde adentro: tiene un carácter fundamentalmente subjetivo, puesto que se busca interpretar las acciones de los sujetos investigados. Para este paradigma, la forma de conocer la realidad (dimensión metodológica) implica que el investigador esté inmerso en el contexto de investigación para lograr comprender y describir la realidad educativa realizando un análisis profundo de las percepciones e interpretaciones de los sujetos intervinientes en la investigación (Santamaría, 2013).

En este trabajo, se trata de poner a estudiantes, junto con un docente investigador, en interacción con dos actividades que permiten potencialmente problematizar y mostrar la necesidad de enunciar la propiedad de completitud en el aula. El ámbito natural de las actividades propuestas es el de un curso de introducción al Análisis de variable real que, en el programa uruguayo de formación de profesores, corresponde al 2º año de formación. La experimentación fue efectuada fuera del curso, en una modalidad de laboratorio, dado que el año escolar estaba terminado. En el contexto natural de un curso de Análisis I, se esperaría trabajar en clase con sucesiones numéricas racionales antes de proponer la segunda actividad. La experimentación en laboratorio fue realizada con cuatro estudiantes que ya contaban con ese trabajo previo sobre sucesiones numéricas, necesario para abordar la segunda actividad.

4.1 Recolección de los datos

Para recabar la información, utilizamos tres tipos de técnicas cualitativas: instrumentos, estrategias y medios audiovisuales (Bisquerra, 2009, p. 151).

Dentro de los instrumentos (desarrollados en detalle en la sección 5) se encuentra el diseño de dos actividades de enseñanza en torno a la propiedad de completitud. Dichas actividades permitieron explorar formas de poner en funcionamiento la propiedad de completitud en su doble carácter de herramienta y de objeto (en el sentido mencionado de Douady, 1992) y tomar en cuenta las sugerencias que plantean varios autores acerca de la enseñanza de las nociones FUG (Robert, 1998; Dorier, 1995; Bridoux, 2012; Chorlay, 2019).

El otro instrumento consiste en la concepción de un conjunto de indicadores que hemos denominado niveles de funcionamiento y niveles de conocimiento de la completitud de ℝ. Estos indicadores sustentaron tanto el análisis didáctico de las actividades de enseñanza como la interpretación y la descripción de las conceptualizaciones de los estudiantes en interacción con dichas actividades. En cuanto a las estrategias y los medios audiovisuales, se utilizó la observación participante: el primer autor de este escrito fue el responsable de implementar la propuesta de enseñanza. Las actividades fueron propuestas en modalidad taller, en un encuentro de 180 minutos con un descanso de 20 minutos entre las actividades. El taller se realizó en el mes de noviembre de 2021. Todas las producciones de los estudiantes fueron registradas en papel y entregadas al docente-investigador. La sesión fue grabada en audio y video.

5 Diseño de los instrumentos de investigación

En esta sección presentamos el diseño de los dos instrumentos que utilizamos en esta investigación: la creación de un conjunto de indicadores para analizar e interpretar los datos recabados y la elaboración de una propuesta de enseñanza con su análisis didáctico. Al conjunto de indicadores lo denominamos niveles de funcionamiento y de conocimiento de la completitud de ℝ.

5.1 Los niveles de funcionamiento- conocimiento de la completitud de ℝ

Para este diseño, tomamos las nociones de herramienta implícita, herramienta explícita y objeto, así como, también el carácter diferenciador de la completitud como noción FUG (Chorlay, 2019). Por otro lado, readaptamos la caracterización de herramienta explícita de prueba y para definir objetos matemáticos de Jovignot (2018). Resumimos los niveles de funcionamiento en el Cuadro 1.

Cuadro 1
Niveles de funcionamiento de la completitud de ℝ

Tomando como referencia el trabajo de Douady (1992), entendemos que un estudiante sabe qué es la propiedad de completitud en la medida que es capaz de poner en funcionamiento su carácter de herramienta explícita y su carácter de objeto; identificamos, entonces, distintos niveles de conocimiento de la completitud utilizando los niveles de funcionamiento mencionados en el Cuadro 1. Resumimos los niveles de conocimiento en el Cuadro 2, presentado a continuación, en el cual cada trama representa un nivel de conocimiento diferente.

Cuadro 2
Niveles de conocimiento de la completitud de ℝ

A modo de ejemplo, un estudiante muestra un conocimiento implícito (CI) de la completitud si la propiedad funciona como herramienta implícita (HI), pudiendo o no funcionar como objeto inicial (OI). Un estudiante tiene un conocimiento explícito movilizable (EM) de la completitud si la utiliza como herramienta explícita diferenciadora (HED), para definir objetos (HEDO) y para hacer pruebas (HEP) pudiendo funcionar como objeto inicial (OI) o como objeto movilizable.

Los niveles elaborados, incluyen categorías y subcategorías para ser utilizados en los análisis de la secuencia completa. Recordemos que, en este trabajo, nos centramos en analizar las dos primeras actividades de dicha secuencia (no todas las categorías y subcategorías se usan en este escrito).

La secuencia de enseñanza apunta a formular en la clase una primera hipótesis de la completitud de ℝ considerando el enunciado toda sucesión real monótona creciente y acotada superiormente es convergente en ℝ y la demostración, por parte de los estudiantes, de la equivalencia de cuatro posibles enunciados de la propiedad. La organización de las actividades de la secuencia responde a la intención de ir construyendo y demostrando (con institucionalizaciones intermedias, Bridoux (2012)) la equivalencia de los siguientes cuatro enunciados matemáticos de la propiedad de completitud de ℝ:

E1: toda sucesión real monótona creciente y acotada superiormente es convergente en ℝ.

E2: toda sucesión real monótona y acotada es convergente en ℝ.

E3: todo par de sucesiones reales monótonas adyacentes converge a un mismo límite en ℝ .

E4: todo subconjunto de números reales no vacío y acotado superiormente tiene supremo real.

Compartimos, en anexos 1 y 2, el esquema que elaboramos para ilustrar la secuencia completa, buscando facilitar la comprensión de su estructura.

5.2 Las actividades y su análisis didáctico

En esta sección, organizamos el análisis didáctico de las dos primeras actividades de enseñanza de la secuencia considerando los siguientes puntos: tiempo previsto, consigna, objetivos, desarrollos posibles e institucionalización esperada. Este análisis toma en consideración los niveles de funcionamiento y de conocimiento presentados en la sección precedente.

5.2.1 Actividad 1

Tiempo previsto: 90 minutos (Cuadro 3).

Cuadro 3
Consigna actividad 1

Objetivos de la actividad

Partimos de la hipótesis que la completitud no está disponible para los estudiantes como propiedad que diferencia a ℚ de ℝ. Esta falta de disponibilidad de la completitud nos permitirá legitimar el hecho de restringir trabajo a ℚ hasta tener más elementos para iniciar el trabajo en ℝ, sin imponer la propiedad de completitud. Durante la puesta en común de la actividad, el docente puede presentar una caracterización axiomática para ℤ y para ℚ, haciendo uso de las propiedades de existencia del opuesto aditivo enℤ y del elemento inverso multiplicativo en ℚ. Esta forma de caracterizar a ℤ a partir de ℕ y caracterizar a ℚ a partir de ℤ usando las propiedades que diferencian a cada estructura, sienta las bases para generar una discusión en clase que permita analizar qué propiedad verificay no verificay cómo usar dicha propiedad para caracterizar ℝ y, en consecuencia, el conjunto de los números irracionales (∥).

Desarrollo posible

Se espera que los estudiantes realicen sin dificultades la actividad.

Para analizar el estado inicial sobre la completitud que tienen los estudiantes el docente puede realizar la siguiente intervención (ficticia):

Podemos constatar queycomo estructuras algebraicas y de orden son cuerpos totalmente ordenados. Entonces, ¿qué diferencia ade?

La intención de esta pregunta es provocar un cuestionamiento sobre la existencia de una propiedad que distingue a ℝ de ℚ y que posibilitará caracterizar a los nuevos elementos numéricos que son números reales, pero no números racionales. Algunas respuestas que pueden brindar los estudiantes a esta cuestión son presentadas a continuación; las ponemos en relación con los niveles de funcionamiento de la completitud (respuesta ficticia):

E: Los números reales son la unión de los números irracionales y de los números racionales - Herramienta implícita.

E: Existen números reales que no son periódicos - Herramienta implícita

E: √2,π no son números racionales pero son números reales - Herramienta implícita.

E:verifica el axioma del supremo yno. Porque existen subconjuntos de números racionales no vacíos y acotados superiormente que no tienen supremo racional - Herramienta explícita diferenciadora, Objeto inicial.

Si un estudiante se encuentra recursando la asignatura, puede llegar a responder (respuesta ficticia):

E: Todos los subconjuntos de números reales no vacíos y acotados superiormente tienen supremo real y esto no lo cumple el conjunto de los números racionales. Además, todas las sucesiones que son de Cauchy tienen límite enpero no en ℚ - Herramienta explícita diferenciadora, Objeto movilizable.

El análisis de las respuestas (no ficticias) de los estudiantes nos proporcionará información sobre el estado inicial de conocimientos que ellos tienen sobre la completitud, a la luz de los niveles de conocimiento que diseñamos.

Institucionalización esperada

Con esta actividad, se busca sentar las bases para presentar una caracterización de ℤ y de ℚ tomando como punto de partida la definición axiomática de ℕ (axiomas de Peano).

Se espera caracterizar ℤ considerando la propiedad que distingue a (ℤ,+) de (ℕ,+) la existencia de elemento simétrico (existencia de opuesto) en (ℤ,+) ). El docente podría relacionar esta propiedad que diferencia a estas estructuras algebraicas con la existencia de elementos numéricos que son números enteros, pero no son números naturales, y presentar la siguiente caracterización para ℤ: Z=N{k/k+a=0,aN}. El docente puede observar que k+a=0,aN, y notar a K de la siguiente manera: k=a

Esta caracterización que elegimos responde a una decisión didáctica que, si bien no respeta el rigor matemático, permite que los estudiantes relacionen los nuevos elementos con la propiedad que diferencia a las estructuras algebraicas ℤ y ℕ. Esta misma decisión tomamos para caracterizar a ℚ y ℝ , haciendo énfasis en usar la propiedad que diferencia a cada estructura.

Para caracterizar a ℚ, el docente puede hacer énfasis en la propiedad que diferencia a (ℚ,X) de (ℤ,X) (existencia de elemento inverso en (ℚ,X) ) y relacionar la validez de esta propiedad con la existencia de elementos numéricos que son números racionales, pero no son números enteros. Una posible caracterización de ℚ que puede presentar el docente, considerando esta diferencia, es definiendo el conjunto de todos los inversos multiplicativos de Z{0}):K={k/k×a=1,aZ{0}}. Una vez definido este conjunto, se puede caracterizar ℚ de la siguiente forma: Q={zk;zZ,kK}.

Luego de caracterizar ℤ y ℚ el docente podría observar que la emergencia de una nueva propiedad está relacionada con la definición de nuevos números y se podría conjeturar que si ℝ cumple una propiedad que no es verificada por ℚ, esto traería aparejado la definición de nuevos números. Eso se pega bien con los conocimientos usuales sobre los números, los estudiantes no ignoran la existencia de √2,π etc. El docente puede plantear la siguiente interrogante: ¿cómo podemos caracterizar a los nuevos elementos usando una nueva propiedad?

Como cierre de la actividad, el docente puede enfatizar las caracterizaciones presentadas y realizar un comentario como el siguiente (discurso docente ficticio):

En principio, (ℚ,+,X,≤) y (ℝ,+,X,≤) no presentan diferencias estructurales.y no está claro el rol del axioma del supremo en el desarrollo de conceptos del análisis. Entonces comenzaremos trabajando en (ℚ,+,X,≤) hasta que podamos dar cuenta que es lo que diferencia a ℚ y ℝ de manera explícita y entender qué aporta una nueva propiedad que se agregaría a las que definen a, al desarrollo de los contenidos del Análisis matemático.

En situación de curso, se espera que luego de concluida la Actividad 1 el docente aborde en clase un trabajo con sucesiones racionales monótonas convergentes y divergentes en ℚ antes de proponer la Actividad 2.

5.2.2 Actividad 2

Esta actividad se les entrega a los estudiantes en dos etapas: primero la parte (a) y luego de la puesta en común de esta parte, el resto de la consigna.

Tiempo previsto: 90 minutos (Cuadro 4).

Cuadro 4
Consigna actividad 2

Objetivos de la actividad

Esta actividad está pensada para analizar que existen sucesiones racionales monótonas crecientes y acotadas superiormente que no son convergentes en ℚ y, a partir de esto, enunciar la propiedad de completitud de ℝ vía la convergencia de las sucesiones reales monótonas crecientes y acotadas superiormente. En concordancia con las caracterizaciones presentadas en la actividad 1, buscamos presentar una caracterización de ℝ usando este enunciado. Compartimos una posible resolución de esta actividad en anexos.

Desarrollo posible

En la parte (a) de la actividad se espera que los estudiantes conjeturen que la sucesión representada es monótona creciente, acotada superiormente y que afirmen que no se puede asegurar esto a partir del gráfico. Necesitan recurrir a la expresión algebraica de la sucesión para probar su conjetura, el marco gráfico resulta limitado para este tipo de estudios. Algunos pueden considerar que la sucesión es convergente a algún valor específico, por ejemplo 32, esto se discutirá durante la puesta en común de la actividad. Durante la resolución de la parte (c) algunos estudiantes pueden sentirse desorientados al percatarse que la prueba de la monotonía queda supeditada a la prueba previa de que 2an2<0, una posible intervención del docente es sugerir la prueba de esta última desigualdad para poder asegurar la monotonía creciente. Algunos estudiantes podrían presentar dificultades para demostrar esta última desigualdad, en ese caso, el docente tiene la opción de sugerir que utilicen la inducción completa como método de demostración y recordar que se está trabajando en ℚ. Si en la resolución de la parte (d) os estudiantes afirman que l2=2 no tiene solución racional porque l=±2 y que estos números son irracionales, el docente puede señalar que en el contexto de trabajo se consideran solo las propiedades que son válidas sobre ℚ. Esto hace necesario probar que no existen números racionales cuyo cuadrado sea igual a 2.

Como consecuencia del trabajo con esta actividad, se espera institucionalizar las ideas siguientes:

Existen sucesiones racionales monótonas crecientes y acotadas superiormente que no son convergentes en ℚ.

Lo deseable es trabajar en un sistema numérico en el que TODAS las sucesiones monótonas crecientes y acotadas superiormente definidas sobre ese sistema numérico sean convergentes.

Sobre esta base, es posible presentar el enunciado de la propiedad de completitud vía la convergencia de sucesiones monótonas y acotadas como respuesta a esta necesidad. Previo al enunciado de la propiedad de completitud, el docente recuerda la definición de sucesión real: n) es una sucesión real si y sólo si α:ℕp → ℝ, siendo Np={nN,np} con p ∈ ℕ y enuncia que el conjunto de los números reales es el cuerpo totalmente ordenado que verifica la propiedad de completitud:

Toda sucesión real monótona creciente y acotada superiormente es convergente en ℝ.

El docente, entonces, invita a los estudiantes a volver sobre la actividad 1, en la cual quedó pendiente caracterizar a ℝ y al conjunto de los números irracionales a partir de ℚ y de esta nueva propiedad. Posible intervención del docente (intervención ficticia):

Ahora que tenemos una propiedad que diferencia ade, ¿cómo la usarían para caracterizar a?

Algunas respuestas que pueden brindar los estudiantes a esta cuestión son las siguientes, y las ponemos en relación con los niveles de funcionamiento de la completitud (respuestas ficticias):

E:es la unión dey las sucesiones racionales que no son convergentes en ℚ.

E:es la unión dey los límites de las sucesiones racionales que no son convergentes en ℚ.

E:es la unión dey las sucesiones racionales monótonas crecientes y acotadas superiormente que no son convergentes en ℚ - Herramienta explícita diferenciadora, Herramienta explícita para definir objetos y Objeto inicial o movilizable.

E:R=QIsiendoel conjunto de todos los límites de las sucesiones racionales que no son convergentes en ℚ - Herramienta explícita diferenciadora, Herramienta explícita para definir objetos y Objeto inicial o movilizable.

Otra respuesta (ficticia) posible, pero que difícilmente surja es:

E:es el conjunto de todos los límites de las sucesiones racionales monótonas crecientes y acotadas superiormente - Objeto inicial o movilizable.

El estatus de objeto inicial o movilizable en las respuestas anteriores depende de si el estudiante reconoce la propiedad del supremo como un posible enunciado de la propiedad de completitud.

Institucionalización esperada

Como fruto de la discusión colectiva, se espera arribar a las siguientes caracterizaciones:

Caracterización de:

I = { k , k = lim a n , ( a n ) racional monótona creciente, acotada superiormente y no convergente en Q }

Caracterización de: ℚ ∪ ∥

R = { k , k = lim a n , ( a n ) racional monótona creciente y acotada superiormente en Q }

En la siguiente sección, exponemos el análisis e interpretación de los resultados que obtuvimos en la experimentación a la luz de los niveles de funcionamiento y de conocimiento de la completitud que diseñamos.

6 Análisis e interpretación de los resultados

En esta sección, presentamos el análisis de las producciones e intervenciones de los estudiantes y su interpretación a la luz de los niveles de funcionamiento y de conocimiento de la completitud introducidos en la sección 5. Forma parte de este análisis la identificación de metadiscursos (Dorier, 1995) elaborados por el docente durante el desarrollo de las actividades.

Los datos fueron analizados considerando la lectura de todas las producciones de los estudiantes y la transcripción de los registros audiovisuales. Los nombres de los estudiantes son ficticios.

6.1 Análisis e interpretación de los resultados obtenidos en la actividad 1

Recordemos que uno de los objetivos de esta actividad es analizar el estado inicial de los estudiantes con respecto a su conocimiento de la propiedad de completitud, considerando los niveles de conocimiento y funcionamiento de la completitud de ℝ. Todos los estudiantes realizan exitosamente la actividad. La discusión de sus respuestas y la puesta en común de la misma da lugar a la institucionalización esperada.

A continuación, transcribimos parte del diálogo que se desarrolló durante la puesta en común de la actividad y que muestra el discurso utilizado por el docente (metadiscurso, Dorier (1995)) y las respuestas aportadas por los estudiantes como parte de su producción verbal. Esto nos permitió analizar qué idea de la completitud tienen los estudiantes al inicio del taller. Los estudiantes trabajaron en duplas:

Profesora (P): Podemos constatar que ℚ y ℝ como estructuras algebraicas y de orden, son cuerpos totalmente ordenados. Entonces, ¿qué diferencia a ℚ de ℝ?¿Qué diferencia a ℚ y ℝcomo estructuras algebraicas?

Andrea: Nada.

Mónica: Yo me pregunto lo mismo.

Profesora: Como estructuras algebraicas ℚ y ℝ son ambos cuerpos totalmente ordenados. ¿Cómo me doy cuenta que ℚ y ℝ no son lo mismo?

Víctor: Por Pitágoras.

Profesora: ¿Por qué por Pitágoras?

Víctor: Porque en un triángulo rectángulo de catetos 1, la hipotenusa mide √2.

Profesora: Y eso, ¿cómo lo usás para argumentar que ℚ y ℝ son diferentes?

Andrea y Elena: Hay otros números que no son racionales y están en, los números irracionales.

Profesora: ¿cómo podemos caracterizar a esos números?

Andrea: ℝ - ℚ.

Profesora: No tenemos caracterizado a, hemos caracterizado a ℕ,ℤ y ℚ.

Andrea: Los irracionales son aquellos números que no podemos escribir como fracción. [Andrea insiste en que se trata de ℝ - ℚ]

Mónica y Víctor: ¿el axioma del supremo?

Profesora: ¿Cuál es el enunciado del axioma del supremo?

Mónica y Víctor:… ¿todo subconjunto no vacío y acotado superiormente tiene supremo? O algo así…

Profesora: Bien, ¿cuál es la utilidad de esta propiedad? ¿Podemos usarla para caracterizar?

(Diálogo entre la profesora y los estudiantes, 2021).

Los estudiantes no logran responder que utilidad tiene la propiedad del supremo. Al cierre de esta actividad no están dadas las condiciones para que los estudiantes logren vincular una propiedad que diferencia a ℚ y ℝ y usarla para definir al conjunto de los números irracionales. Teniendo en cuenta los niveles de funcionamiento presentados en el Cuadro 1, las respuestas de Andrea y Elena al inicio de la secuencia dan evidencias de un funcionamiento de la completitud como herramienta implícita, puesto que reconocen la existencia de los números irracionales, pero no establecen el vínculo de éstos con la propiedad de completitud.

Las respuestas de Mónica y Víctor dan evidencia de un funcionamiento como herramienta explícita diferenciadora y como objeto inicial, ya que conocen un enunciado de la completitud vía la noción de supremo y la usan como argumento para diferenciar a ℚ de ℝ. En sus respuestas no citan el término completitud, sino que lo denominan axioma del supremo. Consideramos que Andrea y Elena presentan un conocimiento implícito de la completitud porque la diferencia que identifican entre ℚ y ℝ es la existencia de los números irracionales, sin caracterizarlos de manera formal. Mónica y Víctor tienen un conocimiento explícito inicial de la propiedad, puesto que identifican la existencia de la propiedad de supremo para diferenciar a ℝ de ℚ.

A continuación, presentamos el resumen de los funcionamientos de la completitud evidenciados en las producciones de los estudiantes durante el desarrollo de esta actividad (Cuadro 5).

Cuadro 5
Niveles de funcionamiento y conocimiento de los estudiantes en la Actividad 1

Las respuestas que brindaron los estudiantes durante el diálogo que se estableció en la puesta en común coinciden, esencialmente, con las respuestas esperadas en el análisis didáctico de la actividad. Cabe mencionar que en nuestro análisis didáctico no consideramos la propiedad de Pitágoras, mencionada por Víctor, como diferenciadora de ℚ y ℝ.

6.2 Análisis e interpretación de los resultados obtenidos en la actividad 2

Nuevamente, recordemos que uno de los objetivos de esta actividad es enunciar la propiedad de completitud de ℝ mediante el enunciado: todas las sucesiones reales monótonas crecientes y acotadas superiormente son convergentes en ℝ. Los estudiantes intentan probar la monotonía de la sucesión usando, únicamente, propiedades de la estructura de cuerpo totalmente ordenado de los números racionales. Mónica presenta una prueba de la acotación superior de la sucesión y recurre al uso de números irracionales en la prueba de la monotonía (Figura 1). Víctor también intenta probar la monotonía y acotación de la sucesión, pero no logra elaborar una prueba usando solo las propiedades de cuerpo y orden en ℚ (Figura 2). Elena también intenta probar la acotación y la monotonía de la sucesión pero no logra terminar ninguna de las dos pruebas (Figura 3 y 4).

Figura 1
Resolución de Mónica

Figura 2
Resolución de Víctor

Figura 3
Resolución de Elena 2(b)

Figura 4
Resolución de Elena 2(c)

Andrea trabaja únicamente sobre la prueba de acotación superior de la sucesión y presenta dos versiones. No logra elaborar una prueba con las condiciones de la consigna (Figura 5 y 6).

Figura 5
Resolución de Andrea 2(b)

Figura 6
Otra resolución de Andrea2(b)

En la puesta en común se prueba, con la ayuda del docente, que la sucesión es monótona creciente. También se demuestra, con la participación activa de los estudiantes, que la sucesión racional está acotada superiormente en ℚ y que tiene límite racional, haciendo uso exclusivo de las propiedades que verifica ℚ como cuerpo totalmente ordenado. Como parte de la institucionalización esperada y en concordancia con los objetivos de esta actividad el docente comenta:

La sucesión racional de esta actividad es monótona creciente y acotada superiormente en. Sin embargo, en contra de nuestra intuición, no tiene límite racional. Lo deseable es trabajar en un sistema numérico donde podamos asegurar la convergencia de TODAS las sucesiones monótonas crecientes y acotadas superiormente (Comentario del docente, 2021).

Este comentario del docente busca dar lugar a enunciar la propiedad de completitud vía la convergencia de las sucesiones reales monótonas crecientes y acotadas superiormente, como se explicitó en la institucionalización del análisis didáctico de esta actividad.

El docente retoma lo trabajado en la Actividad 1 y pregunta a los estudiantes (metadiscurso, Dorier (1995)):

Recordemos que al final de la actividad 1 caracterizamosa partir dey de la propiedad que diferencia a estas dos estructuras. También caracterizamosa partir deusando la propiedad que verificay no verifica(la existencia de inverso multiplicativo). Ahora que tenemos una propiedad que diferencia ade, ¿cómo la usarían para caracterizara partir de? (Cuestión propuesta por el docente, 2021).

Esta pregunta invita a los estudiantes a usar esta propiedad para continuar un cuestionamiento que quedó sin respuesta durante la puesta en común de la actividad 1. Busca que los estudiantes se pregunten cómo usar esta nueva propiedad para caracterizar al conjunto de los números reales y, en particular, para dar una caracterización del conjunto de los números irracionales. Los estudiantes se toman un tiempo para pensar en una posible forma de caracterizar y dudan. El docente recuerda la forma en que se caracterizó al conjunto de los números enteros a partir del conjunto de los números naturales para orientar a los estudiantes.

Elena y Víctor presentan la siguiente caracterización para ℝ:

R = Q { k , k = lim a n , ( a n ) sucesión racional monótona creciente, acotada superiormente y no convergente en Q }

(Respuesta de Elena y Víctor, 2021)

Mónica propone la siguiente caracterización:

R = { L , L = lim a n , ( a n ) sucesión racional monótona creciente, acotada superiormente }

(Respuesta de Mónica, 2021)

Elena y Víctor utilizan el enunciado de la propiedad de completitud para caracterizar a los números irracionales, sin embargo, Mónica hace uso de la propiedad para caracterizar a ℝ y Andrea no presenta una respuesta para esta pregunta que formuló el docente, esto da evidencia que la propiedad de completitud, todavía, no funciona para ella como herramienta explícita para definir objetos.

Esta forma de caracterizar a ℝ da evidencia que la completitud es usada por los estudiantes como herramienta explícita para definir objetos. En el caso de Mónica y Víctor, consideramos que dan muestras de un funcionamiento como objeto movilizable porque en la actividad 1 ya se constató que conocían un enunciado de la completitud (vía la noción del supremo). En el Cuadro 6 resumimos los niveles de funcionamiento identificados en la resolución de esta actividad.

Cuadro 6
Niveles de funcionamiento identificados en la resolución de la Actividad 2

Las dificultades esperadas en el análisis didáctico y las intervenciones docentes previstas contribuyeron a que los estudiantes, durante la puesta en común, participaran activamente en las demostraciones solicitadas en la actividad.

7 Conclusiones

Las actividades diseñadas muestran la intención de introducir la completitud, generando una situación que ponga en evidencia tanto la insuficiencia de ℚ como la necesidad de introducir la propiedad de completitud como diferenciadora de los cuerpos totalmente ordenados ℚ y ℝ . El móvil es asegurar la convergencia de las sucesiones monótonas crecientes y acotadas superiormente, condición necesaria para llevar a cabo el trabajo en Análisis matemático.

Referente a los niveles de funcionamiento, la categoría de objeto inicial no requiere, necesariamente, el funcionamiento como herramienta explícita. Sin embargo, el funcionamiento de la noción como objeto movilizable y flexible hace necesario que el estudiante utilice la noción como herramienta explícita en todos sus subniveles (HED, HEDO y HEP). Los estudiantes pueden transitar de un nivel de conocimiento inicial a un nivel de conocimiento movilizable o flexible, sin transitar de manera evidente por el nivel de conocimiento explícito inicial. La secuencia que diseñamos apunta a que el estudiante logre poner en funcionamiento la completitud como herramienta explícita en todos los subniveles y como objeto flexible.

Las respuestas de los estudiantes a la primera actividad nos permiten inferir que el conocimiento sobre la completitud que presentaron al inicio del taller se ubica en las categorías de conocimiento implícito y conocimiento explícito inicial.

El análisis de las producciones de los estudiantes, a propósito de la segunda actividad, muestra que el funcionamiento como herramienta de la completitud se modificó, pasando de un uso como herramienta implícita a herramienta explícita para definir objetos, en tres de los estudiantes. En cuanto al funcionamiento de la completitud como objeto, en el caso de Mónica y Víctor pasó de objeto inicial a objeto movilizable. Elena mostró un conocimiento implícito al inicio de la propuesta y éste cambió a un conocimiento explícito inicial al finalizar la actividad 2.

El diseño de actividades intencionadas, conjuntamente con la puesta en juego de un discurso particular del docente apoyado en las resoluciones y aportes de los estudiantes (metadiscurso), parece contribuir positivamente a que los estudiantes pongan en funcionamiento el carácter de herramienta explícita y de objeto de la noción en cuestión. En efecto, es lo que vemos a partir de la introducción de la propiedad de completitud mediante estas dos actividades que ponen en discusión las diferencias entre ℝ y ℚ como cuerpos totalmente ordenados y que generan la necesidad de enunciar esta propiedad para validar algunos resultados del análisis matemático (en este caso, la convergencia de sucesiones monótonas y acotadas).

Referencias

  • ACEVEDO, C. Una secuencia didáctica para el concepto del Supremo basado en la teoría APOE. 2011. 59 hojas. Tesis (Licenciatura en Matemáticas) – Facultad de Ciencias Físico Matemáticas, Benemérita Universidad Autónoma de Puebla, Puebla, 2011.
  • BERGÉ, A.; SESSA, C. Completitud y continuidad revisadas a través de 23 siglos. Aportes a una investigación didáctica. Revista Latinoamericana de Investigación en Matemática Educativa, Ciudad de México, v. 3, n. 6, p. 163-197, jul. 2003.
  • BERGÉ, A. The completeness property of the set of real numbers in the transition from calculus to analysis. Educational Studies in Mathematics, Dordrecht, v. 67, n. 3, p. 217-235, mar. 2008.
  • BERGÉ, A. Le rôle de la borne supérieure (ou supremum) dans l'apprentissage du système des nombres reels. In: INTERNATIONAL NETWORK FOR DIDACTIC RESEARCH IN UNIVERSITY MATHEMATICS, 1., 2016, Montpellier. Proceedings… Montpellier: INDRUM, 2016. p. 33-42. Disponible en: https://hal.science/INDRUM2016/public/indrum2016proceedings.pdf Acceso en: 14 jul. 2020.
    » https://hal.science/INDRUM2016/public/indrum2016proceedings.pdf
  • BILLS, L.; TALL, V. Operable Definitions in Advanced Mathematics: The Case of the Least Upper Bound. In: CONFERENCE OF THE INTERNATIONAL GROUP FOR THE PSYCHOLOGY OF MATHEMATICS EDUCATION, 22., 1998, Stellenbosch. Proceedings… Stellenbosch: PME, 1998. p. 104-111. Disponible en: https://www.researchgate.net/publication/240157061_Operable_Definitions_in_Advanced_Mathematics_The_Case_of_the_Least_Upper_Bound. Acceso en: 25 mar. 2020.
  • BISQUERRA, R. Metodología de la Investigación Educativa. 2. ed. Madrid: La Muralla, 2009.
  • BRIDOUX, S. Notions de topologie: élaboration de leviers didactiques à intégrer dans un enseignement pour favoriser les apprentissages des étudiants. In: COLLOQUE DE L'ESPACE MATHÉMATIQUE FRANCOPHONE, 5., 2012, Ginebra. Actes... Ginebra: EMF, 2012. p. 327-350. https://www.researchgate.net/publication/308611746_Notions_de_topologie_elaboration_de_leviers_didactiques_a_integrer_dans_un_enseignement_pour_favoriser_les_apprentissages_des_etudiants Acceso en: 16 set. 2020.
    » https://www.researchgate.net/publication/308611746_Notions_de_topologie_elaboration_de_leviers_didactiques_a_integrer_dans_un_enseignement_pour_favoriser_les_apprentissages_des_etudiants
  • BROUSSEAU, G. Theory of Didactical Situations in Mathematics: Didactique des Mathématiques, 1970–1990. Dordrecht, Springer. 2002.
  • CHELLOUGUI, F. Approfondissement du questionnement didactique autour du concept de « borne supérieure ». In: INTERNATIONAL NETWORK FOR DIDACTIC RESEARCH IN UNIVERSITY MATHEMATICS, 1., 2016, Montpellier. Proceedings… Montpellier: INDRUM, 2016. p. 266-275. Disponible en: https://hal.science/hal-01337931/document Acceso en: 23 jun. 2020.
    » https://hal.science/hal-01337931/document
  • CHORLAY, R. A Pathway to a Student-Worded Definition of Limits at the Secondary-Tertiary Transition. International Journal of Research in Undergraduate Mathematics Education, Lausanne, v. 5, n. 3, p. 267-314, jun. 2019.
  • DORIER, J. Meta level in the teaching of unifying and generalizing concepts in mathematics. Educational Studies in Mathematics, Dordrecht, v. 29, n. 2, p. 175-197, 1995.
  • DOUADY, R. Des apports de la didactique des mathématiques à l’enseignement. Repères Irem, París, [s.v.], n. 6, p. 132-158, en. 1992.
  • DOUADY, R. La ingeniería didáctica y la evolución de la relación con el conocimiento matemático. In: GÓMEZ, P (ed.). Ingeniería didáctica en Educación Matemática: Un esquema para la investigación y la innovación en la enseñanza y el aprendizaje de las matemáticas. Ciudad de México: Grupo Editorial Iberoamérica, 1995. p. 61-96.
  • HERNÁNDEZ, L.; TRIGUEROS, M. Acerca de la comprensión del concepto del supremo. Educación Matemática, Ciudad de México, v. 24, n. 3, p. 99-119, 2012.
  • JOVIGNOT, J. L'analyse épistémologique du concept d'idéal et ses apports à l'étude didactique. In: COLLOQUE DE L'ESPACE MATHÉMATIQUE FRANCOPHONE, 7., 2018, Genevilliers. Actes... Genevilliers: EMF, 2018, p. 61-73. Disponible en: https://books.openedition.org/pufc/11337?lang=es Acceso en: 18 may. 2021.
    » https://books.openedition.org/pufc/11337?lang=es
  • ROBERT. A. Outils d’analyse des contenus mathématiques à enseigner au lycée et à l’université. Recherches en didactique des matématiques, Grenoble, v. 18, n. 2, p. 139-190, 1998.
  • SANTAMARÍA, J. Paradigmas de investigación educativa: de las leyes subyacentes a la modernidad reflexiva. Entelequia, Cádiz, 2013, n. 16, p. 91-102, oct. 2013. Disponible en: https://revistaentelequia.wordpress.com/2013/10/12/1320/ Acceso en: 27 oct. 2022.
    » https://revistaentelequia.wordpress.com/2013/10/12/1320/
  • SARI, C. K.; Machromah, U.; Purnomo, M.E. R. (2018). Finding and proving supremum and infimum: students' misconceptions. Journal of Physics: Conference Series. Disponible en: https://iopscience.iop.org/article/10.1088/1742-6596/1180/1/012007 Acceso en: 15 feb. 2020.
    » https://iopscience.iop.org/article/10.1088/1742-6596/1180/1/012007

Fechas de Publicación

  • Publicación en esta colección
    09 Feb 2024
  • Fecha del número
    2024

Histórico

  • Recibido
    09 Ene 2023
  • Acepto
    06 Nov 2023
location_on
UNESP - Universidade Estadual Paulista, Pró-Reitoria de Pesquisa, Programa de Pós-Graduação em Educação Matemática Avenida 24-A, 1515, Caixa Postal 178, 13506-900 - Rio Claro - SP - Brazil
E-mail: bolema.contato@gmail.com
rss_feed Stay informed of issues for this journal through your RSS reader
Acessibilidade / Reportar erro