tema

05 MATEMÁTICAS

Números racionales.
24-13797-13

Temario 1993
 tema 5

matemáticas

1. Construcción de los números racionales

2. El grupo aditivo de los números racionales

3. Multiplicación de números racionales: propiedades

4. El cuerpo ordenado de los números racionales

4.1. Estructura de cuerpo: el cuerpo de los números racionales (, +, ·)

4.2. Orden en 

4.3. Representación de 

4.4. Propiedades de la relación de orden en 

4.5. Valor absoluto de un número racional

4.6. El conjunto de números racionales es numerable

4.7. Inmersión de  en 

5. Expresión decimal de los números racionales

3
 tema 5

matemáticas

INTRODUCCIÓN

En el dominio de integridad (Z, +, .) de los enteros, la ecuación:

a . x = b, a ≠ 0, a, b ∈ Z

no siempre tiene solución.

Surge, pues, la necesidad de dar solución en todos los casos a tal ecuación, o en
b
otros términos, poder efectuar la división , si a ≠ 0.
a
Nuestro primer paso consistirá en extender Z y, posteriormente, estructurar el
nuevo conjunto obtenido.

5
tema 5

matemáticas

1 Construcción de los números racionales

XX El conjunto  de los números racionales

Simbolicemos por 0 =  – {0} (también se designa por *) el conjunto de los

números enteros no nulos.
El conjunto  × 0 = {(a, b) / a ∈ , b ∈ 0} recibe el nombre de conjunto de las
fracciones. Y dada una fracción (a,b), que de ahora en adelante representaremos
a
como , llamaremos numerador al elemento, a, y denominador al elemento b.
b
En el conjunto  × 0, definimos una relación de equivalencia (que designaremos
mediante el símbolo ~) por:
a c
 si y solo si a · d = b · c
b d
Vamos a demostrar que la relación ~ así definida, es una relación de equivalencia.
Demostración:
„„ Reflexiva:

a a a
∀ ∈  ×  0 , se verifica: 
b b b

pues a · b = b · a (por la propiedad conmutativa de la multiplicación de números

enteros).
Dicho de otra forma, toda fracción es equivalente a sí misma.
„„ Simétrica:
a c
Si b  d entonces: a · d = b · c
(por definición de la relación definida en el conjunto de las fracciones).
Pero escribir: a · d = b . c es lo mismo que escribir c · b = d · a, lo cual equivale
a que:
c a

d b
a c c a
O sea, si  entonces  .
b d d b
„„ Transitiva:
a c c e
Si  y si  ⇒ ad = bc y cf = de
b d d f
Entonces:
a e
adf = bcf = bde ⇒ adf = edb, y por ser d ≠ 0, es a ⋅ f = e ⋅ b ⇒ 
b f

6
 tema 5

matemáticas

Por tanto, la relación ~ así definida es de equivalencia. Al conjunto cocien-

te  × 0 / ~, formado por todas las clases de equivalencia, se le denota por 
(de quocient), y a cada una de ellas se le llama número racional. Así  representa
al conjunto de los números racionales.
Veamos algunas propiedades inmediatas de la definición de número racional.

XX Proposición 1.
Si h es un número entero distinto de cero, entonces:
a a⋅h

b b⋅h
Demostración, puesto que:

a · h · b = a · b · h, y b · h ≠ 0
Consecuencias:
1. Todo número racional tiene representantes con denominador positivo.
Demostración:
a
Sea con b ∈ Z0– un representante de un número racional; entonces:
b
a a . (−1) a′
  , b′ ∈  0+ (en virtud de la regla de los signos en )
b b . (−1) b′
2. Dados dos números racionales, siempre tienen representantes con el mismo
denominador positivo.
Demostración:

a c
Sean y representantes de dos números racionales tal que m.c.m. (b, d) = m;
b d
entonces:



m = b . b’
y m.c.d. (b’, d’) = 1


m = d . d’
Luego:
a a . b′ a1
  (a1 = a . b′ ∈ )
b b . b′ m
c c . d ′ c1
  (c1 = c . d ′ ∈ )
d d . d′ m
Esto equivale en el lenguaje matemático tradicional a que: dados dos números
racionales, siempre es posible hallar dos fracciones representantes de los
mismos que tienen el mismo denominador (reducir a común denominador).

7
tema 5

matemáticas

a
3. Todo número racional tiene un representante tal que m.c.d. (a, b) = 1, es
b
decir, que el numerador y denominador son primeros entre sí.
a
Demostración: sea 1 un representante de un número racional, y sea
d = m.c.d. (a1, b1); b1
entonces:



a1 = a · d
 siendo m.c.d. (a, b) = 1
b1 = b · d
Luego:

a1 a . d a
 
b1 b . d b

A este representante se le llama fracción irreducible y se adopta por represen-

tante canónico de un número racional aquella fracción irreducible de denomi-
nador positivo.

XX Proposición 2.
0
Las fracciones de tipo forman una clase, es decir, un número racional.
b
Demostración:
0 a
 equivale a 0 · c = a · b, por tanto: a = 0,
b c
al ser b ≠ 0 y  dominio de integridad (b, c ∈ 0, a ∈ ).
Dicha clase recibe el nombre de número racional cero y se representa por 0.

XX Proposición 3.

Las fracciones de la forma b/b constituyen una clase, es decir, un número racional.
Demostración:
b a
 ⇒ b ⋅ c = b ⋅ a, que equivale a: a = c
b c
Dicha clase recibe el nombre de número racional uno y se representa por 1.

8
 tema 5

matemáticas

2 El grupo aditivo de los números racionales

XX Adición en : propiedades

Sean α y β dos números racionales o clases de las que a/a’, a1/a’1,... son represen-
tantes de las clases α y b/b’, b1/b’1,... representantes de la clase β.
La adición en Q se define:
+
 ×  →

 a   b   ab′ + a′b 
( α, β) → α + β =   +   =  
 a′   b′   a′ b′ 
Veamos que con esta definición, la suma α + β es independiente de los represen-
tantes elegidos.
Demostración:

 a1   b1   a1 b1′ + a1′ b1 
 +  =  
 a1′   b1′   a1′ b1′ 
Como, por hipótesis:
a a1
 ⇒ aa1′ = a′a1
a′ a1′
b b1
 ⇒ bb1′ = b′b1
b′ b1′
se tiene:
 a1 b1′ + a1′ b1   a′b′a1b1′ + a′b′a1′ b1 
 = =
 a1′ b1′   a′b′a1′ b1′ 
 aa1′b′b1′ + a′a1′ bb1′   ab′ + a′b   a   b 
 =  =  + 
 a′b′a1′ b1′   a′ b′   a′   b′ 
En virtud de esta propiedad de la adición de números racionales (uniformidad),
siempre podremos operar con representantes de las clases de igual denominador.
En este caso, la suma de números racionales se reduce:

 a   b   ad + bd   a + b 
 +  =  = 
d  d   d   d 
2

9
tema 5

matemáticas

XX Propiedades de la adición en Q.

La adición en el conjunto de los números racionales verifica, además de la propie-

dad citada anteriormente, las siguientes:
−− Interna: por definición de aplicación ∀ α, β ∈ Q ⇒ (α + β) ∈ Q.
−− Conmutativa: dados los números racionales arbitrarios α y β, se verifica:
α + β = β + α.
Demostración:
a b 
Sean, α =   β= 
d  d 

 a   b  a + b  b + a   b   a 
Se tiene: α + β =   +   =  =  =  +  = β+ α
d  d   d   d  d  d 
„„ Asociativa
Dados los números racionales arbitrarios α, β, γ, se verifica:

α + ( β + γ ) = ( α + β) + γ

Demostración:

a b  c 
Sean: α =   , β =   , γ =  
d  d  d 
Se tiene:

 a  b b  c c  a   b + c 

α
α + (β
( β++γ γ) )==+ +  +  +  = =  +  =
 d  d d  d d  d   d 

 a + ( b + c )   ( a + b) + c   a + b   c 
= = = +  =
 d   d   d  d 
  a   b   c 
=    +   +   = ( α + β ) + γ
  d   d   d 
„„ Elemento neutro
a
Sea un número racional α =  .
 a′ 
x
Se trata de determinar si existe un racional λ =   tal que α + λ = α = λ + α.
Si λ existe, se tendrá sustituyendo:  x′ 

a x a x a

 +  =   =  + 
 a′   x ′   a′   x ′   a′ 

10
 tema 5

matemáticas

(Por verificarse la propiedad conmutativa basta probar la existencia de λ por un

lado.) Operando con la primera igualdad:

 ax ′ + a′x   a 
  =   ⇒ a′ ( ax ′ + a′x ) = aa′x ′ ⇒ ax ′ + a′x = ax ′ ⇒ a′x = 0
 a′ x ′   a′ 
Y como es a’ ≠ 0, resulta x = 0. Luego, el elemento neutro de la suma es el nú-
mero cero definido en la proposición 2.
„„ Elemento simétrico
a
Sea un número racional α =  .
 a′ 
x
Se trata de determinar si existe un racional (–α) =  ,
 x′ 
llamado simétrico u opuesto de α, tal que α + (–α) = 0 = (–α) + α.
Si dicho número existe, se tendrá sustituyendo:
a   x  0  x  a 
 +  =   =  + 
 a′   x ′   m   x ′   a′ 

Por verificarse la propiedad conmutativa, basta probar la existencia por un lado.

Operando con la primera igualdad:

 ax ′ + a′x   0 
  =   ⇒ m( ax ′ + a′x ) = 0 ⇒ ax ′ + a′x = 0
 a′ x ′   m 

Como esta ecuación se satisface para x = –a, x’ = a’, resulta que el opuesto de:
a  a
α =   es ( α) =  
 a′   a′ 
 −a   a  a  a
Como  = , el opuesto de   suele representarse por − .
 a′   − a′   a′   a′ 
Por cumplirse las anteriores propiedades, resulta que el conjunto Q de los nú-
meros racionales es un grupo aditivo abeliano. Se representa (Q, +).
Entonces, dados dos números racionales α y β, por ser Q un grupo aditivo, la
ecuación α + x = β admite solución en Q, pues, sumando a los dos miembros de
la ecuación el racional (–α), opuesto de α, resulta:
(–α) + α + x = (–α) + β
O sea:
x = (–α) + β = β + (–α)
El número δ = β + (–α) se llama diferencia entre β y α y se representa por
β – α.
Es decir:
β – α = β + (–α).

11
tema 5

matemáticas

Fácilmente se deduce que la sustracción en Q es una operación interna, pero al

igual que sucede con la sustracción de números enteros, no verifica la propie-
dad conmutativa.
En términos de aplicación se puede definir:

−
 ×  →

( β, α) → β − α = β + ( − α)

12
 tema 5

matemáticas

3 Multiplicación de números racionales: propiedades

a b
Sean α =   y β =   dos números racionales cualesquiera.
a ' b '
Se define el producto de números racionales como una aplicación de:
 ×  

→
 a   b   ab 
( α, β) → α ⋅ β =   ⋅   =  
 a′   b′   a′ b′ 
Al igual que sucede en toda operación bien definida, la multiplicación de números
racionales verifica la uniformidad, es decir, el resultado no depende de los repre-
sentantes de los números racionales elegidos.
a1 b1
Demostración: sean: y otros representantes de los números racionales α y
β, respectivamente. 1′
a b1′

 a1   b1   a1 b1 
 ⋅   =  
 a1′   b1′   a1′ b1′ 
Y como: aa’1 = a’a1 y bb’1 = b’b1, resulta aa’1bb’1 = a’a1b’1,
o sea: (ab) · (a’1b’1) = (a’b’) · (a1b1)
De donde resulta que:

 ab   a1 b1  ; es decir,  ab   a1 b1 
    = 
 a′b′   a1′b1′   a′b′   a1′ b1′ 
lo que prueba que:

 a   b   a1   b1 
 ⋅   =  ⋅  
 a′   b′   a1′   b1′ 

XX Propiedades de la multiplicación en 

Además de la propiedad uniforme, como consecuencia de que la multiplicación

en Z es conmutativa y asociativa, podemos demostrar que en Q se verifica:
−− Interna: ∀ α, β ∈ Q ⇒ α · β ∈ Q.
−− Conmutativa: α · β = β · α, siendo α, β números racionales arbitraros.
Demostración:
a b
Sean los racionales: α =   ; β= 
 a′   b′ 
 a   b   ab   ba   b   a 
Se tiene: α ⋅ β =  ⋅   =  =  =  ⋅   = β⋅ α
 a′   b′   a′ b′   b′ a′   b′   a′ 

13
tema 5

matemáticas

„„ Asociativa
α · (β · γ) = (α · β) · γ, siendo α, β, γ números racionales arbitrarios.
Demostración:
a b c
Sean los racionales: α =  , β =  , γ =  
 a′   b′   c′ 
 a   b   c   a   bc   a(bc) 
α ⋅ ( β ⋅ γ ) =   ⋅    ⋅   =   ⋅  = =
 a ′    b ′   c ′   a ′   b ′ c ′   a ′ ( b ′ c ′ ) 

 ( ab)c   ab   c    a   b   c 
= = ⋅   =   a  ⋅  b  ⋅  c  = ( α ⋅ β ) ⋅ γ
 ( a ′ b ′ )c ′   a ′ b ′   c ′    ′   ′   ′ 

„„ Elemento neutro
a
Sea un número racional α =   .
 a′ 
x
Se trata de determinar si existe un racional µ =   tal que α · µ = α = µ · α.
 x′ 
Si µ existe, se tendrá:
 ax   a 
  =  .
 a′ x ′   a′ 
(Probamos su existencia por un lado, basándonos en la verificación de la pro-
piedad conmutativa).
Lo que exige que se cumpla: axa’ = a’x’a, o sea, x = x’
Luego, el elemento neutro del producto es el número definido en la
proposición 3.
„„ Elemento simétrico
a
Sea un número racional α =  .
 a′ 
x
Se trata de determinar si existe un racional α′ =   tal que α · α’ = 1 = α’ ·
α. Si α’ existe, se tendrá sustituyendo:  x′ 

 a   x  1  x   a   ax  1
 ⋅   =   =  ⋅   ⇒   =   ; ax = a′x ′
 a′   x ′  1  x ′   a′   a′x ′  1
Como esta ecuación se satisface para x = a’ y x’ = a, resulta que el simétrico,
llamado también inverso, de:

a  a′ 
α=  es: α′ =  
 a′  a

14
 tema 5

matemáticas

Se suele denotar el inverso de α por α–1. (Haciendo uso de la conmutativa,

es suficiente con probar la existencia por un lado.)

a
Luego, todo número racional α =   tiene simétrico excepto si a = 0,
 a′ 
 a′ 
pues si a = 0, la fracción   no pertenece a Z × Z0.
a
Así pues, todo elemento de , excepto el elemento nulo, tiene simétrico para
la multiplicación.
Por tanto, el conjunto 0 =  – {0} con la operación de multiplicar es un
grupo abeliano. Lo representaremos por (0, ·) o bien (*, ·) siendo * = 0.
Entonces, dados dos números racionales α y β, por ser 0 un grupo multiplicativo,
la ecuación αx = β con α = 0 admite solución en , pues multiplicando los dos
números de la ecuación por α–1, inverso de α, resulta:
α–1 αx = α–1 β = βα–1
El número δ = βα–1 se llama cociente de β por α y se representa por β : α.
Es ­decir:
β : α = β · α–1

a b
Si es α =   y β =   se tiene:
 a′   b′ 
 b   a   b   a ′   ba ′ 
β : α =   :   =  ⋅   =  
 b′   a ′   b′   a   b′ a 
Si relacionamos la multiplicación y adición de números racionales se verifica,
al igual que en (, ·), la propiedad distributiva:

α ( β + γ ) = αβ + αγ = ( β + γ )α ∀α , β , γ ∈ 

Demostración:
Sean los racionales:

a b c

α =  , β =  , γ =  
 a′   b′   c′ 
 a   b   c   a   bc′ + b′c 
α ⋅ ( β + γ ) =   ⋅    +   =   ⋅  =
 a ′    b ′   c ′   a ′   b ′ c ′ 

 abc′   abc′   ab′c   ab   ac 

= = + = + =
 a′ b′ c ′   a′ b′ c ′   a′ b′ c ′   a′ b′   a′ c ′ 
a b a c
=   ⋅   +   ⋅   = αβ + αγ = ( β + γ) ⋅ α
 a′   b′   a′   c ′ 

15
tema 5

matemáticas

Del mismo modo que se prueba que:

α · (β – γ) = αβ – αγ = (β – γ) · α; ∀ α, β, γ ∈ Q
expresión que simboliza la propiedad distributiva del producto respecto a la
diferencia de números racionales.

16
 tema 5

matemáticas

4 El cuerpo ordenado de los números racionales

4.1. Estructura de cuerpo: el cuerpo de los números

racionales (, +, ·)

Vamos a sintetizar las propiedades de  en relación a la adición (+) y multiplica-

ción (·), lo que nos permitirá dotar a  de una nueva estructura respecto a tales
operaciones.
Según hemos visto:
−− (, +): Grupo aditivo abeliano.
−− (0, ·): Grupo multiplicativo abeliano.
−− Se verifica la propiedad distributiva de (·) respecto a (+) (por ambos lados).
En virtud de ello, podemos garantizar que (, +, ·) es un cuerpo conmutativo.

4.2. Orden en 

Vamos a establecer una relación de orden total en .

a
Sea α =   ∈ .
b 
Diremos que α es racional positivo si a · b ∈ Z+. Asimismo, diremos que α es
negativo, si a · b α ∈ Z–. En caso contrario, esto es, a · b ∉ Z+, ni α es nulo, dire-
mos que es racional negativo.
Designamos por Q+ y Q–, respectivamente, los conjuntos racionales positivos y
negativos.
Veamos que esta definición no depende de los representantes elegidos.
Demostración:
a a′
Sea por ejemplo α un racional positivo, y sean y dos representantes.
b b′
a a′
Si α ∈ Q+, a · b ∈ Z+, y por ser y , entonces ab’ = ba’.
b b′
Por tanto:
ab’ (bb’) = ba’ (bb’) ⇒ ab (b’)2 = a’b’b2 ⇒ a’b’ ∈ Z+
Análogamente se desarrollaría en el caso de suponer α ∈ –.
Si un número racional α, distinto de cero, pertenece a Q+ escribiremos α > 0,
o su equivalente 0 < α , que se leen respectivamente α mayor que cero, cero menor
que α.
a
Sea un número racional α =   distinto de cero.
b 

17
tema 5

matemáticas

 −a 
Si α ∈Q+, entonces a y b son enteros del mismo signo y su opuesto ( − α) =  
pertenece a Q–, pues –a y b serán enteros de signo contrario. b 
Del mismo modo se pueba que si α ∈ Q–, entonces (–α) ∈ Q+.
En (Q, +, ·) la suma y producto de racionales positivos es otro racional positivo.
Demostración:

a c 
Sean α =   y β =   racionales positivos; entonces:
b  d 
a · b ∈ Z+, c · d ∈ Z+.
Por tanto:

 ad + bc 
α+ β =   ⇒ ( ad + bc)bd = abd + cbd ∈  ⇒ α + β ∈ 
2 2 + +
 bd 

 ac 
α ⋅ β =   ⇒ acbd ∈  + ⇒ α ⋅ β ∈  +
 bd 
Dados dos números racionales α y β, diremos que α es menor que β y se escribe
α < β si pertenece a Q+, es decir, si β – α > 0. Si α < β, se puede escribir también
β, > α y se lee β mayor que α.
Decimos que α es menor o igual que β, y se simboliza α ≤ β, si β – α > 0,
o si β – α = 0.
La relación ≤ es relación de orden.
Demostración:
Probemos que se verifican las propiedades de dicha relación (reflexiva, antisimé-
trica y transitiva).
a) Reflexiva: ∀α ∈  α ≤ α, puesto que α – α = 0.
b) Antisimétrica: [α ≤ β y β ≤ α] ⇒ α = β.
En efecto, si α ≤ β y β ≤ α será β – α ≤ 0 y α – β ≥ 0.
Como (β – α) + (α – β) = 0, resulta que el opuesto de β – α, es α – β, luego si
estos dos números, β – α y α – β, no fueran cero, serían uno positivo y otro
negativo, por ser números opuestos.
Así pues, será β – α = 0, o sea β = α.
c) Transitiva: [α ≤ β y β ≤ γ] ⇒ α ≤ γ.
En efecto: α ≤ β ⇒ β – α ≥ 0
⇒ (β – α) + (γ – β) ≥ 0
pues β ≤ γ ⇒ γ – β ≥ 0, y por la propiedad anterior
Pero: (β – α) + (γ – β) = β – α + γ – β = –α + γ = γ – α ≥ 0
o sea: γ – α ≥ 0, es decir, α ≤ γ

18
 tema 5

matemáticas

La relación ≤ así definida es, además, de orden total, ya que todos los números
racionales son comparables por dicha relación.
En efecto:

a  c 
Sean α =   y β =  
b  b 
dos números racionales, que podemos suponer con representantes con el mismo
denominador positivo. Por la relación de orden total en  se sigue que a ≤ c o c ≤
a de donde se sigue que α ≤ β o β ≤ α, respectivamente.
Luego  es un conjunto totalmente ordenado.
Consecuencias inmediatas de la relación de orden son:
1. Todo número positivo es mayor que cero: ∀ α ∈ Q+, α > 0.
En efecto, si α ∈ Q+ ⇒ α – 0 ∈ Q+ ⇒ α > 0.
2. Todo número negativo es menor que cero: ∀ α ∈ Q–, α < 0.
En efecto, si α ∈ Q– ⇒ α – 0 ∈ Q– ⇒ 0 – α ∈ Q+, α < 0.
3. Todo número negativo es menor que todo número positivo. Simbólica-
mente: ∀ α ∈ Q-, ∀ β ∈ Q+, ⇒ α < β.
En efecto: Si α ∈ Q–, ⇒ α < 0.
Si β ∈ Q+, ⇒ β ≥ 0 ⇒ 0 < β.
Aplicando la propiedad transitiva de la relación ≤ se deduce α < β.

4.3. Representación de 

Por ser  un conjunto totalmente ordenado, podemos representarlo como un

diagrama lineal o una cadena.
Para ello, sobre una recta se toma un punto 0 como origen, que representa al nú-
mero racional cero. Se elige un segmento u como unidad de longitud y se lleva
tanto a la derecha como a la izquierda de 0, una y otra vez.
Para representar números racionales que admitan de representante cualquier frac-
ción de denominador n, se divide el segmento u en n-divisiones iguales, por ejem-
plo por Thales, y al aplicar lo anterior, los puntos de división representan dichas
fracciones. Variando n ∈ * se obtienen todos los números racionales.
En esta representación lineal, todo número racional es mayor que todos los que
están a su izquierda y es menor que todos los que están a su derecha.

19
tema 5

matemáticas

4.4. Propiedades de la relación de orden en 

Citaremos las más utilizadas, limitándonos a demostrar alguna de las mismas.

a) La relación de orden es compatible con la suma.
Simbólicamente: si α ≤ β, ∀ γ ∈ ⇒ α + γ ≤ β + γ.
Demostración:
α ≤ β ⇒ β − α ≥ 0 ⇒ ( β + γ) = β − α ≥ 0
Si ( β + γ) − ( α + γ) ≥ 0 ⇒ α + γ ≤ β + γ

La compatibilidad de la relación de orden con la suma se generaliza de la

siguiente forma:
α≤ β
Si  ⇒ α + α′ ≤ β + β′

α′ ≤ β′ 

Demostración:
α ≤ β ⇒ α + α′ ≤ β + α′ 


α ≤ β′ ⇒ α′ + β ≤ β + β′ 

Por la propiedad transitiva de la relación ≤ se deduce α + α’ ≤ β’ + β, lo que

prueba la compatibilidad de la relación de orden ≤ con la adición.
b) La relación de orden ≤ no es compatible con el producto (sólo se conserva
si se multiplica por un número positivo). Simbólicamente:
 α ⋅ γ ≤ β ⋅ γ, si γ ∈  +
Si α ≤ β ⇒ 
 α ⋅ γ ≥ β ⋅ γ, si γ ∈ 
−

En virtud de las propiedades de la relación ≤ se dice que (Q, +, ·) es un cuerpo
ordenado totalmente.
c) Se verifica la propiedad arquimediana, es decir:
Si 0 < α < β ⇒ ∃ n ∈ / α n > β.
Esto significa que por pequeño que sea α, si consideramos la sucesión α, 2α,
3α, … llegará un momento que uno de sus términos (y por la propiedad transi-
tiva, todos los que le siguen) sobrepasará a β por muy grande que este sea.
Así (, +, ·, ≤) es un cuerpo ordenado arquimediano.
a c a a c c
d) Si < y α ∈ Q, tal que 0 ≤ α ≤ 1 se verifica: ≤ α ⋅ + (1 − α) ≤
b d b b d d
Demostración:
Decir: a c  c a  a c
< ⇒ −  >0⇒ −  <0
b d  d b  b d

20
 tema 5

matemáticas

Entonces (1):
a c  a c c c
α + (1 − α) = α  −  + ≤ , pues
b d  b d d d
 a c  a c
0 ≤ α y −  < 0 ⇒  −  < 0
 b d  b d
Demostremos ahora que:
a a c
≤ α + (1 − α)
b b d
Para ello hacemos: 1 – α = λ ⇒ α = 1 – λ ≥ 0.
Entonces, sustituyendo en (2):

a c a c  c a a a
α + (1 − α) = (1 − λ) + λ = λ  −  + ≤
b d b d  d b b b

a c  c a
pues, λ ≥ 0 y por hipótesis: < ⇒  −  > 0.
b d  d b
Enlazando (2) con (1), queda:
a a c c
≤ α + (1 − α) ≤ ; 0 ≤ α ≤ 1 y α ∈ 
b b d d

e) Entre dos números racionales existen infinitos números

racionales.
En efecto, existen tantos como hay en el intervalo [0, 1],
pues por la propiedad anterior:
a x c
0 ≤ α ≤ 1, y si ≤ ≤ al hacer
b y d
x a c  a c c
= α + (1 − α) = α  −  + ⇒
y b d  b d d
 a c  c x
−α  −  =  −  ⇒
 b d   d y
−1
 c x   −a c   c x   bd 
α =  −  ⋅ +  =  −  ⋅
 d y  b d  d y   − ad + bc 

1
En consecuencia, los racionales al ser 0 ≤ α ≤ 1 están
n
en el [0, 1]. 1
Es decir, todos los números están comprendidos entre 0 y 1.
n

21
tema 5

matemáticas

Esta propiedad se resume diciendo que el conjunto Q de los números raciona-

les es denso en toda la recta. Es decir, en todo intervalo, por pequeño que éste
sea, contiene infinitos números racionales.
f) No existe ningún número racional que sea menor que todos los demás ni
tampoco ninguno que sea mayor que todos.
En efecto:

a 
Sea α =   ∈  , donde podemos suponer que b>0.
b 

Entonces como a − 1 < a < a + 1 , se sigue que:

 a − 1  a   a + 1
 < < .
 b  b   b 

4.5. Valor absoluto de un número racional

a
Dado el número racional α representado por la fracción , llamamos valor
b
| a|
absoluto de α y lo representamos por |α|, a la fracción de números naturales .
| b|
a |a|
Es decir, si α =   representamos | α | = .
b  |b|
Propiedades: (son las mismas que se verifican en Z).
Vamos a enunciarlas, siendo sus demostraciones inmediatas.
∀ α, β ∈ 
1. |α| ≥ 0 y |α| = 0 ⇔ α = 0.
2. α ≤ |α| y si α ∈ Q+: α = |α|; si α ∈ Q–: –α = |α|.
3. |–α| = |α|.
4. –a ≤ α ≤ a ⇔ |α| ≤ a siendo a ∈ Q.
5. | α | − | β | ≤ | α + β | ≤ | α | + | β |
6. |α · β| = |α| · |β|.

4.6. El conjunto de números racionales es numerable

Puesto que un conjunto es numerable si se puede poner en correspondencia biyecti-

va con el conjunto N de los números naturales, para demostrar que el conjunto Q de
los números racionales es numerable bastará definir una biyección entre Q y N.
Para ello se representan los números racionales por sus representantes canónicos
y se ordenan atendiendo a la suma de los valores absolutos del numerador y de-

22
 tema 5

matemáticas

nominador, de tal forma que se aplicará el criterio ≤ para los que tengan el mismo
resultado (la misma suma de |a| + |b|).
Se obtiene así la siguiente sucesión de números racionales:
0 −1 1 −2 −1 1 2 −3 −1 1 3
; ; ; ; ; ; ; ; ; ; ; ...
1 1 1 1 2 2 1 1 3 3 1
De esta forma establecemos la biyección de Q en N sin más que ir asociando a
cada α ∈  de la sucesión anterior los valores naturales 0, 1, 2, 3... respectiva-
mente. Así queda probado que Q es numerable.
Se dice que el cardinal de los conjuntos numerables es ℵ0 (alef cero, primera letra
del alfabeto hebreo).

4.7. Inmersión de  en 

Veamos por último, en este apartado, que  es una ampliación efectiva de . Para
ello vamos a ver que existe un isomorfismo entre (, +, ·, ≤) y una parte de .
Definimos la aplicación:
φ:  → 
x
x→  
1 
Veamos que φ es un monomorfismo:
En efecto:
„„ Es homomorfismo
Sean a, b ∈  . Entonces:

 a + b   a  b 
φ ( a + b) =   =   +   = φ (a ) + φ (b)
 1  1  1 
 a ⋅b   a  b 
φ ( a ⋅ b) =   =   ⋅   = φ (a ) ⋅ φ (b)
 1  1  1 
„„ Es inyectiva
Sean a, b ∈  tales que φ (a ) = φ (b) .
Entonces:

 a  b 
  =   ⇒ a ⋅1 = 1 ⋅ b ⇒ a = b
1  1 
Además φ preserva el orden, pues si a, b ∈  con a ≤ b entonces φ (a ) ≤ φ (b) .

23
tema 5

matemáticas

55 Expresión decimal de los números racionales

Vamos a ver en este punto otra forma de representar los números racionales.
a
Sea α ∈  y sea su representante canónico.
b
Como a, b ∈ , b > 0 consideramos la división euclídea de a entre b.
Así ∃c0 ∈  : a = bc0 + r0 con 0 ≤ r0 < b .
Entonces:
−− Si r0 = 0 representaremos α por c0 que corresponde con su representación
entera.
−− Si r0 ≠ 0 repetimos el proceso con 10r0. Tendremos 10r0 = bc1 + r1 con
0 ≤ r1 < b .
Si r1 = 0 representaremos α por c0, c1. Si r1 ≠ 0 reiteramos el proceso con 10r1.
Puede ocurrir que:
−− ∃n ∈  : rn = 0 en cuyo caso la representación decimal de α se define como
*

la cadena c0 , c1c2  cm siendo m el primer entero positivo tal que rm = 0.

Diremos entonces que α es un número decimal exacto.
−− ∀n ∈  : rn ≠ 0
*
en cuyo tendremos que por ser ri enteros con
0 < ri < b ∀i ∈  deberán existir i, j ∈ , i ≠ j tales que ri = rj . Pero
entonces ci +1 = c j +1 y ri +1 = rj +1 y aparece así una sucesión de cocientes que
se repite una y otra vez.
{
Sean n = min i ∈  : ∃j ≠ i / ri = rj } y l = min {i ∈  : i > n, r = r } − n .
i n

Distinguimos dos casos:

n = 0, entonces la representación de α se define:

−− Si l = 1, como la cadena infinita c0 , c1c1  que se abrevia c0 , c1
−− Si l > 1 , como la cadena infinita c0 , c1c2  cl c1c2  cl  que se abrevia en
la forma c0 , c
1c2  cl
En ambos casos α recibe el nombre de número decimal periódico puro y a la
representación bajo el símbolo  se le llama periodo, cuya longitud es l.
n > 0 , entonces la representación de α se define:
−− Si l = 1, como la cadena infinita c0 , c1c2  cn cn +1cn +1cn +1  que se abrevia en
la forma c0 , c1c2  cn c
n +1 .

−− Si l > 1, como la cadena infinita c0 , c1c2  cn cn +1cn + 2  cn +l cn +1cn + 2  cn +l 

que se abrevia en la forma c0 , c1c2  cn c
n +1cn + 2  cn + l

En ambos casos α recibe el nombre de número decimal periódico mixto. A

la cadena c1c2  cn se le llama anteperiodo y a la representación bajo el
símbolo se le llama periodo, cuya longitud es l.

24
 tema 5

matemáticas

Debido a la unicidad de la división euclídea se cumple que la representación deci-

mal de un número racional no depende del representante elegido.
También se verifica el recíproco: dada una representación decimal como la de los
casos anteriores podemos encontrar una fracción que lo genere. Se cumple que
todas las fracciones que generan una de esa representaciones decimales son equi-
valentes por tanto existe una correspondencia biunívoca entre ambos conceptos.

25
tema 5

matemáticas

BIBLIOGRAFÍA
BIRKHOFF, MAC LANE: Álgebra moderna. Ed. Vicens-Vives. Barcelona, 1963.
GARCÍA GARCÍA, LÓPEZ PELLICER: Álgebra lineal y Geometría. Ed. Marfil. Alcoy, 1983.
ORTEGA: Introducción al Análisis Matemático. Ed. Labor. Cerdanyola, 1995.
QUEYSANNE: Álgebra básica. Ed. Vinces-Vives. Barcelona, 1975.
RUDIN: Principios de Análisis Matemático. Ed. McGraw-Hill. Madrid, 1987.

26
 tema 5

matemáticas

RESUMEN

Números racionales.

1.
1 Construcción de los números racionales
XX El conjunto  de los números racionales
En el conjunto  × 0 = {(a, b) / a ∈ , b ∈ 0 =  – {0} } de las fracciones se define una
clase clases de equivalencia cuyo conjunto cociente se denota por  (de quocient). En este
nuevo conjunto se definirán unas operaciones internas que le darán estructura de cuerpo.

2.
2 El grupo aditivo de los números racionales
XX Adición en : propiedades
Se define la adición y se demuestra que (, +) es un grupo abeliano.
a  b  a b '+ a ' b 
∀ α, β ∈ , α =   , β =   ⇒ α + β =  
a ' b '  a 'b' 

Propiedades:
−− Uniformidad.
−− Interna.
−− Conmutativa.
−− Asociativa.
−− Existencia de elemento neutro.
−− Existencia de elemento simétrico.
(, +): grupo aditivo de los números racionales.
Sustracción de números racionales:
−
 ×  →

( β, α) → β − α = β + ( − α)

3.
3 Multiplicación de números racionales: propiedades
Se define el producto de números racionales y se demuestra que esta operación confiere al
conjunto 0 =  – {0} estructura de grupo abeliano.

 ×  

→
 a   b   ab 
( α, β) → α ⋅ β =   ⋅   =  
 a′   b′   a′ b′ 

Ambas operaciones quedan relacionadas por la propiedad distributiva del producto res-
pecto la suma.

27
tema 5

matemáticas

Propiedades:
−− Uniforme.
−− Interna.
−− Conmutativa.
−− Asociativa.
−− Existencia de elemento neutro.
−− Existencia de elemento simétrico ∀a ∈ *.
(*, ·) grupo abeliano; (, ·) semigrupo conmutativo con elemento unidad.
Doble propiedad distributiva el producto respecto a la adición.

4.
4 El cuerpo ordenado de los números racionales

4.1. Estructura de cuerpo: el cuerpo de los números racionales (, +, ·)

Vamos a sintetizar las propiedades de  en relación a la adición (+) y multiplicación (·), lo
que nos permitirá dotar a  de una nueva estructura respecto a tales operaciones.
Según hemos visto:
−− (, +): Grupo aditivo abeliano.
−− (0, ·): Grupo multiplicativo abeliano.
−− Se verifica la propiedad distributiva de (·) respecto a (+) (por ambos lados).
En virtud de ello, podemos garantizar que (, +, ·) es un cuerpo conmutativo.

4.2. Orden en 
Se establece en  una relación de orden total.

4.3. Representación de 
Por ser  un conjunto totalmente ordenado, podemos representarlo como un diagrama
lineal o una cadena.

4.4. Propiedades de la relación de orden en 

Citamos las más importantes:
−− La relación de orden es compatible con la suma.
−− La relación de orden ≤ no es compatible con el producto.
−− Se verifica la propiedad arquimediana.
−− Entre dos números racionales existen infinitos números racionales.
−− No existe ningún número racional que sea menor que todos los demás ni tampoco
ninguno que sea mayor que todos.

28
 tema 5

matemáticas

4.5. Valor absoluto de un número racional

Se define el concepto de valor absoluto de un número racional y se estudian sus propie-
dades.
a
Dado el número racional α representado por la fracción llamamos valor absoluto de α
b
| a|
y lo representamos por |α|, a la fracción de números naturales .
| b|

4.6. El conjunto de números racionales es numerable

Para demostrar esto se define una biyección entre  y .

4.7. Inmersión de  en 
Se demuestra que  es una ampliación efectiva de .
Existe un isomorfismo entre (, +, ·, ≤) y una parte de .

5.
5 Expresión decimal de los números racionales
Se define la representación decimal de un número racional y se caracterizan estos a partir
de la misma.
−− Número decimal.
−− Número decimal periódico puro.
−− Número decimal periódico mixto.

29