Introducción: Propiedades tácitas

R ≡ hR, =, +, ·i.
Por abuso de notación, se entenderá por R propiamente el conjunto
R. El producto “·” también se expresa mediante yuxtaposición:
ab = a · b.
La relación “=” es una relación de equivalencia:
I Para todo a ∈ R, a = a.
I Para todo a, b ∈ R, a = b ⇒ b = a.
I Para todo a, b, c ∈ R, a = b ∧ b = c ⇒ a = c.
Las operaciones binarias “+”, “·” respetan la relación “=”:
I Para todo a, b, c, d ∈ R, a = b ∧ c = d ⇒ a + c = b + d.
I Para todo a, b, c, d ∈ R, a = b ∧ c = d ⇒ ac = bd.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 8 / 49

Introducción: Tres bloques de axiomas

La estructura hR, =, +, ·i satisface un compendio de 13 axiomas,

repartidos en los siguientes bloques:
9 Axiomas de Cuerpo ((C1 ) – (C9 ))
3 Axiomas de Orden ((O1 ) – (O3 ))
1 Axioma de Complección

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 9 / 49

Axiomas de Cuerpo
Axiomas para la Suma

Los siguientes axiomas involucran únicamente a la operación suma:

(C1 ) Para cualesquiera a, b, c ∈ R, (a + b) + c = a + (b + c).

(C2 ) Para cualesquiera a, b ∈ R, a + b = b + a.
(C3 ) Existe 0 ∈ R tal que a + 0 = 0 + a = a para todo a ∈ R.
(C4 ) Para todo a ∈ R existe b ∈ R tal que a + b = b + a = 0.

Nota: Este conjunto de Axiomas son los Axiomas de Grupo Abeliano para
la suma.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 11 / 49

Axiomas de Cuerpo
Axiomas para el producto

Los siguientes axiomas involucran únicamente a la operación producto:

(C5 ) Para cualesquiera a, b, c ∈ R, (ab)c = a(bc).

(C6 ) Para cualesquiera a, b ∈ R, ab = ba.
(C7 ) Existe 1 ∈ R, 1 6= 0, tal que a · 1 = 1 · a = a para todo a ∈ R.
(C8 ) Para todo a ∈ R, a 6= 0, existe c ∈ R tal que ac = ca = 1.
Solo uno de los axiomas de cuerpo involucra directamente a ambas
operaciones:
(C9 ) Para cualesquiera a, b, c ∈ R, a(b + c) = ab + ac.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 12 / 49

Axiomas de Cuerpo
Denominaciones

(C1 ) y (C5 ): Propiedades Asociativas de la suma y el producto,

respectivamente.
(C2 ) y (C6 ): Propiedades Conmutativas.
(C3 ) y (C7 ): Propiedades de Elemento Neutro.
(C4 ) y (C8 ): Propiedades de Opuesto e Inverso (o de Inverso Aditivo
e Inverso Multiplicativo), respectivamente.
(C9 ): Propiedad Distributiva.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 13 / 49

Clases de Proposiciones Verdaderas a Demostrar

Teorema
Es una proposición autónoma tanto en su relevancia como en su origen.

Lema
Es una proposición no autónoma en su relevancia.

Corolario
Es una proposición no autónoma en su origen.

Proposición
Elegiremos simplemente la denominación “proposición”, cuando esta no es
clasificable en ninguna de las anteriores.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 15 / 49

Observaciones sobre las Demostraciones.

Requerimientos en una demostración ideal:

I emplear máximo un axioma por paso en los pasos cruciales.
I emplear la menor cantidad de axiomas posible en los pasos rutinarios.
I uso de teoremas: decidir de acuerdo a la situación si se debe incluir o
no la demostración del teorema empleado.

Propiedades asociativas y conmutativas: suelen sintetizarse como en

los siguientes ejemplos:
I (ab)(cd) = (ba)(dc) (Prop. Conmutativa Producto)
I (a + b) + (c + d) = a + ((b + c) + d) (Prop. Asociativa Suma)
I (ab)c = (bc)a = (ac)b (Prop. Asoc. y Conm. Producto)

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 16 / 49

Teoremas de Unicidad de Neutros e Inversos.

Teorema 2.1.
Si 0 y 00 son elementos neutros de la suma, entonces 0 = 00 .
Si 1 y 10 son elementos neutros del producto, entonces 1 = 10 .

Teorema 2.2.
Si a, b, c ∈ R son tales que a + b = b + a = 0 y a + c = c + a = 0,
entonces b = c.
Si a 6= 0, y b, c ∈ R son tales que ab = ba = 1 y ac = ca = 1,
entonces b = c.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 18 / 49

Teoremas de Unicidad de Neutros e Inversos.

Consecuencias del Teorema 2.2

Los inversos aditivo y multiplicativo de un número a ∈ R son únicos.
Se denotarán por −a y por a−1 (si a 6= 0) respectivamente.
Para demostrar que un cierto valor o expresión x cumple x = −a,
basta demostrar x + a = 0; y para demostrar que x cumple x = a−1 ,
basta demostrar que ax = 1.

Corolario 2.3.
−0 = 0 y 1−1 = 1.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 19 / 49

El Cero

Lema 2.4.
Para todo a ∈ R, se cumple que a · 0 = a · 0 + a · 0.

Lema 2.5.
Si x ∈ R es tal que existe c ∈ R que cumple x + c = c, entonces x = 0.

Teorema 2.6 (Teorema Anulativo).

Para todo a ∈ R, se cumple que a · 0 = 0.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 21 / 49

El Cero

Teorema 2.7.
Si a, b ∈ R, entonces ab = 0 si y solo si a = 0 ó b = 0.

Corolario 2.8.
Para todo a ∈ R, a · 0 6= 1; por lo tanto, no existe 0−1 .
Para todo a ∈ R con a 6= 0, se cumple a−1 6= 0.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 22 / 49

El −1

Teorema 2.9.
Si a ∈ R, entonces −a = −1 · a.

Observación: Partiendo de este Teorema puede mostrarse el Teorema

Anulativo (Teorema 2.6) como sigue:

a·0
= a(1 + (−1))
= a · 1 + a · (−1)
= a + (−1)a
= a + (−a) = 0.

Por lo tanto, los Teoremas 2.6 y 2.9 son equivalentes (y en muchas

demostraciones, intercambiables).

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 23 / 49

Divisiones e Inversos

Definición 2.10.
Para cualesquiera a, b ∈ R, con b 6= 0, se define la división o cociente entre
a
a y b como := ab−1 . Se denota también como a ÷ b, a/b o a : b.
b

Teorema 2.11 (Ley de Cancelación del producto).

Si a 6= 0, entonces ab = ac ⇔ b = c.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 25 / 49

Divisiones e Inversos

Teorema 2.12.
Si a 6= 0 y b 6= 0, entonces a−1 b = (ab−1 )−1 .

Teorema 2.13.
Si a 6= 0 y b 6= 0, entonces a−1 b−1 = (ab)−1 .

Teorema 2.14.
Para todo a ∈ R, a 6= 0, se cumple (a−1 )−1 = a.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 26 / 49

Fraccionarios

Teorema 2.15.
a+b a b
Para cualesquiera a, b, c ∈ R con c 6= 0, se cumple = + .
c c c

Teorema 2.16.
a ac
si b, c 6= 0, entonces = .
b bc

Teorema 2.17.
a b ad + bc
si c, d 6= 0, entonces + = .
c d cd

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 27 / 49

Fraccionarios

Teorema 2.18.
a b ab
si c, d 6= 0, entonces · = .
c d cd

Teorema 2.19.
a c ad
si b, c, d 6= 0, entonces ÷ = .
b d bc

Teorema 2.20.
a c
si b, d 6= 0, entonces = si y solo si ad = bc.
b d

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 28 / 49

Signos

Definición 2.21.
Se define la resta entre a y b como a − b := a + (−b).

Teorema 2.22 (Ley de Cancelación de la Suma).

Para cualesquiera a, b, c ∈ R, se cumple que a + c = b + c. si y solo si
a = b.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 30 / 49

Signos

Teorema 2.23.
Para cualesquiera a, b ∈ R, −(a − b) = b − a.

Teorema 2.24.
Para cualesquiera a, b ∈ R, −(a + b) = −b − a.

Teorema 2.25.
Para todo a ∈ R, −(−a) = a.

Corolario 2.26.
Para cualesquiera a, b ∈ R, a − (−b) = a + b.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 31 / 49

Signos

Teorema 2.27.
Para cualesquiera a, b ∈ R, a(−b) = (−a)b = −(ab)

Teorema 2.28.
Para cualesquiera a, b ∈ R, (−a)(−b) = ab.

Corolario 2.29.
Para todo a, b, c ∈ R, a(b − c) = ab − ac.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 32 / 49

Axiomas de Orden

Existe un subconjunto R+ ⊆ R que cumple:

(O1 ) Para todo a, b ∈ R+ , a + b ∈ R+ .
(O2 ) Para todo a, b ∈ R+ , ab ∈ R+ .
(O3 ) Para todo a ∈ R, se satisface una y solo una de las siguientes
condiciones:
I a ∈ R+ ,
I a = 0,
I −a ∈ R+ .
Denominaciones:
Los Axiomas (O1 ) y (O2 ) se denominan Axiomas de Clausura de la
suma y del producto, respectivamente.
El Axioma (O3 ) se denomina Axioma de Tricotomı́a.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 34 / 49

Axiomas de Orden

Definición 3.1.
Se define el conjunto de los Números Reales Negativos como:

R− := {x ∈ R : −x ∈ R+ }.

Definición 3.2.
Dados a, b ∈ R, se definen la relaciones
“>”(mayor que) dada por a > b ⇔ a − b ∈ R+ .
“<”(menor que) dada por a < b ⇔ b > a.
“≥”(mayor o igual que) dada por a ≥ b ⇔ a > b ∨ a = b.
“≤”(menor o igual que) dada por a ≤ b ⇔ b ≥ a.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 35 / 49

Axiomas de Orden

Teorema 3.3.
Si a < b entonces a + c < b + c para cualesquiera a, b, c ∈ R.

Teorema 3.4.
Si a < b y c > 0, entonces ac < bc.
Si a ≤ b y c > 0, entonces ac ≤ bc.
Si a < b y c ≥ 0, entonces ac ≤ bc.

Teorema 3.5.
Si a < b y c < 0, entonces ac > bc.
Si a ≤ b y c < 0, entonces ac ≥ bc.
Si a < b y c ≤ 0, entonces ac ≥ bc.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 36 / 49

Axiomas de Orden

Lema 3.6.
Para cualesquiera a, b, c ∈ R, si a < b y b < c, entonces a < c.

Lema 3.7.
Si a < b, entonces −b < −a.
Si a ≤ b, entonces −b ≤ −a.

Teorema 3.8.
Para todo a ∈ R, a2 ≥ 0 y a2 = 0 si y solo si a = 0.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 37 / 49

Axiomas de Orden

Corolario 3.9.
0 < 1.
Para todo a ∈ R, a < a + 1.

Corolario 3.10.
Si a 6= 0, entonces a > 0 si y solo si a−1 > 0.

Corolario 3.11.
1 1
Si 0 < a < b, entonces < .
b a

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 38 / 49

Axiomas de Orden

Lema 3.12.
Si 0 ≤ x < 1 entonces 0 ≤ x2 < 1.
Si 0 ≤ x < 1 entonces 0 ≤ x3 < 1.

Teorema 3.13.
Si 0 ≤ a < b entonces a2 < b2 .
Si a < b ≤ 0 entonces a2 > b2 .

Teorema 3.14.
Si a < b entonces a3 < b3 .

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 39 / 49

Potenciación

Definición 3.21.
Se define la potenciación an , donde n ∈ Z+ , como
a1 = a,
an+1 = an a ∀n ∈ Z+ , n > 1.

Definición 3.22.
Para todo a ∈ R, a 6= 0, se define a0 = 1.
1
Para todo a ∈ R, a 6= 0, y todo n ∈ Z+ , se define a−n = .
an

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 45 / 49

Potenciación

Definición 3.23.
1
Para todo a ∈ R, y para todo número entero par n 6= 0 se define a n
como el único real positivo x tal que xn = a, si tal número existe.
Para todo a ∈ R, y para todo número entero impar n 6= 0 se define
1
a n como el único real x tal que xn = a, si tal número existe.

Definición 3.24.
Para todo a ∈ R, y para cualesquiera números
 1 enteros
m m, n ∈ Z, donde
m 1
n 6= 0 y m.c.d{m, n} = 1, se define a = a
n n , siempre y cuando a n
exista.

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 46 / 49

Potenciación
Proposición 3.25.
Para cualesquiera m, n ∈ Z+ , se cumplen
 n
1 1
= n si a 6= 0.
a a
am+n = am an
(ab)n = an bn
(am )n = amn

Corolario 3.26.
Para todo a 6= 0 y m, n ∈ Z, se cumplen
1
a−n = n
a
(ab)n = an bn si n 6= 0
(am )n = amn
am+n = am an

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 47 / 49

Potenciación

Teorema 3.27.
Si a, b ∈ R, r, s ∈ Q y las potencias que correspondan existen, entonces se
cumplen:
ar br = (ab)r
ar+s = ar as
(ar )s = ars

Julio R. Rincón Cristancho Axiomática de los Números Reales Sesión 1 2017 48 / 49