Cargando, por favor espere...

Tlaixaxiliztli
Sobre el Axioma de elección
El famoso Axioma de elección juega un poco con la intuición humana, ya que demuestra que todo conjunto puede ser bien ordenado, aunque no se muestra cuál es ese orden.


Cuando las limitaciones cognitivas y temporales propias de la especie humana no nos permiten verificar ciertas afirmaciones matemáticas, habitualmente recurrimos a nuestra intuición como una especie de proyección para llegar a lo inalcanzable, por lo tanto, recurrimos a la axiomatización. Cuando no entienden o no pueden cerciorarse bien, los matemáticos axiomatizan, con ello le dan una validez formal a sus afirmaciones, aunque éstas conlleven consecuencias a veces contraintuitivas, como el caso del llamado Axioma de elección, que habitualmente se usa en el trabajo matemático.

Ernst Zermelo (1871-1953) plantea, en 1904, el famoso Axioma de elección, en donde establece la existencia de un conjunto cuyos elementos son extraídos de un conjunto infinito, jugando un poco con la intuición humana. Esta idea ya se había utilizado por otros matemáticos, pero no se encontraba debidamente fundamentada. Ernst Zermelo fue criticado muy duramente por matemáticos de renombre como Lebesgue, Borel, Baire, Hadamad, quienes consideraban que tal función de elección debería ser construida o especificada. Con este Axioma, Ernst Zermelo demuestra que todo conjunto puede ser bien ordenado (entre ellos el conjunto de los números reales) aunque no se muestra cuál es ese orden. Los teoremas de existencia empezaron a ser cuestionados por la comunidad matemática.

Plantearemos la idea de este Axioma:

1.- Evidentemente, si tenemos un número finito de conjuntos diferentes del vacío, en cada conjunto es posible elegir un elemento; esta idea de elegir en cada conjunto diferente del vacío, técnicamente es llamada función de elección. Esta función permite construir un conjunto con los elementos elegidos que es llamado conjunto de elección.

2.- Lo que no es tan evidente es que podamos hacer lo descrito anteriormente si el número de conjuntos diferentes del vacío es infinito. Nuestra temporalidad humana no nos permite verificar que es posible elegir. Sin embargo, apelando a nuestra intuición humana, es plausible afirmar que sí es posible realizarlo y, por lo tanto, generar un conjunto de elección.

El paradigma del formalismo en donde estamos inmersos los matemáticos nos permite decretarlo a través de un axioma, denominado Axioma de elección.

En la práctica matemática, cuando escogemos un representante de una clase de equivalencia, lo hacemos con fundamento en el Axioma de elección. Con este axioma se prueban resultados importantes en la matemática, por ejemplo, que todo espacio vectorial tiene una base, todo conjunto es bien ordenado, los famosos teoremas de Hann – Banach, etc.

Si bien es cierto que la gran mayoría de matemáticos acepta este axioma, existe otro grupo de matemáticos que lo cuestiona, sobre todo los matemáticos de la escuela intuicionista, para quienes no basta decretar la existencia de un objeto matemático, sino que es indispensable construirlo, si no hay construcción, no hay existencia. El matemático formalista acepta este axioma sin mayor objeción, puesto que se permite inventar algún axioma, como regla de juego inicial, lo importante para el formalista es que no entre en contradicción con otros axiomas. En este sentido, la axiomática de Zermelo-Fraenkel es la más difundida para fundamentar casi toda la matemática (con base en la teoría de conjuntos); no entra en contradicción con el Axioma de elección. Este resultado fue probado con los trabajos de Kurt Gödel y Paul Cohen que demuestran que el Axioma de Elección es lógicamente independiente de los otros axiomas de la teoría axiomática de conjuntos.

La aceptación del Axioma de elección implica algunos resultados sorprendentes, como la existencia de conjuntos no medibles dentro de la recta o del plano; que trae como consecuencia paradojas tan extrañas como la paradoja de Tarski-Banach, según la cual podemos descomponer una esfera maciza en una serie de ocho piezas de modo que al reconstruirla tengamos una esfera de tamaño doble de la anterior. De otro lado, la independencia de este axioma con otros axiomas de la teoría trae como consecuencia que, aunque tengamos un axioma que entre en contradicción con el Axioma de

elección, no conlleve una contracción posterior; por lo tanto, la demostración por el absurdo no es operatizable en este contexto.


Escrito por Dr. Esptiben Rojas Bernilla

Colaborador


Notas relacionadas

Colmena alcanzó 50 por ciento de éxito

A pesar de que el cohete no podrá aterrizar en la luna, el Instituto de la UNAM consideró que sí se han alcanzado los propósitos de la misión Colmena, toda vez que han podido articular conocimientos tecnocientíficos y formación académica.

Sonda.jpg

"Al pueblo de los Emiratos Árabes Unidos, a las naciones árabes y musulmanas, anunciamos la llegada con éxito a la órbita de Marte. Alabado sea Dios".

sexrtante.jpg

La IA sirve para que las empresas comerciales puedan manejar las conductas humanas sobre esa base de “éxito”.

China.jpg

Roscosmos y la Administración Nacional China del Espacio (CNSA) firmaron en su momento un programa conjunto de cooperación en el espacio para el lustro 2018-2022.

fourier.jpg

Hijo de un sastre, huérfano a los ocho años. En 1812 escribió la obra cumbre de su carrera científica, la Teoría Analítica del Calor, por la que ganó un premio de la Academia de Ciencias de París.

De las Cartas de Cortés al DENUE: información de México y análisis de datos

En su Segunda Carta de Relación dice que “la dicha provincia es redonda y está toda cercada de muy altas y ásperas sierras, y lo llano de ella tendrá en torno hasta setenta leguas”.

Desarrollo de IA avanza hacia la vigilancia total: estudio

El estudio sugiere que los avances científicos están diseñados para monitorear a personas, lo que podría beneficiar a la industria de la vigilancia.

mate.jpg

Así se titula el curso que impartiré del 22 de marzo al ocho de abril de 2022 en las instalaciones del Instituto Tecnológico de Tecomatlán de manera presencial y virtual.

phil.jpg

Las consecuencias de la desatención del programa de vacunación infantil ya se están manifestando, pues hay rebrotes de Sarampión y Tuberculosis.

"El cavallino rampante": Ferrari y la ciencia de los autos

¡La carrera comienza! La marca cuyos autos alcanzan los 340 kilómetros por hora está en riesgo. Esto en el reciente estreno de la película Ferrari, de Michael Mann.

Jornaleros agrícolas

El desarrollo de la sociedad ha engendrado diversas clases sociales.

p.jpg

Los conjuntos han estado presentes desde nuestros primeros años, como consecuencia del paradigma formalista de D. Hilbert y la influencia del grupo Bourbaki en la enseñanza de la matemática desde mediados del Siglo XX.

Descartes.jpg

Descartes, fundamentalmente era un filósofo racionalista, llegó a escribir otras obras importantes, en 1641 escribió Meditaciones de Filosofía.

NASA publicó imágenes del cometa ATLAS a su paso cerca del Sol

El cometa fue visible brevemente en los cielos del hemisferio norte.

cicada.jpg

Las cícadas son plantas únicas, sobrevivientes de casi 280 millones de años, compartieron espacio y tiempo con los dinosaurios y se consideran fósiles vivientes.