Capítulo 1

Sistemas Algebraicos

Se introducen los conceptos básicos de sistemas algebraicos generales que

serán usados en la construcción de los sistemas de números naturales, enteros,
racionales y reales. El contenido de este capítulo fue tomado de [1], [2] y [3].

1.1. Relaciones
El término relación, en uno de sus usos coloquiales describe algún vínculo
entre personas, v.g., la simpatía por una persona. Pongamos que para el grupo
de personas G = {Tania, Víctor} se conocen todas las simpatías: Tania siente
simpatía por Tania; Víctor siente simpatía por Tania; Víctor siente simpatía por
Víctor. Si estamos interesados en describir relaciones, necesitamos una notación
adecuada; cuando la persona a “tiene simpatía por” la persona b, escribimos aΘb.
Con esta notación las simpatías del conjunto G se representan: VíctorΘTania,
VíctorΘVíctor y TaniaΘTania; aclarando que VíctorΘTania no es lo mismo que
TaniaΘVíctor. Si bien la notación parece adecuada, es un hecho que no hemos
logrado identificar las relaciones de simpatía como objeto matemático. Obsérvese
que no es adecuado identificar la relación aΘb con {a, b}, debido a que no hay
diferencia entre {a, b} y {b, a}, mientras que aΘb y bΘa tienen diferente significado.

Definición 1.1.1. Sean a y b objetos arbitrarios. Se denota con (a, b) al conjunto

{{a}, {a, b}} y se le llaman pareja ordenada con primer componente a y segundo
componente b.

Teorema 1.1.1. Sean a, b, c y d objetos arbitrarios. Entonces (a, b) = (c, d) si y

sólo si a = c y b = d.

1
2 CAPÍTULO 1. SISTEMAS ALGEBRAICOS

Demostración. Suponga (a, b) = (c, d). Entonces {{a}, {a, b}} = {{c}, {c, d}},
lo que determina {a} = {c} y {a, b} = {c, d}. Por lo tanto a = c y b = d. Para
deducir el reciproco sólo hace falta seguir los argumentos en orden inverso.

Se observa que la afirmación {a, b} = {b, a} es siempre verdadera, mientras

que (a, b) = (b, a) se cumple sólo cuando a = b; es por esto el concepto de
pareja ordenada viene bien para describir relaciones. Por ejemplo, la relación
VíctorΘTania se representa con la pareja ordenada (Víctor, Tania), y reciprocamente
(Víctor, Tania) significa que Víctor siente simpatía por Tania. Con esta notación
la relación Θ se representa con el conjunto

Θ := {(Tania, Tania), (Víctor, Tania), (Víctor, Víctor)}.

Se observa que Tania no está relacionada con Víctor pues la pareja (Tania, Víctor)
no es elemento de Θ.

Definición 1.1.2. Sean A y B conjuntos. El producto cartesiano de A con B,

denotado por A × B, es el conjunto de parejas ordenadas con primer componente
en A y segundo componente en B, es decir,

A × B := {(a, b)|a ∈ A, b ∈ B}.

Cuando A = ∅ o B = ∅, se tiene A × B = B × A = ∅. En general, A × B ̸=

B × A, excepto en cuando A = B o A = ∅ o B = ∅. Se observa que la relación
Θ es subconjunto del producto cartesiano G × G, lo que motiva la definición
siguiente.

Definición 1.1.3. Sean A y B conjuntos. Una relación R de A en B es un subconjunto

del producto cartesiano A × B. Cuando A = B se dice simplemente que R es
una relación sobre A. Un elemento a del conjunto A se dice relacionado con un
elemento b del conjunto B, cuando la pareja ordenada (a, b) es elemento de R y
se escribe aRb o (a, b) ∈ R.

Definición 1.1.4. Sea R una relación de A en B. El conjunto {a ∈ A|(a, b) ∈

R para algún b ∈ B} se denomina dominio de R y se denota por dom(R); el
conjunto B se llama codominio de R.

El dominio de la relación simpatía Θ es G y el codominio es también G.

1.1. RELACIONES 3

Ejemplo 1.1.1. Sean A := {♠, ♣, ♡, ♢} y B := {♯, ∗}. Se consideran los conjuntos

R1 := {(♠, ♯), (♣, ∗), (∗, ♢)};

R2 := {(♣, ♯), (♣, ∗), (♡, ♯)} y
R3 := {(♯, ♡), (♯, ♣), (♯, ♢), (∗, ♢), (∗, ♡)}.

El conjunto R1 no es una relación de A en B, pues R1 no es subconjunto de A×B,

y tampoco es una relación de B en A, ya que R1 no es subconjunto de B × A; el
conjunto R2 es una relación de A en B, porque R2 es subconjunto de A × B; el
conjunto R3 es una relación de B en A, pues R3 ⊆ B × A.

Definición 1.1.5. Sea R una relación de A en B; sean C subconjunto de dom(R)

y D subconjunto de B. Se llama imagen directa de C bajo R al conjunto {b ∈
B|(a, b) ∈ R para algún a ∈ C}, y se denota por R(C). Se denomina rango de
R a la imagen del dominio bajo R, y se denota por ran(R), es decir, ran(R) =
R(dom(R)). Se denomina imagen inversa de D bajo R al conjunto {a ∈ A|(a, b) ∈
R para algún b ∈ D} y se denota por R−1 (D).

El dominio de la relación R de A en B es el conjunto de todas las primeras

coordenadas de pares ordenados en R, y el rango de R es el conjunto de todas
las segundas coordenadas. Por definición dom(R) ⊆ A y ran(R) ⊆ B. Para
conjuntos singulares, esto es, conjuntos conformados por sólo un elemento, digamos
{a}, se escribe R(a) en lugar de R({a}) y se escribe R−1 (a) en lugar de R−1 ({a}).

Definición 1.1.6. Una relación R de A en B se dice función si y sólo si todo

elemento de A está relacionado con un único elemento de B, es decir, la relación
R es una función de A en B si satisface

(a) dom(R) = A;

(b) si (a, b) ∈ R y (a, c) ∈ R, entonces b = c.

Una función f con dominio A y codominio B se denota por f : A → B.

La relación simpatía Θ no es una función, pues (Víctor, Víctor) ∈ Θ y (Víctor,

Tania) ∈ Θ, es decir, el elemento Víctor del dominio está relacionado con dos
elementos del codominio.

Definición 1.1.7. Sea R una relación sobre el conjunto A.

(a) Se dice que la relación R es reflexiva si para todo a ∈ A, aRa.

4 CAPÍTULO 1. SISTEMAS ALGEBRAICOS

(b) Se dice que la relación R es simétrica si para todo a, b ∈ A; si aRb entonces

bRa.
(c) Se dice que R es transitiva si para todo a, b, c ∈ A; si aRb y bRc entonces
aRc.
(d) Se dice que R es tricotómica si para todo a, b ∈ A, se cumple una y sólo
una de las afirmaciones: aRb, bRa, a = b.
(e) Se dice que R es antireflexiva si para todo a ∈ A, (a, a) ∈
/ R.
(f) Se dice que R es antisimétrica si para todo a, b ∈ A; si aRb y bRa entonces
a = b.
(g) Se dice que R tiene la propiedad de comparabilidad si para todo a, b ∈ A,
si a ̸= b entonces aRb o bRa.
Ejemplo 1.1.2. La relación menor o igual que sobre R, denotada por ≤, es
reflexiva, antisimétrica, transitiva y tiene la propiedad de comparabilidad.
La relación menor que sobre R, denotada por <, es transitiva, antireflexiva,
tricotómica y tiene la propiedad de comparabilidad. Además, para todo a, b ∈ R,
nunca se cumple a < b y b < a, siguiéndose por vacuidad que < es antisimétrica.
En efecto, debido a que el antecedente es falso, la condicional “si a < b y b < a
entonces a = b” es verdadera para todo a, b ∈ R.
Ejemplo 1.1.3. Sobre N la relación divide es reflexiva y transitiva. Además es
fácil demostrar la condicional “si a divide a b y b divide a a entonces a = b” por lo
cual, la relación divide es antisimétrica. Por otra parte, la relación divide no tiene
la propiedad de comparabilidad, ya que los números 3 y 5 no son comparables,
es decir, 3 no divide a 5 y 5 no divide a 3. La relación divide no es antireflexiva,
pues es reflexiva.
Aunque la relación divide es antisimétrica sobre N, esta no es antisimétrica
sobre Z, pues −6|6 y 6| − 6, pero −6 ̸= 6.
Ejemplo 1.1.4. Sea P(X) el conjunto potencia de X. La inclusión, denotada
por ⊆, es una relación reflexiva y transitiva sobre P(X), además es también
antisimétrica, pues A ⊆ B y B ⊆ A implica A = B. Excepto en el caso en
que X es singular o vacío, la inclusión no tiene la propiedad de comparación.
Por ejemplo, si X := {1, 2, 3, 4, 5}, entonces {1, 4} y {1, 5} son elementos de
P(X) que no son comparables, pues {1, 4} ̸⊆ {1, 5} y {1, 5} ̸⊆ {1, 4}.
Por otra parte, la relación inclusión estricta ⊂ sobre P(X) es antireflexiva, transitiva
y antisimétrica.
1.2. RELACIONES DE EQUIVALENCIA Y PARTICIONES 5

1.2. Relaciones de equivalencia y particiones

Cuando se quiere analizar alguna característica en los elementos de un conjunto,
en ocasiones definir una relación de equivalencia permite cambiar el análisis elemento
a elemento por un análisis en subconjuntos de elementos, dichos conjuntos deben
satisfacer propiedades mínimas.

Definición 1.2.1. Una familia A de subconjuntos de A, se llama partición de A,

si satisface:

(a) si X ∈ A, entonces X ̸= ∅;

(b) si X, Y ∈ A, entonces X = Y o X ∩ Y = ∅;
S
(c) X∈A X = A.

Ejemplo 1.2.1. Para cada entero positivo p, la colección {C0 , . . . , Cp−1 } de conjuntos
Cr := {np + r : n ∈ Z} para r ∈ {0, 1, . . . , n − 1}, forma una partición de Z. En
efecto, cada conjunto Cr es no vacío, pues está conformado por los enteros con
residuo r al dividirse entre p;

(i) Ci ∩ Cj = ∅ cuando i ̸= j y
Sp−1
(ii) i=0 Ci = Z.

La partición {C0 , . . . , Cp−1 } de Z se denomina partición en clases residuales

módulo p. En particular, para p = 2, la clase residual C0 es el conjunto de
números pares; la clase residual C1 es el conjunto de números impares y claramente
forman la partición {C0 , C1 } de Z.

Definición 1.2.2. Una relación R sobre un conjunto no vacío A se dice relación

de equivalencia si es reflexiva, simétrica y transitiva. Para cada a ∈ A, el conjunto
a/R := {b ∈ A : aRb} se denomina clase de equivalencia de a determinada por
R o clase de a módulo R. Se denota por A/R a la colección {a/R : a ∈ A} de
clases de equivalencia módulo R.

Cuando no hay peligro de confusión, una clase de equivalencia a/R también

se denotan como a o [a]. Una partición A del conjunto no vacío A, induce una
relación sobre A definida mediante: aRb si y sólo si a y b pertenecen a un mismo
elemento de la partición A.
6 CAPÍTULO 1. SISTEMAS ALGEBRAICOS

Teorema 1.2.1. Sea R la relación inducida por una partición A del conjunto A.
Entonces R es una relación de equivalencia sobre A.
Demostración. Sean a, b y c elementos arbitrarios de A. Como A es una partición
de A, se tiene A = ∪F ∈A F y a ∈ A. Entonces existe E ∈ A tal que a ∈ E ⊆ A.
Por lo tanto, aRa y se sigue que R es reflexiva. Suponga que aRb, entonces a
y b pertenecen a un mismo elemento de la partición A, por lo cual se cumple
también bRa. Por lo tanto, R es simétrica. Supóngase aRb y bRc. Entonces a y b
pertenecen a un conjunto X ∈ A, así como, b y c pertenecen a un mismo conjunto
Y ∈ A, por lo cual, b pertenece a X ∩ Y . Luego, X ∩ Y ̸= ∅, concluyendo que
X = Y , por ser A partición de A. Entonces a y c pertenecen a un mismo elemento
de la partición A, por lo cual aRc. Por lo tanto, R es transitiva.
Teorema 1.2.2. Sea R una relación de equivalencia sobre un conjunto no vacío
A. Entonces, para todo a, b ∈ A,
(i) a/R ⊆ A y a ∈ a/R.
(b) aRb si y sólo si a/R = b/R.
̸ b si y sólo si a/R ∩ b/R = ∅.
(c) a R
Se sigue que toda clase de equivalencia es un subconjunto no vacío de A;
la unión de todas las clases de equivalencia es igual al conjunto A y dos clases
de equivalencia son ajenas o son iguales. Por lo tanto, la colección de clases de
equivalencia, A/R, forman una partición de A.
Teorema 1.2.3. (a) Toda partición A del conjunto A induce una relación de
equivalencia R sobre A tal que A/R = A.
(b) Toda relación de equivalencia R sobre A induce una partición de A, a saber,
A/R.
Ejemplo 1.2.2. Para todo a, b ∈ Z, se define la relación R, mediante: aRb si y
sólo si a + b es un entero par. La relación R sobre Z es una relación reflexiva,
simétrica y transitiva, por lo cual, R es una relación de equivalencia. Se identifican
las clases de equivalencia
0/R := {a : a es entero par } y
1/R := {b : b es entero impar }.
El conjunto Z módulo R, denotado por Z/R, está conformado por dos elementos,
el conjunto de enteros pares y el conjunto de enteros impares, que resulta ser la
partición en clases residuales módulo 2, presentada en el Ejemplo 1.2.1.
1.2. RELACIONES DE EQUIVALENCIA Y PARTICIONES 7

Ejemplo 1.2.3. Se considera el conjunto A := {2, 5, 6, 7} y las relaciones R :=

{(2, 5), (5, 6), (2, 6), (7, 7)} y T := {(2, 6), (5, 6)} sobre A. Como 5 ∈ A, pero
5 ̸ R5, la relación R no es reflexiva; así mismo, como 6 ∈ A, pero 6 ̸ T 6, la
relación T no es reflexiva. La relación R no es simétrica, pues 2R5, pero 5 ̸ R2;
de la misma forma, T no es simétrica porque 2T 6, pero 6 ̸ T 2. Sin embargo,
tanto R como T son transitivas. Se concluye que ni R ni T son relaciones de
equivalencia.
Ejemplo 1.2.4. Se define W := {(x, y) ∈ Z × Z : 0 < xy}. La relación W sobre
Z, no es reflexiva, pues (0, 0) ̸∈ W ; es simétrica, ya que por la conmutatividad del
producto en Z, cuando 0 < xy, también 0 < yx, es decir, cuando xRy también
yRx. Supóngase que xRy y yRz, es decir, 0 < xy y 0 < yz. Entonces 0 < y 2 xz
y como 0 < y 2 , se sigue que 0 < xz, teniéndose xRz. Así la relación W es
transitiva. Se concluye que la relación W no es una relación de equivalencia.
Ejemplo 1.2.5. Para el conjunto S = {2, 5}, se considera la relación T =
{(2, 2), (2, 5), (5, 2), (5, 5)}. Entonces T es reflexiva simétrica y transitiva, por
lo cual, T es una relación de equivalencia.
Definición 1.2.3. Sea p un entero positivo fijo. Para cada a, b ∈ Z, se dice que a
es congruente con b módulo p y se escribe a ≡ b(mod p), si y sólo si p divide a
(a − b). El número p se denomina módulo de congruencia.
Teorema 1.2.4. Para todo entero positivo p, la relación de congruencia módulo
p es una relación de equivalencia sobre Z.
Demostración. Se considera un entero positivo p fijo. Sean a, b y c elementos
de Z. Como p divide a 0 = a − a, se sigue que a ≡ a(mod p), y así R es
reflexiva. Supógase a ≡ b(mod p), es decir, p divide a (a − b). Luego p divide a
(b−a) y se sigue que la relación de congruencia módulo p es simétrica. Supóngase
a ≡ b(mod p) y b ≡ c(mod p), es decir, p divide a (a − b) y p divide a (c − b).
Entonces p divide a (a − c) = (a − b) + (b − c) concluyéndose que a ≡ c(mod p).
Por lo tanto, la relación de congruencia módulo p es transitiva.
La colección de clases de equivalencia para la relación de congruencia módulo
p se denota por Zp .
Teorema 1.2.5. Sea p un entero positivo fijo. Entonces
(a) para cada par de enteros a y b, a ≡ b(mod p) si y sólo si el residuo de
dividir a entre p es igual al residuo de dividir b entre p;
8 CAPÍTULO 1. SISTEMAS ALGEBRAICOS

(b) la colección de clases de equivalencia Zp consiste de p diferentes clases de

equivalencia, a saber, Zp = {0, 1, . . . , p − 1}.

La relación inducida por la partición por clases residuales, presentada en el

Ejemplo 1.2.1, coincide con la relación de congruencia módulo p, y reciprocamente,
la relación de congruencia módulo p induce la partición para Z por clases residuales.

1.3. Relaciones de orden

Para un estudiante de licenciatura el concepto de orden formar parte de su
naturaleza debido su experiencia hasta el momento adquirida, pues dicho concepto
surge de abstraer las propiedades esenciales del proceso de ordenar los elementos
de un conjunto. Por ejemplo, ordenar alfabéticamente una lista de nombres, ordenar
por su estatura a un conjunto de niños, ordenar por su volumen a una colección de
rocas, etc.
En esta sección, se denota con A a un conjunto no vacío y con R una relación
sobre A.

Definición 1.3.1. La relación R es un orden parcial si y sólo si R es reflexiva,

antisimétrica y transitiva. Un conjunto dotado con un orden parcial se denomina
conjunto parcialmente ordenado.

Ejemplo 1.3.1. La relación “menor o igual que” sobre los números naturales N,
denotada por el símbolo ≤, es una relación de orden parcial sobre N.

Ejemplo 1.3.2. Se sigue del Ejemplo 1.1.4 que el conjunto potencia P(X) de X
dotado con la relación de inclusión, ⊆, es un conjunto parcialmente ordenado.

Ejemplo 1.3.3. Sea T la relación sobre N definida mediante; lT m si y sólo si

l + m es par y l ≤ m. Entonces T es un orden parcial.

Demostración. Sea l ∈ N. Entonces l + l = 2l es par y l ≤ l, así lT l. Por lo tanto,

T es reflexiva. Sean l y m elementos de N y supóngase lT m y mT l. Entonces
l + m es par, l ≤ m y m ≤ l. Por la antisimetría de ≤ sobre N, se obtiene l = m,
siguiéndose que T es antisimétrica. Sean l, m y n elementos de N y supóngase
que lT m y mT n. Entonces l y m tienen la misma paridad; m y n tienen la misma
paridad; l ≤ m y m ≤ n. Se sigue que l y n tienen la misma paridad y por la
transitividad de ≤ se tiene l ≤ n, esto es, lT n. Por lo tanto, T es transitiva.
1.3. RELACIONES DE ORDEN 9

Teorema 1.3.1. Sea R un un orden parcial sobre un conjunto A y xRx1 , x1 Rx2 ,

x2 Rx3 , . . . , xn Rx, entonces x = x1 = x2 = x3 = . . . = xn .
Demostración. Se demuestra por inducción sobre el número de elementos n.
Supóngase xRx1 y x1 Rx. Por la antisimetría de R, se obtiene x = x1 lo que
demuestra la afirmación para n = 1. Ahora suponga que para que la afirmación es
cierta para algún natural k ∈ N ; si xRx1 , x1 Rx2 , x2 Rx3 , . . . , xk Rx, entonces x =
x1 = x2 = x3 = . . . = xk . Demostraremos que la afirmación es también cierta
para k + 1 elementos. Sean x, x1 , x2 , x3 , . . . , xk , xk+1 elementos de A. Supóngase

xRx1 , x1 Rx2 , x2 Rx3 , . . . , xk Rxk+1 , xk+1 Rx. (1.1)

Enfocando las dos últimas relaciones xk Rxk+1 y xk+1 Rx, la transitividad de R

implica xk Rx. Luego xRx1 , x1 Rx2 , x2 Rx3 , . . . , xk Rx, y por la hipótesis de
inducción, x = x1 = x2 = x3 = . . . = xk . Ahora xRxk+1 y xk+1 Rx, y por
antisimetría se sigue x = xk+1 . Por lo tanto, x = x1 = x2 = x3 = . . . = xk =
xk+1 .
Definición 1.3.2. Sea R un orden parcial sobre el conjunto A y sean a y b elementos
de A, con a ̸= b. Se dice que a es un predecesor inmediato de b si y sólo si aRb y
no existe c ∈ A tal que a ̸= c, b ̸= c, aRc y cRb.
En otras palabras, a es un predecesor inmediato de b cuando aRb y no existe
otro elemento entre a and b.
Ejemplo 1.3.4. Se considera el conjunto potencia P(X) del conjunto X :=
{1, 2, 3, 4, 5}, con la relación de orden parcial ⊆. El conjunto ∅ ∈ P(X) no
tiene predecesor inmediato; El conjunto X ∈ P(X) tiene como predecesores
inmediatos a {2, 3, 4, 5}, {1, 3, 4, 5}, {1, 2, 4, 5}, {1, 2, 3, 5} y {1, 2, 3, 4}; El conjun
to ∅ es predecesor inmediato de cualquier subconjunto singular de X; Si bien
{1} ⊆ {1, 2, 3}, se hace notar que {1} no es predecesor inmediato de {1, 2, 3} ya
que {1} = ̸ {1, 2}, {1} ⊆ {1, 2} y {1, 2} ⊆ {1, 2, 3}.
Definición 1.3.3. Sea A un conjunto parcialmente ordenado por R, sea B un
subconjunto de A y a elemento de A. Se dice que a es una cota superior para B si
y sólo si bRa para todo b ∈ B. Se dice que a es una cota inferior para B si y sólo
si aRb para todo b ∈ B.
Ejemplo 1.3.5. Para el subconjunto
√ [1, 4) de R con el orden usual ≤, algunas
cotas superiores son 345, 2 753, 4,000001 y 4. Mientras que algunas cotas inferiores
para [1, 4) son -27, -12, 0.9999 y 1.
10 CAPÍTULO 1. SISTEMAS ALGEBRAICOS

Ejemplo 1.3.6. Se considera el conjunto potencia P(X) para X := {1, 2, 3,

4, 5, 6, 7, 8}, dotado con el orden parcial ⊆. Se considera también B := {{4, 7},
{1, 4, 5, 7}, {1, 2, 4, 7, 8}} elemento de P(X). El conjunto {1, 2, 3, 4, 5, 6, 7, 8} es
una cota superior de B debido a que

{1, 4, 5, 7} ⊆ {1, 2, 3, 4, 5, 6, 7, 8},

{1, 2, 4, 7, 8} ⊆ {1, 2, 3, 4, 5, 6, 7, 8} y
{4, 7} ⊆ {1, 2, 3, 4, 5, 6, 7, 8}.

De las inclusiones

{4, 7} ⊆ {4, 7},

{4, 7} ⊆ {1, 4, 5, 7} y
{4, 7} ⊆ {1, 2, 4, 7, 8},

se concluye que el conjunto {4, 7} es una cota inferior de B.

Cotas superiores de B: {1, 2, 3, 4, 5, 6, 7, 8}, {1, 2, 4, 5, 6, 7, 8}, {1, 2, 3, 4, 5, 7, 8},
{1, 2, 4, 5, 7, 8}.
Cotas inferiores para B: {4, 7}, {4}, {7} y ∅.
Definición 1.3.4. Sea A un conjunto parcialmente ordenado por R, sea B un
subconjunto de A y a ∈ A. Se dice que a es una mínima cota superior para B,
denominada supremo y denotada por sup(B), si y sólo si
(i) a es una cota superior para B y
(ii) aRx para toda cota superior x de B.
Se dice que a es una máxima cota inferior para B, denominada ínfimo y denotada
por ı́nf(B), si y sólo si
(i) a es una cota inferior para B y
(ii) xRa para toda cota inferior x de B.
Se considera el conjunto R con el orden usual ≤. Los subconjuntos {1, 4},
(1, 4) y [1, 4] de R, tienen como supremo a 4 y como ínfimo a 1. Otros ejemplos:
sup {5} = 5, ı́nf {5} = 5;
sup {1, 6, 3, 9, 12, −4, 10} = 12, ı́nf {1, 6, 3, 9, 12, −4, 10} = −4;
sup {2k : k ∈ Z+ } no existe , ı́nf {2k : k ∈ Z+ } = 2;
sup {2−k : k ∈ Z+ } = 21 , ı́nf {2−k : k ∈ Z+ } = 0.
1.3. RELACIONES DE ORDEN 11

Teorema 1.3.2. Sea A un conjunto parcialmente ordenado por R y sea B ⊆ A.

Entonces si sup(B) existe, este es único. Así mismo, siı́nf(B) existe, este es único.

Definición 1.3.5. Sea A un conjunto parcialmente ordenado por R y y B un

subconjunto de A. Si el supremo para B existe y es un elemento de B, este es
denominado elemento máximo de B. Si el ínfimo para B existe y es un elemento
de B, este se denomina elemento mínimo de B.

Como consecuencia en un conjunto parcialmente ordenado si el máximo (o

mínimo) de un subconjunto existe, este es único. Un concepto más básico que
elemento mínimo (o elemento máximo) es el elemento minimal (o elemento maximal)
y surge del hecho que un conjunto parcialmente ordenado no siempre tiene la
propiedad de comparabilidad.

Definición 1.3.6. Sea R un orden parcial sobre un conjunto A, y B un subconjunto

de A. Un elemento m de B se denomina elemento minimal de B si y sólo si no
existe un elemento x de B tal que x ≤ m. Un elemento M de B se denomina
elemento maximal de B si y sólo si no existe un elemento x ∈ B tal que M ≤ x.

Se observa que en un conjunto parcialmente ordenado un elemento mínimo es

siempre un elemento minimal, pero el reciproco puede ser falso.

Ejemplo 1.3.7 (continuación del ejemplo 1.3.6.). Para X := {1, 2, 3, 4, 5, 6, 7, 8},

se considera el conjunto potencia P(X) dotado con el orden parcial ⊆ y B :=
{{1, 4, 5, 7}, {1, 2, 4, 7, 8}, {4, 7}} subconjunto de P(X). De acuerdo con Ejemplo
1.3.6, las cotas superiores de B son:

{1, 2, 3, 4, 5, 6, 7, 8}, {1, 2, 4, 5, 6, 7, 8}, {1, 2, 3, 4, 5, 7, 8}, {1, 2, 4, 5, 7, 8};

y las cotas inferiores de B son:

{4, 7}, {4}, {7}, ∅.

Directamente se verifican las inclusiones

{4, 7} ⊆ {4, 7},

{4} ⊆ {4, 7},
{7} ⊆ {4, 7},
∅ ⊆ {4, 7}.
12 CAPÍTULO 1. SISTEMAS ALGEBRAICOS

Por lo cual ı́nf(B) = {4, 7} y como ı́nf(B) es elemento de B, el conjunto {4, 7}

es también elemento mínimo de B.
Similarmente, las inclusiones

{1, 2, 4, 5, 7, 8} ⊆ {1, 2, 3, 4, 5, 6, 7, 8},

{1, 2, 4, 5, 7, 8} ⊆ {1, 2, 4, 5, 6, 7, 8},
{1, 2, 4, 5, 7, 8} ⊆ {1, 2, 3, 4, 5, 7, 8},
{1, 2, 4, 5, 7, 8} ⊆ {1, 2, 4, 5, 7, 8},

implican que sup(B) = {1, 2, 4, 5, 7, 8}. Como sup(B) no es elemento de B, se

sigue que B no tiene elemento máximo.
Por otra parte, tanto {1, 4, 5, 7} como {1, 4, 7, 8} son elementos maximales de B
y únicamente {4, 7} es elemento minimal de B.

En el resto de la sección esta dedicada al análisis del concepto de orden lineal

(o total) y su relación con el orden parcial.

Definición 1.3.7. La relación R es un orden lineal u orden total si y sólo si R es

antireflexiva, tricotómica y transitiva. Un conjunto dotado con un orden lineal se
llama conjunto linealmente (o totalmente) ordenado.

La relación “menor que” sobre los números naturales N, denotada por el símbolo
<, es antireflexiva, tricotómica y transitiva, por lo cual es una relación de orden
lineal.

En un conjunto linealmente ordenado, por la propiedad de comparabilidad,

un elemento es minimal si y sólo si es un elemento mínimo. Por lo anterior, en
conjuntos linealmente ordenados no se usa el concepto de elemento minimal.

Una relación R sobre A induce otra relación Rb sobre A, denominada relación

estricta, mediante: aRb si y sólo si aRb y a ̸= b. Note que la relación estricta R
b b
es siempre antireflexiva. Además, si R es antisimétrica y transitiva, entonces R
b es
transitiva. En efecto, suponga que aRb
b y bRc,
b es decir,

aRb, bRc, a ̸= b y b ̸= c. (1.2)

Supóngase a = c, entonces (1.2) se reescribe, aRb, bRa y a ̸= b. La antisimetría

de R lleva a la contradicción, a = b y a ̸= b; concluyéndose a ̸= c. Así aRc,
a ̸= c y se sigue aRc.
b Por lo tanto, R
b es transitiva.
1.3. RELACIONES DE ORDEN 13

Teorema 1.3.3. Si R es un orden parcial sobre A con la propiedad de comparabilidad,

entonces la relación estricta R
b inducida por R es un orden lineal sobre A.

Demostración. Para demostrar que R b es un orden lineal, sólo falta probar que R
es tricotómica; para tal propósito, sean a, b ∈ A, arbitrarios. En el caso a ̸= b,
como todos los elementos de A son comparables bajo R, se cumple aRb o bRa;
y como R es antireflexiva se cumple sólo una de dichas condiciones. Ahora en el
caso a = b, debido a que R es antireflexiva, (a, b) ∈/ R y (b, a) ∈/ R. En ambos
casos se cumple una y sólo una de las condiciones: aRb, bRa, a = b. Por lo tanto,
R es tricotómica.

Una relación R sobre A induce otra relación R sobre A, denominada relación

flexible definida mediante: aRb si y sólo si aRb o a = b. Note que la relación
flexible R es siempre reflexiva. Además, si R es transitiva, entonces R es también
transitiva. En efecto, sean a, b, c ∈ A, con aRb y bRc. Se identifican los casos:

aRb ∧ bRc; aRb ∧ b = c; a = b ∧ bRc y a = b ∧ b = c.

Para el caso, aRb y bRc, se cumple aRc debido a la transitividad de R. En el caso,

aRb y b = c, así como en el caso a = b y bRc, se sigue directamente que aRc. En
el último caso, a = b y b = c, se cumple a = c. En todos los casos se afirma aRc
o a = c, es decir, aRc. Por lo tanto, R es transitiva.

Teorema 1.3.4. Si R es un orden lineal sobre A, entonces la relación flexible R

es un orden parcial sobre A con la propiedad de comparabilidad.

Demostración. Sean a, b ∈ A y suponga aRb y bRa. Entonces, por leyes de

morgan, se cumple

aRb ∧ bRa o aRb ∧ b = a o a = b ∧ bRa o a = b,

Luego la tricotomía de R reduce los cuatro casos en uno: a = b. Por lo tanto, R

es antisimétrica.
Ahora se demuestra que todos los elementos de A son comparables bajo R; para
tal propósito, sean a, b ∈ A. Suponga a ̸= b, entonces por la tricotomía de R se
cumple una y sólo una de las condiciones: aRb, bRa. Luego, si a ̸= b entonces
aRb o bRa, pero no ambos. Ahora suponga que a = b, por la tricotomía de R, se
sigue a ̸ Rb, b ̸ Ra. Así a ̸= b y a ̸ Rb o a ̸= b y b ̸ Ra, es decir, a ̸ Rb y b ̸ Ra.
Concluyendo que bajo R todos los elementos de A son comparables R.
14 CAPÍTULO 1. SISTEMAS ALGEBRAICOS

Corolario 1.3.1. Si R es un orden parcial sobre A con la propiedad de comparabilidad,

entonces R
b
= R. Si R es un orden lineal sobre A, entonces R b = R.

Es en virtud del Teorema 1.3.3 y el corolario anterior el por qué algunos

autores definen orden lineal como un orden parcial bajo el cual son comparables
todos los elementos del conjunto (ver [4]).
Definición 1.3.8. Sea A un conjunto linealmente ordenado sobre un conjunto A.
Se dice que el conjunto A es bien ordenado si todo subconjunto no vacío B de
A tiene un elemento mínimo. Si el conjunto A con el orden lineal, L, es bien
ordenado, se dice que el orden L ordena bien al conjunto a A o que L es una
buena ordenación sobre A.
Teorema 1.3.5 (Principio del buen orden). Todo conjunto puede ser bien ordenado.

1.4. Sistemas algebraicos

Para abstraer el concepto de operación de situaciones conocidas, se recurre a
la suma de números enteros: a cada pareja de enteros (a, b) se le asigna un nuevo
entero, a + b, denominado la suma de a con b. Una operación sobre el conjunto
S se puede pensar como una máquina con dos puertos; al suministrar en el puerto
1 un elemento a y en el puerto 2 un elemento b, la máquina + produce un nuevo
elemento a+b de S, es decir, al alimentar la máquina con la pareja ordenada (a, b)
produce a + b.
Definición 1.4.1. Sea S un conjunto no vacío. Una operación sobre S es una
función Θ con dominio en un subconjunto D de S × S y codominio en S, es decir,
Θ : D → S. Se dice que el conjunto S es cerrado bajo la operación Θ si el dominio
de Θ es todo S × S, en este caso, a la operación Θ se le llama función binaria
sobre S.
En algunos contextos es de utilidad ampliar el concepto de operación a funciones
T heta con dominio en un subconjunto D de S y codominio en S, en este caso,
cuando el dominio es todo S a la operación Θ se le llama función unaria sobre S.
Definición 1.4.2. Un sistema algebraico es un conjunto S dotado con una o
más operaciones y posiblemente una o más relaciones de orden lineales. Un
sistema algebraico se representa por (S; Θ1 , . . . , Θn ; R1 , . . . , Rm ) donde S es un
conjunto no vacío; para cada i = 1, . . . , n, Θi es una operación sobre S y para
cada j = 1, . . . , m, Rj es un orden lineal sobre S.
1.4. SISTEMAS ALGEBRAICOS 15

Entonces (S; Θ1 , . . . , Θn ) representa un sistema algebraico sin relaciones de

orden y (S; ; R1 , . . . , Rm ) representa un sistema algebraico sin operaciones.
Ejemplos de sistemas algebraicos: (Z; +), (Z; ·), (Z; +, ·), (Z; +; <), (Z; ·; <),
(Z; +, ·; <) y (Z; ; <), donde + y · son las operaciones de adición y producto
usuales y < es el orden usual en los números enteros.
Ejemplo 1.4.1. Sea S := {n ∈ N : n = 2 o n es impar} y sea ⊕ la adición
usual de enteros restringida al conjunto D := {(a, b) ∈ S × S : a = 2 y b ̸=
2, o bien, a ̸= 2 y b = 2}. Entonces ⊕ es una operación sobre S, y el sistema
algebraico (S; ⊕) no es cerrado bajo la operación ⊕, pues (0, 0) ∈
/ D.
Ejemplo 1.4.2. Se considera T := {a, b, c, d} y D := {(a, b), (a, c), (a, d), (b, c),
(b, d)} subconjunto de T × T . La operación Λ : D → T definida por Λ :=
{((a, b), a), ((a, c), a), ((a, d), a), ((b, c), b), ((b, d), b)}. Se afirma que Λ es una
operación sobre T , pues su dominio D es subconjunto de T × T . Además T no es
cerrado bajo la operación Λ, pues (a, a) ∈ / D.
Definición 1.4.3. Sea Θ una operación sobre S bajo la cual es cerrado.
(a) Se dice que Θ es conmutativa si para todo a, b ∈ S,

Θb = bΘa.

(b) Se dice que Θ es asociativa si para todo a, b, c ∈ S,

aΘ(bΘc) = (bΘa)Θc.

(c) Se dice que Θ se distribuye por la izquierda sobre Λ, si para todo a, b, c ∈ S,

aΘ(bΛc) = (aΘb)Λ(aΘc).

Se dice que Θ se distribuye por la derecha sobre Λ, si para todo a, b, c ∈ S,

aΛ(bΘc) = (aΛb)Θ(aΛc).

(d) Se dice que Θ se distribuye sobre Λ, si Θ se distribuye sobre Λ por la

izquierda y por la derecha.

(e) Un elemento e de S se denomina neutro o identidad para la operación Θ si,

para todo a ∈ S,
eΘa = aΘe = a.
16 CAPÍTULO 1. SISTEMAS ALGEBRAICOS

(f) Suponga que el sistema algebraico (S, Θ) tiene un elemento neutro e ∈ S.

Sea a un elemento de S.

(i) Un elemento b de S se llama inverso por la izquierda para a si

aΘb = e.

(ii) Un elemento b de S se llama inverso por la derecha para a si

bΘa = e.

(iii) Un elemento b de S se llama inverso de a para la operación Λ, si es

a la vez inverso por la izquierda e inverso por la derecha para a, es
decir,
aΘb = bΘa = e.

Teorema 1.4.1. Sea (S; Θ) un sistema algebraico cerrado bajo la operación Θ.

Si existe un elemento neutro para la operación Θ, este es único.

Demostración. Suponga que α y β son neutros para la operación Θ. Entonces, en

particular, se cumple

β = αΘβ, debido a que α es neutro;

α = αΘβ, debido a que β es neutro.

Por lo tanto, α = αΘβ = β.

Ejemplo 1.4.3. Se considera el conjunto U := {1, −1, i, −i} y la operación Υ :

U × U → U , determinada con la tabla siguiente:

Υ 1 −1 i −i
1 1 −1 i −i
−1 −1 1 −i i
i i −i −1 1
−i −i i 1 −1

Entonces (U ; Υ) es un sistema algebraico cerrado bajo la operación Υ. La operación

Υ puede interpretarse como el producto en los números complejos restringida al
conjunto U × U .
1.5. ISOMORFISMOS ENTRE SISTEMAS ALGEBRAICOS 17

Ejemplo 1.4.4. Sea D = {(a, b) ∈ Z × Z : b < a}, donde < es el orden usual
en los enteros. Sea Θ : D → Z la operación definida para cada (a, b) ∈ D como
la solución Θ(a, b) a la ecuación lineal a = b ⊕ x, donde ⊕ es la adición usual
en los enteros restringida a D. El sistema algebraico (Z; Θ) no es cerrado bajo
la operación Θ, pues D ̸= Z × Z.

Para concluir esta sección se identifican la clase de sistemas algebraicos más

básicos, advirtiendo los diferentes usos de la terminología.

Definición 1.4.4. (a) Un sistema algebraico (G; ◦) se denomina grupoide si la

operación es binaria, es decir, si G es cerrado bajo la operación.

(b) Un grupoide (G; ◦) se denomina semigrupo si la operación ◦ es asociativa.

(c) Un semigrupo cuya operación es conmutativa se denomina semigrupo conmutativo.

Con esta terminología el Teoremas 1.4.1 se puede reescribir.

Teorema 1.4.2. Un grupoide (G; ◦) contiene a lo más un elemento neutro para la

operación ◦.

1.5. Isomorfismos entre sistemas algebraicos

En ocasiones se deben investigar dos o más sistemas algebraicos. Con el propósito
de economizar esfuerzos o incluso por elegancia en la investigación, primero se
debe indagar si los sistemas son, en esencia los mismos, en cuyo caso se dirá que
los sistemas son isomorfos, y la tarea se reduce a analizar sólo uno ellos.

Definición 1.5.1. Una función φ : S → T es inyectiva si φ(a) = φ(b) implica

a = b. La función φ se dice suprayectiva si para todo t ∈ T existe s ∈ S tal que
f (s) = t. Se dice que la función φ : S → T es biyectiva cuando es inyectiva y
suprayectiva.

Definición 1.5.2. Sean (S; Θ) y (T ; Λ) sistemas algebraicos sin orden lineal. Una
función φ : S → T se dice isomorfismo de (S; Θ) en (T ; Λ) si satisface:

(a) φ es biyectiva;

(b) para todo a, b ∈ S, la operación aΘb está definida si y sólo si la operación

φ(a)Λφ(b) está definida;
18 CAPÍTULO 1. SISTEMAS ALGEBRAICOS

(c) para todo a, b ∈ S, se cumple φ(aΘb) = φ(a)Λφ(b).

Cuando existe un isomorfismo de (S; Θ) en (T ; Λ), se dice que sistemas son
isomorfos y se escribe (S; Θ) ≈ (T ; Λ).
Sean (S; ; R1 ) y (T ; ; R2 ) sistemas algebraicos sin operación. Una función φ :
S → T se dice isomorfismo de (S; ; R1 ) en (T ; ; R2 ) si satisface:
(a) φ es biyectiva;

(b) Para todo a, b ∈ S, aR1 b si y sólo si φ(a)R2 φ(b).

Cuando existe un isomorfismo de (S; ; R1 ) en (T ; ; R2 ), los sistemas se dicen
isomorfos y escribimos (S; ; R1 ) ≈ (T ; ; R2 ).
Los sistemas (S; Θ; R1 ) y (T ; Λ; R2 ) se dicen isomorfos si existe una función φ :
S → T tal que es un isomorfismo de (S; Θ) en (T ; Λ) y también es un isomorfismo
de (S; ; R1 ) en (T ; ; R2 ).
Ejemplo 1.5.1. Se considera S := {a, b, c, d} y T := {1, −1, i, −i}. Se definen
(S; Θ) y (T ; ⊗) con operaciones definidas por las tablas:
Θ a b c d ⊗ 1 -1 i −i
a a b c d 1 1 -1 i −i
b b a d c -1 -1 1 −i i
c c d b a i i −i -1 1
d d c a b −i −i i 1 -1
Para demostrar que ambos sistemas son isomorfos se define f : S → T mediante
f (a) = 1, f (b) = −1, f (c) = i, f (d) = −i. Entonces la propiedad (a) se cumple
porque f es biyectiva y la propiedad (b) se cumple porque ambos sistemas son
cerrados bajo las operaciones. Además, se cumplen las relaciones

f (aΘa) = f (a) = 1 = 1⊗1 = f (a) ⊗ f (a)

f (aΘb) = f (b) = −1 = 1 ⊗ −1 = f (a) ⊗ f (b)
f (aΘc) = f (c) = i = 1⊗i = f (a) ⊗ f (c)
f (aΘd) = f (d) = −i = 1 ⊗ −i = f (a) ⊗ f (d)
f (bΘb) = f (a) = 1 = −1 ⊗ −1 = f (b) ⊗ f (b)
f (bΘc) = f (d) = −i = −1 ⊗ i = f (b) ⊗ f (c)
f (bΘd) = f (c) = i = −1 ⊗ −i = f (b) ⊗ f (d)
f (cΘc) = f (b) = −1 = i⊗i = f (c) ⊗ f (c)
f (cΘd) = f (a) = 1 = i ⊗ −i = f (c) ⊗ f (d)
f (dΘd) = f (b) = −1 = −i ⊗ −i = f (d) ⊗ f (d)
1.5. ISOMORFISMOS ENTRE SISTEMAS ALGEBRAICOS 19

Las relaciones que falta verificar se siguen de la conmutatividad de las operaciones

Θ y ⊗.
Ejemplo 1.5.2. Se considera el conjunto de los números reales positivos R+ con
las operaciones usuales producto y adición en los números reales restringida a
R+ , denotadas por · y +, respectivamente. Entonces (R+ , ·) ≈ (R, +). En efecto,
para cada a ∈ R+ , la función loga : R+ → R, es biyectiva y para cada x, y ∈ R+ ,
se satisface loga (x · y) = loga (x) + loga (y). Por lo tanto, para cada a ∈ R+ , la
función loga es un isomorfismo de (R+ , ·) en (R, +). Se concluye de este ejemplo
que los isomorfismos no son únicos.
Ejemplo 1.5.3. Se consideran los sistemas algebraicos (S; Θ) y (T ; Λ), donde
S := {0, 1, 2} y T := {a, b, c} y las operaciones Θ : S ×S → S y Λ : T ×T → T
definidas por las tablas siguientes:
Θ 0 1 2 Λ a b c
0 0 1 2 a a b c
1 1 2 0 b b c a
2 2 0 1 c c a b
La operación Θ coincide con la suma módulo 3, es decir, para cada a, b ∈ S,
aΘb es igual al residuo al dividir a + b entre 3, donde + es la suma usual en los
enteros. La función f : S → T , definida mediante f (0) = a, f (1) = b y f (2) = c,
es un isomorfismo de (S; Θ) en (T ; Λ).
Ejemplo 1.5.4. Se consideran los conjuntos S := {0, 1} y T := {a, b}, dotados
con las operaciones Υ : S × S → S y Ψ : T × T → T definidas mediante las
tablas siguientes:
Υ 0 1 Ψ a b
0 0 0 y a a a
1 1 1 b a b
Se afirma que los sistemas (S; Υ) y (T ; Ψ) no son isomorfos. Para demostrar esto
se debe probar que ninguna función biyectiva f : T → S es isomorfismo (ver
Definición 1.5.2). Se observa que sólo hay dos biyecciones de T en S: f (a) =
0, f (b) = 1 o bien f ′ (a) = 1, f ′ (b) = 0; y se prueba ninguna de éstas es
isomorfismo. En efecto,
̸
f (bΨa) = f (a) = 0 = 1 = 1Υ0 = f (b)Υf (a);
′ ′
f (bΨa) = f (a) = 1 = ̸ 0 = 0Υ1 = f ′ (b)Υf ′ (a).
Esto demuestra que los sistemas (S; Υ) y (T ; Ψ) no son isomorfos.
20 CAPÍTULO 1. SISTEMAS ALGEBRAICOS

Ejemplo 1.5.5. Sea S = {α, β, γ, δ} y T = {∗, #, @, &} y defínase los ordenes

lineales R y R′ sobre S y T , respectivamente, por las cadenas: αRβ, βRγ, γRδ;
∗R′ #, #R′ @, @R′ &. Se afirma que los sistemas (A; ; R) y (T ; ; R′ ) son isomorfos.
En efecto, la función f : S → T definida como f (α) = ∗, f (β) = #, f (γ) = @ y
f (δ) = &; es un isomorfismo.

Ejemplo 1.5.6. Se considera el conjunto Zp definido en el Teorema 1.2.5. Se

define la operación ⊕ : Zp × Zp −→ Zp por la tabla:

⊕ 0 1 ··· p−2 p−1

0 0 1 ··· p−2 p−1
1 1 2 ··· p−1 0
.. .. .. . . .. ..
. . . . . .
p−1 p−1 0 ··· p−3 p−2

El sistema algebraico (Zp ; ⊕) es cerrado, se verifica directamente que ⊕ es asociativa,

así como conmutativa y el elemento neutro es 0.

1.6. Extensiones de sistemas algebraicos

Cuando un sistema algebraico no posee una propiedad deseable, es posible
emplear un procedimiento que consiste en “ampliar o extender” el sistema de
tal manera que conserve sus propiedades y obtenga la propiedad deseada. Para
mostrar que el nuevo sistema es más extenso que el sistema original y que preserva
sus propiedades, se debe evidenciar que el nuevo sistema contiene dentro de sí una
copia del sistema original, es decir, un subsistema isomorfo al sistema original. Un
ejemplo natural de esta idea es el siguiente. Sea (S; Θ) un sistema algebraico y
S ′ un subconjunto de S tal que S ′ × S ′ ∩ D ̸= ∅. La restricción de Θ al conjunto
S ′ × S ′ ∩ D es una operación sobre S ′ ; de esta manera (S ′ ; Θ) es por derecho
propio un sistema algebraico. En este caso, es natural decir que el sistema (S; Θ)
contiene una copia de (S ′ ; Θ) o que es una extensión de (S ′ ; Θ).

Definición 1.6.1. Se dice que el sistema algebraico (S; Θ) es una extensión del
sistema (S; Θ) si existe un subconjunto S ′ de S tal que (S ′ ; Θ) isomorfo a (S; Θ).
En general, el sistema algebraico (S; Θ1 , . . . , Θn ; R1 , . . . , Rm ) es una extensión
del sistema (S; Θ1 , . . . , Θn ; R1 , . . . , Rm ), si existe un subconjunto S ′ de S tal que
(S ′ ; Θ1 , . . . , Θn ; R1 , . . . , Rm ) es isomorfo a (S; Θ1 , . . . , Θn ; R1 , . . . , Rm ).
1.6. EXTENSIONES DE SISTEMAS ALGEBRAICOS 21

Ejemplo 1.6.1. (a) Sea S := {1, −1} y S := {a, b, c, d}. Se definen las operaciones
Θ y Θ sobre S y S, respectivamente, mediante las tablas:

Θ a b c d
Θ 1 -1 a a b c d
1 1 -1 y b b a d c
-1 -1 1 c c d b a
d d c a b
′ ′ ′
Tomando S = {a, b}, se afirma que (S; Θ) ≈ (S , Θ). En efecto, f : S → S
definida por f (1) = a y f (−1) = b, es un isomorfismo. Por otra parte, se observa
que la ecuación xΘx = −1 no es soluble en (S; Θ), pero la correspondiente
ecuación xΘx = b si es soluble en (S, Θ). Esta es una propiedad que se gana en
la extensión.
′
El isomorfismo f muestra que los elementos a y b de S toman el mismo rol
que los elementos 1 y −1 de S, respectivamente. Renombrando, a como 1 y b
como −1, se exhibe con claridad que sistema (S, Θ) tiene dentro de si una copia
de (S; Θ).

Θ 1 -1 c d
1 1 -1 c d
-1 -1 1 d c
c c d -1 1
d d c 1 -1

Nótese que xΘx = −1 es soluble en S, de hecho tiene dos soluciones.

Ejemplos importantes de extensiones que estudiaremos más adelante son: el

sistema de números enteros (Z; +, ·; <) es una extensión del sistema de números
naturales (N; +, ·; <); el sistema de números racionales (Q; +, ·; <) es una extensión
del sistema (Z; +, ·; <) y el sistema de números reales (R; +, ·; <) es una extensión
del sistema (Q; +, ·; <) de números racionales.
22 CAPÍTULO 1. SISTEMAS ALGEBRAICOS
Capítulo 2

El sistema de números naturales

Este capítulo está dedicado a la construcción del sistema de números naturales

a partir de una versión actualizada de los axiomas que Giuseppe Peano propuso
en su artículo [5], publicado en 1889 y cuyo título, Arithmetices principia; nova
methodo exposita, se traduce al español como, Los principios de la aritmética
presentados por un nuevo método. El material presentado en este capítulo fue
tomado de [1–3, 6, 7].

2.1. Axiomas de Peano

Definición 2.1.1. Se denomina sistema de números naturales o sistema de Peano,
a una pareja (N, S) que consta de un conjunto N, cuyos elementos se llaman
números naturales, y una función S : N → N, denominada función sucesor (o
función estructura del sistema) y que cumple los axiomas siguientes:

P1 : La función sucesor S es inyectiva.

P2 : La función sucesor S no es suprayectiva, i.e., existe ∗ ∈ N tal que ∗ ̸∈ S(N).

P3 : [Axioma de Inducción] Para todo M ⊂ N; si satisface

(i) existe ∗ ∈ M tal que ∗ ̸∈ S(N) y

(ii) para todo n ∈ N, si n ∈ M entonces S(n) ∈ M ;

entonces M = N.

23
24 CAPÍTULO 2. EL SISTEMA DE NÚMEROS NATURALES

Para cada n ∈ N, se llama sucesor inmediato de n a su imagen, S(n), bajo la

función sucesor S. Un elemento ∗ de N se denomina primer elemento si ∗ ̸∈ S(N),
así el axioma P2 establece la existencia de un primer elemento. Un subconjunto
M de N se dice conjunto inductivo si para todo n ∈ N; n ∈ M implica S(n) ∈
M . Con esta terminología, el axioma de inducción se reescribe: para todo M ⊂
N; si M es inductivo y tiene un primer elemento, entonces M = N. El axioma
de inducción usualmente es referido como el Principio de Inducción Matemática
(PIM).

Teorema 2.1.1. Todo número natural es diferente de su sucesor.

Demostración. Se denota por M al conjunto {n ∈ N : n ̸= S(n)} y para deducir

el resultado se demuestra que M = N. Para demostrar que M es un conjunto
inductivo, sea n ∈ M arbitrario, es decir, n ̸= S(n). Se sigue de la inyectividad
de la función sucesor que S(n) ̸= S(S(n)), de donde S(n) ∈ M , concluyendo
que M es un conjunto inductivo. Ahora, para un primer elemento ∗ ∈ N, por
definición ∗ ̸∈ S(N), pero S(∗) ∈ S(N), en consecuencia ∗ ≠ S(∗), luego ∗ ∈ M .
Por lo tanto, M es inductivo y tiene un primer elemento, en virtud del axioma de
inducción, se concluye M = N.

Teorema 2.1.2. El primer elemento de N es único.

Demostración. Se toma como hipótesis que ∗ y @ son primeros elementos de

N, con ∗ = ̸ @; se deducirá una contradicción y se concluirá la afirmación por
reducción al absurdo. Se denota por M al conjunto {n ∈ N : n ̸= ∗}. Como
@ ∈ N y por hipótesis @ ̸= ∗, se sigue @ ∈ M . Ahora suponga n ∈ M . Entonces
S(n) ∈ S(N) y por ser ∗ primer elemento, S(n) ̸= ∗; por consiguiente, S(n) ∈
M . Por lo tanto, M contiene un primer elemento, es inductivo y por el axioma de
inducción se sigue M = N. Por otra parte, ∗ ∈ N y ∗ ̸∈ M , por lo cual M ̸= N,
obteniendo una contradicción. Por lo tanto, el primer elemento es único.
En adelante se representa con el dígito 1 al primer elemento de N.

2.2. Recursión
Un uso práctico del axioma de inducción es la definición recursiva de funciones
H : N → A para un conjunto no vacío A. Recordamos que una función con
dominio A y codominio A se denomina función unaria sobre el conjunto A y
una función con dominio en A × A y codominio en A se denomina función
2.2. RECURSIÓN 25

binaria sobre el conjunto A. Las demostraciones de los teoremas requieren sólo

del axioma de inducción, sin embargo podrían ser muy técnicas para el lector
inexperto. Se puede omitir la lectura de la prueba del teorema de recursión y
sus versiones generalizadas, pero no se debe omitir la lectura y reflexión de los
teoremas pues se usarán para definir las operaciones adición y multiplicación.

Una función H con dominio N y codominio en un conjunto no vacío A, puede

ser definida indicando la imagen H(n) de cada elemento n del dominio. Sin
embargo, en ocasiones esto puede resultar impráctico y es deseable poder definir
la función recursivamente, esto es, específicando dos cosas:

(1) la imagen de 1: S(1);

(2) la imagen de S(n) en términos de la imagen de n.

Lo anterior se logra a través de una función F : A → A de tal manera que, para

algún a ∈ A, H(1) := a y si la imagen H(n) es b ∈ A entonces la imagen
H(S(n)) es F (b), es decir, H(S(n)) := F (H(n)).

AO F / AO

H H

N
S /N

Teorema 2.2.1 (Recursión). Sea A un conjunto no vacío, sea F : A −→ A y

a ∈ A. Entonces existe una única función H : N −→ A, tal que

H(1) = a y H(S(n)) = F (H(n)),

para todo n ∈ N.

Demostración. Sea C la colección de todos los subconjuntos C de N × A tales

que

(i) (1, a) ∈ C y

(ii) si (n, b) ∈ C, entones (S(n), F (b)) ∈ C.

26 CAPÍTULO 2. EL SISTEMA DE NÚMEROS NATURALES

El conjunto N × A satisface (i) y (ii), por lo cual C es no vacío. La relación de N

en A, definida por \
H := T,
T ∈C

satisface (i) y (ii). Entonces H ∈ C y por definición, para todo T ∈ C, H ⊂ T .

Primero se demostrará que H es una función con dominio N y codominio A, para
lo cual se define conjunto

M := {n : (n, b) ∈ H, para un único b ∈ A}

y se demostrará, con el uso del axioma de inducción, que M = N.

Para proceder por contradicción, supóngase 1 ∈ / M . Entonces, existe b ∈ A
tal que b ̸= a y (1, a), (1, b) ∈ H. Para construir una contradicción; se define
Hb := H − {(1, b)} subconjunto propio de H; se deduce Hb ∈ C y se sigue
H ⊂ Hb , lo que es una contradicción. Ahora se prueba que Hb ∈ C, es decir,
Hb satisface (i) y (ii). Como a ̸= b, (1, a) ̸= (1, b) y se sigue (1, a) ∈ Hb ,
satisfaciéndose (i).
Supóngase (n, c) ∈ Hb . Como H ∈ C y Hb ⊂ H se cumple (S(n), F (c)) ∈ H.
Por otra parte, S(n) ̸= 1, por lo cual (S(n), F (c)) ̸= (1, b). Así (S(n), F (c)) ∈
Hb , satisfaciéndose (ii).

Para demostrar por contradicción que M es inductivo, supóngase n ∈ M y

S(n) ∈/ M . Entonces existe un único b ∈ A, tal que (n, b) ∈ H y (S(n), F (b)) ∈
H, en virtud de que H ∈ C. Como S(n) ∈ / M , existe c ∈ A tal que c ̸= F (b)
y (S(n), c) ∈ H. Para construir una contradicción; se considera Hc := H −
{(S(n), c)} subconjunto propio de H; se deduce que Hc ∈ C de donde se sigue
que H ⊂ Hc , lo cual es una contradicción.
Ahora se prueba Hc ∈ C, es decir, Hc satisface (i) y (ii). Como S(n) ̸= 1,
se cumple (1, a) ̸= (S(n), c), así (1, a) ∈ Hc , satisfaciéndose (i). Supóngase
(m, d) ∈ Hc . Como Hc es subconjunto de H y H ∈ C, se sigue (S(m), F (d)) ∈
H. Se consideran dos casos: cuando S(m) ̸= S(n), evidentemente (S(m), F (d)) ̸=
(S(n), c); ahora en el caso S(m) = S(n), por la inyectividad de S, m = n, de
donde (n, d), (n, b) ∈ H y debido a que n ∈ M , se sigue d = b. Así m = n
y F (d) = F (b) ̸= c, es decir, (S(m), F (d)) = (S(n), F (b)) ̸= (S(n), c). En
ambos casos se concluye (S(m), F (d)) ̸= (S(n), c) y así (S(m), F (d)) ∈ Hc ,
cumpliéndose (ii).
Entonces 1 ∈ M y M es inductivo, luego por el axioma de inducción M = N.
Por lo tanto, la relación H es una función de N en A,.
2.2. RECURSIÓN 27

Nótese que (1, a) ∈ H equivale a H(1) = a. Sea n ∈ N. Como H ∈ C, de (ii),

H(S(n)) = F (b), si y sólo si H(S(n)) = F (b). Luego H(S(n)) = F (H(n)).
Por lo tanto, H ◦ S = F ◦ H.
Para probar la unicidad de H, sea H : N → A tal que

H(1) = a y H(S(n)) = F (H(n)), ∀n ∈ N.

Se denota M = {n ∈ N : H(n) = H(n)} y para concluir H = H, se demuestra
M = N.
Como H(1) = H(1) = a, se sigue 1 ∈ M . Supóngase n ∈ M , es decir, H(n) =
H(n). Entonces

H(S(n)) = F (H(n)) = F (H(n)) = H(S(n)).

Luego, S(n) ∈ M . Entonces 1 ∈ M y M es inductivo, luego por el axioma de

inducción M = N. Por lo tanto, la función H es única.
Ejemplo 2.2.1. Se considera el conjunto A := N−{1, 2, }; la función F : A → A
definido, para todo n ∈ N, por F (n) := S(S(S(n))); la función H : N → A,
definida, para todo n ∈ N por
(a) H(1) = 3,

(b) H(S(n)) = F (H(n)).

Si los números naturales

1, S(1), S(S(1)), S(S(S(1))), . . .

son identificados con todos los números

1, 2, 3, 4, . . .

con la notación a la que estamos habituados, entonces las condiciones establecidas

constituyen una definición recursiva de la colección

3, 6, 9, 12, . . .

de los múltiplos de 3.
Teorema 2.2.2. Sea A un conjunto no vacío, sea a un elemento de A y Fn : A →
A, para cada n ∈ N. Entonces existe una única función, H : N → A, tal que
28 CAPÍTULO 2. EL SISTEMA DE NÚMEROS NATURALES

(i) H(1) = a,

(ii) H(S(n)) = Fn (H(n)), para todo n ∈ N.

Demostración. La prueba la redactaré más adelante.

Ahora se se considera la definición recursiva de una función binaria H : N ×
N → N, tal que H(m, 1) := F (m) y H(m, S(n)) = Fm (H(m, n)) para todo
n ∈ N, a partir de funciones unarias F : N → N y Fm : N → N para cada m ∈ N.
En la gráfica siguiente se muestra el diagrama de la función H por recursividad

NO F / NO
Fm

H H

(id,S)
N×N / N×N

Teorema 2.2.3. Sea F : N → N y Fm : N → N, para cada m ∈ N. Entonces

existe una única función binaria, H : N × N → N, tal que

(i) H(m, 1) = F (m) para todo m ∈ N y

(ii) H(m, S(n)) = Fm (H(m, n)), para todo (m, n) ∈ N × N.

Demostración. Primero se demuestra la existencia. Sea m ∈ N fijo. Se toma

A = N, a := F (m) ∈ N y Fm : N → N en el teorema de recursión, garantizando
la existencia de una función Hm : : N → N tal que
Hm (1) = F (m) y Hm ◦ S = Fm ◦ Hm .

Fm /
AO AO

H(m,·) H(m,·)

N S / N
De esta manera se garantiza la existencia de una colección de funciones Hm : : N →
N, para cada m ∈ N. Se define H : N × N → N, mediante H(m, n) := Hm (n).
Entonces
H(m, 1) = Hm (1) = F (m)
2.3. LA ADICIÓN 29

y
H(m, S(n)) = Hm (S(n)) = Fm (Hm (n)) = Fm (H(m, n)).
Ahora demostramos que la función H es única. Supóngase H ′ : N × N → N, tal
que, para todo m ∈ N, H ′ (m, 1) = F (m) y H ′ (m, S(n)) = Fm (H ′ (m, n)), para
todo (m, n) ∈ N × N. Fijando m ∈ N, se verifica directamente que la función
H(m, ·) : N → N satisface las condiciones del teorema de recursión para A = N,
a := F (m) ∈ N y Fm : N → N. Entonces, por la unicidad establecida en el
teorema de recursión, H ′ (m, ·) = Hm (·) = H(m, ·). Por lo tanto, H ′ = H.

2.3. La adición
Se recuerda al lector que una operación sobre N bajo la cual N es cerrado, es
una función G : N × N → N, además, en operaciones es usual denotar G(m, n)
por mGn.

Definición 2.3.1. La operación + : N × N −→ N se denomina adición y es

definida recursivamente mediante,

(A1 ) para todo m ∈ N, m + 1 := S(m) y

(A2 ) suponiendo definida la adición, m + n, para m, n ∈ N,

m + S(n) := S(m + n).

La imagen de m + n de la pareja (m, n) bajo la adición se denomina adición o

suma de m con n.

Lema 2.3.1. Si m, n ∈ N, entonces S(m) + n = S(m + n).

Demostración. Fijemos m ∈ N y sea M := {n ∈ N : S(m) + n = S(m + n)}.

Por A1 , S(m) + 1 = S(S(m)) = S(m + 1), así 1 ∈ M . Suponga m ∈ M .
Entonces S(m) + n = S(m + n) y se sigue

S(m) + S(n) = S(S(m) + n) por A2

= S(S(m + n)) por hipótesis de inducción
= S(n + S(m)) por A2

y así, por definición de M , se sigue S(m) ∈ M . Luego, M es inductivo y contiene

al primer elemento, así por P3 , se concluye M = N.
30 CAPÍTULO 2. EL SISTEMA DE NÚMEROS NATURALES

Teorema 2.3.1. La suma es asociativa, es decir, si a, b, c y d son números naturales

entonces (a + b) + c = a + (b + c).

Demostración. Sean a y b números naturales fijos. Por demostrar: para todo c ∈

N, (a + b) + c = a + (b + c).
Denotando M := {c ∈ N : (a + b) + c = a + (b + c)}, entonces M contiene
al primer elemento. En efecto, por A1 , se obtiene, (a + b) + 1 = S(a + b) =
a + S(b) = a + (b + 1), de donde se concluye que 1 es elemento de M .
Por otra parte, el conjunto M es inductivo. En efecto, suponga que c ∈ M , es
decir, (a + b) + c = a + (b + c). Por las propiedades de la adición,

(a + b) + S(c) = S((a + b) + c) por A2

= S(a + (b + c)) por hipótesis de inducción
= a + S(b + c) por A2
= a + (b + S(c)) por A2 .

Por lo tanto, S(c) ∈ M . Ahora, por el PIM, M = N, con lo cual queda demostrado
el teorema.

Teorema 2.3.2. La suma es conmutativa, es decir, si a y b son números naturales

entonces a + b = b + a.

Demostración. Se prueba que el número 1 conmuta con todo elemento de N y

luego el caso general. Denotando con M al conjunto {b ∈ N : b + 1 = 1 + b},
directamente se verifica que 1 ∈ M . Además M es un conjunto inductivo. En
efecto, supóngase b ∈ M , es decir, b + 1 = 1 + b. Luego, por A1 y la hipótesis de
inducción,

S(b) + 1 = S(S(b)), por A1 ,

= S(b + 1), por A1 ,
= S(1 + b), por la hipótesis de inducción A1 ,
= 1 + S(b), por A2 .

Así S(b) ∈ M , concluyendo que M es inductivo. Luego, por el axioma de inducción,

M = N. Por lo tanto, el número 1 conmuta bajo la suma con todo número natural.
Sea a ∈ N fijo y se define M := {b ∈ N : a + b = b + a}. Como ya se demostró,
el 1 conmuta bajo la suma con todo número natural, en particular conmuta con el
natural a, por lo cual 1 es elemento de M . Ahora supóngase que b ∈ M , es decir,
2.4. LA MULTIPLICACIÓN 31

a + b = b + a. Entonces
a + S(b) = (a + b) + 1, por A1 y la asociatividad,
= (b + a) + 1, por la hipótesis de inducción,
= b + (a + 1), por asociatividad, ,
= b + (1 + a), por la conmutatividad de 1,
= S(b) + a, por asociatividad y A1 .
Así S(n) ∈ M . Luego, M es inductivo y por el axioma de inducción, M = N.
Por lo tanto, la suma es conmutativa.
El sistema (N; +) es un semigrupo conmutativo.
Teorema 2.3.3. Si m y n son números naturales, entonces n ̸= n + m.
Demostración. Sea m ∈ N fijo. Defínase M := {k ∈ N : k ̸= k + m}. Como 1 es
el primer elemento, no es sucesor de algún número natural y por la conmutatividad
de la suma,

1 ̸= s(m)
= m+1
= 1 + m.

Así 1 ∈ M . Sea k ∈ N y supóngase k ∈ M , es decir, k ̸= k+m. De la inyectividad

de la función sucesor, s(k) ̸= s(k + m) y como s(k + m) = s(k) + m, se cumple
s(k) ̸= s(k) + m. Así s(k) ∈ M y M es inductivo. Por el axioma de inducción,
M = N.

2.4. La multiplicación
Definición 2.4.1. La operación · : N × N −→ N se denomina multiplicación y
queda definida recursivamente mediante,
(M1 ) m · 1 = m, para todo m ∈ N;
(M2 ) Suponiendo definida la multiplicación m · n, para m, n ∈ N,

m · S(n) = (m · n) + m.

La imagen m·n de la pareja (m, n) bajo la operación ·, se denomina multiplicación

o producto de m por n.
32 CAPÍTULO 2. EL SISTEMA DE NÚMEROS NATURALES

Se adjudica a la multiplicación una mayor jerarquía que a la operación adición,

esto significa que en una expresión donde aparecen ambas operaciones y sin que se
indique asociación, primero deben realizarse las multiplicaciones y posteriormente
las adiciones. En expresiones con operaciones asociadas, se debe aplicar la jerarquía
de las operaciones, respetando la expresiones asociadas. Se conviene esta jerarquía
para hacer la escritura más funcional y manejable, por ejemplo, con la jerarquía
convenida, la expresión en M2 , sin peligro de confusión se puede escribir:
m · S(n) = m · n + m.
Lema 2.4.1. Si m, n ∈ N, entonces S(m) · n = m · n + n.
Demostración. Fijemos m ∈ N y sea M := {n ∈ N : S(m) · n = m · n + n}.
Entonces,
S(m) · 1 = S(m), por M1 ,
= m + 1, por A1 ,
= m · 1 + 1, por M1 .
Así 1 ∈ M . Suponga n ∈ M , entonces S(m) · n = m · n + n y se sigue
S(m) · S(n) = S(m) · n + S(m), por M2 ,
= S(S(m) · n + m), por A2 ,
= S((m · n + n) + m), por hipótesis de inducción,
= S(m · n + m) + n), por asociatividad y conmutstividad de la adición,
= S(m · S(n) + n), por M2 ,
= m · S(n) + S(n)), por S2 .
Se sigue que S(n) ∈ M , y así M es inductivo. Por el axioma de inducción,
M = N.
Teorema 2.4.1. La multiplicación se distribuye por la izquierda con la adición,
es decir, si a, b y c son números naturales entonces a · (b + c) = a · b + a · c.
Demostración. Sean a y b números naturales arbitrarios, pero fijos. Se denota
M := {c ∈ N : a · (b + c) = a · b + a · c} y se demuestra que M = N. Usando
las propiedades de la adición y multiplicación, se sigue a · (b + 1) = a · S(b) =
a · b + a = a · b + a · 1. Por lo tanto, 1 ∈ M . Supóngase que c ∈ M , es decir,
a · (b + c) = a · b + a · c. Entonces
a · (b + S(c)) = a · (S(b + c)), por A2 ,
= a · (b + c) + a, por M2 ,
= (a · b + a · c) + a, por hipótesis de inducción,
= a · b + (a · c + a), por asociatividad,
= a · b + a · S(c), por M2 .
2.4. LA MULTIPLICACIÓN 33

Luego S(c) ∈ M y así M es inductivo. Por el axioma de inducción, M = N.

En adelante, cuando no haya riesgo de confusión se omite la escritura del
símbolo de multiplicación, con lo cual la expresión a · b se expresa ab.

Teorema 2.4.2. La multiplicación es asociativa, es decir, si a, b y c son números

naturales entonces (ab)c = a(bc).

Demostración. Sean a y b números naturales fijos. Se define M := {c ∈ N :

(ab)c = a(bc)}. Para demostrar la conmutatividad se demuestra M = N. Entonces

(ab)1 = ab = a(b1).

Por lo cual, 1 ∈ M . Ahora para probar que M es inductivo, suponga c ∈ M .

Entonces (ab)c = a(bc) y

(ab)S(c) = (ab)c + (ab), por M2 ,

= a(bc) + ab, por hipótesis de inducción,
= a(bc + b), por la distributividad por la izquierda,
= a(bS(c)), por M2 .

Luego S(c) ∈ M y así M es inductivo. Por el axioma de inducción M = N.

Teorema 2.4.3. La multiplicación se distribuye por la derecha con la adición, es

decir, si a, b y c entonces (b + c)a = ba + ca.

Demostración. Sean b y c números naturales fijos. Se define M := {a ∈ N :

(b + c)a = ba + ca} y se demuestra M = N. Usando propiedades de la adición y
la multiplicación, se sigue (b + c)1 = b + c = b · 1 + c · 1. Por lo tanto, 1 ∈ M .
Supóngase que a ∈ M , es decir, (b + c)a = ba + ca. Entonces, usando la
distribución por la izquierda y las propiedades de las operaciones,

(b + c)S(a) = (b + c)a + (b + c), por M2 ,

= (ba + ca) + (b + c), por hipótesis de inducción,
= (ba + b) + (ca + c), por conmutatividad y asociatividad,
= bS(a) + cS(a), por M2 .

Luego S(a) ∈ M y así M es inductivo. Por el axioma de inducción, M = N.

Teorema 2.4.4. La multiplicación es conmutativa, es decir, si a y b son números

naturales entonces ab = ba.
34 CAPÍTULO 2. EL SISTEMA DE NÚMEROS NATURALES

Demostración. Primero se demuestra que el 1 conmuta con todo número natural,

para esto se define M := {b ∈ N : 1 · b = b · 1} y se demuestra que M = N.
Observese que 1 ∈ M , pues 1 · 1 = 1 · 1. Suponga b ∈ M , entonces 1 · b = b · 1.
Así,
1S(b) = 1 · b + 1, por M1 ,
= S(b) · 1, por el Lema 2.4.1.
Por lo tanto, S(n) ∈ M , y así M es inductivo. Luego, por el PIM, M = N.

Sea a un número natural arbitrario, pero fijo. Se define T := {b ∈ N : ab =

ba} y se demuestra que T = N. Como 1 conmuta con todo número natural, en
particular, 1 conmuta con a, por lo cual, 1 ∈ M . Sea a ∈ N arbitrario y suponga
que b ∈ M . Entonces ab = ba y demostraremos que S(b) ∈ M . Entonces

aS(b) = ab + a, por M2 ,
= ba + a, por hipótesis de inducción,
= S(b)a, por el Lema 2.4.1.

Por lo tanto, S(b) ∈ M , y así M es inductivo. Por el axioma de inducción, M =

N.

El sistema (N; ·) es un semigrupo conmutativo.

Teorema 2.4.5. El natural 1 es el único elemento neutro para la multiplicación.

Demostración. Se sigue de la conmutatividad para la multiplicación y la propiedad

M1 , que 1 es un neutro para la multiplicación. En virtud de que N es cerrado bajo
la multiplicación, la unicidad del neutro para la multiplicación está garantizada
por el Teorema 1.4.1.

Con todo lo anterior, es posible reescribir los axiomas de Peano en su forma

más usual:

(i) Existe un número natural, denotado por el símbolo 1, el cual no es sucesor

de algún número natural, es decir, para todo n ∈ N, se cumple 1 ̸= n + 1.

(ii) Todo número natural n tiene uno y sólo un sucesor que también es un
número natural, a saber, n + 1.

(iii) Números naturales diferentes tienen sucesores diferentes: para todos n y m

elementos de N; si n ̸= m entonces n + 1 ̸= m + 1.
2.5. NOMENCLATURA 35

(iv) (Principio de Inducción Matemática) Para todo M ⊂ N; si

(1) 1 ∈ M y
(2) para todo n ∈ N, si n ∈ M entonces n + 1 ∈ M ;

entonces M = N.

2.5. Nomenclatura
Se procede inductivamente a asignar una representación a cada número natural
usando el listado de sucesores y los dígitos 0, 1, 2, 3, 4, 5, 6, 7, 8, 9. Ya se ha usando
1 para representar al primer elemento y sucesivamente;

2 := S(1) = 1 + 1;
3 := S(2) = 2 + 1;
4 := S(3) = 3 + 1;
.. .. ..
. . .
9 := S(8) = 8 + 1.

Entonces el primer elemento y los ocho sucesores consecutivos se representan

con sólo un dígito, a saber: 1, 2, 3, 4, 5, 6, 7, 8, 9 y se denominan uno, dos,
tres, cuatro, cinco, seis, siete, ocho y nueve, respectivamente. Se observa que el
digito 0, denominado cero, no representa a un número natural, por otra parte,
los sucesores de los ocho números naturales, representados por 1, 2, . . . , 8, tienen
representación de un sólo dígito, a saber, alguno de 2, . . . , 9. Ahora se procede a
asignar representación al resto de números naturales. Suponga que n es un número
natural al que le hemos dado una representación por medio de la secuencia finita
de dígitos.
ηα ηβ . . . ην (2.1)
en donde cada dígito en la representación es alguno de los dígitos 0, 1, 2, 3, 4, 5,
6, 7, 8, 9. Para asignar representación a S(n) se identifican casos:
Caso 1. El último dígito de izquierda a derecha es diferente de nueve, es decir,
ην ̸= 9. Luego el sucesor S(ην ) del número natural que representa el dígito
ην , está representado por un dígito de la lista: 2, . . . , 9. Entonces la representación
del sucesor S(n) se obtiene de (2.1) cambiando el dígito ην por el dígito que
representa a s(ην ).
36 CAPÍTULO 2. EL SISTEMA DE NÚMEROS NATURALES

Caso 2. El último dígito es 9.

Subcaso 2.1. Algún dígito en (2.1) no es 9. Designemos con ηλ al primer

dígito de derecha a izquierda que no es nueve, así el sucesor S(ηλ )
del número natural que representa el dígito ηλ , está representado por
un dígito de la lista: 2, . . . , 9. Entonces la representación del sucesor
S(n) es la cadena que se obtiene de (2.1) cambiando el dígito ηλ por el
dígito que representa al sucesor de ηλ y cada dígito en la cadena (2.1)
que posicionado la derecha de ηλ , por el dígito 0.
Subcaso 2.2. Todos los dígitos son 9. La representación del sucesor S(n)
es la secuencia formada por el dígito 1 seguido por el dígito 0 tantas
veces como dígitos tiene la concatenación (2.1).

Con esta representación se logra la aritmética familiar:

2+2 = 2 + (1 + 1)
= (2 + 1) + 1
= 3+1
= 4.

2·2 = 2 · (1 + 1)
= (2 · 1) + 2
= 2+2
= 4.

2.6. Exponenciación
Definición 2.6.1. Sea a ∈ N. La potencia 1 de a, se define mediante

a1 := 1

y para cada n ∈ N, la potencia n de a, se define por

an+1 := an · a.

El natural an se le denomina potencia n del natural a o con base a.

2.6. EXPONENCIACIÓN 37

Se observa que la potencia an queda definida inductivamente para cualquier

número natural n y cualquier base a ∈ N.

22 = 21+1
= 21 · 2
= 2·2
= 4.

Por otra parte, 11 = 1 y si para algún n ∈ N, 1n = 1, se sigue

1n+1 = 1n · 1
= 1·1
= 1.

Por lo tanto, 1n = 1, para todo n ∈ N.

Teorema 2.6.1 (Leyes de los exponentes). (1) Para cada a, b, n ∈ N se cumple

(ab)n = an bn

(2) Para cada a, m, n ∈ N se cumple

am+n = am an .

(3) Para cada a, m, n ∈ N se cumple

(am )n = amn .

Demostración. (1) Sean a ∈ N y b ∈ N. Directamente se verifica (an)1 = ab =

a1 b1 , por lo cual, la propiedad (1) del los exponentes se verifica para n = 1. Se fija
n ∈ N y se supone (an)n = an bn . Entonces (an)n+1 = (ab)n (ab) = (an bn )(ab) =
(an a)(bn b) = an+1 bn+1 . La propiedad (1) queda demostrada por el principio de
inducción.
(2) Sea a ∈ N y m ∈ N. Por definición,

am+1 = am a = am a1 .
38 CAPÍTULO 2. EL SISTEMA DE NÚMEROS NATURALES

Entonces la (2) se satisface para n = 1. Se fija n ∈ N y se supone am+n = am an .

Entonces
am+(n+1) = a(m+n)+1
= am+n a
= am an a1
= am an+1 .
Por el principio de inducción, la propiedad (2) ha sido demostrada.
(3) Sea a ∈ N y m ∈ N. Se verifica (am )1 = am = am·1 , por lo cual la propiedad
(3) se satisface para n = 1. Se fija n ∈ N y se supone (am )n = amn . Entonces
(am )n+1 = (am )n am
= amn am
= amn+m
= am(n+1) .
Con lo cual, por el principio de inducción, queda demostrado (3).

2.7. El orden en los números naturales

Definición 2.7.1. Sea m ∈ N y n ∈ N. Se dice que m es menor que n y se escribe
m < n, si existe q ∈ N tal que n = m + q.
Se denota por ≤ a la relación flexible inducida por la relación <: m ≤ n si y sólo
si m < n o m = n. Se dice que m es menor o igual a n cuando m ≤ n.
La notación n > m, se lee n mayor que m y significa m < n, similarmente,
n ≥ m, se lee n mayor o igual que m y significa m ≤ n.
Teorema 2.7.1. La relación < es un orden lineal sobre N.
Demostración. Le debe demostrar que la relación < es antireflexiva, transitiva y
tricotómica. Sea n ∈ N fijo. Debido al Teorema2.3.3, n ̸= n + k, para todo k ∈ N,
de donde n ≮ n. Luego, la relación < es antireflexiva.
Suponga k < m y m < n. Entonces existe p tal que m = k + p y existe q tal que
n = m + q. Luego, n = k + (p + q) y así k < n. Por lo tanto, < es transitiva.
Para la tricotomía de < se debe demostrar: si m, n ∈ N, entonces una y sólo una
de las condiciones
m = n, m < n, n < m, (2.2)
2.7. EL ORDEN EN LOS NÚMEROS NATURALES 39

se satisface.
Primero se demuestra que siempre se satisface una de las condiciones (2.2), para
tal propósito se define

Mm := {n ∈ N : m y n satisfacen una de las condiciones: (2,2)},

para m ∈ N fijo y se demuestra, Mm = N. Como 1 es el primer elemento, m = 1

o m = s(k) = k + 1 para algún k ∈ N, esto es, m = 1 o k < 1. En cualquier
caso, 1 ∈ Mm .
Supóngase n ∈ Mm , entonces se cumple m = n o m < n o n < m. En el caso
m = n, se mantiene la igualdad s(n) = m + 1, así m < s(n). Luego s(n) ∈ N.
Cuando m < n, existe p ∈ N tal que n = m + p, de donde, s(n) = m + s(p).
Luego m < s(n) y así s(n) ∈ Mm . Cuando n < m, m = n + p para algún p ∈ N.
Pero p = 1 o p = s(q) para algún q ∈ N. En el primer caso, m = s(n), mientras
que en el segundo caso, m = n + s(q) = s(n) + q y así m < s(n). En cualquier
caso s(n) ∈ Mm . Luego M es inductivo y por el axioma de inducción, Mm = N.
Ahora se demuestra que a lo más una de las condiciones (2.2) se cumple. Cuando
m = n y m < n se sigue n = m + p = n + p, para algún p ∈ N. Cuando
m = n y n < m, m = n + q = m + q, para algún q ∈ N. Cuando m < n
y n < m, n = m + p, para algún p ∈ N y m = n + q, para algún q ∈ N.
Así m = n + q = m + (p + q). En cada caso, el Teorema 2.3.3 lleva a una
contradicción.

Se hace notar que la relación ≤ es la relación flexible inducida por la relación

< sobre N. Luego, como consecuencia del Teorema 2.7.1 y el Teorema 1.3.4, se
establece el corolario siguiente.

Corolario 2.7.1. La relación ≤ sobre N es en un orden parcial bajo el cual todos

los números naturales son comparables.

Teorema 2.7.2 (Leyes de cancelación para la adición). Sean m, n y p números

naturales. Entonces

(i) m + p = n + p si y sólo si m = n;

(ii) m + p < n + p si y sólo si m < n.

Demostración. (i) Sean m, n ∈ N. Defínase M := {p ∈ N : m + p = n +

p ⇐⇒ m = n}. En virtud de que la función sucesor es inyectiva, la igualdad
m + 1 = n + 1 implica m = n. Así 1 es elemento de M . Se fija p ∈ M , por lo que
40 CAPÍTULO 2. EL SISTEMA DE NÚMEROS NATURALES

se cumple: si m + p = n + p si y sólo si m = n. Cuando m + S(p) = n + S(p), por

A2 , S(m + p) = S(n + p) y por inyectividad de la función sucesor, m + p = n + p.
Luego, por la hipótesis de inducción m = n. El reciproco se demuestra de manera
directa. Entonces S(p) ∈ M y se concluye que M es inductivo. Por el axioma de
inducción, M = N.
Sean m, n y p números naturales arbitrarios. Supóngase m + p < n + p. Entonces
n + p = (m + q) + p, para algún q ∈ N. Por cancelación, n = m + q, para algún
q ∈ N y así m < m. El reciproco sigue los mismos pasos, pero en orden inverso.

Teorema 2.7.3 (Leyes de cancelación para la multiplicación). Para todo m, n, p ∈

N,
(i) mp < np si y sólo si m < n;

(ii) mp = np si y sólo si m = n;

(iii) mp ≤ np si y sólo si m ≤ n.
Demostración. (i) Sean m, n, p ∈ N. Supóngase m < n, entonces n = m + a,
para algún a ∈ N. Se sigue np = (m + a)p = mp + ap, lo que significa mp < np.
Con esto se ha demostrado la condicional

n < m −→ np < mp.

Falta demostrar el reciproco,

np < mp −→ n < m,

el cual es equivalente a su contrapositiva

¬(n < m) −→ ¬(np < mp).

Por tricotomía, la negación, ¬(n < m) se reescribe como n = m ∨ m < n y la

negación ¬(np < mp), como np = mp ∨ mp < np. Luego la contrapositiva que
buscamos demostrar, se reescribe

n = m ∨ m < n −→ np = mp ∨ mp < np. (2.3)

Para demostrar lo anterior, se observa que, cuando m = n se sigue mp = np. Por

lo cual se concluye
m = n −→ mp = np.
2.7. EL ORDEN EN LOS NÚMEROS NATURALES 41

Por lo demostrado en la primera parte,

m < n −→ mp < np.

De las condicionales previas y la regla del silogismo disyuntivo, se concluye (2.3).

(ii) Por la parte (i),

mp < np ←→ m < n,
y de la misma forma,
np < mp ←→ n < m.
Luego, por silogismo disyuntivo se sigue la bicondicional

mp < np ∨ np < mp ←→ m < n ∨ n < m,

así como, la bicondicional equivalente,

¬(mp < np ∨ np < mp) ←→ ¬(m < n ∨ n < m).

Debido a la trocotomía, la negación ¬(mp < np ∨ np < mp) se reescribe como

mp = np y la negación ¬(m < n ∨ n < m) como m = n. Así, se reescribe la
bicondicional anterior como

mp = np ←→ m = n.

La afirmación (iii) se sigue de (i) y (ii) aplicando silogismos disyuntivos.

Definición 2.7.2. Un sistema algebraico (A; ◦; R) tal que
(1) (A; ◦; R) es un semigrupo;
(2) R es una relación de orden en A; y
(3) si aRb en A, entonces a ◦ cRb ◦ c para todo c ∈ A,
se denomina semigrupo ordenado.
Corolario 2.7.2. Los sistemas (N; +; <) y (N; ·; <) son semigrupos ordenados.
Teorema 2.7.4. El 1 es el elemento mínimo de N.
Demostración. Sea m ∈ N arbitrario. Entonces m = 1 o bien, m = S(k) = k + 1
para algún k ∈ N. Si m = S(k) = k + 1, entonces 1 < m. Por lo tanto, 1 ≤ m
para todo m ∈ N. Por lo tanto, 1 es elemento mínimo de N.
42 CAPÍTULO 2. EL SISTEMA DE NÚMEROS NATURALES

Corolario 2.7.3. Si M ⊂ N y 1 ∈ M , entonces 1 es el elemento mínimo de M .

Demostración. Suponga que M ⊂ N y 1 ∈ M . Sea m ∈ M . Como M ⊂ N,
entonces m ∈ N y así 1 ≤ m, pues 1 es mínimo de N. Por lo tanto, 1 es el
elemento mínimo de M .
Teorema 2.7.5. Sea m y n un números naturales. Entonces
(i) si m < n + 1, entonces m ≤ n;

(ii) si m < n, entonces m + 1 ≤ n.

Demostración. (i) Sean m y n números naturales. Supóngase m < n + 1, es
decir, n + 1 = m + p, para algún p ∈ N. Cuando p = 1, se tiene m = n. En caso
contrario, p = l + 1 para algún natural l ∈ N. Así n = m + l con l ∈ N, es decir,
m < n. En cualquier caso se cumple m ≤ n.
(ii) Supóngase m < n, es decir, n = m + p, para algún p ∈ N. Cuando p = 1,
se tiene m + 1 = n. En caso contrario, p = l + 1 para algún natural l ∈ N, así
n = (m + 1) + l con l ∈ N, es decir, m + 1 < n. En ambos casos se cumple
m ≤ n.
Corolario 2.7.4. Si m ∈ N, entonces no existe un número natural n tal que m <
n < m + 1.
Demostración. Sea m un número natural. Supóngase que existe un número natural
n tal que m < n < m + 1. Como m < n, por el Teorema 2.7.5, m + 1 ≤ n. Luego
n < m + 1 y m + 1 ≤ n, lo que es una contradicción.
Lema 2.7.1 (Propiedad Arquimediana). Si a y b son números naturales, entonces
existe un número natural n tal que b < na.
Demostración. Sean a ∈ N. Se define M := {b ∈ N : b < na, para algún n ∈
N} y se demuestra que M = N. Como 1 ≤ a < 2a para todo a ∈ N, se sigue que
1 ∈ M . Sea b ∈ M , es decir, b < na para algún n ∈ N. Luego,

S(b) = b+1
< na + 1
≤ na + a
= S(n)a.

Así S(b) es elemento de M , por lo que M es inductivo. Por el PIM, M = N.

2.7. EL ORDEN EN LOS NÚMEROS NATURALES 43

Definición 2.7.3. Para cada n ∈ N, se llama segmento inicial, In , al conjunto

{k ∈ N : k ≤ n}.

Teorema 2.7.6 (Segundo Principio de Inducción). Sea M un subconjunto de N

tal que

(i) I1 ⊂ M ,

(ii) para todo n ∈ N, si In ⊂ M entonces s(n) ∈ M ,

entonces M = N.

Demostración. Sea M un subconjunto de N que satisface (i) y (ii). Defínase

K como el conjunto {n ∈ N : In ⊂ M }. Por la condición (i), se concluye
1 ∈ K. Sea n un elemento de K, es decir, In ⊂ M . Por la condición (ii), se tiene
S(n) ∈ M . Por otra parte, del hecho que no existen números naturales entre n y
su sucesor s(n), Corolario 2.7.4, se sigue

Is(n) = In ∪ {s(n)},

de donde, Is(n) ⊂ M . Luego s(n) ∈ K, y así K es inductivo. Por el PIM, K = N,

concluyendo así, In ⊂ M para todo n ∈ N, por lo cual,
[
N= In ⊆ M.
n∈N

Por lo tanto, M = N.

Teorema 2.7.7. El conjunto de los números naturales N con la relación, <, es un

conjunto bien ordenado.

Demostración. Sea A ⊆ N. La idea de la demostración es la siguiente: Se asume

que A no tiene elemento mínimo y se deduce que A es el conjunto vacío, concluyendo
así la afirmación del Teorema: si A ̸= ∅, entonces A tiene mínimo un elemento
mínimo.
(Versión 1) Supóngase que A ⊆ N no tiene mínimo. Se denota

M := {n ∈ N : n ∈
/ A y n es cota inferior para A}.

Como 1 es cota inferior para N y A ⊂ N, se sigue que 1 es también cota inferior

para A. En virtud de que A no tiene mínimo, se sigue 1 ̸∈ A. Así 1 ∈ M .
Supóngase n ∈ M , es decir, n es cota inferior para A y n no es elemento de A.
44 CAPÍTULO 2. EL SISTEMA DE NÚMEROS NATURALES

Entonces, n < m para todo m ∈ A, luego, por la parte (ii) del Teorema 2.7.5,
s(n) ≤ m para todo m ∈ A. Entonces s(n) es también cota inferior de A. Por el
hecho que A no tiene mínimo, s(n) ̸∈ A y así s(n) ∈ M . Por el PIM, M = N, de
donde se sigue,
A ⊂ N − M = ∅.
Por lo tanto, A = ∅.
Demostración. (Versión 2) Sea M el conjunto de números naturales que no pertenecen
a A, es decir, M = N − A. Entonces, como A no tienen elemento mínimo, 1 ∈ /A
y así 1 ∈ M . Luego I1 ⊂ M .
Supóngase In ⊂ M . Como n ∈ In ⊂ M y M = N − A, In ∩ A = ∅, esto es,
para todo a ∈ A, n < a. Luego por la parte (ii) del Teorema 2.7.5 se concluye
s(n) ≤ a, para todo a ∈ A, así s(n) es cota inferior de A. Por hipótesis, A
no tienen elemento mínimo, por lo cual s(n) no es elemento de A, así s(n) es
elemento de M . Con esto de ha demostrado las propiedades (i) y (ii) del Segundo
Principio de Inducción, Teorema 2.7.6, por lo cual se concluye M = N, y así
A = ∅.
Teorema 2.7.8. La propiedad del buen orden y el axioma de inducción son equivalentes.
Teorema 2.7.9 (PIM generalizado). Sea M un subconjunto de números naturales
tal que
(i) existe k ∈ N tal que k ∈ M y
(ii) para todo n ∈ N; si n ∈ M y k ≤ n entonces n + 1 ∈ M .
Entonces M contienen a todos los números naturales mayores o iguales a k, i.e.,
{n ∈ N : k ≤ n} ⊂ M .
Demostración. Sea M un subconjunto de N. Supóngase que M satisface (i) y (ii)
para el natural k. Defínase A := {n ∈ N : k ≤ n} − M . Se observa que M y A
son ajenos, y además; A = ∅ si y sólo {n ∈ N : k ≤ n} ⊂ M . En virtud de lo
anterior, basta demostrar que A = ∅. Supóngase que el conjunto A ̸= ∅. Como
N es bien ordenado, A tiene un elemento mínimo. Sea a el elemento mínimo de
A. Entonces a ∈ A por lo que k ≤ a. Ahora bien, k ̸∈ A, pues k ∈ M , por lo
que k < a. Entonces k ≤ l < l + 1 = a para algún l ∈ N. Como l < a y a
es el mínimo de A, se tiene l ̸∈ A. Entonces l ∈ M y k ≤ l, por (ii) se sigue
a = l + 1 ∈ M . Entonces a ∈ A ∩ M , lo que contradice el hecho que M y A son
ajenos. Por lo tanto, A es el conjunto vacío.
Capítulo 3

El sistema de números enteros

3.1. El Conjunto de Número Enteros

El objetivo en esta sección es construir una extensión del sistema de números
naturales con el propósito obtener inversos aditivos; se puede plantear otro propósito
como: definir la resta de dos números naturales cualesquiera. Para dicha construcción
se toma como conjunto base a N × N y para iniciar la construcción se identifica
un subconjunto que sea “una copia” de los números naturales.

W N
 Isomorfismo -

Cuando m ≤ n, la “resta” m de n, se denota por n − m, se define como el

número natural p tal que n = m + p. Entonces, cuando m ≤ n, la pareja de
números naturales (n, m) determina al número natural p = n − m, por lo que se
identifica al número natural p = n−m con la pareja ordenada (n, m) ∈ N×N con
m ≤ n. Siguiendo la idea, las parejas (m, n) con m < n no están identificadas
con algún número natural debido a que cuando m < n no es posible definir
en la misma forma la resta n de m, lo cual es consistente pues se construye
una extensión de los números naturales. Adelantando las ideas, la pareja (m, n)
con n < m se identifican con el inverso aditivo de la pareja (n, m). Para dejar

45
46 CAPÍTULO 3. EL SISTEMA DE NÚMEROS ENTEROS

establecida la idea se determinan explícitamente los elementos de N×N identificados

con cada número natural.
El natural 1 se identifica con las parejas
(2, 1), (3, 2), . . . , (n + 1, n), . . . ;
El natural 2 se identifica con las parejas
(3, 1), (4, 2), . . . , (n + 2, n), . . . ;
y el natural k se identifica con las parejas
(k + 1, 1), (k + 2, 2), . . . , (k + n, n), . . . .
En el terreno de las interpretaciones, el inverso aditivo del natural k, se identifica
con
(1, k + 1), (2, k + 2), . . . , (n, k + n), . . .
Salta a la vista la identificación de cada número natural con una colección de
parejas, para tratar este inconveniente se usa el concepto de relación de equivalencia
sobre N × N de tal manera que todas las parejas que se identifican con el mismo
número natural conformen una clase de equivalencia.
Definición 3.1.1. Se define la relación sobre N × N, denotada por R, mediante:
(a, b)R(c, d) ⇐⇒ a + d = b + c.
Teorema 3.1.1. La relación R es una relación de equivalencia sobre N × N.
Demostración. Sea (a, b) ∈ N × N. Por la conmutatividad a + b = b + a, así
(a, b)R(a, b), luego R es reflexiva. Sea (a, b) y (c, d) elementos de N×N. Suponga
que (a, b)R(c, d). Entonces por la conmutatividad de la suma,
(a, b)R(c, d) ⇐⇒ a + d = b + c (3.1)
⇐⇒ c + b = d + a (3.2)
⇐⇒ (c, d)R(a, b). (3.3)
Por lo tanto, R es simétrica. Sea (a, b), (c, d) y (e, f ) elementos de N×N. Suponga
(a, b)R(c, d) y (c, d)R(e, f ). Entonces
(a, b)R(c, d) ∧ (c, d)R(e, f ) ⇐⇒ (a + d = b + c) ∧ (c + f = d + e)
=⇒ (a + d) + (c + f ) = (b + c) + (d + e)
⇐⇒ (a + f ) = (b + e)
⇐⇒ (a, b)R(e, f ).
3.1. EL CONJUNTO DE NÚMERO ENTEROS 47

Luego R es transitiva, y se concluye que R es una relación de equivalencia sobre

N × N.

Para un natural k ∈ N, la pareja (k + 1, 1) está identificada con el natural k y

la clase de equivalencia de (k + 1, 1) módulo R es

(k + 1, 1)/R := {(m, n) ∈ N × N : (k + 1, 1)R(m, n)}

= {(n + k, n) : n ∈ N}
= {(k + 1, 1), (k + 2, 2), . . .}.

Tal como se esperaba, (k + 1, 1)/R resultó ser el conjunto conformado por las
parejas en N × N que se identifican con k y tal como se determinó, el inverso
aditivo de un natural k está identificado con (1, k + 1) y la clase de equivalencia
de (1, k + 1) módulo R, tal como se deseaba, es

(1, k + 1)/R := {(m, n) ∈ N × N : (m, n)R(1, k + 1)}

= {(n, n + k) : n ∈ N}
= {(1, k + 1), (2, k + 2), . . .}.

• • • • • • • • •
• • • • • • • • •
• • • • • • • • •
• • • • • • • • •
• • • • • • • • •
• • • • • • • • •
• • • • • • • • •
1 2 3 4 5 6 7 8 9

Definición 3.1.2. El conjunto cociente N × N⧸R se denota por Z y se llama

conjunto de números enteros.

El conjunto de los números enteros usualmente se denota por la letra inicial

de la palabra del idioma alemán “Zahl” que significa número. A los elementos de
Z se les llama números enteros.
48 CAPÍTULO 3. EL SISTEMA DE NÚMEROS ENTEROS

3.2. Operaciones en los números enteros

Al definir las operaciones sobre Z se debe tomar en cuenta que se está construyendo
una extensión de N y que la idea subyacente es que la clase (n + k, n) se identifica
con el natural k. Se proponen reglas para operar números enteros: la adición,
denotada por ⊕, y el producto, denotado con ⊙, mediante

(a, b) ⊕ (c, d) := (a + c, b + d), (3.4)

y
(a, b) ⊙ (c, d) := (ac + bd, ad + bc). (3.5)
Por ejemplo, (7, 2) y (13, 4) se identifican con 5 y 9, respectivamente; por otra
parte, el número entero (7, 2) ⊕ (13, 4) = (20, 6) se identifica con 14, a su vez
5 + 9 = 14; ahora el número entero (7, 2) ⊙ (13, 4) = (99, 54) se identifica con
el natural 45, y a su vez 5 · 9 = 45. Si bien, estos ejemplos aportan evidencia de
la consistencia deseada, se debe proceder con cautela porque las reglas (3.4)-(3.5)
para operar clases de equivalencia han sido establecidas mediante representantes
de clase, por lo que es necesario verificar que las operaciones están bien definidas,
lo que significa verificar que el resultado de una operación depende sólo de las
clases de equivalencia involucradas y no de los representantes en uso, en otras
palabras, se debe garantizar que el resultado de operar dos clases de equivalencia
mediante las reglas (3.4) y (3.5) no cambia si se cambian los representantes en
cada clase. Cuando es así, las reglas (3.4) y (3.5) definen funciones ⊕ : Z×Z → Z
y ⊙ : Z × Z → Z, quedando formalmente definidas las operaciones.

Es apropiado advertir que el proceso de verificar que una operación “está bien
definida” será indispensable cada vez que se propongan reglas de asociación sobre
clases de equivalencia y que dichas reglas dependan de representantes de clase.
Lema 3.2.1. Sea (a, b), (c, d), (p, q) y (r, s) elementos de N × N. Si (c, d) = (a, b)
y (r, s) = (p, q), entonces
(i) (c, d) ⊕ (r, s) = (a, b) ⊕ (p, q),

(ii) (c, d) ⊙ (r, s) = (a, b) ⊙ (p, q).

Demostración. Sea (a, b), (c, d), (p, q) y (r, s) elementos de N × N. Suponga
(c, d) = (a, b) y (r, s) = (p, q). Entonces (c, d)R(a, b) y (r, s)R(p, q), es decir,

c + b = d + a y r + q = s + p.
3.2. OPERACIONES EN LOS NÚMEROS ENTEROS 49

Se sigue

(c + r) + (b + q) = (c + b) + (r + q)
= (d + a) + (s + p)
= (d + s) + (a + p).

Luego (c + r, d + s)R(a + p, b + q) y así (c + r, d + s) = (a + p, b + q). Por lo

tanto,

(c, d) ⊕ (r, s) = (c + r, d + s)
= (a + p, b + q)
= (a, b) ⊕ (p, q).

Lo anterior demuestra la parte (i). Para la parte (ii), se usa el hecho

(d + a)(p + r) + (c + b)(q + s) + (s + p)(a + c) + (r + q)(b + d)

= (c + b)(p + r) + (d + a)(q + s) + (r + q)(a + c) + (s + p)(b + d).

Desarrollando los términos en ambos lados de la igualdad y usando la ley de la

cancelación,

(cr + ds) + (aq + bp) = (ap + bq) + (cs + dr).

Entonces (cr + ds, cs + dr)R(ap + bq, aq + bp), y así (cr + ds, cs + dr) =
(ap + bq, aq + bp). Por lo tanto,

(c, d) ⊙ (r, s) = (cr + ds, cs + dr)

= (ap + bq, aq + bp)
= (a, b) ⊙ (p, q).

Lo que demuestra la parte (ii).

El resultado anterior garantiza que las reglas de operación (3.4) y (3.5) están
bien definidas, esto es, definen operaciones ⊕ : Z × Z → Z y ⊙ : Z × Z → Z, la
cuales son cerradas en Z.
Definición 3.2.1. Las operaciones sobre Z, suma ⊕ : Z×Z −→ Z y multiplicación
⊙ : Z × Z −→ Z, se definen mediante

(a, b) ⊕ (p, q) = (a + p, b + q) y (a, b) ⊙ (p, q) = (ap + bq, aq + bp).

50 CAPÍTULO 3. EL SISTEMA DE NÚMEROS ENTEROS

Hasta ahora se ha construido un sistema algebraico (Z; ⊕, ⊙) del cual se

demostrará que es una extensión de (N, +, ·) y que sustenta las propiedades deseadas.
Teorema 3.2.1. El sistema numérico (Z; ⊕, ⊙) es un anillo conmutativo y unitario
sin divisores propios de cero, lo cual significa que se cumple:
I El sistema (Z; ⊕) es un grupo conmutativo, es decir,
(i) [Conmutatividad] (∀α, β ∈ Z)(α ⊕ β = β ⊕ α);
(ii) [Asociatividad] (∀α, β, γ ∈ Z)((α ⊕ β) ⊕ γ = α ⊕ (β ⊕ γ));
(iii) [Neutro aditivo] (∃0 ∈ Z)(∀α ∈ Z)(α ⊕ 0 = 0 ⊕ α = α);
(iii) [Inversos aditivos] (∀α ∈ Z)(∃β ∈ Z)(α ⊕ β = β ⊕ α = 0).
II El sistema (Z; ⊙) satisface:
(i) [Conmutatividad] (∀α, β ∈ Z)(α ⊙ β = β ⊙ α);
(ii) [Asociatividad] (∀α, β, γ ∈ Z)((α ⊙ β) ⊙ γ = α ⊙ (β ⊙ γ));
(iii) [Neutro multiplicativo] (∃1 ∈ Z)(∀α ∈ Z)(α ⊙ 1 = 1 ⊙ α = α);
(iv) [No existencia de divisores de cero] (∀α, β ∈ Z)(α ⊙ β = 0 ⇐⇒
(α = 0 ∨ β = 0)).
III El sistema (Z; ⊕, ⊙) satisface:
(i) [Distributividad] (∀α, β, γ ∈ Z)(α ⊙ (β ⊕ γ) = (α ⊙ β) ⊕ (α ⊙ γ))
Demostración. [Conmutatividad] Sean α = (m, n) y β = (p, q) números enteros.
Entonces
α⊕β = (m, n) ⊕ (p, q)
= (m + p, n + q)
= (p + m, q + n)
= (p, q) ⊕ (m, n)
= β ⊕ α.

α⊙β = (m, n) ⊙ (p, q)

= (mp + nq, mq + np)
= (pm + qn, pn + qm)
= (p, q) ⊙ (m, n)
= β ⊙ α.
3.2. OPERACIONES EN LOS NÚMEROS ENTEROS 51

Por lo tanto, la adición y la multiplicación son conmutativas.

[Asociatividad] Sean α = (m, n), β = (p, q) y γ = (r, s) números enteros.
h i
α ⊕ (β ⊕ γ) = (m, n) ⊕ (p, q) ⊕ (r, s)
= (m, n) ⊕ (p + r, q + s)
= (m + (p + r), n + (q + s))
= ((m + p) + r, (n + q) + s)
= (m + p, n + q) ⊕ (r, s)
 
= (m, n) ⊕ (p, q) ⊕ (r, s)
= (α ⊕ β) ⊕ γ.

 
α ⊙ (β ⊙ γ) = (m, n) ⊙ (p, q) ⊙ (r, s)
= (m, n) ⊙ ((pr + qs, ps + qr))
= (m(pr + qs) + n(ps + qr), m(ps + qr) + n(pr + qs))
= ((mp + nq)r + (mq + np)s, (mp + nq)s + (mq + np)r)
= (mp + nq, mq + np) ⊙ (r, s)
 
= (m, n) ⊙ (p, q) ⊙ (r, s)
= (α ⊙ β) ⊙ γ.

Por lo tanto, la adición y la multiplicación son asociativas.

[Neutros] Se denota por 0 al entero (1, 1) y por 1 al entero (2, 1). Sean α = (m, n)
entero. Entonces

α ⊕ 0 = (m, n) ⊕ (1, 1) = (m + 1, n + 1) = (m, n) = α.

α ⊙ 1 = (m, n) ⊙ (2, 1) = (2m + n, m + 2n) = (m, n) = α.

Por lo tanto, 0 es el elemento neutro para la adición y 1 es el neutro para la
multiplicación.
[Inversos aditivos] Sea α = (m, n) ∈ Z. El número entero β := (n, m) satisface

α ⊕ β = (m, n) ⊕ (n, m) = (m + n, n + m) = (1, 1) = 0.

Luego, β := (n, m) es el inverso aditivo para α = (m, n).

Por lo anterior, (Z; ⊕) es un grupo conmutativo.
52 CAPÍTULO 3. EL SISTEMA DE NÚMEROS ENTEROS

[Distributividad] Sean α = (m, n), β = (p, q) y γ = (r, s) números enteros.

α ⊙ (β ⊕ γ) = (m, n) ⊙ (p + r, q + s)
= (m(p + r) + n(q + s), m(q + s) + n(p + r))
= (mp + nq, mq + np) ⊕ (mr + ns, ms + nr)
   
= (m, n) ⊙ (p, q) ⊕ (m, n) ⊙ (r, s)
= (α ⊙ β) ⊕ (α ⊙ γ).

Por lo tanto, la multiplicación se distribuye por la izquierda con la adición. Por lo

anterior, (Z; ⊕, ⊙) es un anillo conmutativo con unidad.
[No existencia de divisores de cero] Sean α = (m, n), β = (p, q). Suponga que
α ⊙ β = 0. Entonces (mp + nq, mq + np) = (1, 1), es decir, (mp + nq, mq +
np)R(1, 1), obteniéndose

mp + nq = mq + np.

Supóngase α ̸= 0. Entonces m ̸= n y por la tricotomía del orden en N se cumple

uno y sólo uno de los casos: m < n o n < m. Se asume que m < n, es decir,
n = m + r, para algún natural r ̸= 0. Así

(mp + mq) + rq = mp + (m + r)q

= mp + nq
= mq + np
= mq + (m + r)p
= (mp + mq) + rp.

Luego, por leyes de cancelación para la adición, rq = rp, y como r ̸= 0, por leyes
de cancelación para el producto, q = p, lo que significa β = (p, p) = 0.
Cuando β ̸= 0, siguiendo el mismo razonamiento, se demuestra que α = 0. Por
lo tanto, se concluye la no existencia de divisores de cero en Z.
Se hacen algunas precisiones y aclaraciones sobre la terminología. Sea A
un conjunto no vacío. Un sistema algebraico (A; ⊕) se denomina grupo si la
operación es asociativa, tiene elemento neutro y tiene inversos. En un grupo se
denota con 0 al elemento neutro y si la operación es conmutativa el grupo se
denomina conmutativo. Note que (Z; ⊕) es un grupo conmutativo, pero (Z; ⊙) no
lo es. Un sistema numérico (A; ⊕, ⊙) se denomina anillo si cumple que (A; ⊕) es
un grupo conmutativo, la operación ⊙ es asociativa y se distribuye con respecto
3.3. EL ORDEN 53

a la operación ⊕. En un anillo (A; ⊕, ⊙) la operación de grupo ⊕ se denomina

suma o adición, y la operación ⊙ se denomina producto o multiplicación. Un
anillo se dice anillo conmutativo si el producto es conmutativo. Un anillo se dice
anillo con unidad si existe elemento neutro para el producto ⊙. En un anillo con
unidad se denota con 1 al elemento neutro para el producto y se llama unidad;
un elemento a ∈ A con a ̸= 0 se dice divisor propio de cero si existe b ∈ A
con b ̸= 0 tal que a ⊙ b = 0. Se observa por el teorema anterior que (Z; ⊕, ⊙)
es un anillo conmutativo con unidad sin divisores de cero. Un sistema numérico
(A; ⊕, ⊙) se dice dominio entero, dominio de integridad o dominio de íntegro si
es un anillo conmutativo con unidad sin divisores de cero. La estructura algebraica
de (Z; ⊕, ⊙) es la de dominio íntegro.

3.3. El orden
En esta sección se introduce una relación de orden lineal, denotada por
,
sobre los números enteros Z de manera tal que el sistema algebraico que resulte,
(Z; ⊕, ⊙;
), sea una extensión del sistema de números naturales (N; +, ·; <). El
método para introducir el orden en Z, básicamente es el mismo que se usará en
capítulos siguientes, por lo cual, se pide al lector hacer el esfuerzo por comprender
el método en su forma general, sobre dominios íntegros, para luego en cada extensión
que se construya sólo sea necesario especializar los resultados.

3.3.1. El orden en un dominio entero

En lo que sigue se considera un dominio íntegro (A; ⊕, ⊙), es decir, satisface
las propiedades establecidas en el Teorema 3.2.1. Para fijar ideas, el lector puede
pensar que se trata de (Z; ⊕, ⊙). Aclaraciones sobre la notación: para cada α, β ∈
A, se denota por −α al inverso aditivo de α. Directamente se observa −(−α) = α
y −α ⊕ (−β) = −(α ⊕ β). La suma, α ⊕ (−β) se escribe de manera breve como
α ⊖ β, además usamos α2 para denotar el producto α ⊙ α.
Teorema 3.3.1. Sea (A; ⊕, ⊙) un dominio íntegro. Entonces se cumple lo siguiente:
(i) Para todo α, β ∈ A;
α = β ⇐⇒ −α = −β ⇐⇒ α ⊖ β = 0.

(ii) Para todo α, β, γ ∈ A;

α ⊕ γ = β ⊕ γ ⇐⇒ α = β.
54 CAPÍTULO 3. EL SISTEMA DE NÚMEROS ENTEROS

(iii) Para todo α, β ∈ A;

α2 = β 2 ⇐⇒ α = β ∨ α = −β.

Demostración. Sean α, β y γ elementos arbitrarios de A. Entonces,

α = β ⇐⇒ (α ⊖ β = β ⊖ β) ∧ (β ⊖ α = α ⊖ α)
⇐⇒ (α ⊖ β = 0) ∧ (β ⊖ α = 0)
⇐⇒ −α = −β.

Lo que demuestra la afirmación (i). Ahora, usando inversos aditivos y la asociatividad

de la adición

α ⊕ c = β ⊕ γ ⇐⇒ (α ⊕ γ) ⊖ γ = (β ⊕ γ) ⊖ γ
⇐⇒ α ⊕ (γ ⊖ γ) = β ⊕ (γ ⊖ γ)
⇐⇒ α = β.

Quedando demostrada afirmación (ii). Ahora bien, usando la ley distributiva y las
propiedades del producto y adición se verifica: (α ⊕ β) ⊙ (α ⊖ β) = α2 ⊖ β 2 .
Entonces, por el hecho que en A no existen divisores de cero, y la parte (i), se
sigue

α2 = β 2 ⇐⇒ (α ⊕ β) ⊙ (α ⊖ β) = 0
⇐⇒ α⊕β =0 ∨ α⊖β =0
⇐⇒ α = −β ∨ α = −(−β)
⇐⇒ α = −β ∨ α = β.

Esto demuestra la parte (iii).

Definición 3.3.1. Un subconjunto P de A se dice conjunto positivo en A si

satisface

i) 0 ̸∈ P ;

ii) α ∈ A ∧ α ̸= 0 =⇒ α ∈ P ∨ −α ∈ P ;

iii) α ∈ P =⇒ −α ̸∈ P ;

iv) α, β ∈ P =⇒ α ⊕ β ∈ P ∧ α ⊙ β ∈ P .
3.3. EL ORDEN 55

Definición 3.3.2. Sea P ⊂ A un conjunto positivo sobre A. Se define la relación,

denotada por
, inducida por P mediante:

α
β ⇐⇒ β ⊖ α ∈ P para todo α, β ∈ P.

Se escribe a
b o b  a alternativamente. De la definición se observa que

α = α ⊖ 0 ∈ P si y sólo si α  0.

Teorema 3.3.2. Sea (A; ⊕, ⊙) un dominio entero y sea A+ un conjunto de elementos

positivos para A, entonces

(1) La relación
es un orden lineal sobre A;

(2) El sistema algebraico (A; ⊕, ⊙;
) es un dominio entero ordenado;

(3) A+ = {a ∈ A : a  0}.

Demostración. Ver pág 54 en Cohen.

Sean α, β y γ elementos de A. Claramente α ⊖ α = 0 ̸∈ P , por lo cual, α
̸ α, y
se concluye que
es antisimétrica.
Suponga α
β y β
γ. Luego β ⊖ α ∈ P , γ ⊖ β ∈ P , y así γ ⊖ α = (γ ⊖ β) ⊕
(β ⊖ α) ∈ P . Por lo tanto, α
γ, concluyendo que la relación
es transitiva.
Ahora se demuestra que la relación
es tricotómica en tres pasos:

α
β ⇐⇒ β ⊖ α ∈ P ∧ β ⊖ α ̸= 0
⇐⇒ α ⊖ β = −(β ⊖ α) ̸∈ P ∧ α ⊖ β ̸= 0
⇐⇒ β

̸ α ∧ α ̸= β.

β
α ⇐⇒ α ⊖ β ∈ P ∧ α ⊖ β ̸= 0
⇐⇒ β ⊖ α = −(α ⊖ β) ̸∈ P ∧ β ⊖ α ̸= 0
⇐⇒ α

̸ β ∧ β ̸= α.

β = α ⇐⇒ α ⊖ β = 0 ∧ β ⊖ α = 0
⇐⇒ α ⊖ β ̸∈ P ∧ β ⊖ α ̸∈ P
⇐⇒ β

̸ α∧α
̸ β.

Entonces se satisface una y sólo una una de las afirmaciones: α
β, β
α, α = β.

Por lo tanto, la relación
es tricotómica.
56 CAPÍTULO 3. EL SISTEMA DE NÚMEROS ENTEROS

Teorema 3.3.3 (Ley de los signos). Sean Para todo α, β ∈ A las propiedades
siguientes se cumplen:

(i) Si 0
α y 0
β, entonces 0
α ⊙ β.

(ii) Si 0
α y β
0, entonces α ⊙ β
0.

(iii) Si α
0 y β
0, entonces 0
α ⊙ β.

(iv) Si α ̸= 0, entonces 0
α2 . En consecuencia, 0
12 = 1.

(v) Si 0
α, entonces −α
0
α.

Demostración. Sea (A; ⊕, ⊙) un dominio íntegro y α, β ∈ A. (i) Supóngase

0
α y 0
β, es decir, α ∈ P y β ∈ P . Como P es un conjunto positivo, α ⊙ β
es elemento de P , es decir, 0
α ⊙ β.
(ii) Supóngase 0
α y β
0, es decir, α ∈ P y −β ∈ P . Como P es un conjunto
positivo, α ⊙ (−β) es también elemento de P . Luego, por distributividad,

(α ⊙ (−β)) ⊕ (α ⊙ β) = (α ⊕ (α ⊙ β)) ⊙ (−β ⊕ (α ⊙ β))

= (α ⊕ (α ⊙ β)) ⊙ ((−β ⊕ α) ⊙ (−β ⊕ β))
= ((α ⊕ α) ⊙ (α ⊕ β)) ⊙ 0
= 0.

Así, (α ⊙ β) = −(α ⊙ (−β)) y como α ⊙ (−β) ∈ P , se sigue, (α ⊙ β) ∈ / P y

α ⊙ β ̸= 0. Por tricotomía, 0
(α ⊙ β).
(iii) Supóngase que α
0 y β
0, es decir, α ∈ / P, β ∈
/ P , α ̸= 0 y β ̸= 0. Como P
es un conjunto positivo, −α ∈ P y −β ∈ P , por lo cual, (−α) ⊙ (−β) es también
un elemento de P . Usando la parte (i) y la conmutatividad de la multiplicación,

(−α) ⊙ (−β) = −((−α) ⊙ β)

= −(−(β ⊙ α))
= (α ⊙ β).

Por lo tanto, (α ⊙ β) = ((−α) ⊙ (−β)) es elemento de P , así 0 < (α ⊙ β).

(iv) Supóngase α ̸= 0. Por tricotomía se cumple una y sólo una de las condiciones
α
0 o 0
α. Cuando α
0, por la parte (iii) se sigue 0
α · α = α2 .
(V ) Supóngase 0
α. Entonces α ∈ P y −α ∈ / P , es decir, 0
α y −α
0.
3.3. EL ORDEN 57

3.3.2. El orden en Z
Debido a que (Z; ⊕, ⊙) es un dominio entero, los resultados de la subsección
anterior, para dominios enteros generales, se cumplen para (Z; ⊕, ⊙), de manera
que sólo se especializan los resultados de la sección anterior a (Z; ⊕, ⊙).
Teorema 3.3.4. El conjunto P := {(n + 1, 1) ∈ Z : n ∈ N} es un conjunto de
números positivos en el dominio íntegro (Z; ⊕, ⊙).
Demostración. Se debe demostrar que P satisface las propiedades (i) − (iv) de
la definición de conjunto positivo sobre (Z; ⊕, ⊙).
(i) Sea α ∈ P, es decir, α = (n + 1, 1) con n ∈ N. Entonces (1, n + 1) ̸ R(1, 1),
por lo cual α ̸= 0. Por lo tanto, 0 ∈
/ P.
(ii) Sea α ∈ Z con α ̸= 0. Entonces α = (p, q) para algunos naturales p y q,
con p ̸= q. Por tricotomía del orden en N, se satisface una y solo una de las
condiciones: q < p o p < q.
Cuando q < p, se escribe, p = q + n para algún n ∈ N. Luego (n + 1, 1)R(p, q)
y así (n + 1, 1) = (p, q) = α. Por lo tanto, α ∈ P.
Cuando p < q, se expresa, q = p + n para algún n ∈ N. Luego (1, n + 1)R(p, q) y
así (1, n + 1) = (p, q) = α. Como (1, n + 1) ⊕ (n + 1, 1) = (n + 2, n + 2) = 0,
se concluye −α = (n + 1, 1) ∈ P.
En cualquier caso se concluye: α ∈ P o −α ∈ P.
(iii) Supóngase α ∈ P. En consecuencia, α = (n + 1, 1) para algún n ∈ N con
n ̸= 0. Luego −α = (1, n + 1), por lo cual, −α ∈ / P.
(iv) Supóngase que α y β son elementos de P. Por consiguiente, α = (m + 1, 1) y
β = (n + 1, 1) para algunos n, m ∈ N. Se concluye, α⊕β = (m + n + 2, 2) ∈ P
y α ⊙ β = ((m + 1)(n + 1) + 1, (m + 1) + (n + 1)) ∈ P.
Corolario 3.3.1. La relación
inducida por el conjunto positivo P, definida para
todo a, b ∈ Z, mediante
a
b ⇐⇒ b ⊖ a ∈ P,
es una relación de orden lineal en (Z; ⊕, ⊙). Además, en (Z; ⊕, ⊙;
) se satisfacen
las afirmaciones del Teorema 3.3.3.
Demostración. Debido a que (Z; ⊕, ⊙) es un dominio entero y P un conjunto
positivo sobre Z, la conclusión se sigue del Teorema 3.3.2 y el Teorema 3.3.3.
n o
Se denota por W al subconjunto (n + 1, 1) : n ∈ N de Z y se dota con
las operaciones ⊕, ⊙ y el orden lineal ▷ establecidas para Z, obteniéndose el
sistema algebraico (W ; ⊕, ⊙;
). Claramente (Z; ⊕, ⊙;
) es una extensión de
58 CAPÍTULO 3. EL SISTEMA DE NÚMEROS ENTEROS

(W ; ⊕, ⊙; <); Para concluir que (Z; ⊕, ⊙;
) es una extensión de (N; +, ·; <), se

demostrará que (W ; ⊕, ⊙; <) es una copia de (N; +, ·; <).
Teorema 3.3.5. El sistema de de números enteros (Z; ⊕, ⊙;
) es una extensión
de el sistema de números naturales (N; +, ·; <).
Demostración. Basta demostrar que el sistema (W ; ⊕, ⊙;
) es isomorfo al sistema
de los números naturales (N; +, ·; <). Defínase
ϕ : W → N; ϕ((n + 1, 1)) = n. (3.6)
Sean α, β ∈ Z, entonces α = (m + 1, 1) y β := (a + 1, 1) para algunos m, a ∈ N.
Luego
ϕ(α) + ϕ(β) = ϕ((m + 1, 1)) + ϕ((a + 1, 1))
= (m + 1) + (a + 1)
= ϕ((((m + 1) + (a + 1), 1))
= ϕ((m + 1, 1) ⊕ (a + 1, 1))
= ϕ(α ⊕ β);

ϕ(α) · ϕ(β) = ϕ((m + 1, 1)) · ϕ((a + 1, 1))

= (m + 1)(a + 1)
= ϕ(((m + 1)(a + 1) + 1, 1))
= ϕ((m + 1, 1) ⊗ (a + 1, 1))
= ϕ(α ⊗ β);

ϕ(α) < ϕ(β) ⇐⇒ ϕ((m, 0)) < ϕ((a, 0))

⇐⇒ m<a
⇐⇒ a = m + p para algún natural p ̸= 0
⇐⇒ (a, m)R(p, 0) para algún natural p ̸= 0
⇐⇒ (a, m) = (p, 0) para algún p ̸= 0
⇐⇒ (a, 0) ⊕ (0, m) ∈ P
⇐⇒ β ⊕ (−α) ∈ P
⇐⇒ β⊖α∈P
⇐⇒ α
β.
Por lo tanto, ϕ es un isomorfismo de W en N.
3.4. NOTACIÓN PARA LOS NÚMEROS ENTEROS 59

En la demostración del teorema anterior se establece que el sistema de números

enteros (Z; ⊕, ⊙;
) contiene una copia de (N; +, ·; <), a saber, (W ; ⊕, ⊙;
).
Con esta consideración, cuando sea conveniente se puede denotar a cada entero
(n, 0) ∈ W simplemente con el natural n, sin dar lugar a confusiones. Así mismo,
las operaciones ⊕, ⊙ y el orden
en los enteros, se pueden denotar con la misma
notación usada para los naturales, +, · y <, respectivamente. Por lo anterior, en
adelante el sistema de números enteros se denota por (Z; +, ·; <).

3.4. Notación para los números enteros

Con el propósito de tener una notación para los números enteros que sea
manejable se propone la Regla de Asignación: sea z = (n, m) un entero arbitrario:
(i) Cuando m < n se denota al entero z con el natural n − m

(ii) Cuando n < m, por la parte (i), el entero (m, n) se representa por (m − n).
Como z es el inverso aditivo de (m, n) resulta obvio denotar con −(m − n)
al entero z.

(iii) Si m = n, se denota al entero z con el natural 0.

Para cada entero, z = (m, n), por tricotomía del orden en los naturales se cumple
uno y sólo uno de los casos (a), (b) o (c), listados arriba, por lo cual con la
regla establecida se asigna representación a todo entero. Debido a que la nueva
representación propuesta hace uso de un representante de clase de la equivalencia
que conforma el número entero, falta verificar que dicha representación no cambia
si cambia el representante, es decir, la representación es única para cada entero.
Teorema 3.4.1. Para todo número entero la representación asignada por la regla
es única.
Demostración. Sea α = (a, b) un número entero. Suponga (a, b) = (c, d), es
decir, a + d = b + c. Entonces

a < b ⇐⇒ b=a+p
⇐⇒ a+d=b+c
⇐⇒ a + d = (a + p) + c
⇐⇒ d=c+p
⇐⇒ c < d.
60 CAPÍTULO 3. EL SISTEMA DE NÚMEROS ENTEROS

De manera similar se prueba: b < a si y sólo si d < c. Por lo anterior y la

tricotomía del orden se sigue: b = a si y sólo si d = c.
Suponga que para α = (a, b) la representación está determinada por la parte (i)
de la regla de asignación y es b − a. Entonces de a < b y se sigue c < d. Luego,
para (c, d) la representación también está determinada por la parte (i) de la regla
de asignación y resulta ser d − c. Como por hipótesis a + d = b + c, se sigue,
b − a = d − c, es decir, la representación de α no cambia si se usa (a, b) o (c, d).
De manera similar procede el análisis para el caso en que la representación está
determinada por la parte (ii) o por la parte (iii) de la regla de asignación.
Con la notación establecida, el conjunto de los números enteros se escribe:

Z = {0, 1, −1, 2, −2, 3, −3, ...} .

3.5. Propiedades de los Enteros

Ver Pág 131, Sólomon Feferman, THE NUMBER SYSTEM FUNDATION.
Capítulo 4

El sistema de números racionales

El objetivo en este capítulo es construir una extensión del conjunto de los

números enteros de tal forma que haya inversos multiplicativos, o dicho en otra
forma, la extensión debe ser tal que en ella todas las ecuaciones lineales tengan
solución. A dicha extensión se le denomina sistema de números racionales.

4.1. Construcción
Se propone al conjunto Q := {(a, b) : a, b ∈ Z, b ̸= 0} = Z × (Z − {0})
como base para la construcción del sistema de los números naturales. Se inica
identificando a cada entero con elementos de Q, a saber, el entero 0 se identifica
con las parejas (0, a, ) ∈ Q, para a ∈ Z − {0}; el 1 con las parejas (a, a) ∈ Q para
a ∈ Z − {0}; en general, un entero k se identifica con las parejas (ka, a) ∈ Q,
para a ∈ Z − {0}; para ir más allá, el inverso multiplicativo del entero k se
identifica con las parejas (−ka, a) y (−ka, a) de Q, para a ∈ Z−{0}. En analogía
con la construcción de los enteros, se define una relación de equivalencia tal que
todas las parejas que se identifican con un número entero conformen una clase de
equivalencia.

Definición 4.1.1. Se define la relación R sobre Q mediante lo siguiente:

(a, b)R(c, d) ⇐⇒ ad = bc.

Q := Z × (Z − {0})

61
62 CAPÍTULO 4. EL SISTEMA DE NÚMEROS RACIONALES

6
• • • • • • • 4 •  •

• • • •




• • • • • • • 3 •
•  • • • •


• • • • • • • 2  •
 • • • • •




• • • • • • • 1
 

• • • • • •




 -
-6 -5 -4 -3 -2 -1 
0 1 2 3 4 5 6


• • • • • • 
 • -1 • • • • • •




• • • • •  •
 • -2 • • • • • •




• • • • •
• • -3 • • • • • •


• • • • •
 • • -4 • • • • • •




Teorema 4.1.1. La relación R es una relación de equivalencia sobre Q.

Demostración. Sea (a, b), (c, d) y (p, q) elementos de Q. Por la conmutatividad

del producto en Z, ab = ba, lo que implica (a, b)R(a, b). Luego R es reflexiva.
Supóngase ahora, (a, b)R(c, d). Entonces ad = bc, lo que se reescribe, cb = da,
concluyendo (c, d)R(a, b). Por lo tanto, R es simétrica. Para probar que R es
transitiva, supóngase (a, b)R(c, d) y (c, d)R(p, q). Entonces ad = bc y cq = dp y
por las propiedades asociativa y conmutativa del producto en Z, se sigue:

(aq)d = (ad)q = (bc)q = (cq)b = (dp)b = (bp)d.

Como d ̸= 0, de las leyes de cancelación en Z se sigue aq = bp, concluyendo

(a, b)R(p, q). Por lo tanto, R es transitiva.

Para cada (a, b) ∈ Q, la clase de equivalencia de (a, b) bajo R está dada por

(a, b) := {(c, d) ∈ Q : ad = bc}.

Definición 4.1.2. Se denomina conjunto de números racionales al conjunto de

clases de equivalencia Q⧸R y se denota por Q.
4.2. OPERACIONES 63

Es importante no perder de vista que en el conjunto Q se debe identificar una

copia de Z. Por ejemplo, el 0 se identifica con la clase de equivalencia

(0, b) := {(p, q) ∈ Q : b · p = 0} = {(0, q) : q ∈ Z − {0}}.

Un entero k ∈ Z − {0} se identifica con la clase de equivalencia

(k, 1) := {(p, q) ∈ Q : kq = p} = {(kq, q) : q ∈ Z − {0}}.

El inverso multiplicativo de k ∈ Z − {0} se identifica con la clase de equivalencia

(1, k) := {(p, q) ∈ Q : q = k · p} = {(p, kp) : p ∈ Z − {0}}.

4.2. Operaciones
Se definen las reglas de operación en los racionales, adición ⊕ y producto ⊙,
mediante
(a, b) ⊕ (c, d) := (ad + bc, bd) (4.1)

y
(a, b) ⊙ (c, d) = (ac, bd). (4.2)

Se observa que hay consistencia con las operaciones en los enteros, por ejemplo,
(8, 4) y (14, 2) se identifican con 2 y 7, respectivamente; por otra parte el número
entero (8, 4) ⊕ (14, 2) = (72, 8) se identifica con 9 y a su vez, 2 + 7 = 9; por
otra parte el número entero (8, 4) ⊙ (14, 2) = (112, 8) se identifica con 14 y a su
vez 2 × 7 = 14. Las regla de operación en Q están establecidas por representantes
clase, por lo que es necesario verificar que las reglas de operación (4.1)-(4.2)
están bien definidas, es decir, el resultado de la operación no cambia al cambiar el
representante de la clase de equivalencia en Q.

Lema 4.2.1. Sean (a, b), (c, d), (p, q) y (r, s) elementos de Q. Si (c, d) = (a, b) y
(r, s) = (p, q), entonces

(i) (c, d) ⊕ (r, s) = (a, b) ⊕ (p, q),

(ii) (c, d) ⊙ (r, s) = (a, b) ⊙ (p, q).

64 CAPÍTULO 4. EL SISTEMA DE NÚMEROS RACIONALES

Demostración. Sean (a, b), (c, d), (p, q) y (r, s), elementos de Q. Supóngase (c, d) =
(a, b) y (r, s) = (p, q). Entonces (c, d)R(a, b) y (r, s)R(p, q), es decir, ad = bc y
ps = qr.

(aq + bp)ds = (aq)(ds) + (bp)(ds)

= (ad)(qs) + (ps)(bd)
= (bc)(qs) + (qr)(bd)
= (cs + rd)bq.

De lo anterior, (aq +bp, bq)R(cs+rd, ds), es decir, (aq + bp, bp) = (cs + rd, ds),
siguiéndose (c, d) ⊕ (r, s) = (a, b) ⊕ (p, q). Por otra parte,

(ap)(ds) = (ad)(ps)
= (bc)(qr)
= (bq)(cr).

De lo anterior (ap, bq)R(cr, ds), así (ap, bq) = (cr, ds), concluyendo (c, d) ⊙
(r, s) = (a, b) ⊙ (p, q).
Como consecuencia, las reglas (4.1)-(4.2) definen operaciones sobre Q, a saber,
la operación adición
⊕ : Q × Q −→ Q,
mediante
(a, b) ⊕ (c, d) := (ad + bc, bd), ∀ (a, b), (c, d) ∈ Q,
y la operación producto
⊙ : Q × Q −→ Q,
mediante
(a, b) ⊙ (c, d) := (ac, bd), ∀ (a, b), (c, d) ∈ Q.

4.3. Propiedades
Teorema 4.3.1. El sistema de números racionales (Q; ⊕, ⊙) es un campo, lo cual
significa que tiene las propiedades:
I El sistema (Q, ⊕) es un grupo conmutativo, es decir,

(i) [Conmutatividad] (∀α, β ∈ Q)(α ⊕ β = β ⊕ α)

4.3. PROPIEDADES 65

(ii) [Asociatividad] (∀α, β, γ ∈ Q)((α ⊕ β) ⊕ γ = α ⊕ (β ⊕ γ))

(iii) [Neutro aditivo] (∃0 ∈ Q)(∀α ∈ Q)(α ⊕ 0 = 0 ⊕ α = α)
(iv) [Inversos aditivos] (∀α ∈ Q)(∃β ∈ Q)(α ⊕ β = β ⊕ α = 0). Para
cada α ∈ Q, denotaremos con −α al inverso aditivo de α.

II El sistema (Q−{0}, ⊙) es un grupo conmutativo, lo cual significa que tiene

las propiedades:

(i) [Conmutatividad] (∀α, β ∈ Q − {0})(α ⊙ β = β ⊙ α)

(ii) [Asociatividad] (∀α, β, γ ∈ Q − {0})((α ⊙ β) ⊙ γ = α ⊙ (β ⊙ γ)).
(iii) [Neutro multiplicativo] (∃1 ∈ Q − {0})(∀α ∈ Q − {0})(α ⊙ 1 =
1 ⊙ α = α).
(iv) [Inversos multiplicativos] (∀α ∈ Q − {0})(∃β ∈ Q − {0})(α ⊙ β =
β ⊙ α = 1)

III El sistema (Q, ⊕, ⊙) satisface:

(ii) [Distributividad] (∀α, β, γ ∈ Q)(α ⊙ (β ⊕ γ) = (α ⊙ β) ⊕ (α ⊙ γ)).

Demostración. [Conmutatividad] Sean α = (m, n) y β = (p, q) racionales.

α⊕β = (m, n) ⊕ (p, q)

= (mq + np, nq)
= (pn + qm, qn)
= (p, q) ⊕ (m, n)
= β ⊕ α.

α⊙β = (m, n) ⊙ (p, q)

= (mp, nq)
= (pm, qn)
= (p, q) ⊙ (m, n)
= β ⊙ α.
66 CAPÍTULO 4. EL SISTEMA DE NÚMEROS RACIONALES

Por lo tanto, la adición y multiplicación sobre Q son conmutativas.

[Asociatividad] Sean α = (m, n), β = (p, q) y γ = (r, s), números racionales.
h i
α ⊕ (β ⊕ γ) = (m, n) ⊕ (p, q) ⊕ (r, s)
= (m, n) ⊕ (ps + qr, qs)
= (m(qs) + n(ps + qr), n(qs))
= ((mq + np)s + (nq)r, (nq)s)
= (mq + np, nq) ⊕ (r, s)
 
= (m, n) ⊕ (p, q) ⊕ (r, s)
= (α ⊕ β) ⊕ γ.

 
α ⊙ (β ⊙ γ) = (m, n) ⊙ (p, q) ⊙ (r, s)
= (m, n) ⊙ ((pr, qs))
= (m(pr), n(qs))
= ((mp)r, (nq)s)
= (mp, nq) ⊙ (r, s)
 
= (m, n) ⊙ (p, q) ⊙ (r, s)
= (α ⊙ β) ⊙ γ.

Por lo tanto, la adición y la multiplicación sobre Q son asociativas.

[Neutros] Tómese 0 := (0, 1) y 1 := (1, 1). Entonces, para α = (m, n),

α ⊕ 0 = (m · 1 + n · 0, n · 1) = α;
α ⊙ 1 = (m · 0, n · 1) = α.

Por lo tanto, 0 es el neutro para la adición y 1 el neutro para el producto.

[Inversos] Sea α = (m, n) un número racional. Se define β := (−m, n), entonces
β es un número racional tal que

α ⊕ β = (mn + n(−m), n2 ) = (0, n2 ) = (0, 1) = 0.

Suponga que α ̸= 0, es decir, n ̸= 0. Luego, γ := (m, n) es un número racional

tal que
α ⊙ γ = (m, n) ⊙ (n, m) = (mn, nm) = (1, 1) = 1.
4.3. PROPIEDADES 67

Por lo tanto, γ = (−m, n) es el inverso aditivo de α = (m, n) y γ = (n, m) el

inverso multiplicativo de α = (m, n).
[Distributividad] Sean α = (m, n), β = (p, q) y γ = (r, s) números enteros.

α ⊙ (β ⊕ γ) = (m, n) ⊙ (ps + qr, qs)

= (m(ps + qr), n(qs))
= (nm(ps + qr), nn(qs))
= (mp, nq) ⊕ (mr, ns)
   
= (m, n) ⊙ (p, q) ⊕ (m, n) ⊙ (r, s)
= (α ⊙ β) ⊕ (α ⊙ γ).

Por lo tanto, la multiplicación se distribuye con la adición.

[No existencia de divisores de cero] Sean α = (m, n), β = (p, q) números
racionales. Supóngase α = 0, es decir, m ̸= 0.

α ⊙ β = 0 ⇐⇒ (mp, nq) = 0
⇐⇒ mp = 0
⇐⇒ p=0
⇐⇒ β = 0.

Representación. Para tener una representación más fácil de manejar, se plantea

la Regla de Asignación: Cada número racional (a, b) se representa por ab , así el
conjunto de números racionales queda representado como
a
Q = { : a, b ∈ Z, b ̸= 0},
b
y las operaciones adición y multiplicación ante esta nueva representación se expresa:

a c ad + bc a c ac
⊕ = ; ⊙ = .
b d bd b d bd
Con esta notación un número racional ab es una clase de equivalencia con representante
(a, b) y la igualdad ab = dc significa (a, b)R(c, d). Por lo tanto,
a c
= si y sólo si ad = bc.
b d
68 CAPÍTULO 4. EL SISTEMA DE NÚMEROS RACIONALES

Por otra parte, para cada racional pq ̸= 0, el inverso aditivo se puede expresar, en
particular, como −pq
p
o −q . Para lograr consistencia en la notación para inversos
aditivos en dominios enteros generales se escribe − pq = −p q
= −qp
. Se concluye
a
que la representación b es tan buena como (a, b), pues sigue haciendo uso de un
representante de la clase de equivalencia; probablemente la ventaja mayor de la
nueva notación es que es más fácil de manipular y facilita recordar las reglas para
operar con racionales.
a c
Lema 4.3.1. Si = , entonces 0 < ab si y sólo si 0 < cd
b d
a
Demostración. Supóngase b
= dc , es decir, ad = cb. Luego,
a c
ab > 0, = ⇐⇒ ab > 0, ad = cb (4.3)
b d
⇐⇒ (ab)(cd) = (ad)(cb) = b2 c2 , ab > 0 (4.4)
⇐⇒ cd > 0. (4.5)

Teorema 4.3.2 (Leyes de cancelación). Sean a, b y c números racionales. Entonces

(a) a = b sí y sólo si a ⊕ c = b ⊕ c.

(b) Si c ̸= 0 entonces, a = b si y sólo si a ⊗ c = b ⊗ c

4.4. El orden
En esta sección se introduce una relación de orden lineal sobre los números
racionales, denotada por
, de manera tal que el sistema de números racionales
que resulte, (Q; ⊕, ⊙;
), sea una extensión del sistema de números enteros (Z; +, ·; <
). En virtud de que (Q; ⊕, ⊙) es un campo, y en particular es un dominio entero,
los resultados presentados en la Subsección 3.3.1, se cumplen para (Q; ⊕, ⊙).
p
Lema 4.4.1. El conjunto Q+ := { ∈ Q : 0 < pq} es un conjunto de números
q
positivos para Q.

Demostración. Se debe demostrar que Q+ satisface las propiedades de conjunto

positivo sobre (Q; ⊕, ⊙).
4.4. EL ORDEN 69

(i) Sea α ∈ Q+ , es decir, α = pq con pq ̸= 0. Entonces α ̸= 0, y se sigue, 0 ∈

/ Q+ .
(ii) Sea α ∈ Q+ con α ̸= 0. Entonces α = pq para algunos enteros p y q, con
pq ̸= 0. Por la tricotomía, 0 < pq o pq < 0, lo que implica, α ∈ Q+ o α ∈ / Q+ ,
respectivamente.
(iii) Supóngase α ∈ Q+ . Entonces α = pq para algunos enteros p y q con 0 < pq.
Luego (−p)q = −(pq) < 0 y así el inverso aditivo −α = −p q
no pertenece a Q+ .
(iv) Supóngase que α y β son elementos de Q+ . Por consiguiente, α = pq y β = rs
con 0 < pq y 0 < rs. Por una parte, 0 < (pq)s2 + (rs)q 2 = (ps + qr)(qs), por lo
cual, α ⊕ β es elemento de Q+ y por otra parte, 0 < (pq)(rs) = (pr)(qs), por lo
cual, α ⊙ β es elemento de Q+ .
Definición 4.4.1. Se define la relación
sobre Q, inducida por Q+ , como sigue:
a
b ⇐⇒ b ⊖ a ∈ Q+ .
Claramente para todo número racional a se cumple: a ∈ Q+ si y sólo si a  0.
Corolario 4.4.1. La relación
inducida por el conjunto positivo Q+ , definida
para todo a, b ∈ Q, mediante
a
b ⇐⇒ b − a ∈ Q+ ,
es un orden lineal sobre (Q; ⊕, ⊙). El sistema (Q; ⊕, ⊙;
) es una campo ordenado.
Demostración. Debido a que (Q; ⊕, ⊙) es un campo, en particular un dominio
entero, y Q+ un conjunto positivo sobre Q, la conclusión se sigue del Teorema
3.3.2.
Definición 4.4.2. Un sistema numérico (A; ⊕, ⊙; 4) se denomina campo ordenado
si (A; ⊕, ⊙) es un campo y la relación 4 es un orden lineal sobre A tal que, para
todo a, b, c ∈ A,
(i) si a 4 b, entonces a ⊕ c 4 b ⊕ c;
(ii) si a 4 b y 0 4 c, entonces a ⊙ c 4 b ⊙ c.
Teorema 4.4.1. El sistema (Q; ⊕, ⊙) es un campo ordenado.
p
Se denota por W al subconjunto { : p ∈ Z} de Q y se dota con las operaciones
1
⊕, ⊙ y el orden lineal
establecidas para Q, obteniéndose el sistema algebraico
(W ; ⊕, ⊙;
). Claramente, (Q; ⊕, ⊙;
) es una extensión de (W ; ⊕, ⊙; <); Para
concluir que (Q; ⊕, ⊙;
) es una extensión de (Z; +, ·; <), se demostrará que
(Z; +, ·; <) es isomorfo a (W ; ⊕, ⊙; <).
70 CAPÍTULO 4. EL SISTEMA DE NÚMEROS RACIONALES

Teorema 4.4.2. El sistema de números racionales (Q; ⊕, ⊙;
) es una extensión

del sistema de números enteros (Z; +, ×; <).
Demostración. Se considera el conjunto W := { a1 ∈ Q : a ∈ Z} ⊂ Q y se define
Ψ : Z −→ W,
mediante
a
Ψ(a) = , ∀a ∈ Z. (4.6)
1
Entonces Ψ es biyectiva y para cada a, b ∈ Z se cumple,
a+b
Ψ(a + b) =
1
a b
= ⊕
1 1
= Ψ(a) ⊕ Ψ(b),
y
ab
Ψ(ab) =
1
a b
= ⊙
1 1
= Ψ(a) ⊙ Ψ(b).
Además,
a < b ⇐⇒ 0 < b − a
b−a
⇐⇒ 0 ◁
1
b a
⇐⇒ 0 < ⊖
1 1
a b
⇐⇒ ◁
1 1
⇐⇒ Ψ(a) ◁ Ψ(b).
Por lo tanto, (Z; +, ×; <) es un isomorfo a (W ; ⊕, ⊙; ◁), por lo cual, (Q; ⊕, ⊙; ◁)
es una extensión de (Z; +, ×; <).
En particular isomorfismo Ψ definido en (4.6) sugiere denotar, cuando sea
a
conveniente, el racional simplemente con a, así mismo, se opta por denotar las
1
operaciones ⊕, ⊙ y el orden
en Q, como las operaciones y el orden en Z; +, ×
y <, respectivamente. En adelante denotaremos el sistema de números racionales
por (Q; +, ·; <).
4.5. DENSIDAD 71

4.5. Densidad
Ver pág 69 de Cohen.

Definición 4.5.1. Una relación de orden en un conjunto A se denomina densa si,

para cada a, b tales que a < b en A, existe algún c ∈ A tal que a < c < b.

Teorema 4.5.1. Si (A; ⊕, ⊙; 4) es un campo ordenado, entonces el orden en A

es denso.

Teorema 4.5.2. El orden en Q es denso, es decir, entre cualesquiera dos número

racionales diferenctes, existe otro número racional.

4.6. Valor absoluto

para fácil referencia esta sección se resumen las propiedades para la relación
de orden en Q, las cuales ya han sido demostrada, unas de manera explícita y otras
de manera implícita.

Teorema 4.6.1. Sean α, β y γ números racionales. Entonces,

(i) α < β si y sólo si α + γ < β + γ.

(ii) Si γ > 0 entonces, α < β si y sólo si αγ < βγ.

(iii) Si γ < 0 entonces, α < β si y sólo si βγ < αγ.

(iv) Si α > 0 y β > 0, entonces αβ > 0.

(v) Si α < 0 y β < 0, entonces αβ > 0.

(vi) Si α > 0 y β < 0, entonces αβ < 0.

(vii) Si 0 < α < β entonces 0 < β −1 < α−1 .

(viii) Si α < β < 0 entonces β −1 < α−1 < 0.

(ix) Supóngase α ≥ 0 y β ≥ 0. Entonces α2 ≥ β 2 si y sólo si α ≥ β.

A manera de resumen también se presentan las siguientes propiedades.

m
Corolario 4.6.1. Para todo número racional , se cumple:
n
72 CAPÍTULO 4. EL SISTEMA DE NÚMEROS RACIONALES

m
(i) > 0 si y sólo si nm > 0.
n
m
(ii) Si = 0, entonces mn = 0 y n = 0.
n
a
(iii) Si < 0, entonces ab < 0.
b
Definición 4.6.1. Una relación de orden lineal, <, sobre un conjunto A se dice
que es densa si para todo a, b ∈ A con a < b, existe c ∈ A tal que a < c < b.
En ocasiones se dice que el conjunto ordenado A es denso en lugar de decir
que el orden en A es denso.
Teorema 4.6.2 (Densidad de Q). El orden en (Q; +, ×; <) es denso.
Demostración. Sean α y β números racionales con α < β. Entonces

2α < α + β < 2β.

Tomando γ := 2−1 (α + β), se tiene γ ∈ Q y

α < γ < b.

El teorema anterior establece que entre dos números racionales hay otro número
racional. Se hace notar que dados dos racionales α y β, siempre es posible representarlos
como α = rs y β = pq con s y q enteros positivos, y además, α = rq sq
y β = psqs
.
Por lo tanto, dos enteros cualesquiera α y β siempre se pueden de presentar como
α = rs y β = ps , para algunos enteros r, s y p, con s positivo.
Teorema 4.6.3 (Propiedad Arquimediana). Para todo α, β ∈ Q, si α > 0 entonces
existe n ∈ N tal que β < nα.
Demostración. Sean α y β números racionales arbitrarios con α > 0. Cuando
β ≤ α, se verifica el resultado directamente para n = 2.
Suponga 0 < α < β. Entonces α = rs y β = ps , para algunos enteros positivos r,
r
s y p. Así α(p + 1)s = (p + 1)s = r(p + 1) ≥ p + 1 > ps = β. Luego, para el
s
entero n = (p + 1)s, se cumple β < nα.
Definición 4.6.2. Una función, denotada por | · |, con dominio en Q y codominio
Q, se denomina función valor absoluto si para todo x ∈ Q, |x| := máx{x, −x}.
4.6. VALOR ABSOLUTO 73

La función valor absoluto |·| : Q → Q tambien se expresa por partes mediante

(
−x si x < 0
|x| =
x si x ≥ 0.

Aunque la función valor absoluto se evalúa directamente, la evaluaremos en algunos

puntos: |4| = 4, |0| = 0, | − 5| = 5, |17| = 17 y | −2
3
| = 23 .

Teorema 4.6.4. Sean α y β números racionales, entonces

(i) |α| ≥ 0 y |α| ≤ 0;

(ii) |α| = 0 si y sólo si α = 0;

(iii) |α| ≥ α y |α| = | − α|.

(iv) |α| < β si y sólo si −β < α < β;

(v) |α| > β si y sólo si α < −β o α > β;

(vi) |α + β| ≤ |α| + |β|;

(vii) |αβ| = |α||β|.

Demostración. (i) − (iii) Cuando α > 0, |α| = α > 0; cuando α < 0, |α| =
−α > 0 > α y cuando α = 0, |α| = 0 = α. En cualquier caso, se cumple,
|α| ≥ 0, |α| ≥ α y |α| ≤ | − α|; además, |α| = 0 si y sólo si α = 0.
(iv) − (v) Cuando α > 0, |α| = α y así

|α| < β =⇒ α < β,

|α| > β =⇒ α > β.

Cuando α ≤ 0, |α| = −α, y así

|α| < β =⇒ −α < β

=⇒ −β < α,
|α| > β =⇒ −α > −β
=⇒ α < −β.

De ambos casos, se sigue,

|α| < β =⇒ −α < −β < α ∧ α < β.

74 CAPÍTULO 4. EL SISTEMA DE NÚMEROS RACIONALES

y
|α| > β =⇒ α < −β ∨ α > β.
(vi) Cuando α > 0 y β > 0, se tiene, |α| = α y |β| = β. Luego α + β > 0 y
|α + β| = α + β
= |α| + |β|.

Cuando α ≤ 0 y β ≤ 0, se tiene, |α| = −α y |β| = −β. Luego α + β ≤ 0 y

|α + β| = −(α + β)
= −α − β
= |α| + |β|.

Cuando α ≤ 0 y β > 0, se tiene, |α| = −α y |β| = β. Hay dos posibilidades:

α + β > 0 o α + β ≤ 0.
En el caso, α + β > 0, se cumple |α + β| = α + β y por (iii),
|α + β| = α + β
≤ |α| + |β|.
En el caso, α + β ≤ 0, se cumple |α + β| = −(α + β) y por (iii),
|α + β| = −(α + β)
= −α − β
≤ |α| + |β|.
En cualquier caso se cumple, |α + β| ≤ |α| + |β|.
(vii) Cuando α ≥ 0 y β ≥ 0, se tiene αβ ≥ 0, así
|αβ| = αβ
= |α||β|.

En el caso, α ≤ 0 y β ≤ 0, se cumple αβ ≥ 0. Entonces

|αβ| = αβ
= (−α)(−β)
≤ |α||β|.
4.7. ABERTURAS 75

En el caso, α ≥ 0 y β ≤ 0, se cumple αβ ≤ 0. Entonces

|αβ| = −(αβ)
= α(−β)
≤ |α||β|.

En el caso, α ≤ 0 y β ≥ 0, análogamente al caso anterior se demuestra, |αβ| ≤

|α||β|. En cualquier caso se cumple, |αβ| ≤ |α||β|.

4.7. Aberturas
Definición 4.7.1. Sean X y Y subconjuntos de Q. La pareja ordenada (X, Y ) se
llama cortadura (o corte) de Q si satisface
(i) X ̸= ∅, Y ̸= ∅,
(ii) X ∩ Y = ∅,
(iii) X ∪ Y = Q,
(iv) Si a ∈ X y b ∈ Y , entonces a < b.
Los conjuntos X y Y se denominan clase inferior y clase superior, respectivamente.
Ejemplo 4.7.1. Sea a un número racional. Entonces la pareja (X, Y ) con conjuntos

X := {x ∈ Q : x ≤ a}

y
Y := {y ∈ Q : y > a},
es una cortadura de Q.
Ejemplo 4.7.2. Del conocido hecho que ningún racional tiene cuadrado igual a
2, se sigue que pareja (X, Y ) con conjuntos

X := {a ∈ Q : a2 < 2 ∨ a < 0}

y
Y := {b ∈ Q : b2 > 2 ∧ b > 0},
es una cortadura de Q.
76 CAPÍTULO 4. EL SISTEMA DE NÚMEROS RACIONALES

Definición 4.7.2. Una cortadura (X, Y ) de Q se dice abertura (o grieta) de Q, si

la clase inferior X no tiene máximo en Q y la clase superior no tiene mínimo en
Q.

Ejemplo 4.7.3. La cortadura (X, Y ) de Q, introducida en el ejemplo 4.7.2, es una

abertura. En efecto, se afirma que (X, Y ) es una abertura de Q, es decir, X no
tiene elemento máximo en Q y Y no tiene elemento mínimo en Q. Para demostrar
esto, tómese s ∈ Y arbitrario, es decir, s ∈ Q, s > 0 y s2 > 2. Se probará que
s no es un elemento mínimo para Y . En efecto, el racional t = (2s + 2)/(s + 2)
satisface:

t ∈ Q y t > 0, pues s ∈ Q y s > 0;

s2 −2
t < s, pues s − t = s+2
> 0;
2(s2 −2)
t2 − 2 = (s+2)2
> 0.

Por lo tanto, t es un elemento de Y menor que s, por lo que s no es elemento

mínimo de Y .
Ahora tómese a ∈ X arbitrario. Se probará que a no es elemento máximo de X,
es decir, existe b ∈ X tal que a < b. En el caso a ≤ 0, claramente 1 ∈ X y a < 1.
En el caso a > 0 y a2 < 2, el racional b = (2a + 2)/(a + 2) satisface

b ∈ Q y b > 0, pues a ∈ Q y a > 0;

2−a2
a < b, pues b − a = 2+a
> 0;
2(a2 −2)
b2 − 2 = (a+2)2
< 0.

Por lo tanto, b es un elemento de X tal que a < b, concluyendo que a no es

elemento máximo de X. Por lo tanto, la cortadura (X, Y ) del ejemplo 4.7.2 es
una abertura.

Una consecuencia directa del ejemplo 4.7.3, es el siguiente teorema.

Teorema 4.7.1. El conjunto de números racionales tienen aberturas.

Una cortadura que resulte ser una abertura exhibe en el conjunto Q un hueco
o abertura. Para fijar ideas, la abertura de Q, presentada en el Ejemplo 4.7.3,
la cual está sugerida por el hecho conocido que no existe un número racional
cuyo cuadrado es 2, exhibe un hueco, agujero, grieta o abertura en Q. en efecto,
4.7. ABERTURAS 77

geométricamente se demuestra que hay segmentos cuya longitud satisface que

su cuadrado es 2, pero ningún número racional satisface que su cuadrado es
2, concluyéndose que los números racionales no “llenan la recta real” teniendo
huecos, agujeros, grietas o aberturas.
Para concluir el capítulo, se introduce un resultado técnico sobre cortaduras, el
cual será de utilidad en el capítulo siguiente.
Teorema 4.7.2. Sea (X, Y ) una cortadura de Q. Entonces existe una sucesión
(xn ) en X y una sucesión (yn ) en Y , tales que, para todo n, m ∈ N:
1
yn − xn = ;
n
1
|xn − xm | < , siempre que m ≥ n;
n
1
|yn − ym | < , siempre que m ≥ n.
n
Demostración. Sea x ∈ X y y ∈ Y . Como (X, Y ) es una cortadura se satisface
x < y y así y − x > 0. Para cada n ∈ N positivo, se procede como sigue: por la
propiedad arquimediana existe kn ∈ N tal que kn /n > y−x, esto es, x+kn /n > y.
Luego x + kn /n es elemento de Y . Entonces el conjunto

Hn := {k ∈ N : x + k/n ∈ Y },

es no vacío y por ser N bien ordenado, Hn tiene un mínimo, digamos ln . Así

x+ln /n ∈ Y , pero x+(ln −1)/n ̸∈ Y , es decir, x+ln /n ∈ Y y x+(ln −1)/n ∈ X.
Tómese yn := x + ln /n y xn := x + (ln − 1)/n. Con este proceso se ha construido
una sucesión (xn ) en X y una sucesión (yn ) en Y , con

yn − xn = 1/n.

Como (X, Y ) es una cortadura de Q, para todo n, m, se tiene xn < ym . Así para
todo n, m,
1
x n − xm < ,
m
1
xm − xn < ,
n
1
yn − ym < ,
n
1
ym − yn < .
m
78 CAPÍTULO 4. EL SISTEMA DE NÚMEROS RACIONALES

Por lo tanto, para cualesquiera naturales positivos n y m,

1 1
|xn − xm | < máx{ , },
m n
y
1 1
|yn − ym | < máx{ , }.
m n
Capítulo 5

Los números reales

El objetivo en este capítulo es construir una extensión del sistema de números

racionales que no tenga aberturas, huecos o grietas, en otras palabras, construir
una extensión del sistema de números racionales en la que todas las sucesiones
de Cauchy sean convergentes, dicha extensión se denomina sistema de números
reales.
En la construcción del sistema de números reales, el conjunto base es el producto
cartesiano de R consigo mismo una cantidad numerable de veces:

Q := {f : f es función con dominio Z+ y codominio Q}.

Y

n∈Z+

Los elementos del conjunto base son objetos matemáticos denominados sucesiones
en Q, por lo cual, la primer sección está dedicada al estudio de sucesiones en Q.
La presentación presentación del tema, en está capítulo, está inspirada en el libro
de Cohen, [2]. En la literatura hay varias maneras de construir los números reales
partiendo de los números racionales, la que se presenta en este capítulo se adjudica
a Georg Cantor.

5.1. Sucesiones en Q
Definición 5.1.1. Una sucesión en un conjunto X es una función a : Z+ −→ X.
Los elementos del rango de la sucesión se denominan términos de la sucesión.
Se denota por an a la imagen de n bajo la sucesión a, es decir, an := a(n), de
tal manera que la sucesión a se representa mediante sus imágenes como (a1 , a2 , . . .),
(an )n∈Z+ o (an ). El conjunto {an : n ∈ Z+ } se designa como conjunto de

79
80 CAPÍTULO 5. LOS NÚMEROS REALES

valores de la sucesión. Se suele utilizar la expresión (an ) ⊂ X para expresar

que {an : n ∈ Z+ } ⊆ X.
Ejemplo 5.1.1. 1. La sucesión (an )n∈Z+ = (0, 1, 0, 1, 0, 1, . . .) tiene como conjunto
de valores {an : n ∈ Z+ } = {0, 1}. La misma sucesión se puede representar
como (an ) con término general an := ((−1)n + 1)/2 o directamente en la
forma (((−1)n + 1)/2).

2. Para las sucesiones (1, 2, 3, 4, . . .) y (1, 1, 2, 2, 3, 3, 4, 4, . . .) el conjunto de

valores es Z+ .

3. La sucesión (1/n) tiene conjunto de valores {1, 1/2, 1/3, . . .}.

4. La sucesión de números impares positivos (1, 3, 5, . . .) tiene término general

an = 2n − 1, por lo que se puede escribir, (2n − 1).

5. La sucesión constante con término general an = c, para algún c ∈ Q,

se representa por (c)n . Por ejemplo, la sucesión (0)n = (0, 0, 0, . . .) tiene
como conjunto de valores el conjunto singular {0}.
Cuando para una función a : K −→ X con K ⊂ Z, existe una función
creciente y sobreyectiva i : Z+ −→ K, la composición a ◦ i : Z+ −→ X
es una sucesión. Por lo anterior y en abuso de la teminología, una función de
este tipo también se denomina sucesión; a la composición a ◦ i se le denomina
reenumeración de la sucesión a := (an )n∈K y se le denota por (ain ). En particular,
para el conjunto K := {n ∈ Z : n > M } con M ∈ Z fijo, la función a : K −→ X
es una sucesión, pues la función i : Z+ −→ K definida por i(n) = n + M es
creciente y sobreyectiva.
Ejemplo 5.1.2. 6. La sucesión ((−1)n )n∈N tiene conjunto de valores {−1, 1}.

7. La sucesión (n/(n+1))n∈N tiene conjunto de valores {0, 1/2, 2/3, 3/4, . . .}

y la sucesión ((n + 1)/n)n∈Z+ tiene conjunto de valores {2, 3/2, 4/3, . . .}.

8. La función f : N −→ Q definida mediante f (n) := n2 es una sucesión

sobre Q.

9. La sucesión ((1/(n−4))2 )n>4 se puede reenumerar quedando como (1/n2 ).

Un aspecto importante de las sucesiones es el comportamiento para n arbitrariamente
grande. Suponga que A(n) es alguna propiedad que el término an puede o no tener.
Usualmente el interés se centra en los casos siguientes:
5.1. SUCESIONES EN Q 81

(1) an tiene la propiedad A(n) para todos los valores de n, excepto quizás
para un número finito de valores. En este caso se dice que la sucesión
eventualmente tiene la propiedad A o que los términos de la sucesión eventualmente
tiene la propiedad A.

(2) an tiene la propiedad A(n) a lo más para un número finito de valores n.

(3) an no tiene la propiedad A(n) para infinitos valores de n y tiene la propiedad

A(n) para infinitos valores de n. En este caso, la sucesión no satisface (1)
ni (2).

Ejemplo 5.1.3. (10). Se considera la propiedad A(n): “el término an es un entero

positivo” Entonces la sucesión (an ) = (n − 27) tiene un comportamiento de tipo
(1), pues n − 27 > 0 para todo n > 27, es decir, eventualmente la sucesión tienen
la propiedad A. La sucesión (an ) = (27 − n) tiene un comportamiento de tipo (2)
pues 27 − n > 0, para los valores 1, 2, . . . , 26, de n. La sucesión ((−1)n ) es de
tipo (3).

Si una sucesión a : Z+ −→ X es de tipo (1) con respecto a una propiedad A,

entonces hay a lo más una cantidad finita k de valores excepcionales para los
cuales f (n) no tienen la propiedad A. Esos valores no necesariamente corresponden
a los primeros k enteros del dominio de la sucesión, pero lo destacable es que sólo
es una cantidad finita de tales valores, por lo cual existe un número N ∈ Z+ tal
que, para todo n > N , el término an tiene la propiedad A. Evidentemente es
posible que haya algunos valores n menores que N tales que el término an tiene
la propiedad A. Por ejemplo, para la propiedad A(n): “el término an es un entero
positivo” y la sucesión (n2 − 11n + 28)n , los términos que tienen la propiedad A
son: 1, 2, 3 y los enteros n > 7. Una elección natural de N es 7, pero cualquier
natural N mayor que 7 también es adecuado.Aunque pudiera haber interés en
elegir el mínimo N , usualmente no es relevante este valor.

Definición 5.1.2. (i) Una sucesión (an ) en Q se llama acotada superior si existe
u ∈ Q tal que an ≤ u para todo n ∈ Z+ , y el número u se denomina cota
superior.

(ii) Una sucesión (an ) en Q se llama acotada inferior si existe l ∈ Q tal que
l ≤ an para todo n ∈ Z+ , y el número l se denomina cota inferior.

(iii) Una sucesión (an ) en Q se llama acotada si existe M ∈ Q tal que | an |≤ M

para todo n ∈ Z+ , y el número M se denomina cota para la sucesión (an ).
82 CAPÍTULO 5. LOS NÚMEROS REALES

La sucesión constante (an ) = (c) es acotada por | c |, pues | an |=| c |

para todo n ∈ Z+ . La sucesión (1/n) es acotada por 1, pues| 1/n |≤ 1 para
todo n ∈ Z+ . Se sigue por la propiedad arquimediana en N, que la sucesión
(n) no es acotada. Otro aspecto importante en una sucesión es la tendencia o
comportamiento en infinito, particularmente:
(T1) Tendencia a que se acerquen entre sí los términos de una sucesión.

(T2) Tendencia a que los términos de una sucesión se acerquen o acumulen

alrededor de un punto en particular.
Por ejemplo, la sucesión (1/n) satisface que todos sus términos son mayores que
cero. Por otra parte, para cada racional positivo r, por la propiedad arquimediana,
existe un natural N tal que para, todo n > N , se tiene 0 < 1 < nr, es decir, para
todo todo n > N , se tiene 0 < 1/n < r. De donde se deducen tendencias de la
sucesión o comportamientos en infinito.
Para todo n, m > N , se cumple 0 <| 1/m − 1/n |< r; lo que significa que
los términos de la sucesión se acercan entre sí.

Para todo n > N , 0 < 1/n < r, excepto quizás un número finito de
términos. Un comportamiento así, indica la tendencia clara de la sucesión a
“acercarse” a 0, cuando n crece. Se acostumbra decir que la sucesión (1/n)
tiende a 0, cuando n tiende a infinito.
Ambos tipos de aspectos esbozados en (T1) y (T2), serán abordados en esta
sección.
Definición 5.1.3. Una sucesión (an )n∈Z+ en Q se dice sucesión de Cauchy si para
todo racional ϵ ∈ Q existe n0 ∈ Z+ , tal que, para todo m, n ∈ Z+ , si n, m ≥ n0
entonces | an − am |< ϵ.
Ejemplo 5.1.4. 11. Toda sucesión constante (an ) = (c) es de Cauchy, pues
an − am = 0 para todo n y m.

12. Como se analizó previamente la sucesión (1/n)n≥1 es de Cauchy.

13. La sucesión (an ) = (n) no es de Cauchy, pues | an − am |≥ 1 para n ̸= m.

Se denota por C al conjunto de sucesiones de Cauchy en Q y se denota por B
al conjunto de sucesiones acotadas en Q. En el teorema siguiente se prueba que
C ⊂ B.
5.1. SUCESIONES EN Q 83

Teorema 5.1.1. Para toda sucesión en Q, si es de Cauchy entonces es acotada.

Demostración. Sea (an ) ∈ C. Entonces para ε = 1, sea n0 ∈ Z+ tal que para
todo n, m ∈ Z+ , si n, m ≥ n0 entonces | an − am |< 1. Se especifica m = n0
y usando | an | − | an0 |≤| an − an0 |, se obtiene | an |< 1+ | an0 |, para todo
n ≥ n0 . Luego

α := máx {| a0 |, | a1 |, . . . , | an0 |, 1+ | an0 |}

es una cota para (an ). Por lo tanto se concluye C ⊂ B

Teorema 5.1.2. Si (an ) y (bn ) son sucesiones de Cauchy, entonces las sucesiones
(an + bn ) y (an bn ) son también sucesiones de Cauchy.
Demostración. Sean (an ), (bn ) ∈ C. Como C ⊂ B, las sucesiones (an ) y (bn ) son
acotadas. Sea M > 1 una cota para ambas sucesiones, es decir, | an |< M y
| bn |< M para todo n ∈ Z+ .
Para demostrar que (an + bn ) es de Cauchy, sea ϵ > 0 fijo. En uso de la hipótesis,
para ϵ/2M > 0, sean N − 1, N2 ∈ Z+ tales que; | an − am |< ϵ/2M para
todo n, m > N1 y | bn − bm |< ϵ/2M para todo n, m > N2 . Entonces, cuando
n, m > máx{N1 , N2 },

| (an + bn ) − (am + bm ) |≤| an − bn | + | am − bn |< ϵ/2M + ϵ/2M = ϵ/M < ϵ

y de la misma forma,

| an bn − am bm | ≤ | an bn − am bn | + | am bn − am bm |
= | bn || an − am | + | am || bn − bm |
≤ | bn | (ϵ/2M )+ | am | (ϵ/2M ) < ϵ.

Lo que demuestra que (an + bn ) y (an bn ) son sucesiones de Cauchy.

Como consecuencia del teorema anterior, es posible definir las operaciones
suma ⊞ : C × C → C y multiplicación ⊡ : C × C → C, mediante las reglas de
asociación

(an ) ⊞ (bn ) := (an + bn ) (5.1)

(an ) ⊡ (bn ) := (an bn ). (5.2)

Teorema 5.1.3. El sistema (C, ⊞, ⊡) es un anillo conmutativo y unitario, es decir,

satisface las propiedades siguientes:
84 CAPÍTULO 5. LOS NÚMEROS REALES

I El sistema (C; ⊞) es un grupo conmutativo, es decir,

(i) [Conmutatividad] (∀a, b ∈ C0 )(a ⊞ b = b ⊞ a)

(ii) [Asociatividad] (∀a, b, c ∈ Z)((a ⊞ b) ⊞ c = a ⊞ (b ⊞ c))
(iii) [Neutro aditivo] (∃0 ∈ Z)(∀q ∈ Z)(q ⊞ 0 = q)
(iv) [Inversos aditivos] (∀a ∈ Z)(∃b ∈ Z)(a ⊞ b = b ⊞ a = 0).

II El sistema (C; ⊡) satisface:

(i) [Conmutatividad] (∀a, b ∈ Z)(a ⊡ b = b ⊡ a)

(ii) [Asociatividad] (∀a, b, c ∈ Z)((a ⊡ b) ⊡ c = a ⊡ (b ⊡ c)).
(iii) [Neutro multiplicativo] (∃1 ∈ Z − {0})(∀q ∈ Z)(q ⊡ 1 = q)

III El sistema (C; ⊞, ⊡) satisface:

(i) [Distributividad] (∀a, b, c ∈ Z)(a ⊡ (b ⊞ c) = (a ⊡ b) ⊞ (a ⊡ c))

La demostración se sigue directamente de las propiedades del campo (Q; +, ·).

Por otra parte, las sucesiones (an ) y (bn ) definidas como a1 = 0, b1 = 1 y para
todo n > 1, an = 1 y bn = 0; son ambas diferentes de 0 y además (an )⊡(bn ) = 0.
Por lo que el sistema (C, ⊞, ⊡) tiene divisores propios de cero. Otra propiedad a
destacar del sistema algebraico es que no tiene inversos multiplicativos. En efecto,
la sucesión (an ) es diferente de 0 y debido a que a1 = 0, no existe c1 ∈ Q tal que
a1 c1 = 1. Luego, para todo (cn ) ∈ C, se tiene (an ) ⊡ (cn ) ̸= 1. Con lo anterior, el
sistema algebraico (Q; +, ·) no es la extensión que se busca.
Ahora se analiza el otro aspecto sobre la tendencia de una sucesión esbozado en
(T2).
Definición 5.1.4. Sea (an ) una sucesión en Q y a ∈ Q. Se dice que la sucesión
(an ) converge al número a y se escribe L(an ) = a, si para todo racional positivo,
ϵ > 0, existe N ∈ Z+ , tal que para todo n ∈ Z+ , si n ≥ N entonces | an − a |< ϵ.
Cuando L(an ) = a, al número a se le llama límite en Q de la sucesión (an ). Se
dice que la sucesión (an ) es convergente (o converge) en Q cuando existe a ∈ Q
tal que L(an ) = a; en otro caso se dice que la sucesión diverge o es divergente en
Q.
Se denota con CQ al conjunto de sucesiones convergentes en Q. Ahora se
presentan dos maneras de redactar una demostración de L(an ) = a, para un
racional a dado y una sucesión (an ) específica.
5.1. SUCESIONES EN Q 85

Ejemplo 5.1.5. 14. La sucesión (1/n) converge a 0. En efecto, sea ϵ > 0

arbitrario, pero fijo. Se toma Por la propiedad arquimediana en Q, existe
N ∈ N tal que N > 1/ϵ para todo n ≥ N . Luego, para n ≥ N ,
| 1/n − 0 |= 1/n ≤ 1/N < ϵ ∀n ≥ N.
Por lo tanto, L(1/n) = 0 y así (1/n) ∈ CQ .
15. La sucesión (4 + (−1)n /n2 ) converge a 4. En efecto, sea ϵ > 0 fijo. Sea N
tal que N > 1/ϵ. Entonces, cuando n ≥ N ,
| 4 + (−1)n /n2 − 4 |=| (−1)n /n2 |= 1/n2 < 1/n ≤ 1/N < ϵ.
Por lo tanto, L(4 + (−1)n /n2 ) = 0 y así (4 + (−1)n /n2 ) ∈ CQ
16. La sucesión ((2n + 1)/(n + 4)) converge a 2.
Demostración. Sea ϵ > 0 dado. Se toma un número natural N tal que N >
(7 − 4ϵ)/ϵ. Entonces, cuando n > N , 7 < nϵ + 4ϵ, de donde, 7/(n + 4) < ϵ,
así
−7 7
| (2n + 1)/(n + 4) − 2 |=| |= < ϵ.
n+4 n+4
Por lo tanto, L((2n + 1)/(n + 4)) = 2 y así ((2n + 1)/(n + 4)) ∈ CQ .
Los ejemplos anteriores se presenta directamente los elementos de la demostración
sin abundar en como determinarlos. En la práctica, puede ser laborioso el determinar
el entero N a partir del cual los elementos de la sucesión están a una distancia
menor que el racional ϵ dado. Excepto por algunos casos sencillos, el número N
depende de el racional ϵ, el cual es arbitrario, pero fijo. Determinar dicho número
lleva a hacer una exploración de la distancia entre el término an de la sucesión y
el racional del cual se va a demostrar que es el límite. Cuando se ha determinado
dicho natural, se redacta la demostración presentando directamente en natural
N o la condición que debe satisfacer quedando en el estilo de demostración de
los ejemplos anteriores. En los ejemplos siguientes se muestra una manera más
“constructiva” de redactar una demostración.
Ejemplo 5.1.6. 17 La sucesión ((2n + 1)/(n + 4)) converge a 2.
Demostración. Sea ϵ > 0 dado. Note que
−7
| (2n + 1)/(n + 4) − 2 |=| |.
n+4
Para concluir, se debe encontrar N tal que, 7/(n+4) < ϵ para todo n > N .
La desigualdad requerida se satisface si y sólo si n > (7 − 4ϵ)/ϵ, y así
podemos elegir cualquier natural N > (7 − 4ϵ)/ϵ.
86 CAPÍTULO 5. LOS NÚMEROS REALES

Por otra parte, el que una sucesión (an ) sea divergente en Q, significa que
para todo a ∈ Q, la sucesión (an ) no converge a a, para desarrollar aún más
la afirmación se debe establecer la negación de la definición correspondiente. La
sucesión (an ) es divergente en Q si para todo a ∈ Q, existe ϵ > 0 tal que para
todo N ∈ Z+ , existe n > N tal que | an − a |> ϵ. Entonces, el esquema para
demostrar que una sucesión (an ) diverge, es como sigue: se elige a ∈ Q arbitrario
y se demuestra que a no es límite de la sucesión (an ); como a ∈ Q se tomó
arbitrario, se concluye que la sucesión (an ) no converge en Q, es decir, diverge.

Ejemplo 5.1.7. La sucesión ((−1)n ) diverge. Se observa que la sucesión alterna

entre los valores -1 a 1, lo que sugiere tomar ϵ0 < 1. Se toma ϵ0 = 1/2 y sea
N ∈ N arbitrario. Cuando a ≥ 0, tomando un número impar n > N , se tiene

| (−1)n − a |= a + 1 ≥ 1 > 1/2 = ϵ0 .

Cuando a < 0, tomando un número par n > N , se tiene

| (−1)n − a |=| 1+ | a ||= 1+ | a |> 1 > 1/2 = ϵ0 .

Por lo tanto la sucesión ((−1)n ) no converge a a. Como se tomó a ∈ Qarbitrario,

se concluye que la sucesión ((−1)n ) diverge y así ((−1)n ) ∈
/ CQ .

Teorema 5.1.4. Si una sucesión es convergente, entonces su límite es único.

Demostración. Sea (an ) una sucesión en Q y sean a, b ∈ Q. Suponga que L(an ) =

a y L(an ) = b. Para ϵ > 0 dado, sean N1 , N2 ∈ Z+ tales que

| a − an |< ϵ/2 ∀n ≥ N1 ,
| b − an |< ϵ/2 ∀n ≥ N1 .

Luego, para todo n, m ≥ N := máx{N1 , N2 }, se cumple

ϵ ϵ
| a − b |≤| a − an | + | b − an |< + = ϵ.
2 2
Como ϵ es un racional positivo arbitrario, se concluye a − b = 0.

El teorema siguiente prueba que CQ ⊆ C.

Teorema 5.1.5. Toda sucesión convergente es sucesión de Cauchy.

5.1. SUCESIONES EN Q 87

Demostración. Sean (an ) ∈ CQ y a ∈ Q tal que L(an ) = a. Para probar que (an )
es de Cauchy, sea ϵ > 0 dado. Como L(an ) = a, existe N ∈ Z+ tal que, para todo
n ∈ Z+ , si n ≥ N entonces | an − a |< ϵ/2. Sean n, m ∈ Z+ y suponga n ≥ N
y m ≥ N . Entonces
ϵ ϵ
| an − am |≤| an − a | + | am − a |< + = ϵ.
2 2
Por lo tanto, (an ) ∈ C.
Puesto que se ha demostrado C ⊂ B y CQ ⊂ C, se concluye, CQ ⊂ C ⊂ B.
Teorema 5.1.6. Toda sucesión convergente es acotada
Hasta ahora nada se ha dicho sobre como determinar el límite de una sucesión,
el resultado siguiente abona en esa dirección.
Teorema 5.1.7. Si (an ), (bn ) ∈ CQ , entonces (an ) ⊞ (bn ) ∈ CQ , (an ) ⊡ (bn ) ∈ CQ
y además
(i) L((an ) ⊞ (bn )) = L(an ) + L(bn ) y

(ii) L((an ) ⊡ (bn )) = L(an )L(bn ).

Demostración. Sean (an ), (bn ) ∈ CQ . Como CQ ⊂ B, las sucesiones (an ) y (bn )
son acotadas. Sea M > 1 una cota para ambas sucesiones, es decir, | an |< M y
| bn |< M para todo n ∈ Z+ .
Suponga que L(an ) = a y L(bn ) = b. Sea ϵ > 0 arbitrario. En uso de la hipótesis,
para ϵ/2M > 0, sean N1 , N2 ∈ Z+ tales que, para todo n ∈ Z+ , si n ≥ N1
entonces | an − a |< ϵ/2M y si n ≥ N2 entonces | bn − b |< ϵ/2M . Luego,
cuando n, m ≥ máx{N1 , N2 } se cumple
ϵ ϵ
| (an + bn ) − (a + b) |≤| an − a | + | bn − b |< + < ϵ,
2M 2M
y de la misma forma,

| an bn − ab | ≤ | an bn − an b | + | an b − ab |
= | an || bn − b | + | b || an − a |
≤ | an | (ϵ/2M )+ | b | (ϵ/2M ) < ϵ.

Por lo tanto, (an )⊞(bn ), (an )⊡(bn ) ∈ CQ , L((an )⊞(bn )) = a+b = L(an )+L(bn )
y L((an ) ⊡ (bn )) = ab = L(an )L(bn ).
88 CAPÍTULO 5. LOS NÚMEROS REALES

A la luz de los conceptos de sucesión de Cauchy y sucesión convergente,

se trae nuevamente al análisis el Teorema 4.7.2. Ahí se establece que en cada
cortadura (X, Y ), en particular en cada abertura o hueco, de Q, es posible construir
una sucesión de Cauchy (xn ) en la clase inferior X y una sucesión de Cauchy (yn )
en la clase superior Y , cuya diferencia converge a cero, L(yn − xn ) = 0, y que
virtualmente la sucesión (xn ) se acerca por la izquierda y la sucesión (yn ) se cerca
por la derecha al punto de corte de la recta geométrica.
Tomando como motivación los hechos anteriormente esbozados, los puntos de
corte en la recta geométrica se identifican con alguna clase de sucesiones en C
cuya diferencia tiene límite cero. Denotamos
C0 := {(an ) ∈ CQ : L(an ) = 0} ⊂ C0 .
Cuando la cortadura tiene punto de corte racional en r, el número racional r se
identifica con una clase particular de sucesiones en C cuya diferencia pertenece a
C0 , a saber, las sucesiones que convergen a r. Así
0 ⇝ {a ∈ C : a ∈ C0 }.
y en general, para r ∈ Q,
r ⇝ {a ∈ C : a ⊟ (r) ∈ C0 }
Cuando la cortadura no tiene punto de corte racional, es decir, cuando la cortadura
es una abertura en Q, intuitivamente, la sucesión (xn ) se acerca por la izquierda y
la sucesión (yn ) se cerca por la derecha al punto de corte en la recta geométrica,
el cual no corresponde a un racional, sino a un hueco en Q. Debido a esto las
sucesiones de Cauchy (xn ) y (yn ) no convergen en Q.
Teorema 5.1.8. Existen sucesiones de Cauchy en Q que no convergen en Q.
Demostración. Considere la cortadura (X, Y ) de Q, asociada a la ausencia de un
número racional cuyo cuadrado es 2, y que fue presentada en el ejemplo 4.7.2
del capítulo anterior. Se considera la sucesión (xn ) en la clase inferior X y la
sucesión (yn ) en la clase superior Y , establecidas en el Teorema 4.7.2. Entonces,
todo n, m ∈ Z+ ,
1
yn − xn = , ∀ n,
n
1
| xn − xm | < , ∀ m ≥ n,
n
1
| yn − ym | < , ∀ m ≥ n.
n
5.1. SUCESIONES EN Q 89

Entonces la sucesión, (xn ), es Cauchy, pero noes convergente en Q. Para probar

esto, supóngase que L(xn ) = z ∈ Q. Entonces L(x2n ) = z 2 y
2yn 2M
0 < 2 − x2n < yn2 − x2n = (yn − xn )(yn + xn ) < < ,
n n
donde M es una cota para la sucesión (yn ). Como L(2M/n) = 0 en Q, se
concluye L(x2n ) = 2. Por lo tanto, z 2 = 2 y z ∈ Q. Esto es una contradicción.
Ahora debe ser claro que el conjunto C0 tendrá un papel importante en en el
desarrollo, por tal motivo se dedica el resto de la sección al análisis de C0 .
En virtud del Teorema 5.1.7, la suma y producto de sucesiones en C0 es una
sucesión en C0 , es decir, el conjunto C0 es cerrado bajo la suma y el producto
de sucesiones en C. Por lo tanto, es posible restringir las operaciones ⊞ y ⊡ a C0 .
Formalmente, dichas restricciones son operaciones diferentes, pues ha cambiado
su dominio, sin embargo usaremos la misma notación y se tendrá cuidado en no
causar confusión.
Teorema 5.1.9. Si a ∈ C y b ∈ C0 , entonces a ⊡ b ∈ C0 .
Demostración. Sea (an ) ∈ C y (bn ) ∈ C0 . Entonces (an ) es acotada por algún
M ∈ Q y L(bn ) = 0. Sea ϵ > 0 dado y N ∈ Z+ tal que para todo n ≥ n0 ,
| bn |< ϵ/M . Así, para todo n ≥ n0 ,

| an bn |=| an || bn |< ϵ.

Luego, L(an bn ) = 0.
Definición 5.1.5. Una sucesión (an ) ∈ C se dice positiva si existe un número
racional ϵ > 0 y N ∈ Z+ tal que, para todo n ∈ Z+ , si n ≥ N , entonces an ≥ ϵ.
La propiedad de ser positiva se puede parafrasear en la forma: (an ) es positiva,
si (an ) eventualmente es mayor que algún número racional positivo.

Ejemplo 5.1.8. 18. La sucesión (1/n) en Q no es positiva. Como L(1/n) =

0, la sucesión (1/n) es eventualmente menor que cualquier un número
positivo. Por lo tanto, no es positiva.

19. La sucesión (an ) := (2/100 − 1/n) es positiva, pues eventualmente es

mayor que 1/100. En efecto, para n > 100, los recíprocos satisfacen −1/n >
−1/100, así an = 2/100 − 1/n > 1/100.
90 CAPÍTULO 5. LOS NÚMEROS REALES

Teorema 5.1.10. La suma y multiplicación de dos sucesiones positivas es una

sucesión positiva.

Demostración. Sean (an ), (bn ) ∈ C sucesiones positivas. Entonces podemos tomar

racionales positivos ϵ1 y ϵ2 tales que (an ) es eventualmente mayor que ϵ1 y (an )
es eventualmente mayor que ϵ2 . Así, la sucesión (an + bn ) ∈ C es eventualmente
mayor que ϵ1 + ϵ2 y la sucesión (an bn ) ∈ C es eventualmente mayor que ϵ1 · ϵ2 .
Por lo tanto , (an ) ⊞ (bn ) y (an ) ⊡ (bn ) son positivas.

Teorema 5.1.11. Si (an ) ∈ C, entonces una y sólo una de las afirmaciones se

cumple:

(i) L(an ) = 0, es decir, (an ) ∈ C0 .

(ii) (an ) es positiva.

(iii) (−an ) es positiva.

Demostración. (1) [(i)⇒ ¬(ii) ∧ ¬(iii)] Supóngase L(an ) = 0. Sea ϵ > 0 fijo. En
uso de la hipótesis, sea N ∈ Z+ tal que, para todo n > N , | an |< ϵ. Entonces,
para todo n > N , an < ϵ y −an < ϵ. Así las sucesiones (an ) y (−an ) no
son eventualmente mayores que ϵ. Como ϵ es un racional positivo arbitrario, se
concluye que las sucesiones (an ) y (−an ) no son positivas.
(2) [¬(ii) ∧ ¬(iii)⇒(i)] Supóngase L(an ) ̸= 0. Entonces existe ϵ0 > 0 tal que,
para todo N ∈ N, existe n(N ) > N tal que | an(N ) |> ϵ0 . Ahora, puesto que
(an ) es de Cauchy, para el racional ϵ0 /2, podemos tomar M ∈ Z+ tal que, para
todo n, m ∈ N, si n, m > M entonces | an − am |< ϵ0 /2. Entonces para
N0 = máx{N, M }, sea n(N0 ) > N0 tal que | an(N0 ) |> ϵ0 . Entonces, para
m > N0 , el término am se encuentra a una distancia menor que ϵ0 /2 del término
an(N0 ) y así
an (N0 ) − ϵ0 /2 < am < an (N0 ) + ϵ0 /2.
En el caso, an(N0 ) > 0 se tiene am > an (N0 ) − ϵ0 /2 > ϵ0 /2. Concluyéndose que
las sucesión es eventualmente mayor que ϵ0 /2, por lo que (an ) es positiva. En en
caso, an(N0 ) < 0 se tiene am < an (N0 ) + ϵ0 /2 < −ϵ0 /2. Concluyéndose que las
sucesión es eventualmente mayor menor −ϵ0 /2, por lo que (−an ) es positiva.
(3) [(ii) ⇒ ¬(i) ∧ ¬(iii)] La implicación (ii) ⇒ ¬(i) se sigue de la parte (1).
Supóngase (an ) es positiva. Entonces la sucesión (an ) es eventualmente mayor
que algún racional positivo ϵ. Luego la sucesión (−an ) es eventualmente menor
que el racional negativo −ϵ. Por lo tanto, (−an ) no es positiva.
5.1. SUCESIONES EN Q 91

(4) [¬(i) ∧ ¬(iii) ⇒ (ii)] El contrapositivo se puede expresar como ¬(ii) ∧ ¬(iii)
⇒ (i), implicación que se ha demostrado en (2).
(5) [(iii) ⇒ ¬(i) ∧ ¬(ii)] De (1) se sigue (iii) ⇒ ¬(i) y de (3) se sigue (iii) ⇒ ¬(ii).
(6) [¬(i) ∧ ¬(ii) ⇒ (iii)] El contrapositivo se puede expresar como ¬(iii) ∧ ¬(i)
⇒ (ii), lo que se ha demostrado en (4).

Teorema 5.1.12. Si (an ) ∈ C, pero (an ) ̸∈ C0 , entonces existe (bn ) ∈ C tal que
(an ) ⊡ (bn ) converge a 1, es decir, L((an ) ⊡ (bn )) = L(an bn ) = 1.

Demostración. Sea (an ) ∈ C, con (an ) ̸∈ C0 . Entonces (an ) es positiva o (−an )

es positiva. Suponga (an ) es positiva. Entonces los términos de la sucesión (an )
son eventualmente mayores que algún racional positivo ϵ, es decir, an > ϵ para
todo n > N , con N ∈ Z+ . Para cada n ≤ N , se toma bn = 1 y para cada n > N ,
se define bn como el inverso multiplicativo de an . Luego la sucesión (an bn ) es
eventualmente la sucesión constante 1, por lo cual, L(an bn ) = 1.

Teorema 5.1.13. El sistema algebraico (C0 , ⊞, ⊡) satisface las propiedades:

(I) El sistema (C0 , ⊞) un grupo conmutativo, es decir,

(a) [Conmutatividad] (∀a, b ∈ C0 )(a ⊞ b = b ⊞ a).

(a) [Asociatividad] (∀a, b, c ∈ C0 )((a ⊞ b) ⊞ c = a ⊞ (b ⊞ c)).
(b) [Neutro] (∃0 ∈ C0 )(∀a ∈ C0 )(a ⊞ 0 = a)
(c) [Inversos] (∀a ∈ C0 )(∃b ∈ C0 )(a ⊞ b = 0).

(II) El sistema (C0 , ⊡) satisface las propiedades

(a) [Conmutatividad] (∀a, b ∈ C0 })(a ⊡ b = b ⊡ a).

(b) [Asociatividad] (∀a, b, c ∈ C0 })((a ⊡ b) ⊡ c = a ⊡ (b ⊡ c)).

(III) [Distributividad] (∀a, b, c ∈ Z)(a ⊡ (b ⊞ c) = (a ⊡ b) ⊞ (a ⊡ c))

Demostración. La asociatividad, conmutatividad y distributividad de ambas operaciones

se hereda de C.
El neutro aditivo en C tiene a 0 como límite, pues se trata de la sucesión constante
cero. Luego, también es el neutro aditivo para C0 .
Cuando L(an ) = 0, se mantiene L(−an ) = 0. Así, para cada (an ) ∈ C0 , su inverso
aditivo (−an ) también pertenece a C0 .
92 CAPÍTULO 5. LOS NÚMEROS REALES

5.2. Los números reales

Se toma como conjunto base para la extensión para Q al conjunto C de sucesiones
de Cauchy. Con el propósito de identificar en C una copia de Q, cada elemento de
Q se debe identificar con uno o más elementos del conjunto C. Como ya se había
observado, cada racional r se identifica con una clase en C, a saber,

r ⇝ {a ∈ C : a ⊟ (r) ∈ C0 }.

En seguimiento a la idea geométrica esbozada en la sección anterior, cada punto

de corte no racional en la recta geométrica, el cual determina una abertura en Q,
se identifica con alguna clase de sucesiones en C cuya diferencia pertenece a C0 .
Se requiere una relación de equivalencia tal que cada conjunto identificado con un
racional sean una clase de equivalencia.
Definición 5.2.1. Se define la relación R sobre C como sigue: aRb si y sólo si
a ⊟ b ∈ C0 .
Teorema 5.2.1. La relación R sobre C es una relación de equivalencia.
Demostración. Sea a ∈ C. Como L(a ⊟ a) = L(0) = 0, entonces a ⊟ a ∈ C0 , y
así aRa. Por lo tanto, R es reflexiva.
Supóngase a, b ∈ C, con aRb. Luego a ⊟ b ∈ C0 , y por ser (C0 , ⊞) grupo, b ⊟ a =
−(a ⊟ b) ∈ C0 . Así bRa. Luego, la relación R es simétrica.
Supóngase a, b, c ∈ C, con aRb y bRc. Entonces a ⊟ b ∈ C0 , b ⊟ c ∈ C0 y así
a ⊟ c = (a ⊟ b) ⊞ (b ⊟ c) ∈ C0 . Por lo tanto, la relación R es transitiva.
Se concluye que R es una relación de equivalencia.
Se puede verificar que la relación de equivalencia es la requerida: para r ∈ Q
la clase de equivalencia de la sucesión constante (r) es exactamente el conjunto
identificado con r,

(r) := {a ∈ C : aR(r)}
= {a ∈ C : a ⊟ (r) ∈ C0 }.

Definición 5.2.2. Se denomina conjunto de números reales, y se denota con R, al

conjunto de clases de equivalencia en C módulo R. Se denomina número real a
un elemento de R.
Se procede a caracterizar a los elementos de R, es decir, las clases de equivalencia
de C módulo R.
5.3. OPERACIONES EN R 93

Teorema 5.2.2. Para cada a ∈ C, la clase de equivalencia de a módulo R, está

determinada por a = {a ⊞ b : b ∈ C0 } = a ⊞ C0 . Entonces

R = {a ⊞ C0 : a ∈ C} .

Demostración. Sean a ∈ C. Entonces la clase de equivalencia de a es

a := {b ∈ C : bRa}
= {b ∈ C : b ⊟ a ∈ C0 }
= {a ⊞ a : b ∈ C0 }
= a ⊞ C0 ,

donde a ⊞ C0 es una notación abreviada de la suma del conjunto singular {a} con
el conjunto C0 , es decir, a ⊞ C0 = {a} ⊞ C0 .

Teorema 5.2.3. Todas las clases de equivalencia determinadas por R, tienen el

mismo número de elementos.

Demostración. Sean α y β elementos de R. Entonces α = a y β = b, para algunos

a, b ∈ C, y por el teorema anterior, α = a+C0 y β = b+C0 . La función φ : a −→ b,
definida para todo c ∈ C0 , mediante φ(a ⊞ c) = b ⊞ c, es una biyección.

5.3. Operaciones en R
Se definen las reglas para operar números reales, denominadas suma, ⊕, y
multiplicación, ⊙, mediante

a ⊕ b = a ⊞ b; a⊙b=a⊡b (5.3)

Para que las reglas definidas tengan rango de operaciones sobre R, es necesario
verificar que están bien definidas, es decir, que constituyen funciones con dominio
en R × R y codominio en R, lo que significa verificar que el resultado aplicar
dichas reglas a dos clases de equivalencia, es el mismo si se cambian los representantes.

Lema 5.3.1. Sean a, b, c y d elementos de C. Si a = b y c = d, entonces

(i) a ⊕ c = b ⊕ d,

(ii) a ⊙ c = b ⊙ d.
94 CAPÍTULO 5. LOS NÚMEROS REALES

Demostración. Sean a, b, c y d elementos de C. Supóngase a = b y c = d.

Entonces aRb y cRd, es decir, a ⊟ b ∈ C0 y c ⊟ d ∈ C0 . Luego,

(a ⊞ c) ⊟ (b ⊞ d) = (a ⊟ b) ⊞ (c ⊟ d) ∈ C0 ,

de donde, (a ⊞ c)R(a ⊞ b). Luego, a ⊞ c = a ⊞ b, y se sigue a ⊕ c = b ⊕ d.

Como a ⊟ b ∈ C0 y c ⊟ d ∈ C0 , por el Teorema 5.1.9, c ⊡ (a ⊟ b) ∈ C0 y
b ⊡ (c ⊟ d) ∈ C0 . Luego,

(a ⊡ c) ⊟ (b ⊡ d) = (c ⊡ a) ⊟ (c ⊡ b) ⊞ (b ⊡ c) ⊟ (b ⊡ d)
= c ⊡ (a ⊟ b) ⊞ b ⊡ (c ⊟ d) ∈ C0 .

Se sigue que (a⊡c)R(b⊡d). Por lo tanto, (a ⊡ c) = (b ⊡ d) y así a⊙c = b⊙d.

Como consecuencia del lema anterior, las reglas (5.3) definen operaciones
sobre Q, a saber, la operación suma

⊕ : R × R −→ R; a ⊕ b := a ⊞ b ∀a, b ∈ R, (5.4)

y la operación multiplicación,

⊙ : R × R −→ R; a ⊙ b := a ⊡ b ∀a, b ∈ R. (5.5)

Teorema 5.3.1. El sistema de números reales (R; ⊕, ⊙) es un campo, es decir,

I El sistema (R, ⊕) es un grupo conmutativo:

(i) [Conmutatividad] (∀a, b ∈ R)(a ⊕ b = b ⊕ a);

(ii) [Asociatividad] (∀a, b, c ∈ R)((a ⊕ b) ⊕ c = a ⊕ (b ⊕ c));
(iii) [Neutro] (∃0 ∈ R)(∀q ∈ R)(q ⊕ 0 = q);
(iv) [Inversos] (∀a ∈ R)(∃b ∈ R)(a ⊕ b = b ⊕ a = 0).

II El sistema (R − {0}, ⊙) satisface:

(i) [Conmutatividad] (∀a, b ∈ (R − {0}))(a ⊙ b = b ⊙ a);

(ii) [Asociatividad] (∀a, b, c ∈ (R − {0}))((a ⊙ b) ⊙ c = a ⊙ (b × c));
(iii) [Neutro] (∃1 ∈ R − {0})(∀q ∈ (R − {0}))(q ⊙ 1 = q);
(iv) [Inversos] (∀a ∈ R − {0})(∃b ∈ (R − {0}))(a ⊙ b = 1).

III El sistema (R, ⊕, ⊙) satisface:

5.3. OPERACIONES EN R 95

(ii) [Distributividad] (∀a, b, c ∈ R)(a ⊙ (b ⊕ c) = (a ⊙ b) + (a ⊙ c)).

Demostración. Sean α, β, γ ∈ R, (an ) ∈ α, (bn ) ∈ β, (cn ) ∈ γ.

[Asociatividad]

α ⊕ (β ⊕ γ) = (an ) ⊕ ((bn ) ⊞ (cn ))

= (an ) ⊞ ((bn ) ⊞ (cn ))
= ((an ) ⊞ (bn )) ⊞ (cn )
= ((an ) ⊞ (bn ) ⊕ (cn ))
= ((an ) ⊕ (bn )) ⊕ (cn ))
= (α ⊕ β) ⊕ γ.

α ⊙ (β ⊙ γ) = (an ) ⊙ ((bn ) ⊡ (cn ))

= (an ) ⊡ ((bn ) ⊡ (cn ))
= ((an ) ⊡ (bn )) ⊡ (cn )
= ((an ) ⊡ (bn ) ⊙ (cn ))
= ((an ) ⊙ (bn )) ⊙ (cn ))
= (α ⊙ β) ⊙ γ.

[Conmutatividad]

α⊕β = (an ) ⊕ (bn )

= (an ) ⊞ (bn )
= (bn ) ⊞ (an )
= (bn ) ⊕ (an )
= α ⊕ β.

α⊙β = (an ) ⊙ (bn )

= (an ) ⊡ (bn )
= (bn ) ⊡ (an )
= (bn ) ⊙ (an )
= β ⊙ α.
96 CAPÍTULO 5. LOS NÚMEROS REALES

[Neutros] Tómese 0 := (0) y 1 := (1). Entonces

α⊕0 = (an ) ⊕ (0)

= (an ) ⊞ (0)
= (an ) ⊕ (0)
= α.

α⊙1 = (an ) ⊙ (1)

= (an ) ⊡ (1)
= (an )
= α.

[Inversos] Para el número real α = (an ), tómese η := (−an ). Entonces

α⊕η = (an ) ⊕ (−an )

= (an ) ⊞ (−an )
= (0)
= 0.

Suponga que α ̸= 0. Entonces L(an ) ̸= 0, por el Teorema 5.1.11, (an ) es positiva

o (−an ) es positiva. Cuando (an ) es positiva, el Teorema 5.1.12 establece que
existe (dn ) ∈ C tal que, L((an ) ⊡ (dn )) = 1, es decir, (an ) ⊡ (dn ) = 1. Así, el
número real η := (dn ) cumple con

α ⊙ η = (an ) ⊙ (dn ) = (an ) ⊡ (dn ) = (1) = 1.

Cuando (−an ) es positiva, siguiendo los mismos argumentos, existe η ∈ R tal que
−α ⊙ η = 1, Así, −η ∈ R y α ⊙ (−η) = −α ⊙ η = 1.

Para cada a ∈ R se denota con −a al inverso aditivo de a y para cada a ∈

R − {0}, se denota con −a al inverso multiplicativo de a. El número real a ⊞ C0
es neutro aditivo si y sólo si L(a) = 0.
5.4. EL ORDEN EN LOS NÚMEROS REALES 97

[Distributividad]

α ⊙ (β ⊕ γ) = (an ) ⊙ ((bn ) ⊞ (cn ))

= (an ) ⊡ ((bn ) ⊞ (cn ))
= ((an ) ⊡ (bn )) ⊞ ((an ) ⊡ (cn ))
= (an ) ⊡ (bn ) ⊕ (an ) ⊡ (cn )
= ((an ) ⊙ (bn )) ⊕ ((an ) ⊙ (cn ))
= (α ⊙ β) ⊕ (α ⊙ γ).

5.4. El orden en los números reales

Teorema 5.4.1. Sean a, b ∈ C. Si a es positivo y aRb, entonces b es positivo.

Demostración. Sean a = (an ), b = (bn ) ∈ C. Suponga que a positivo y aRb.

Como a es positivo, se puede tomar un racional positivo ϵ0 y N1 ∈ Z+ tal que,
para todo n ∈ Z+ , si n > N1 entonces an > ϵ0 . Además como aRb, se tiene,
L(a − b) = 0, de donde, para el racional positivo ϵ0 /2 se puede tomar N2 ∈ N
tal que, para todo n ∈ Z+ , si n > N2 entonces | an − bn |< ϵ0 /2. Luego, para
n > máx{N1 , N2 }, el término bn se encuentra a una distancia menor que ϵ0 /2 del
término an y an > ϵ0 , es decir,

ϵ0 /2 < an − ϵ0 /2 y an − ϵ0 /2 < bn < an + ϵ0 /2.

Concluyéndose que la sucesión b es eventualmente mayor que el racional positivo

ϵ0 /2, por lo que es positivo.

Se sigue que todos los elementos de una clase de equivalencia con representante
positivo, son positivos. Luego, un número real α ∈ R tiene un representante
positivo si y sólo si α = a ⊞ C0 , con a ∈ C positivo. Estos son los candidatos
a números reales positivos.

Teorema 5.4.2. El conjunto

R+ := {a ⊞ C0 ∈ R | a ∈ C positivo },

es un subconjunto positivo para R.

98 CAPÍTULO 5. LOS NÚMEROS REALES

Demostración. Como 0 = a ⊞ C0 con L(a) = 0. Por el Teorema 5.1.11, a ∈ C no

/ R+ .
es sucesión positiva, de donde, se sigue que 0 ∈
Sea α ∈ R, con α ̸= 0. Entonces α = a ⊞ C0 , para algún a ∈ C con L(a) ̸= 0.
Luego a es positivo o −a es positivo. Así, α = a ⊞ C0 pertenece a R+ o −α =
−a ⊞ C0 pertenece a R+ .
Suponga α ∈ R+ . Entonces α = a ⊞ C0 para algún a ∈ C positivo. Por el Teorema
5.1.11, −a no es positivo y L(−a) ̸= 0, por lo cual, −α = −a ⊞ C0 no pertenece
a R+ .
Sean α, β ∈ R+ . Entonces α = a ⊞ C0 y β = b ⊞ C0 para algunos a, b ∈ C
positivos. Luego,

α ⊕ β = (a ⊞ b) ⊞ C0 ; α ⊙ β = (a ⊡ b) ⊞ C0 , (5.6)

donde, a ⊞ b ∈ C y a ⊡ b ∈ C, y por el Teorema 5.1.10, son sucesiones positivas.

Por lo tanto, α ⊕ β ∈ R+ y α ⊙ β ∈ R+ .

Definición 5.4.1. Se definen la relación 4 en R mediante:

a 4 b ⇐⇒ b ⊖ a ∈ R+ .

Como consecuencia del Teorema 3.3.2, se tiene el resultado siguiente.

Corolario 5.4.1. (1) La relación 4 es un orden lineal sobre R;

(2) El sistema algebraico (R; ⊕, ⊙; 4) es un campo ordenado;

(3) R+ = {a ∈ R : a 4 0}.

La densidad del orden en R es consecuencia del Teorema 4.5.2.

Corolario 5.4.2. El orden en R es denso, es decir, para todo α, β ∈ R, si α < β

entonces existe ζ ∈ R tal que αzζ < β.

Demostración. Sean α, β ∈ R y 0 4 γ. Suponga que α 4 β, lo que es equivalente

a 0 4 β ⊖ α.
Usando las leyes de los signos y la distributividad,

0 4 γ ⊙ (β ⊖ α) = (γ ⊙ β) ⊖ (γ ⊙ α).

Equivalentemente,
(γ ⊙ α) 4 (γ ⊙ β).
5.4. EL ORDEN EN LOS NÚMEROS REALES 99

Por lo tanto, para 0 4 γ, se cumple, α 4 β y si y sólo si (γ ⊙ α) 4 (γ ⊙ β).

Por otra parte,
0 4 β ⊖ α = β ⊖ α + γ − γ = (β + γ) − (α + γ).
Lo equivale a (α+γ)4(β+γ). Por lo tanto, α4β si y sólo si (α+γ)4(β+γ).
Para cada q ∈ Q, la sucesión constante (q) es una sucesión de Cauchy con la
clase de equivalencia
(q) = (q) ⊞ C0 ∈ R.
El subconjunto de números reales
W := {(q) ∈ R : q ∈ Q}
es cerrado bajo la suma, ⊕, y multiplicación, ⊙ de números reales, por lo que, la
restricción de ⊕ y ⊙ a W son operaciones sobre W . Así, (W; ⊕, ⊙) conforma un
sistema algebraico y se demostrará que es isomorfo a (Q; +, ·).
Teorema 5.4.3. El sistema de los números reales (R; ⊕, ⊙; 4) es una extensión
del sistema de números racionales (Q; +, ×; <).
Demostración. Se define la función Ψ : Q −→ W mediante Ψ(q) = (q). Entonces
Ψ es biyectiva y además, para todo p, q ∈ Q,
Ψ(p + q) = (p + q)
= (p) ⊞ (q)
= (p) ⊕ (q)
= Ψ(p) ⊕ Ψ(q);

Ψ(pq) = (pq)
= (p) ⊡ (q)
= (p) ⊙ (q)
= Ψ(p) ⊙ Ψ(q);

p < q ⇐⇒ 0<q−p
⇐⇒ 0 4 (q − p) ∈ P
⇐⇒ (p) 4 (q)
⇐⇒ Ψ(p) 4 Ψ(q).
Por lo tanto, el sistema (W ; ⊕, ⊙; 4) es isomorfo al sistema de números racionales
(Q; +, ×; <).
100 CAPÍTULO 5. LOS NÚMEROS REALES

Entonces el sistema de números reales (R; ⊕, ⊙; 4) contiene una copia de

(Q; +, ×; <), a saber, (W ; ⊕, ⊙; 4). Por lo tanto, sin posibilidad de confusión, los
números racionales r también se representan con su imagen isomorfa (r). Resulta
legítimo, entonces, usar la notación +, × y <, para la suma, multiplicación y
el orden en números reales. En adelante se denota por (R; +, ×; <) al campo
ordenado de los números reales.

5.5. Completitud del sistema de números reales

En esta sección se demuestra que el campo ordenado (R; +, ×; <), extensión
de (Q; +, ×; <), tiene la propiedad deseada: Toda sucesión de Cauchy en R converge
en R.

Definición 5.5.1. Un campo ordenado A se denomina completo si toda sucesión

de Cauchy en A es convergente en A.

Por la estructura algebraica de R, está definida la función valor absoluto, que

sirve para medir distancia entre números reales.

Teorema 5.5.1. Si (an ) ∈ C, entonces | (an ) |= (| an |).

Demostración. Sea (an ) ∈ C y suponga que (an ) es positiva. Entonces la sucesión

(an − | an |) es eventualmente cero, por lo cual, (an ) − (| an |)) ∈ C0 , y así
(an ) = (| an |) y (| an |) son positivas. Así (an ), (| an |) ∈ R+ y

(an ) =| (an ) |=| (| an |) |= (| an |).

Primero se demuestra que toda sucesión de Cauchy en Q converge en R.

Teorema 5.5.2. Sea α ∈ R y (an ) ∈ C. Si (an ) ∈ α, entonces L((an )) = α en R.

Demostración. Se asumen las hipótesis del teorema. Sea ϵ > 0 un número real
fijo y se toma e ∈ Q con 0 < e < ϵ. Como (an ) ∈ C, para e/2 > 0, podemos
tomar Ne ∈ Z+ tal que, para todo m, n > Ne , | an − am |< e/2. Entonces para
todo n, m > Ne ,

e− | an − am |> e/2 para todo m, n > Ne .

5.5. COMPLETITUD DEL SISTEMA DE NÚMEROS REALES 101

Luego, para cada n > Ne fijo, la sucesión (e− | an − am |)m es suma de

sucesiones en de Cauchy, por lo cual, es una sucesión en Cauchy, además, como
eventualmente es mayor que e/2, es positiva. Luego

(e) − (| an − am |)m = (e− | an − am |)m > 0.

Por la hipótesis, (an ) ∈ α, así α = (an ). Luego, por el Teorema 5.5.1, para todo
n > N − e,

| an − α |=| an − (am ) |=| (an − am )m |= (| an − am |)m < (e) = e < ϵ.

Por lo tanto, L(an ) = α.

Corolario 5.5.1. Si α un número real, para todo número real positivo ϵ, existe un
número racional a tal que | α − a |< ϵ en R.

Demostración. Sea α un número real y ϵ un número real positivo. Sea (an ) ∈ α,

por el Teorema 5.5.2, L(an ) = α. Entonces podemos tomar N ∈ Z+ tal que

| α − an |< ϵ, para todo n > N.

En particular, para a = aN +1 , se cumple | α − a |< ϵ.

Otra forma de densidad es la siguiente.

Definición 5.5.2. Sea B un subconjunto del conjunto ordenado A. Se dice que B

es denso en A si, para todo a, b ∈ A, si a < b existe c ∈ B tal que a < c < b.

Corolario 5.5.2. El conjunto Q es denso en R, es decir, para todo α, β ∈ R, si

α < β entonces existe z ∈ Q tal que α < z < β.

Demostración. Sean α, β ∈ R y suponga que α < β. Por la densidad del orden

en R, Corolario 5.4.2, existe un número real ζ ∈ R tal que α < ζ < β. Tomando
ϵ := mı́n{ζ − α, β − ζ}, el número real ϵ es positivo y por el Corolario 5.5.1,
existe un número racional z, tal que | ζ − z |< ϵ. Entonces

α ≤ ζ − ϵ < z < ζ + ϵ ≤ β.

Corolario 5.5.3. El sistema de números reales (R; +, ×; <) es arquimediano.

102 CAPÍTULO 5. LOS NÚMEROS REALES

Demostración. Sean α, β ∈ R y suponga que 0 < α < β. Sean a y b números

racionales tales que 0 < a < α < β < b < α + β. Como Q es arquimediano,
existe n ∈ Z+ tal que na > b. Pero nα > na > b ≥ β
Teorema 5.5.3. El sistema de números reales R es completo, esto es, toda sucesión
de Cauchy en R converge en R.
Demostración. Sea (αn ) una sucesión de Cauchy de números reales. Por el Corolario
5.5.1, para cada n ∈ Z+ , existe un racional zn tal que
| αn − zn |< 1/n.
Se demuestra que (zn ) es una sucesión de Cauchy en R. Como R es arquimediano,
L(1/n) = 0. Por lo tanto, para todo número real positivo ϵ, existe N1 ∈ Z+ tal
que
| αn − zn |< 1/n < ϵ/3 para todo n ≥ N1 .
Como (αn ) es de Cauchy en R, existe N − 2 ∈ Z+ tal que
| αm − αn |< ϵ/3 para todo n ≥ N2 .
| zm − zn |≤| zm − αm | + | αm − αn | + | αn − zn |< ϵ/3 + ϵ/3 + ϵ/3 = ϵ,
para todo n, m > máx{N1 , N2 }. Así (zn ) es una sucesión de Cauchy. Por el
Teorema 5.5.2, L(zn ) = (zn ) =: α en R. Por lo tanto, existe N3 tal que
| zn − α |< 2ϵ/3 para todo n ≥ N3 .
Pero entonces
| αn − α |≤| αn − zn | + | zn − α |< ϵ/3 + 2ϵ/3 = ϵ,
para todo n ≥ máx{N − 1, N3 }. Por lo tanto, L(αn ) = α.
Hasta aquí se ha demostrado que el sistema de números reales R es un campo
ordenado, arquimediano y completo. Estas propiedades caracterizan al sistema
de números reales, es decir, cualquier campo ordenado completo es isomorfo al
sistema de números reales. Existen más caracterizaciones de R, pero su presentación
requiere dedicar más tiempo del que disponemos en este curso, por lo cual, solamente
se enuncian. El análisis de dichas caracterizaciones se encuentra en [2].

Sea (A; ⊕, ⊙; <) un campo ordenado.

Afirmación I.
5.5. COMPLETITUD DEL SISTEMA DE NÚMEROS REALES 103

(a) A es arquimediano.
(b) Toda sucesión de Cauchy en A tiene límite en A, es decir, A es completo.
Afirmación II. Todo subconjunto no vacío de A, si es acotado por arriba
entonces es tiene supremo en A.

Afirmación III. No existen aberturas en A.

Afirmación IV. Todo subconjunto no vacío de A, si es acotado por abajo

entonces es tiene ínfimo en A.

Afirmación V. Si X es subconjunto de A, cerrado y acotado acotado, entonces

toda T colección de intervalos abiertos que cubren a X, tiene un subcolección
finita que cubre a X, es decir, todo subconjunto cerrado y acotado de A es compacto.

Afirmación VI. Todo subconjunto infinito y acotado de A tienen un punto de

acumulación en A.

Afirmación VII.
(a) A es arquimediano.
(b) Para todo n ∈ Z+ , Xn es un intervalo cerrado en A, y Xn+1 ⊂ Xn , entonces
n∈Z+ Xn ̸= 0.
T

Teorema 5.5.4. En un campo ordenado, (A; ⊕, ⊙; <), las afirmaciones, de I

hasta VII, son equivalentes.
La demostración se puede consultar en [2], páginas 96-101.
Teorema 5.5.5. Todo Campo ordenado, arquimediano y completo es isomorfo al
sistema de números reales, R.
La demostración se puede consultar en [2], página 103.
Corolario 5.5.4. Cualquier campo ordenado que satisfaga alguna de las afirmaciones
de I a VII es isomorfo al sistema de números reales, R.
Sobre la cardinalidad de R, se sabe que es mayor que la cardinalidad de N, la
cual se denomina numerable.
Teorema 5.5.6. El sistema de los números reales es no es numerable.
La demostración se puede consultar en [2], página 103.
104 CAPÍTULO 5. LOS NÚMEROS REALES
Bibliografía

[1] J.B. Roberts. The Real Number System in an Algebraic Setting. Dover Books
on Mathematics. Dover Publications, 2018.

[2] L.W. Cohen and G. Ehrlich. The structure of the real number system.
University series in undergraduate mathematics. D. Van Nostrand, 1963.

[3] Fregoso A. Números Reales. Los Elementos del Lenguaje de la Matemática

4. Trillas, 1986.

[4] D. Smith, M. Eggen, and R.S. Andre. A Transition to Advanced Mathematics.

Cengage Learning, 2014.

[5] G. Peano. Arithmetices principia: nova methodo exposita. Fratres

Bocca, 1889. [Disponibilidad en internet verificada el 24-02-2020:
https://archive.org/details/arithmeticespri00peangoog].

[6] S. Feferman. The Number Systems: Foundations of Algebra and Analysis.

AMS Chelsea Publishing Series. American Mathematical Society, 2003.

[7] F. Zaldívar. Fundamentos de álgebra. Ediciones Científicas Universitarias.

Fondo de Cultura Económica, segunda edition, 2018.

105