Axiomática de los Números Reales

Sesión 1

Julio R. Rincón Cristancho

Departamento de Matemáticas y Ciencias de la Computación

Universidad de Santiago de Chile

2017

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

Sumario

1 Introducción y Definición Axiomática de R

¿Por qué los axiomas?
Estructura de Cuerpo Ordenado Completo
Bloque de Axiomas de Cuerpo
Convenciones y Primeras Observaciones

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

Sumario

1 Introducción y Definición Axiomática de R

¿Por qué los axiomas?
Estructura de Cuerpo Ordenado Completo
Bloque de Axiomas de Cuerpo
Convenciones y Primeras Observaciones

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

¿Por qué los axiomas?
Definición

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

¿Por qué los axiomas?
Definición

Wikipedia:
Un axioma es una proposición asumida dentro de un cuerpo teórico sobre
la cual descansan otros razonamientos y proposiciones deducidas de esas
premisas.

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

¿Por qué los axiomas?
Ejemplos

1 Alberto y Bernardo son alumnos de la USACH, y sus edades son a y b

respectivamente. Suponga que estas cumplen que a − b = b − a. ¿Qué puede
concluir sobre ellas?

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

¿Por qué los axiomas?
Ejemplos

1 Alberto y Bernardo son alumnos de la USACH, y sus edades son a y b

respectivamente. Suponga que estas cumplen que a − b = b − a. ¿Qué puede
concluir sobre ellas?
Respuesta:

“a − b = b − a
2a = 2b
a = b”

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

¿Por qué los axiomas?
Ejemplos

1 Alberto y Bernardo son alumnos de la USACH, y sus edades son a y b

respectivamente. Suponga que estas cumplen que a − b = b − a. ¿Qué puede
concluir sobre ellas?
Respuesta:

a−b=b−a
2a = 2b
a=b
a2 = ab

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

¿Por qué los axiomas?
Ejemplos

1 Alberto y Bernardo son alumnos de la USACH, y sus edades son a y b

respectivamente. Suponga que estas cumplen que a − b = b − a. ¿Qué puede
concluir sobre ellas?
Respuesta:

a−b=b−a
2a = 2b
a=b
a2 = ab
a2 − b2 = ab − b2

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

¿Por qué los axiomas?
Ejemplos

1 Alberto y Bernardo son alumnos de la USACH, y sus edades son a y b

respectivamente. Suponga que estas cumplen que a − b = b − a. ¿Qué puede
concluir sobre ellas?
Respuesta:

a−b=b−a
2a = 2b
a=b
a2 = ab
a2 − b2 = ab − b2
(a − b)(a + b) = (a − b)b

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

¿Por qué los axiomas?
Ejemplos

1 Alberto y Bernardo son alumnos de la USACH, y sus edades son a y b

respectivamente. Suponga que estas cumplen que a − b = b − a. ¿Qué puede
concluir sobre ellas?
Respuesta:

a−b=b−a
2a = 2b
a=b
a2 = ab
a2 − b2 = ab − b2
 −
(a b)(a + b) = 
 (a−
b)b

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

¿Por qué los axiomas?
Ejemplos

1 Alberto y Bernardo son alumnos de la USACH, y sus edades son a y b

respectivamente. Suponga que estas cumplen que a − b = b − a. ¿Qué puede
concluir sobre ellas?
Respuesta:

a−b=b−a
2a = 2b
a=b
a2 = ab
a2 − b2 = ab − b2
 −
(a b)(a + b) = 
 (a−
b)b
a+b=b

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

¿Por qué los axiomas?
Ejemplos

1 Alberto y Bernardo son alumnos de la USACH, y sus edades son a y b

respectivamente. Suponga que estas cumplen que a − b = b − a. ¿Qué puede
concluir sobre ellas?
Respuesta:

a−b=b−a
2a = 2b
a=b
a2 = ab
a2 − b2 = ab − b2
 −
(a b)(a + b) = 
 (a−
b)b
a+b=b
2b = b

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

¿Por qué los axiomas?
Ejemplos

1 Alberto y Bernardo son alumnos de la USACH, y sus edades son a y b

respectivamente. Suponga que estas cumplen que a − b = b − a. ¿Qué puede
concluir sobre ellas?
Respuesta:

a−b=b−a
2a = 2b
a=b
a2 = ab
a2 − b2 = ab − b2
 −
(a b)(a + b) = 
 (a−
b)b
a+b=b
2
b =
b

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

¿Por qué los axiomas?
Ejemplos

1 Alberto y Bernardo son alumnos de la USACH, y sus edades son a y b

respectivamente. Suponga que estas cumplen que a − b = b − a. ¿Qué puede
concluir sobre ellas?
Respuesta:

a−b=b−a
2a = 2b
a=b
a2 = ab
a2 − b2 = ab − b2
 −
(a b)(a + b) = 
 (a−
b)b
a+b=b
2
b =
b
2 = 1.

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

¿Por qué los axiomas?
Ejemplos
2 Es sabido que

−20 = −20.

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

¿Por qué los axiomas?
Ejemplos
2 Es sabido que

−20 = −20.

Tan cierto es esto, como que

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

¿Por qué los axiomas?
Ejemplos
2 Es sabido que

−20 = −20.

Tan cierto es esto, como que

25 − 45 = 16 − 36,

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

¿Por qué los axiomas?
Ejemplos
2 Es sabido que

−20 = −20.

Tan cierto es esto, como que

25 − 45 = 16 − 36,
5 − 9 × 5 = 42 − 9 × 4,
2

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

¿Por qué los axiomas?
Ejemplos
2 Es sabido que

−20 = −20.

Tan cierto es esto, como que

25 − 45 = 16 − 36,
5 − 9 × 5 = 42 − 9 × 4,
2

9 9
52 − 2 × × 5 = 42 − 2 × × 4,
2 2

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

¿Por qué los axiomas?
Ejemplos
2 Es sabido que

−20 = −20.

Tan cierto es esto, como que

25 − 45 = 16 − 36,
5 − 9 × 5 = 42 − 9 × 4,
2

9 9
52 − 2 × × 5 = 42 − 2 × × 4,
2 2
 2  2
9 9 9 9
52 − 2 × × 5 + = 42 − 2 × × 4 + ,
2 2 2 2

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

¿Por qué los axiomas?
Ejemplos
2 Es sabido que

−20 = −20.

Tan cierto es esto, como que

25 − 45 = 16 − 36,
5 − 9 × 5 = 42 − 9 × 4,
2

9 9
52 − 2 × × 5 = 42 − 2 × × 4,
2 2
 2  2
9 9 9 9
52 − 2 × × 5 + = 42 − 2 × × 4 + ,
2 2 2 2
 2  2
9 9
5− = 4− ,
2 2

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

¿Por qué los axiomas?
Ejemplos
2 Es sabido que

−20 = −20.

Tan cierto es esto, como que

25 − 45 = 16 − 36,
5 − 9 × 5 = 42 − 9 × 4,
2

9 9
52 − 2 × × 5 = 42 − 2 × × 4,
2 2
 2  2
9 9 9 9
52 − 2 × × 5 + = 42 − 2 × × 4 + ,
2 2 2 2
 2  2
9 9
5− = 4− ,
2 2
9 9
5− =4− ,
2 2

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

¿Por qué los axiomas?
Ejemplos
2 Es sabido que

−20 = −20.

Tan cierto es esto, como que

25 − 45 = 16 − 36,
5 − 9 × 5 = 42 − 9 × 4,
2

9 9
52 − 2 × × 5 = 42 − 2 × × 4,
2 2
 2  2
9 9 9 9
52 − 2 × × 5 + = 42 − 2 × × 4 + ,
2 2 2 2
 2  2
9 9
5− = 4− ,
2 2
9 9
5− =4− ,
2 2
5 = 4.

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

¿Por qué los axiomas?
Definición

Wikipedia:
Un axioma es una proposición asumida dentro de un cuerpo teórico sobre
la cual descansan otros razonamientos y proposiciones deducidas de esas
premisas.

Propuesta definición a alumnos:

Dentro de este ramo, llamaremos axiomas a las afirmaciones que se dicen,
y sin más rodeos: son ciertas.

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

Sumario

1 Introducción y Definición Axiomática de R

¿Por qué los axiomas?
Estructura de Cuerpo Ordenado Completo
Bloque de Axiomas de Cuerpo
Convenciones y Primeras Observaciones

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

Introducción: Propiedades tácitas

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

Introducción: Propiedades tácitas

R ≡ hR, =, +, ·i.

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

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.

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

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.

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

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 9 / 50

Introducción: Tres bloques de axiomas

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

repartidos en los siguientes bloques:

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

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 ))

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

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 ))

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

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 10 / 50

Sumario

1 Introducción y Definición Axiomática de R

¿Por qué los axiomas?
Estructura de Cuerpo Ordenado Completo
Bloque de Axiomas de Cuerpo
Convenciones y Primeras Observaciones

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

Axiomas de Cuerpo
Axiomas para la Suma

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

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

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).

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

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.

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

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.

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

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.

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

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 12 / 50

Axiomas de Cuerpo
Axiomas para el producto

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

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

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).

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

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.

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

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.

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

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.

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

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:

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

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 13 / 50

Axiomas de Cuerpo
Denominaciones

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

Axiomas de Cuerpo
Denominaciones

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

respectivamente.

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

Axiomas de Cuerpo
Denominaciones

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

respectivamente.
(C2 ) y (C6 ): Propiedades Conmutativas.

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

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.

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

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.

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

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 14 / 50

Sumario

1 Introducción y Definición Axiomática de R

¿Por qué los axiomas?
Estructura de Cuerpo Ordenado Completo
Bloque de Axiomas de Cuerpo
Convenciones y Primeras Observaciones

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

Clases de Proposiciones Verdaderas a Demostrar

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

Clases de Proposiciones Verdaderas a Demostrar

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

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

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.

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

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.

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

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 16 / 50

Observaciones sobre las Demostraciones.

Requerimientos en una demostración ideal:

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

Observaciones sobre las Demostraciones.

Requerimientos en una demostración ideal:

I emplear máximo un axioma por paso en los pasos cruciales.

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

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.

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

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.

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

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:

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

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)

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

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)

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

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 17 / 50