Vous êtes sur la page 1sur 4

Representacin de nmeros racionales en la recta numrica.

Recordemos que el conjunto de los nmeros enteros se denota por


y se define de la manera siguiente:
Podemos representar los nmeros enteros como puntos de una recta de la manera siguiente:
El segmento de recta comprendido entre dos nmeros enteros consecutivos se llama "segmento unidad".
De manera similar, recordemos que el conjunto de los nmeros racionales se denota por y se define de la manera
siguiente:

Debido a que si
,
,
entonces se cumple que
; se conviene en representar los nmeros
racionales preferentemente por medio de fracciones en las cuales el denominador es un nmero entero positivo.
Recordemos adems que si
,
,
, el nmero racional
se puede considerar como el cociente que se
obtiene al dividir por ; en donde indica el nmero de partes en que se divide la unidad y el nmero de partes que
se toman.
De esta manera, si se divide en dos partes iguales cada segmento unidad en la recta numrica, podemos representar los
nmeros racionales cuya representacin fraccionaria tiene como denominador 2, como se muestra en el ejemplo
siguiente.
Ejemplo
Represente en la recta numrica los siguientes nmeros racionales:

a.

b.

c.

d.

Solucin:

De igual manera, si se dividen en tres partes iguales cada segmento unidad en la recta, podemos representar los nmeros
racionales cuya representacin fraccionaria tiene como denominador 3, como se muestra en el ejemplo siguiente.
Ejemplo
Represente en la recta numrica los siguientes nmeros racionales:
a.
Solucin:

b.

c.

d.

Generalizando el procedimiento descrito anteriormente se puede representar cualquier nmero racional en la recta
numrica.
Ejercicio
Represente en un recta numrica los siguientes nmeros racionales:
a.
b.
c.
d.
Nota: Tambin se pueden representar los nmeros racionales en la recta numrica, considerando su expansin decimal y
ubicndolos en forma aproximada en la recta numrica, como se muestra en el ejemplo siguiente.

Ejemplo
Represente en una recta numrica los siguientes nmeros racionales.
a.
b.
Solucin
Utilizando la calculadora se puede notar que:
a.
b.
De esta manera

c.

d.

c.
d.

Ejercicios
1. Represente en una recta numrica los siguientes nmeros racionales.
a.
a.
a.
a.

a.

Nmero racional es todo nmero que puede representarse como el cociente de dos nmeros enteros o, ms
precisamente, un entero y un natural positivo;1 es decir, una fraccin comn
con numerador y denominador
distinto de cero. El trmino racional alude a una fraccin o parte de un todo. El conjunto de los nmeros racionales
se denota por Q (o bien , en negrita de pizarra) que deriva de cociente (Quotient en varios idiomas europeos).
Este conjunto de nmeros incluye a los nmeros enteros ( ), y es un subconjunto de los nmeros reales ( ).
La escritura decimal de un nmero racional es, o bien un nmero decimal finito, o bien peridico. Todo nmero que
admite una expansin finita o peridica (en cualquier base entera), es un nmero racional.
Un nmero real que no es racional, se llama nmero irracional; la expresin decimal de los nmeros irracionales, a
diferencia de los racionales, es infinita aperidica. 2
Un nmero irracional es un nmero que no puede ser expresado, como una fraccin mn,
donde m y n sean enteros y n sea diferente de cero. Es cualquier nmero real que no es racional. Un decimal
infinito (es decir, con infinitas cifras) aperidico, como 7 = 2,645751311... no puede representar un nmero racional.
A tales nmeros se los nombra nmeros irracionales. Esta denominacin significa la imposibilidad de representar
dicho nmero como razn de dos nmeros enteros.

NMEROS TRANSCENDENTES
Nmero transcendente
Un nmero transcendente es un nmero que no es un nmero algebraico (es decir, no es solucin de ninguna ecuacin
polinmica con coeficientes racionales).
Algunos ejemplos de nmeros transcendentes son y e
Nmeros de Liouville
Ya en 1844, Joseph Liouville estudi este nmero:
= 0,11000100000000000000000100
(cada cifra es 1 si est n! posiciones despus del punto decimal, y 0 si no.)
Es un nmero muy interesante porque:
es irracional, y
adems no es solucin de ninguna ecuacin polinomial as que no es algebraico.
De hecho, Joseph Liouville acababa de encontrar el primer nmero transcendente que se poda demostrar que lo era.
Ese nmero se conoce ahora como la constante de Liouville. Y es un nmero de Liouville.
Un nmero de Liouville es un tipo especial de nmero transcendente que se puede aproximar muy de cercacon
nmeros racionales.
Ms formalmente es un nmero real x, con la propiedad de que, para cada entero positivo n, existen dos
enteros p y q (con q>1) que cumplen:

Ahora sabemos que x es irracional, as que siempre habr alguna diferencia entre x y todos los p/q: por eso la parte de
"0<".
Pero la segunda desigualdad te dice lo pequea que es la diferencia. De hecho la desigualdad dice que "el nmero
puede ser aproximado infinitamente, pero nunca se puede llegar". De hecho Liouville consigui demostrar que si un
nmero tiene aproximaciones racionales que se le acercan rpidamente, el nmero es transcendente.
Otra propiedad interesante es que para cada entero positivo n, existe un nmero infinito de pares de enteros (p,q) que
cumplen la desigualdad.
Ms nmeros transcendentes
Hubo que esperar hasta 1873 para el primero nmero "no construido" que fuera transcendente, cuando Charles
Hermite demostr que e es transcendente.
Despus en 1884, Ferdinand von Lindemann public una prueba de que es transcendente.
De hecho, demostrar que un nmero es transcendente es bastante difcil, aunque se sepa que son muy comunes...
Los nmeros transcendentes son comunes
Casi todos los nmeros reales son transcendentes. El argumento para verlo es:
Los nmeros algebraicos son "numerables" (por decirlo simplemente, la lista de nmeros enteros es
"numerable", y puedes ordenar los nmeros algebraicos para que vayan de par en par con los nmeros enteros,
as que tambin son numerables.)
Pero los nmeros reales no son "numerables".
Y como cada nmero real es algebraico o transcendente, los transcendentes deben ser "no numerables".
As que hay muchos ms transcendentes que algebraicos.
No se trata de nmeros que estn ms all del conocimiento ni que traspasen ninguna frontera de experiencia, como
podra parecer si acudimos al diccionario. Trascendente significa no algebraico en trminos matemticos.
Veamos qu significa eso.
No son nmeros enteros (ni 2, ni 3, ni 18), ni son racionales (ni 2/3, ni 4/5, ni 7/12). Entonces son irracionales, es
decir, son nmeros que no son expresables como fraccin de dos nmeros enteros. Aunque la parte decimal de algunos
nmeros racionales sea infinita, habr una secuencia que se repetir indefinidamente, que ser peridica. En cambio
los nmeros irracionales tienen partes decimales infinitas y no peridicas de secuencia impredecible.
Pero ello ocurre tambin con los radicales (2, 3), as que deberemos establecer otra condicin para definir los
nmeros trascendentes: no pueden ser descritos como la raz de una fraccin, lo que implica que no son solucin de
una ecuacin algebraica (anxn + an-1xn-1+ a1x ++ a0 =0) y se les llama no algebraicos.

As tenemos que todos los nmeros trascendentes son irracionales, aunque no todos
los irracionales son trascendentes y que los trascendentes son no algebraicos. Esta
distincin entre irracionales algebraicos y trascendentes se hizo en el
siglo XVIII y el inters en esta diferenciacin se intensific en el siglo XIX
al comprobar que no todos los irracionales algebraicos se podan obtener
por operaciones algebraicas sobre nmeros racionales.
Pero cules son estos nmeros?
Hay muchos una infinidad, pero los ms conocidos son el nmero e y (pi). Sus valores
aproximados son:
=3,14159265358979323846
e=2,7182818284590452354
Pero por qu se inventan los matemticos esos nmeros tan largos y tan raros? De dnde
los sacan?
Pues no se los inventan, son nmeros que aparecen continuamente de manera natural al
modelizar fenmenos naturales. En cualquier campo de la matemtica, donde uno menos lo

espera. Por ejemplo en la desintegracin nuclear, en el movimiento oscilatorio, en algunas


conchas de moluscos en espiral logartmica, en la velocidad de vaciado de un depsito de agua,
en el giro de una veleta frente a una rfaga de viento, en el movimiento del sistema de
amortiguacin de un automvil, en el patrn de crecimiento de una planta o en el cimbreo de
un edificio metlico en caso de terremoto.
Nota sabionda: Aunque no es una constante fsica, aparece rutinariamente en ecuaciones
que describen los principios fundamentales del Universo: en la constante cosmolgica, en el
principio de incertidumbre de Heisenberg, en la ecuacin de campo de la relatividad general, en
la ley de Coulomb para la fuerza elctrica, en la permeabilidad magntica y en la tercera ley de
Kepler.