Cargando, por favor espere...

Tlaixaxiliztli
¿Por qué el conjunto vacío es un conjunto? (II de II)
En teoría, si inventamos un sistema formal del contenido de Don Quijote de La Mancha, lo matematizamos; por lo tanto, lo convertimos en un objeto matemático.


En general, los objetos matemáticos son ficciones o invenciones humanas que están sujetas o gobernadas por sistemas formales. En teoría, si inventamos un sistema formal del contenido de El Ingenioso Hidalgo Don Quijote de La Mancha, lo matematizamos; por lo tanto, lo convertimos en un objeto matemático. Esto explica, por ejemplo, la existencia de estudios que intentan matematizar la poesía.

El conjunto, como célula básica de casi todo el conocimiento matemático, es una ficción que solo es posible inventar dentro de un sistema formal que garantice la existencia de ellos; por ejemplo, el sistema axiomático de Zermelo Franckel. Aquí hay que aclarar que existen versiones en las que el conjunto vacío se crea mediante un axioma (generando un conflicto con el discurso matemático escolar de pluralidad).

Debo manifestar que este axioma no me satisface, prefiero aceptar como axioma la existencia del conjunto inductivo (ver mi libro: Una axiomatización de la Teoría de Conjuntos), que resulta más plausible y no genera ruptura cognitiva. Con este axioma, y usando el axioma de especificación, se define un conjunto sin elementos (por ejemplo, con la propiedad , para luego probar que este conjunto está contenido en cualquier otro y, finalmente, probar que este conjunto es único, dando nacimiento a un objeto matemático que llamamos conjunto vacío.

Desde el punto de vista del conocimiento matemático formal, está plenamente justificada la existencia del conjunto vacío, el cual no necesita de la interpretación conceptual de pluralidad. Sin embargo, desde el discurso matemático escolar se reconoce a la pluralidad como característica esencial de los conjuntos, causando una ruptura cognitiva en los jóvenes. Es importante mencionar que la transmisión del conocimiento matemático no necesariamente es isovalente con el discurso matemático escolar, por razones pedagógicas y de madurez matemática de los jóvenes. Esto es razonablemente comprensible, puesto que hasta George Cantor, considerado el padre de la Teoría de Conjuntos decía: “Entendemos por conjunto cualquier reunión de un todo M de determinados objetos bien distinguidos m de nuestra intuición o nuestro pensamiento”. Esta idea la vemos reflejada en la obra Elementos de Euclides (S. III. a.C.), pasando por Bernard Bolzano, Bernhard Riemann y de otros connotados matemáticos. Incluso ellos no concebían un conjunto sin elementos. La concepción formal del conjunto vacío es obra de los formalistas, para construir al cero como número natural, además de darle sentido a algunas construcciones matemáticas que no poseen elementos, por ejemplo, el conjunto solución de algunas ecuaciones.

Para el formalista (por lo menos para Hilbert) la pertenencia es también una relación entre dos conjuntos, sin definición precisa, en la que no interviene la intuición típica del discurso matemático escolar, todo debe reducirse a un modelo formal, donde interesan las propiedades de esta relación y no su interpretación intuitiva. Para Hilbert, un libro de geometría no debería contener algún gráfico, esa misma escuela formal siguió el grupo Bourbaki, es cuestión de ver sus libros, por ejemplo, Dieudonne, para observar que no existen gráficos o dibujos, a lo más un esquema que no forma parte del contenido, todo el fundamento solo se basa en el sistema formal adoptado. Por supuesto que el discurso matemático escolar hace fuertemente uso de la intuición y todo elemento (dibujos, gráficos, tecnología etc.) pedagógico para el buen entendimiento de las técnicas matemáticas.

Es oportuno mencionar que no compartimos esta visión hilbertiana; desde el trabajo matemático y de la creación matemática, estos pictogramas son esenciales para las interpretaciones conceptuales de los mismos, sin ellos es probable no se pudieran visualizar muchas conexiones o generar nuevos objetos matemáticos. Además, el formalismo no da cuenta de lo dinámico de los objetos matemáticos, su plasticidad, su adaptabilidad y su estratificación dentro de un continuo temporal, es por ello que hablamos de un Ficcionismo Formal de Tránsito.

Finalmente, desde el formalismo matemático, la respuesta a ¿por qué el conjunto vacío es un conjunto? depende del sistema formal adoptado: se decreta su existencia por medio de un axioma específico; la otra opción sería, por medio de aceptar otro axioma (por ejemplo, el axioma del conjunto inductivo) demostrar que existe como conjunto. Por supuesto que desde el punto de vista filosófico es cuestionable, desde la mera existencia de los axiomas para crear objetos matemáticos y así construir esta ciencia. Sin embargo, desde el discurso matemático escolar, no hay respuesta, o su posible respuesta es contradictoria. Debemos entender que son dos mundos distintos, el matemático por un lado y el pedagógico por otro, el problema está en la transposición didáctica del objeto conjunto vacío. No siempre lo que se enseña en la escuela es exactamente igual al conocimiento matemático.


Escrito por Dr. Esptiben Rojas Bernilla

Colaborador


Notas relacionadas

Descubren esqueleto de dinosaurio de hace 70 millones de años en Francia

El hallazgo sucedió en mayo de 2022 por el paleontólogo Damien Boschetto, quien observó en el borde de un acantilado derrumbado un hueso expuesto.

Detectan más de 7 mil casos anuales del cáncer más agresivo en México

Este tipo de cáncer de mama triple negativo representa entre el 10 y el 15 por ciento de los casos en el país.

Perrito.jpg

En febrero de 2001 se publicaron los resultados de casi una década de trabajo del prometedor programa de investigación genética: Proyecto Genoma Humano, el cual logró descifrar el 90 por ciento del genoma humano.

cora.jpg

¿Por qué las plantas generan frutos? Porque como todos los seres vivos, buscan perpetuarse en el mundo. El fruto es una adaptación exitosa de las plantas para lograr esta finalidad.

abejas.jpg

En México hay aproximadamente dos mil especies de abejas nativas. A diferencia de las melíferas, que viven en colonias (colmenas) con su reina y obreras, la mayoría de las nativas son solitarias.

Usa cubrebocas, Pirola llegará con fuerza a México

El científico Alejandro Macías alertó que en cuanto entre a México la variante JN.1, denominada Pirola, lo hará con tal fuerza que podrá haber saturación de hospitales y de camas de terapia intensiva.

zoom-lentillas.jpg

La intención es lograr un lente de material blando que logre un acercamiento, en un primer prototipo, de 32 por ciento con respecto a la visualización normal.

pica.jpg

Ramón Picarte siempre pensó que la matemática debería ser un aporte para sacar a las personas de la pobreza; con esa idea organizó e impulsó diferentes sociedades cooperativas de artesanos y trabajadores de Santiago.

phil.jpg

El tren estará atravesando el segundo pulmón forestal de América Latina: la selva maya. Fragmenta el hábitat y además viola los derechos de todas las comunidades indígenas que viven en la zona, entre otras graves consecuencias.

La psicología de Isaac Newton

La tenacidad en su trabajo le acompañó hasta una edad muy avanzada.

Entre la filosofía y la Matemática

Mientras el trabajo matemático tiene reglas, axiomas, y su libertad está en función de estar gobernado por sistemas formales; en el trabajo filosófico...

neu.jpg

¿Alguna vez te has preguntado cómo es que podemos caminar, correr, pensar, sentir o platicar con otros? De todo eso se encargan las neuronas, su función es importantísima, aquí te cuento porqué y cómo funcionan.

Ratones: animales maltratados que en realidad son héroes

La variedad de ratones transgénicos es muy amplia y, dependiendo de las necesidades de investigación que se requieran, será el tipo de ratón que se utilice.

Investigadores crean aparato inclusivo para que débiles visuales escuchen eclipse del 8 de abril

El eclipse solar total será el próximo 8 de abril.

Conagua.jpg

Estos datos se obtienen de las observaciones que realiza la Conagua en las estaciones climatológicas.