Núme-

ros
Racio-
nales
Números Racionales Andrés Camilo
Martı́nez Vargas
Set Theory
Historia
Los números
racionales

Definiciones
Andrés Camilo Martı́nez Vargas Definición iniciales
Operaciones

Fundación Universitaria Konrad Lorenz Propiedades

Demostración

7 de mayo de 2019 Notación Usual

Continuación
propiedades

¿Los números
racionales son
numerables?

Bibliografı́a
Introducción Núme-
ros
Historia
Los números racionales
Racio-
nales
Definiciones Andrés Camilo
Martı́nez Vargas
Definición iniciales
Operaciones Historia
Los números
racionales
Propiedades Definiciones
Definición iniciales
Operaciones
Demostración
Propiedades

Demostración
Notación Usual
Notación Usual

Continuación propiedades Continuación

propiedades

¿Los números
¿Los números racionales son numerables? racionales son
numerables?
Bibliografı́a Bibliografı́a
Los números racionales Núme-
Las matemáticas nacieron independientemente en las ros
antiguas civilizaciones que poblaron la tierra. Las Racio-
necesidades sociales y económicas en cada comunidad nales
impulsaron el desarrollo de sistemas numéricos. Andrés Camilo
Martı́nez Vargas
Fueron los babilonios y egipcios quienes utilizaron los
Historia
racionales, intuitivamente, inicialmente. Los números
racionales

Por ejemplo: Definiciones

Definición iniciales
I Los babilónicos utilizaban fracciones cuyo denominador Operaciones

Propiedades
era una potencia de 60.
Demostración
I Los egipcios usaron, sobre todo, las fracciones con Notación Usual
numerador igual a 1. En la escritura, la fracción la Continuación
propiedades
expresaban con un óvalo, que significaba parte o
¿Los números
partido, y debajo, o al lado, ponı́an el denominador racionales son
numerables?
No fue hasta finales del siglo XIX y XX que se formalizó el Bibliografı́a

conjunto de números racionales.

Definición de cociente Núme-
ros
Racio-
nales
Andrés Camilo
Definición 1) Un par ordenado (a, b) ∈ Z × (Z \ {Ø}) se Martı́nez Vargas

llamará cociente. Historia

Los números
racionales
Un cociente se llamara positivo si a · b es un número entero
Definiciones
positivo. Definición iniciales
Operaciones

Propiedades
(a, b) b 6= 0 (1) Demostración

Notación Usual

Continuación
propiedades

¿Los números
racionales son
numerables?

Bibliografı́a
Relación ∼q Núme-
ros
Racio-
Introducimos una relación con el conjunto de todos los nales
cocientes por Andrés Camilo
Martı́nez Vargas

(a, b) ∼ (c, d) ⇔ ad = bc (2) Historia

q Los números
racionales

Note que esta relación tiene la propiedad Definiciones

Definición iniciales
Operaciones

(ac, bc) ∼ (a, b) ⇔ abc = abc si c 6= 0 (3) Propiedades

q
Demostración
Lema 1 Notación Usual

La relación en Z × (Z \ {Ø}) descrita por ∼, es una relación Continuación

q propiedades
de equivalencia. ¿Los números
racionales son
numerables?

Bibliografı́a
Relación ∼q Núme-
ros
DEMOSTRACIÓN:
Racio-
I Reflexiva
Como ab = ba, por la propiedad conmutativa en los
nales
Andrés Camilo
enteros, entonces (a, b) ∼ (a, b). Martı́nez Vargas
q
I Simétrica Historia
Los números
Supongamos (a, b) ∼ (c, d), entonces ad = bc o lo que racionales
q Definiciones
es lo mismo, por la propiedad conmutativa en los Definición iniciales
Operaciones
enteros, cb = da. Luego (c, d) ∼ (a, b). Propiedades
q
Demostración
I Transitiva
Notación Usual
Supongamos (a, b) ∼ (c, d) y (c, d) ∼ (e, f ), entonces
q q Continuación
propiedades
ad = bc y cf = de con lo que adf = bcf , luego
¿Los números
adf = bde y por la propiedad de cancelación de los racionales son
numerables?
enteros af = be. Ası́, (a, b) ∼ (e, f ). 4
q Bibliografı́a
Números racionales Núme-
ros
Definición 2) Un número racional es una clase de Racio-
equivalencia módulo ∼. nales
q
Andrés Camilo
El número racional determinado por el cociente x será Martı́nez Vargas

representado por Historia

Los números
racionales
[x]q (4) Definiciones
Definición iniciales

[x]q se llamará positivo si y sólo si contiene un cociente Operaciones

Propiedades
positivo.
Demostración

El conjunto de todos los números racionales positivos es Notación Usual

denotado por Q+ Continuación

propiedades

Por ejemplo: ¿Los números

racionales son
[(1, 2)]q = {(1, 2), (2, 4), (3, 6), (4, 8), ...} numerables?

Bibliografı́a
Números racionales Núme-
ros
Racio-
nales
Andrés Camilo
Martı́nez Vargas

Historia
Los números
racionales

Definiciones
Definición iniciales
Operaciones

Propiedades

Demostración

Notación Usual

Continuación
propiedades

¿Los números
racionales son
numerables?

Bibliografı́a
Operaciones Núme-
ros
Racio-
Lema 2) Sean [(a, b)]q y [(c, d)]q números racionales, nales
entonces: Andrés Camilo
Martı́nez Vargas

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

Historia
b) [(a, b)]q · [(c, d)]q = [(ac, bd)]q Los números
racionales

Definiciones
son operaciones binarias de suma y producto en el conjunto Definición iniciales
Operaciones
de todos los números racionales, Q.
Propiedades

DEMOSTRACIÓN: Demostración

Notación Usual
a) Si [(a, b)]q , [(c, d)]q ∈ Q, entonces b 6= 0 6= d, con lo
Continuación
cual bd 6= 0, que implica [(ad + bc, bd)]q ∈ Q. propiedades

¿Los números
racionales son
numerables?

Bibliografı́a
Operaciones Núme-
ros
Racio-
a) Sean (x, y ) ∼ (a, b) y (u, v ) ∼ (c, d). Probaremos que
q q nales
(xv + yu, yv ) ∼ (ad + bc, bd). Andrés Camilo
q Martı́nez Vargas

Como (x, y ) ∼ (a, b) y (u, v ) ∼ (c, d) entonces xb = ya Historia

q q Los números
y ud = vc luego xbvd = ayvd y udyb = vcyb. racionales

Definiciones
Ası́, al sumar ambas equivalencias obtenemos Definición iniciales
Operaciones
xbvd + udyb = ayvd + vcyb lo cual es equivalente a Propiedades
(xv + uy )(bd) = (ad + cb)(vy ). Demostración

De esta manera, (xv + uy , vy ) ∼ (ad + cb, bd). 4 Notación Usual

q
Continuación
propiedades
b) Si [(a, b)]q , [(c, d)]q ∈ Q, entonces b 6= 0 6= d, con lo ¿Los números
cual bd 6= 0, que implica [(ac, bd)]q ∈ Q. racionales son
numerables?

Bibliografı́a
Operaciones Núme-
ros
Racio-
b) Ahora sean (x, y ) ∼ (a, b) y (u, v ) ∼ (c, d).Probaremos nales
q q
que (xu, yv ) ∼ (ac, bd). Andrés Camilo
Martı́nez Vargas
q

Historia
Como (x, y ) ∼ (a, b) y (u, v ) ∼ (c, d) entonces xb = ya Los números
q q racionales
y ud = vc. Definiciones
Ası́, al multiplicar ambas equivalencias obtenemos Definición iniciales
Operaciones

xb · ud = ya · vc lo cual es equivalente a Propiedades

(xu)(bd) = (ac)(vy ). Demostración

Luego (xu, vy ) ∼ (ac, bd). Notación Usual

q
Continuación
propiedades
Con lo cual las propiedades de suma y producto no dependen
¿Los números
de los representantes de las clases. 4 racionales son
numerables?

Bibliografı́a
Números racionales enteros Núme-
ros
Definición 3) Racio-
Definamos aq = [(a, 1)]q
nales
Ahora, sea f una función de Z en Q definida de la siguiente Andrés Camilo
Martı́nez Vargas
manera {(a, aq ) : a ∈ Z}. Note que f es inyectiva:
Historia
Los números
Sea f (a1 ) = f (a2 ) → [(a1 , 1)]q = [(a2 , 1)]q → (a1 , 1) ∼ racionales
q
Definiciones
(a2 , 1) → a1 = a2 4 Definición iniciales
Operaciones

Puesto que Propiedades

Demostración

aq + bq = (a + b)q (5) Notación Usual

Continuación
aq · b1 = (ab)q (6) propiedades

¿Los números
racionales son
las operaciones de suma y producto son preservadas bajo numerables?
está función. Bibliografı́a
Números racionales enteros Núme-
ros
Racio-
Note que la imagen aq de a es un racional positivo si y sólo nales
Andrés Camilo
si a es positivo. Esto ultimo implica que si <q es definida en Martı́nez Vargas
términos de los racionales positivos entonces <q es un orden
Historia
lineal en Q+ . Los números
racionales
Además, tenemos que para a, b ∈ Z Definiciones
Definición iniciales
Operaciones
a <i b ⇔ aq <q bq (7)
Propiedades

Demostración
Ası́, f es un isomorfismo de orden.
Notación Usual
Finalmente, a los elementos aq los llamaremos números Continuación
racionales enteros. propiedades

¿Los números
racionales son
numerables?

Bibliografı́a
Propiedades Núme-
ros
Teorema 1) Racio-
Las operaciones de suma y multiplicación para los números
racionales, junto con 0q , 1q y el conjunto de los racionales
nales
Andrés Camilo
positivos Q+ , tienen las siguientes propiedades para Martı́nez Vargas

racionales cualesquiera x, y, z: Historia

Los números
1) x + (y + z) = (x + y ) + z. racionales

Definiciones
2) x + y = y + x. Definición iniciales
Operaciones
3) x + 0q = x. Propiedades

4) Existe un z ∈ Q tal que x + z = 0; más aún, z es único Demostración

y es denotado por -x. Notación Usual

Continuación
5) x(yz) = (xy )z. propiedades

6) xy = yx. ¿Los números

racionales son
numerables?
7) 1q · x = x.
Bibliografı́a
Propiedades Núme-
ros
8) Si x 6= 0q entonces existe z ∈ Q tal que xz = 1; más Racio-
aún, z es único y es denotado por x −1 .
nales
9) x(y + z) = xy + xz. Andrés Camilo
Martı́nez Vargas
10) 1q 6= 0q .
11) Si x, y ∈ Q+ , entonces x + y ∈ Q+ . Historia
Los números
racionales
12) Si x, y ∈ Q+ , entonces xy ∈ Q+ . Definiciones
Definición iniciales
13) Exactamente uno de los siguiente enunciados se cumple: Operaciones

Propiedades
x ∈ Q+ x = 0q − x ∈ Q+ Demostración

Notación Usual
14) −(x + y ) = −x − y Continuación
propiedades
15) (−x)y = −(xy )
¿Los números
racionales son
16) (−x)(−y ) = xy numerables?

17) x ∈ Q+ , y ∈
/ Q+ → xy ∈
/ Q+ Bibliografı́a
Propiedades Núme-
ros
Racio-
18) La relación <q dada por
nales
x <q y ⇔ y − x ∈ Q+ , Andrés Camilo
Martı́nez Vargas

es un orden lineal estricto y tiene las siguientes Historia

propiedades: Los números
racionales

i) x es positivo si y sólo si 0q <q x. Definiciones

Definición iniciales
ii) El cuadrado de un racional diferente de 0 es positivo. Operaciones

iii) Para cada pareja de racionales x, y se cumple Propiedades

únicamente una de las siguientes propiedades: Demostración

Notación Usual
x <q y , x =y y <q x Continuación
propiedades
iv) x <q y si y sólo si x + z <q y + z, para todo z ∈ Q. ¿Los números
v) 01 <q z entonces x <q y si y sólo si xz <q yz. racionales son
numerables?

Bibliografı́a
Simplificación Núme-
ros
Racio-
La siguiente cadena de igualdades muestra que cada racional nales
Andrés Camilo
puede ser escrito en términos de números racionales enteros. Martı́nez Vargas

Historia
Los números
racionales
[(a, b)]q = [(a, 1)]q · [(1, b)]q (8)
Definiciones
= [(a, 1)]q · [(b, 1)]−1
q (9) Definición iniciales
Operaciones

= aq · bq−1 (10) Propiedades

Demostración

Para llegar a la notación común se deja de usar el subı́ndice Notación Usual

’q’ y se dice que aq · bq−1 = ba . Continuación

propiedades

¿Los números
racionales son
numerables?

Bibliografı́a
Simplificación Núme-
ros
Racio-
nales
De está manera, al usar la notación anterior tanto las Andrés Camilo
Martı́nez Vargas
operaciones de suma y producto como la igualdad quedan
como sigue: Historia
a c ad + bc Los números
racionales
+ ⇔ (11)
b d bd Definiciones
Definición iniciales
a c ac Operaciones
· ⇔ (12)
b d bd Propiedades

a c Demostración
= ⇔ ad = bc (13) Notación Usual
b d
Continuación
propiedades

¿Los números
racionales son
numerables?

Bibliografı́a
Propiedades Núme-
ros
Racio-
Teorema 2) nales
Entre dos racionales distintos cualesquiera hay otro número Andrés Camilo
Martı́nez Vargas
racional.
Historia
DEMOSTRACIÓN Los números
racionales
Sean x, y ∈ Q tales que x <q y . Es suficiente probar que Definiciones
Definición iniciales
x +y Operaciones
x <q <q y (14) Propiedades
2
Demostración

Para la primera desigualdad observe que por la propiedad Notación Usual

(18)(iv) tenemos x + x <q x + y entonces 2x <q x + y . Continuación

propiedades
Luego x <q x+y x+y
2 . Análogamente, sucede con 2 <q y . 4 ¿Los números
racionales son
numerables?

Bibliografı́a
Propiedades Núme-
ros
Racio-
nales
Teorema 3) Andrés Camilo
Martı́nez Vargas
Si r , s ∈ Q+ , entonces existe un entero positivo n(n = nq )
Historia
tal que s <q nr . Los números
racionales

DEMOSTRACIÓN Definiciones

Sean r = ba y s = dc , donde a, b, c, d ∈ N \ Ø. Si n es un Definición iniciales

Operaciones

entero positivo, entonces s <q nr si y sólo si bc <q nad. Si Propiedades

seleccionamos n = bc, como 1 ≤ ad, la desigualdad se Demostración

satisface. 4 Notación Usual

Continuación
propiedades

¿Los números
racionales son
numerables?

Bibliografı́a
Propiedades Núme-
ros
Definición 4) Racio-
Se define la función valor absoluto, | · | : Q → Q, como nales
Andrés Camilo
Martı́nez Vargas
(
x si x ≥ 0
|x| = Historia
-x si x ¡ 0 Los números
racionales

Definiciones
para cada x ∈ Q Definición iniciales
Operaciones

Teorema 4) Para cualesquiera x, y ∈ Q, tenemos: Propiedades

a) |x| ≥ 0. Demostración

Notación Usual
b) |xy | = |x||y |. Continuación
propiedades
c) |x + y | ≤ |x| + |y |.
¿Los números
d) ||x| − |y || ≤ |x − y |. racionales son
numerables?

Bibliografı́a
¿Los números racionales son numerables? Núme-
ros
Racio-
Teorema 5)
nales
Sea X un conjunto numerable y sea f : X → Y sobreyectiva Andrés Camilo
entonces Y es numerable. Martı́nez Vargas

Teorema 6) Historia
Los números
Sea A, B conjuntos numerables entonces A × B es racionales

Definiciones
numerable. Definición iniciales
Operaciones
Teorema 7) Propiedades
La unión de una familia numerable de conjuntos numerables Demostración

es numerable. Notación Usual

Continuación
Las demostraciones quedan al lector o en en su defecto se propiedades

encuentran en la bibliografı́a 3 (Teorema 4 Corolario 2, 3, 4) ¿Los números

racionales son
numerables?

Bibliografı́a
¿Los números racionales son numerables? Núme-
ros
-¿El conjunto Q es numerable?.
Racio-
nales
Sea Z∗ = Z − {Ø} y sea f : N → Z∗ una función a trozos Andrés Camilo
definida de la siguiente manera. Martı́nez Vargas

( Historia
n
2 si n = 2n Los números
n→ n+1
racionales

− 2 si n = 2n + 1 Definiciones
Definición iniciales
Operaciones

Sea a ∈ Z∗ entonces a = n ∨ a = −n con n ∈ N. Propiedades

Demostración
Ahora, si 2n ∈ N entonces f (2n) = 2n
2 = n = a y si Notación Usual
2n − 1 ∈ N entonces f (2n − 1) = − 2n−1+1
2 = −n = a. Continuación
propiedades
Por lo tanto, f es sobreyectiva y como N es numerable ¿Los números
entonces, por el teorema 5, tenemos que Z∗ es numerable. racionales son
numerables?

Bibliografı́a
¿Los números racionales son numerables? Núme-
ros
Note que Z = {Ø} ∪ Z∗ . Como {Ø} es numerable y Z∗ es
Racio-
numerable entonces, por el teorema 7, su unión va a ser
numerable. Ası́, Z es numerable. nales
Andrés Camilo
De esta manera, como los conjuntos Z y Z∗ son numerables Martı́nez Vargas

entonces, por el teorema 6, su producto cartesiano será Historia

numerable, es decir, Z × Z∗ es numerable. Los números
racionales

Definiciones
Ahora, sea h : Z × Z∗ → Q entonces a cada (a, b) → a
b con Definición iniciales
Operaciones
b 6= 0.
Propiedades
a
Sea x ∈ Q entonces x = b con b 6= 0. Demostración

Notación Usual
Tomamos (a, b) ∈ Z × Z∗ , luego h(a, b) = a
b = x. Continuación
propiedades
Por lo tanto, h es sobreyectiva. ¿Los números
racionales son
Finalmente como h es sobreyectiva y Z × Z∗
es numerable numerables?

entonces, por el teorema 5. Q es numerable. 4 Bibliografı́a

Bibliografı́a Núme-
ros
Racio-
nales
Andrés Camilo
Martı́nez Vargas

(1) Fernando H. H.(1998). Teoria de conjunto Historia

Los números
(2) Karel H., Thomas J. (1999). Introduction to racionales

Definiciones
set theory Fernandez Definición iniciales
(3) Elon L. L. (1997). Análisis Real Volumen 1 Operaciones

Propiedades

Demostración

Notación Usual

Continuación
propiedades

¿Los números
racionales son
numerables?

Bibliografı́a