TEMAS DE MATEMÁTICAS

(OPOSICIONES DE SECUNDARIA)

TEMA 5

EL NÚMERO RACIONAL.

1. Introducción.
2. El Cuerpo de los Números Racionales.
2.1. Construcción de .
2.2. El grupo aditivo de los Números Racionales.
2.3. El grupo multiplicativo de los Números Racionales.
2.4. El Cuerpo de los Números Racionales.
3.  como ampliación de .
4. Relación de Orden en 
5. Propiedades de .
5.1. Propiedades de las Fracciones
5.2.  es numerable.
5.3.  es arquimediano.
5.4.  es denso.
5.5. Propiedades de monotonía.
5.6. Valor absoluto de .
5.7. Supremo e Infinito.
6. Números Decimales.
6.1. Expresión decimal de los Números Racionales.
Bibliografía Recomendada.

1/23
 TEMA 5

EL NÚMERO RACIONAL.

1. INTRODUCCIÓN.

En el tema 1 construimos el conjunto  y lo dotamos de las operaciones de suma y

producto, constituyendo (,+) un semigrupo abeliano. En el Tema 4, tuvimos que
ampliar el conjunto . El motivo era que ecuaciones del tipo x+m=n con m>n no tenían
solución en . Creamos el conjunto , ampliación del , con más operaciones suma y
producto que eran extensión de las de . (,+,) tenía estructura de anillo conmutativo
con elementos de integridad. Es más, vimos que era un dominio de integridad y todos
sus ideales principales,

Ahora, en , nos encontramos con el siguiente problema:

Sean a,b tal que a no divide a b y a0. Entonces las ecuaciones de la forma:
ax=b no tienen solución en .

La solución está en construir un nuevo conjunto que amplíe , y que las

operaciones de suma y producto que definamos en él sean extensión de las de . En la
construcción de este nuevo conjunto, también hemos de poner como condición que sea
el menor de todos los posibles.

Comenzaremos el tema con la construcción de ese conjunto que llamaremos , y a

sus elementos números racionales, y comprobaremos que (,+) es un grupo abeliano.
Luego definiremos el producto de números racionales, siendo (*,) grupo
multiplicativo. Enlazaremos ambas operaciones con la propiedad distributiva para
terminar afirmando que (,+,) es un grupo conmutativo.

En la segunda parte del tema comprobaremos que podemos definir una relación de
orden en , que  es extensión de  y diversas propiedades más.

Terminaremos viendo los números racionales enteros, es decir, aquellos que tienen
cifras decimales.

2. EL CUERPO DE LOS NÚMEROS RACIONALES.

2.1. Construcción de  .

DEF Llamaremos * al conjunto de los enteros sin el cero. *={0}

DEF Establecemos en el conjunto * la siguiente relación R.

Sean (a,b),(c,d) *. Entonces (a,b)R(c,d)ad=bc

PROP La relación R definida en * es una relación de equivalencia

2/23
 Dem:

1) Reflexiva: (a,b)R(a,b)ab=ba lo cual es cierto ya que el producto en  es

conmutativo.

2) Simétrica: (a,b)R(c,d)  ad=bc  bc=ad  cb=da  (c,d)R(a,b)

3) Transitiva: (a,b)R(c,d)  ad=bc

(c.d)R(e,f)  cf=de

multiplicando la primera ecuación por f, obtenemos:

adf=bcf  Como cf=de adf=bde  como d0 af=be  (a,b)R(e,f)

La relación R en * es una relación de equivalencia.

DEF Definimos un conjunto  como =*/R y llamaremos a cada clase de

equivalencia de , número racional, siendo  el conjunto de los números racionales.

a
Si p y (a,b) es un elemento de la clase de p, por convenio se escribe p  y si
b
c
tomásemos otro elemento de la misma clase (c,d) entonces p  verificándose que
d
a.d=b.c

a
DEF Al término se le llama fracción siendo a el numerador y b el denominador.
b

PROP El conjunto  es una extensión del conjunto .

Dem

Sea f: 

a  [(a,1)]

Basta comprobar que f es inyectiva para que .

Sean a,b con f(a)=f(b)  [(a,1)]=[(b,1)]  a.1=b.1  a=b c.q.d.

2.2. El grupo aditivo de los números racionales.

DEF Sean [(a,b)],[(c,d)] , se define la suma como sigue:

[(a,b)]+[(c,d)]=[(ad+bc,bd)]

OBS La definición también la podíamos haber hecho de la siguiente manera:

3/23
 a c ad  bc
Sean p,q  p  q   
b d bd

OBS La operación está bien definida ya que b.d* puesto que b,d* y el
producto es una operación interna

PROP La operación suma definida anteriormente no depende del representante

elegido.

Dem:

Sean [(a,b)]=[(a’,b’)]  ab’=ba’

[(c,d)]=[(c’,d’)]  cd’=dc’

[(a,b)]+[(c,d)]= [(ad+bc,bd)]=…

Como ab’=ba’  multiplicando por dd’ queda dd’ab’=dd’ba’

Como cd’=dc’  multiplicando por bb’ queda bb’cd’=bb’dc’

Sumando ambas ecuaciones: dd’ab’+bb’cd’=dd’ba’+bb’dc’

y reordenando términos queda: (ad+bc)b’d’=(a’d’+b’c’)bc =…

…=[(a’d’+b’c’,b’d’)]=[(a’,b’)]+[(c’,d’)]

OBS Podemos realizar la demostración en términos de fracciones en lugar de clases

a
de equivalencia, con sólo cambiar [(a,b)]= y el resto igual.
b

PROP La operación suma definida anteriormente verifica las siguientes propiedades:

a) Conmutativa
b) Asociativa.
c) Elemento Neutro
d) Elemento Opuesto

Dem.

Las dos primeras propiedades las vamos a demostrar utilizando clases de

equivale ncia y las dos últimas mediante fracciones. Dejemos al lector como ejercicio la
posibilidad de hacerlo al revés.

1) Conmutativa.

Sean [(a,b)],[(c,d)] 

[(a,b)]+[(c,d)]=[(ad+bc,bd)]=…

4/23
 aplicando la conmutatividad de la suma y del producto de números enteros
…=[(cb+da,db)]=[(c,d)]+[(a,b)]

2) Asociativa:

Sean: [(a,b)], [(c,d)], [(e,f)] ,

( a,b)]+[(c,d ) +[(e,f)]=[(ad+bc,bd)]+[(e,f)]=[(adf+bcf+bde, bdf)]=…

…=[(a,b)]+[(cf+de,df)]=[(a,b)]+ ( c,d)]+[(e,f ) 

3) Elemento Neutro:

Sea e el elemento neutro. Se debe verificar que p:

p+e = p = e+p

a c ad  bc
Sea p= si e=  p+e = e+p=
b d bd

ad  bc a ad  bc  a 
y como p+e=p  =  bd  b  
bd b

e bd=b obtenemos d=1 (pues b*)

0
y de a+bc=a  bc=0 y como b* se deduce que c=0. Luego e=
1

Pero no es el único posible ya que (0,1)[(0.1)]  e puede ser un elemento

cualquiera de esa clase.

4) Elemento Opuesto.

Debe verificarse que p q / p+q =0

Representaremos q por p

a -a a
Si p  comprobaremos que p=  
b b -b

a (-a) ab  b(a) 0 0
p+(-p)=
b

b

b2
= 2  0
b 1
pues (0, b 2

)  ( 0,1)

CONCLUSIÓN

(,+) es un grupo conmutativo.

5/23
2.3. El grupo multiplicativo de los números Racionales.

DEF Sean [(a,b)], [(c,d)]. Definimos el producto de Números Racionales:

[(a,b)][(c,d)]=[(ac,bd)]

OBS La operación producto se podía haber definido mediante fracciones de la

siguiente forma:

a c a.c
Sean: p,q con p= y q= . Entonces: p.q=
b d b.d

OBS La operación está bien definida ya que b.d*

PROP La operación producto definida anteriormente no depende del representante

elegido:

Dem Sean [(a,b)]=[(a’,b’)]  ab’=ba’

[(c,d)]=[(c’,d’)]  cd’=dc’

[(a,b)]•[(c,d)]=[(ac,bd)]=…

Como ab’=ba’ y cd’=dc’ multiplicando miembro a miembro ambas ecuaciones

obtenemos:
ab’cd’=ba’dc’

y reordenando los términos: ac.b’d’=bd.a’c’

…=[(a’c’,b’d’)]=[(a’,b’)]•[(c’,d’)]

OBS Al igual que con la suma, podemos realizar la demostración en términos de

fracciones en lugar de clases de equivalencia.

PROP La operación producto definida anteriormente verifica las siguientes

propiedades:
1) Conmutativa
2) Asociativa.
3) Elemento Neutro.
4) Elemento Simétrico.

Dem.

Las dos primeras propiedades las vamos a demostrar utilizando clases de

equivalencia y las dos últimas mediante fracciones.

1) Conmutativa.

6/23
 Sean [(a,b)],[(c,d)] 
[(a,b)]•[(c,d)]=[(ac,bd)]=[(ca,db)]=[(c,d)]•[(a,b)]

2) Asociativa:

Sean: [(a,b)], [(c,d)], [(e,f)] ,

( a,b)]•[(c,d ) +[(e,f)]=[(ac,bd)]•[(e,f)]=[((ac)•e, (bd)•f)]=…

…=[(a•(ce), b•(df)]= [(a,b)]•[((ce,df)]=[(a,b)]• ( c,d)]•[(e,f ) 

3) Elemento Neutro:

Debe existir e tal que p.e=p=e.p p.

Por la propiedad conmutativa demostrada antes, tenemos que p.e=e.p luego sólo
hemos de ver que p.e=p.

0 0 e 0e 0
i) Si p=0=  p.e= . 1  1   0=p
1 1 e 2 1e 2 e2
a
ii) Si p0 entonces p= con a0.
b
a e a ae1 a
p.e= . 1     ae1 b=abe2  abe1=abe2
b e2 b be 2 b

e1
y como ab0  e1=e2 entonces e= pero como [(e1,e1 )]=[(1,1)]
e1
1
podemos definir e= y lo demostraremos por e=1
1

4) Elemento Simétrico.

p{0} p/p.q=1

a c ac 1
Si p= y q=  p.q=1 se traduce por 
b d bd 1

Basta tomar c=b y d=a para que ac.1=bd.1 sea ab=ba y por tanto se verifique
la igualdad

b
El número q= lo demostraremos por p-1
a
p.p-1 =1

CONCLUSIÓN

7/23
 ({0},•) tiene estructura de grupo multiplicativo conmutativo

2.4. El Cuerpo de los números racionales.

Una vez visto que (,+) y (*,•) tienen estructura de grupo abeliano respecto de
sus operaciones, veamos como podemos relacionar la suma y el producto de los
números racionales.

PROP En  se verifica la propiedad distributiva del producto respecto de la suma.

Dem

Hemos de probar que p,q,r se verifica (p+q).r=p.r+q.r

a c e
Sean: a,c,e y b,d,f,e* tales que p  ,q y r
b d f

a c e ad  bc e ade  bce
(p+q).r=   .    (1)
b d f bd f bdf

a e c e ae ce aedf  bfce
p.r+q.r=       (2)
b f d f bf df bfdf

Para ver que (1) y (2) representan el mismo número racional, aplicaremos la relación
de equivalencia:
(ade+bce).bfdf=(aedf+bfce).bdf

Simplificando, ya que b,d,f*

(ade+bce).f=aedf+bfce

y al multiplicar por f en el primer miembro, comprobamos que la igualdad es cierta. Por

tanto (1) y (2) son iguales, y por extensión:

(p+q).r=pr+qr

CONCLUSIÓN

Como (,+) es un grupo abeliano, (*,•) es un grupo abeliano y se verifica la

propiedad distributiva del producto respecto de la suma, podemos afirmar que (,+,•)
tiene estructura de grupo conmutativo. Diremos que  es el Cuerpo de los Números
Racionales.

3.  COMO AMPLIACIÓN DE  .

Anteriormente comprobamos que el conjunto  suponía una extensión del conjunto

. Ahora vamos a comprobar que el cuerpo (,+,•) es una extensión del anillo (,+,•).

8/23
Para ello vamos a definir una función  entre (,+,•) y (,+,•) tal que sea un
homomorfismo inyectivo.
DEF Sea :(,+,•)  (,+,•) una aplicación definida por a

a
(a)= 
1

PROP La aplicación  es un homomorfismo inyectivo.

Dem

a b
1)  es inyectiva. a,b (a)= (b)    a=b
1 1

a  b a.1  b.1 a b
2) a,b (a+b)=     (a)+(b)
1 1.1 1 1

a b a b a b
3) a,b (ab)=     (a)(b)
1 11 1 1

Por tanto, () es un subanillo de  isomorfo a , o lo que es lo mismo,  es

una inmersión en  ó  es una extensión de .

a
OBS Esta aplicació n  nos permite identificar el entero a con el racional 
1
a

PROP La aplicación  conserva el orden de .

Dem

Sean a,b tales que ab

b  (-a) 0
Entonces b-a0 que es lo mismo que b+(-a)0 y equivalente a: 
1 1
b  (-a) b a b a
y 0   0    (b)(a)
1 1 1 1 1

Luego si ab  (a)(b) por tanto  es un morfismo de orden.

Como en  se conservan las operaciones de suma y producto y el orden definido en

, podemos decir que  es una ampliación efectiva de .

4. RELACION DE ORDEN EN  .

9/23
 Acabamos de ver que en un subanillo de  existe un orden entre sus elementos, que
es el que proviene de . Vamos a extender dicho orden a todo el cuerpo . Veremos,
por tanto, que  es un cuerpo ordenado.

DEF Un número racional es positivo si puede encontrarse un representante del

mismo con numerador y denominador positivo.

a
PROP Si p es positivo y p= , entonces se verifica que signo(a)=signo(b).
b

Dem
a a'
Sea p=  con p positivo
b b'

a a'
Si   a.b’=b.a’
b b'

Como p es positivo, tenemos que a y b son positivos

Entonces para que se verifique a.b’=b.a’ debe ocurrir que a’ y b’ tengan el

mismo signo, ya sea positivo o negativo.

DEF El subconjunto de  formado por todos los números racionales positivos lo

representaremos por +.

DEF Sean p,q. Diremos que pq si q+(-p) +{0}

OBS La relación  tiene sentido entre los números racionales, ya que hemos
comprobado anteriormente que la suma de números racionales no depende de los
representantes elegidos.

PROP La relación  es una relación de orden en .

Dem

1) Reflexiva: p pp  p+(-p)=0 +{0}

2) Antisimétrica: p,q Si pq y qp 

 p+(-q)+{0} y q+(-p) + {0}  [p+(-q)]+[q+(-p)]+{0}

Pero: p+(-q)+q+(-p)=0

Si la suma de dos números racionales positivos o cero da cero es porque ambos

han de ser nulos.
 p+(-q)=0=q+(-p)  p=q

3) Transitiva: p,q,r Si pq y qr 

10/ 23
 p+(-q)+{0} y q+(-r) +{0}  [p+(-q)]+[q+(-r)]+{0} es decir:

p+(-r)+ {0}  pr

PROP La relación  es una relación de orden total.

Dem

Hay que ver que p,q  se verifica pq ó qp

a a
Si pq  q-p. Sea un representante de q-p: q-p=
b b

Si signo(a)=Signo(b)  q-p+  pq

Si signo(a)Signo(b)  p-q+  qp

Por tanto (,) es un cuerpo ordenado.

5. PROPIEDADES DE  .

5.1. Propiedades de las Fracciones.

PROP Se verifica a y b,c*

a a
1) 
b b

a.c a
2) 
b.c b

Dem

Si ambas fracciones son iguales es porque pertenecen a la misma clase

a a
  (-a).(-b)=b.a  ab=ba
b b

a.c a
  acb=bca
b.c b

Como ambas igualdades de fracciones verifican la relación de equivalencia 

son iguales

OBS Por convenio, si p es un número racional negativo, se puede escribir como

a
p con a,b+
b

11/ 23
PROP Todo número racional tiene un representante con denominador positivo.

Dem
a
Sea p con p=
b

0
Caso 1) Si a=0  p=0  p=
1

Caso 2) Si signo(a)=signo (b) puede ocurrir que sean ambos positivos o

negativos

i) Si son positivos ya está demostrado

a
ii) Si son negativos escribimos p= con a,b
b

1
Sabemos [(1,1)] que es la clase del neutro del producto en .
1
Al multiplicar p por el neutro nos da de nuevo p, aunque con otro
representante :

1  a 1 a
p. =p  . = cuyo denominador es positivo.
1  b 1 b

Caso 3) Si signo(a)signo (b)

a
Si b  p= con a,b y ya está.
b

a a a 1  a
   p=
Si b con b y por la prop. anterior =   
b  b  b 1 b
a
 p= con a,b
b

Luego, en cualquier caso, siempre podemos elegir para p un representante cuyo
denominador sea positivo.

a c
COROLARIO Sea p,q con p= , q= y b, d positivos.
b d
Si pq  bc-ad0

Dem

Dados p,q elegimos representantes con denominador positivo:

12/ 23
 a c
p= y q= con b, d positivos
b d

Como pq  q+(-p)+{0}

c a bc  ad
q+(-p)= - = + {0}
d b bd

bc  ad
Si =0  bc-ad=0 (1)
bd

bc  ad bc  ad
Si 0  +  signo (bc-ad)=signo(bd)
bd bd

Y como b,d son positivos  bd es positivo  bc-ad>0 (2)

De (1) y (2) bc-ad0 c.q.d.

PROP Dos números racionales cualesquiera siempre pueden escribirse con el mismo
denominador.

Dem

a c
Sean p,q con p= y q= .
b d

Por un resultado anterior, podemos afirmar que

a ad c cb
p= = y q= = c.q.d.
b bd d db

PROP Para todo número racional siempre podemos encontrar un representante tal que
su numerador y denominador sean coprimos.

Dem

a
Sean p con p=
b

Como a y b son números enteros, aplicamos el teorema fundamental de la

aritmética y los descomponemos de forma única como producto de números primos.
Los factores primos los reordenamos (usando la propiedad conmutativa del producto de
números naturales) situando al principio los que sean comunes a ambos (si los hay). En
caso de que a y/o b fuesen primos, sólo tendrá un factor y con exponente unidad.

a= pá1 1 ......pánn .qâ1 1 ......qâmm

13/ 23
 b= pá1 1 ' ......pánn '.r1ã 1 ......rsã s

a pá1 1 ......pán n .qâ11 ......qâmm

Como: p  á '
b p11 ......pán n '.r1ã 1 ......rsã s
ac a
Aplicando la propiedad demostrada antes, que: 
bc b

nos queda: Si  i i’>0  el factor pái i á i ' aparece en el numerador.

Si  i i’=0  No aparece el número primo p i

Si  i i’<0  el factor pái i 'á i aparece en el denominador.

â
Los factores q j j quedan en el numerador j:1,…,m

Los factores rkã k quedan en el denominador k:1,…,s

El numerador y el denominador son coprimos ya que no tienen divisores comunes

salvo la unidad.

a
DEF Dado p con p= y mcd(a,b)=1 diremos que la fracción que representa a p
b
es irreductible o que es un representante canónico de la clase de p.

5.2.  es numerable.

PROP El conjunto  de los números racionales es numerable.

Dem

Vamos a establecer una biyección entre los elementos de * que sabemos que es
numerable y los elementos de +. Con esto conseguiremos demostrar que  también es
numerable, ya que ={0}+.

Lo haremos de una manera gráfica. Nos creamos una tabla de tal forma que al
elemento aij le corresponde el número racional: aij= j i

Posteriormente, volvemos a escribir la tabla en diagonal, comenzando por a11 como

primera diagonal, a12 y a21 como segunda diagonal y así sucesivamente. Cuando
lleguemos a un elemento cuya fracción haya sido considerada anteriormente, se salta.
La tabla primera sería:

14/ 23
 1 2 3 4
.....
1 1 1 1
1 2 3 4
.....
2 2 2 2
1 2 3 4
.....
3 3 3 3
1 2 3 4
.....
4 4 4 4
.... .... .... .... .....
Una vez reducida queda:
1 2 3 4
.....
1 1 1 1
1 1 3 2
.....
2 1 2 1
1 2 1 4
.....
3 3 1 3
1 1 3 1
.....
4 2 4 1
.... .... .... .... .....

y la biyección sería :{0}+

1 2 1 3 1
(1)= , (2)= , (3)= , (4)= , (5)= , ….
1 1 2 1 3

5.3.  es arquimediano

PROP Sean p,q con q0. Entonces: n/p<qn

Dem

a c
Sea p= y q=  0
b d

Por una propiedad anterior, vamos a suponer b y d positivos. Como la propiedad

a demostrar se verifica en  ( es Arquimediano) y ad,bc/ad<(bc)n 

 ad<(bc)n  (bc)n-ad>0

(bc)  n  ad
pero sabemos que, como bd>0  0 
bd

cn a c a
  0  n   qn>p
d b d b

15/ 23
5.4.  es Denso.

Dem

Para demostrar que  es denso, hemos de ver que ningún número racional tiene
anterior ni siguiente. Es decir:

p,q con p<q existen r,s,t/r<p<s<q<t

Comprobémoslo:

Como podemos conseguir que p y q estén representados por fracciones con el

mismo denominador, sean:

a b
p= y q= y como p<q  a<b
d d

Si a<b  a+1b  2a+22b  2a+1<2b

a  1 a 2a 2a  1 2b b b  1
Sean      
d d 2d 2d 2d d d

a 1 2a  1 b 1
Tomamos: r= , s= , t= c.q.d.
d 2d d

5.5. Propiedades de Monotonía.

PROP Sean p,q con pq. Se verifica:

i) p+rq+r r

ii) s.ps.q si s<0

s.p=s.q=0 si s=0
s.ps.q si s>0

Dem

i) pq  Por definición de la relación  se verifica que:

q+(-p)+{0}

q+(-p)=q+(-p)+r+(-r)=q+r+(-p)+(-r)=q+r+(-(p+r))

entonces: q+r+(-(p+r))+{0}  p+rq+r

16/ 23
 a c e
ii) Sean p= , q= , s= con b,d y f positivos.
b d f

ae ce
Como pq  bc-ad0 y s.p= ; s.q=
bf df

e
 Si s= es positivo  Signo(e)=Signo(f)  e.f>0
f

bc-ad0 bc-ad+{0}
ef>0 e.f luego:

e.f.(bc-ad)+{0}

Pero: ef.(bc-ad)=[Link]=[Link]+ {0} 

 ce,[Link]0  spsq
 Si s=0  s.p=0 y s.q=0  sp=sq=0
e
 Si s= es negativo  Signo(e)Signo(f)  ef<0  ef>0
f
bc - ad  0   -ef.(bc-ad)+{0}
- ef  0
-ef.(bc-ad)=[Link]=[Link]+{0}  [Link]0  s.ps.q

COROLARIO

Sean p,q,r,s con 0<p<q y 0<r<s  0<pr<qs y 0<p+r<q+s

Dem

Como 0<p<q y 0<r<s

p  q  pr  qr 
r  0  
  pr  qs
r  s   qr  qs 
q  0 

p  q 
r   p  r  q  r 
Análogamente   p r qs
r  s 
q   q  r  q  s 
1
PROP Sea p. p>0  0
p

Dem

17/ 23
 1 1 1
Supongamos que  0  Signo(p)Signo    p  <0
p p p

1 1
Pero p  =1>0 contradicción, luego >0
p p

5.6. Valor Absoluto de  .

Sabemos que si p, debe ocurrir que p>0 ó p=0 ó p<0.

DEF Definimos el valor absoluto de p, y se representa por p como:

p si p  0
p= 
- p si p  0

PROP Dados p,q,

1) p0 y p=0  p=0

2) p.q=p.q
3) p+qp+q

Dem

1) p0 ya que si  p0  p=p0

 Si p<0  p=p>0

p=0  p=0 tiene una demostración trivial

 p.q p.q  0
2) p.q=  (1)
- p.q p.q  0

 p.q si p  0 q  0  p.q si p. q  0
 
- p.q si p  0 q  0 - p.q si p.q  0
p.q=  = (2)
p.(-q) si p  0 q  0 - p.q si p.q  0
(-p)(-q) si p  0 q  0  p.q si p.q  0
 

Las expresiones (1) y (2) son iguales.

3) Es fácil ver que pp con sólo sustituir p por su función, y que -pp

18/ 23
 p  p  
pq  p  q 
q  q  
Luego:   pq  p  q
- p  p 

  - p - q  p  q
- q  q  

OBS El valor absoluto en  es una extensión del valor absoluto definido en .

5.7. Supremo e Ínfimo.

Sea (,<) un cuerpo ordenado

DEF Sea A un subconjunto y sea x. Diremos que x es Cota Superior de A si
aA ax.

DEF Sea A un subconjunto y sea y. Diremos que y es Cota Inferior de A si
aA ya.

Si existe una cota superior para el conjunto A, diremos que A está acotado
superiormente.

Si existe una cota inferior para el conjunto A, diremos que A está acotado
inferiormente.

Si A está acotado es que lo está superior e inferiormente.

DEF Dado A, definimos el extremo superior de A como la mínima de todas sus
cotas superiores.

DEF Dado A, definimos el extremo inferior de A como la máxima de todas sus
cotas inferiores.

DEF Dado x, diremos que x es el máximo de A si x es cota superior de A y

xA. Se denota por x=max(A).

DEF Dado y, diremos que y es el mínimo de A si y es cota inferior de A e

yA. Se denota por y=min(A).

6. NÚMEROS DECIMALES.

6.1. Expresión Decimal de los Números Racionales.

DEF Llamaremos número decimal a un número de la forma:


ci
a i
con 0ci9
i 1 10

19/ 23
y se representa por: a’c1c2c3…

donde a recibe el nombre de “parte entera” del número decimal y ci son los decimales.

PROP Todo número racional se puede expresar como un número decimal.

Dem

m
Sea p+ con p= fracción irreducible y m,n positivos.
n

a,r1 tal que m=a.n+r1 con 0r1 <n a es la parte entera del nº decimal

Tomando ahora 10r1 y n c1 ,r2/10r1=c1 .n+r2 con 0r2<n

Es claro que 0ci9 ya que: 0r1 <n  010r1 <10n 

 0c1.n+r2 <10n  0r2<10n-c1 .n  0r2 <(10-c1 )n

(10  c1 )n  0 
 10-c1>0  c1<10  c1 9
n  0

y como m y n son positivos  a es positivo o cero  c1 0

Repitiendo el proceso para 10r2 y n c2 ,r3/10r2=c2 .n+r3 con 0r3<n

Y así sucesivamente:
10ri=ci.n+ri+1 i

Entonces p se puede escribir como a’c1 c2 c3 …

Si p, -p+  p=-a’c1 c2 c3…

DEF Un número decimal es exacto si tiene un número finito de cifras decimales.

b
PROP Un número racional es de la forma si y sólo si es un número decimal
10n
exacto.

Dem

“”

Como b, sea b=b0+10b1 +102b2+103 b3+…+10n bn la descomposición

polinómica de b en base 10

b b 0  10b1  10 2 b 2  10 3 b 3  ...  10 n b n
por hipótesis p es p=  …
10 n 10n

20/ 23
 b0 b b b b
…= n
 n11  n2 2  n33  ...  ni i  ...  b n
10 10 10 10 10

El número decimal es bn ,bn-1,bn-2 ,…b0 siendo bn la parte entera y bn-1…b0 la

parte decimal, que es finita.

“”

Sea el número decimal exacto a’c1 c2 c3 …cn entonces:

c1 c 2 c a.10n  c1.10 n 1  c 2 .10 n -2  ...  c n

a’c1 c2 c3…cn =a+  2  ...  nn 
10 10 10 10 n
Si tomamos b  a.10 n  c1 .10 n 1  c 2 .10 n  2  ...  cn  b y el decimal es
de la forma:
b
10n

Ejemplos:

43452
1) Sea p=  p=4’3452
10 4

314159
2) Sea el número decimal exacto: 3’14159  3’14159=
10 5

a
PROP Sea p con p= . P es un número decimal exacto si y sólo si
b
b=2m.5n con m,n

Dem

“”

c
Si p es un decimal exacto  p=  b=10n  b=2n 5n
10n

“”

a a a 2 n 5m a.2n .5 m
Sea p=  p=    p= 
m n
2 5 2m 5 n 2 m 5 n 2 n 5 m 2 n m 5 n  m

a.2 n.5m
 p=  p es un decimal exacto.
10 n m

COROLARIO

21/ 23
 a
Sea p con p= . p es un número decimal con infinitas cifras decimales si y sólo
b
si dado b= p1a1 .p a2 2 ....p ann i:1,2,…,n /pi2 y pi5 (la descomposición de b tiene algún
factor distinto de 2 y 5).

a a r
OBS Como p=  c0,r1/a=c0 b+r1   c0  1
b b b

r1 1  r 
Repetimos para 10r1 y b  c1,r2/10r1= c1 b+r2    c1  2 
b 10  b

a c r
Entonces  c0  1  2
b 10 10b
y así sucesivamente.

Como b tiene algún factor que no es ni 2 ni 5, este proceso continúa indefinidamente.

a j -1 ci
 ri0 i, ya que si j/ri=0   y tendría finitas cifras decimales, lo
b i  0 10 i
cual es falso.

 Como ri<b i, los restos se repetirán al cabo de b-1 divisiones, como mucho.

DEF Llamaremos periodo al conjunto más pequeño de cifras decimales que se repiten
indefinidamente en un número decimal.

NOTACIÓN El periodo, en un número decimal, se representa por un arco que los


abarca a todos, por encima. Por ejemplo: 3'14  3'14444 .

DEF Un número decimal se llama periódico mixto si hay cifras decimales delante del
periodo.

DEF Un número decimal se llama periódico puro si no hay cifras decimales antes del
periodo.

OBS Todo número racional se puede representar como un número decimal exacto, o
periódico mixto o periódico puro. El recíproco también es cierto.

Ejemplos:

1) 0’434343…= 0' 43  Si x= 0' 43 entonces 100x= 43' 43

43 43
100x=43+x  99x=43  x=   0' 43
99 99

Advertencia: se utiliza la notación para indicar el periodo del número

22/ 23
 2) 0'1234  Si x= 0'1234 entonces 100x= 12' 34

100x es periódico puro

10000x  1234' 34  1222 1222

  9900x=1222  x=  = 0'1234
100x  12' 34  9900 9900

Existe un caso particular que hemos de resaltar: el periodo está formado solame nte
por el número 9.
  
Si x= 0'9  10x= 9'9  10x=9+x  9x=9  x=1 obtenemos 1= 0'9

Para que esto tenga sentido, necesitamos una topología en  que permita asegurar el
paso al límite. Eso podemos hacerlo teniendo en cuenta el orden definido en  y la
densidad de .

Así podemos asegurar que la sucesión 0’9, 0’99, 0’999, 0’9999, … tiene por límite 1.

BIBLIOGRAFIA RECOMENDADA.

Análisis Matemático I. Aut. J.A. Fernández Viña. Ed. Tecnos.

Análisis Matemático. Aut. M. de Guzmán – B. Rubio. Ed. Pirámide.

Principios de Análisis Matemático. Aut. W. Rudin. Ed. McGraw-Hill.

Introducción al Análisis Matemático. Aut. J. M. Ortega. Ed. Labor.

23/ 23