¿Qué es exactamente un número irracional y cómo se diferencia de los números racionales?

En matemáticas, un número irracional es cualquier valor real que no puede expresarse como una fracción simple de la forma m/n, donde tanto m como n son números enteros y el denominador n es distinto de cero. A diferencia de los números racionales, cuya expansión decimal es finita o periódica, la expresión decimal de un número irracional es infinita y aperiódica. Esto significa que sus cifras decimales continúan sin repetirse en un patrón fijo. Entre los ejemplos más célebres de esta clase numérica se encuentran la constante matemática pi, el número e y el número áureo.

¿Cómo descubrieron los antiguos griegos la inconmensurabilidad y los números irracionales?

La primera constancia histórica del conocimiento sobre la inconmensurabilidad y los números irracionales se remonta a los pitagóricos en la Antigua Grecia, tal como recogen las crónicas de Jámblico y de Papo de Alejandría. En el seno de la comunidad pitagórica, estas magnitudes se manejaban como un conocimiento reservado o secreto iniciático aplicado en la construcción geométrica de figuras como pentagramas y dodecaedros. La tradición historiográfica posterior, influenciada por relatos de carácter aristotélico y protestante, popularizó la narrativa de que el matemático Hípaso de Metaponto descubrió la irracionalidad al estudiar la hipotenusa de un triángulo rectángulo isósceles y que fue exiliado o castigado por revelar dicha existencia al exterior. Sin embargo, relatos más antiguos como los de Pappus se limitan a señalar que Hípaso simplemente divulgó el uso de estas construcciones a personas no iniciadas, lo que motivó su expulsión de la secta.

¿De qué manera evolucionó la teoría matemática para incluir estas magnitudes?

El surgimiento de longitudes que no podían expresarse mediante números fraccionarios provocó una crisis profunda en la matemática griega antigua, ya que la aritmética de entonces se fundamentaba estrictamente en la proporcionalidad de cantidades conmensurables. Para superar este obstáculo, matemáticos posteriores como Eudoxo de Cnido desarrollaron una teoría avanzada de la proporción que distinguía con claridad entre número y magnitud. Las magnitudes representaban entidades continuas como segmentos de línea, ángulos y áreas que podían variar sin saltos, a diferencia de los números discretos. Al definir las razones geométricas mediante magnitudes en lugar de valores cuantitativos puros, Eudoxo proveyó el fundamento lógico necesario que permitió a la geometría griega asimilar los cocientes irracionales y sentar las bases iniciales de lo que posteriormente derivaría en el cálculo.

¿Cómo se clasifican los números irracionales en la actualidad?

Los números irracionales que componen la recta real se dividen principalmente en dos grandes categorías según su naturaleza algebraica: los números algebraicos irracionales y los números trascendentes. Los irracionales algebraicos son aquellos valores que actúan como solución de alguna ecuación polinómica con coeficientes racionales; un ejemplo destacado es el número áureo, que satisface una ecuación cuadrática específica, o bien las raíces no exactas de orden n. Por otro lado, los números trascendentes no pueden ser solución de ningún polinomio con coeficientes racionales y suelen derivar de funciones trascendentes como las logarítmicas, trigonométricas o exponenciales, o bien construirse mediante secuencias decimales aperiódicas específicas.

¿Qué propiedades algebraicas y topológicas definen a este conjunto numérico?

A diferencia de los conjuntos numéricos como los enteros o los racionales, el conjunto de los números irracionales no forma una estructura algebraica cerrada bajo operaciones elementales como la suma o la multiplicación. No obstante, poseen propiedades topológicas y métricas fundamentales dentro de los números reales. Por ejemplo, la suma o diferencia entre un número racional y uno irracional da como resultado un número irracional. Asimismo, el conjunto de los irracionales es denso en la recta real —lo que significa que entre cualesquiera dos números racionales siempre existe al menos un número irracional— y posee la misma cardinalidad (el mismo tamaño de infinito) que el conjunto completo de los números reales.

Sources & Further Reading

Arias Cabezas, José María; Maza Sáez, Ildefonso (2008). Matemáticas 1. Madrid: Grupo Editorial Bruño, Sociedad Limitada.

Courant, Richard; John, Fritz (1996). Introducción al cálculo y al análisis matemático. Limusa.

Kline, Morris (1990). Mathematical Thought from Ancient to Modern Times, Vol. 1. Oxford University Press.

Trejo, César A. (1973). El concepto de número. Washington D.C.: Ediciones de OEA.