ORDEN Y COMPARACIN DE NMEROS IRRACIONALES

Tras distinguir los nmeros componentes de la recta real en tres categoras:

(naturales, enteros y racionales), podra parecer que ha terminado la
clasificacin de los nmeros, pero an quedan "huecos" por rellenar en la
recta de los nmeros reales. Los nmeros irracionales son los elementos de
dicha recta que cubren los vacos que dejan los nmeros racionales.
Los nmeros irracionales son los elementos de la recta real que no pueden
expresarse mediante el cociente de dos enteros y se caracterizan por
poseer infinitas cifras decimales no peridicas. De este modo, puede
definirse al nmero irracional como un decimal infinito no peridico. En
general, toda expresin en nmeros decimales es solo una aproximacin en
nmeros racionales al nmero irracional referido, por ejemplo, el nmero
racional 1,4142135 es solo una aproximacin a 7 cifras decimales del
nmero irracional raz cuadrada de 2, el cual posee infinitas cifras decimales
no peridicas.
Entonces, decimos con toda propiedad que el nmero raz cuadrada de dos
es aproximadamente igual a 1,4142135 en 7 decimales, o bien es igual a
1,4142135 donde los tres puntos hacen referencia a los infinitos decimales
que hacen falta y que jams terminaramos de escribir.
Debido a ello, los nmeros irracionales ms conocidos son identificados
mediante smbolos especiales; los tres principales son los siguientes:
(Nmero "pi" 3,14159 ...): razn entre la longitud de una circunferencia y su
dimetro. e (Nmero "e" 2,7182 ...): (Nmero "ureo" 1,6180 ...):
Los nmeros irracionales se clasifican en dos tipos:
1.- Nmero algebraico: Son la solucin de alguna ecuacin algebraica y se
representan por un nmero finito de radicales libres o anidados; si "x"
representa ese nmero, al eliminar radicales del segundo miembro
mediante operaciones inversas, queda una ecuacin algebraica de cierto
grado. Todas las races no exactas de cualquier orden son irracionales
algebraicos. Por ejemplo, el nmero ureo es una de las races de la
ecuacin algebraica , por lo que es un nmero irracional algebraico.
2.- Nmero trascendente: No pueden representarse mediante un nmero
finito de races libres o anidadas; provienen de las llamadas funciones
trascendentes (trigonomtricas, logartmicas y exponenciales, etc.) Tambin
surgen al escribir nmeros decimales no peridicos al azar o con un patrn
que no lleva periodo definido, respectivamente, como los dos Patrones..
(investigar)
Los llamados nmeros trascendentes tienen especial relevancia ya que no
pueden ser solucin de ninguna ecuacin algebraica. Los nmeros pi y e son
irracionales trascendentes, puesto que no pueden expresarse mediante
radicales.
Los nmeros irracionales no son numerables, es decir, no pueden ponerse
en biyeccin con el conjunto de los nmeros naturales. Por extensin, los
nmeros reales tampoco son contables ya que incluyen el conjunto de los
irracionales.