Aritmética aditiva

Aritmética aditiva

Gerardo Ospina
gerardo.ospina@escuelaing.edu.co

Facultad de Ingenierı́a de Sistemas

Escuela Colombiana de Ingenierı́a Julio Garavito

Octubre 5 de 2021
Aritmética aditiva

Matemáticas
Aritmética aditiva

Matemáticas

Conjuntos de números que usualmente se estudian en

matemáticas:
Aritmética aditiva

Matemáticas

Conjuntos de números que usualmente se estudian en

matemáticas:
Conjunto de números naturales
Aritmética aditiva

Matemáticas

Conjuntos de números que usualmente se estudian en

matemáticas:
Conjunto de números naturales
Conjunto de números enteros
Aritmética aditiva

Matemáticas

Conjuntos de números que usualmente se estudian en

matemáticas:
Conjunto de números naturales
Conjunto de números enteros
Conjunto de números racionales (o fraccionarios)
Aritmética aditiva

Matemáticas

Conjuntos de números que usualmente se estudian en

matemáticas:
Conjunto de números naturales
Conjunto de números enteros
Conjunto de números racionales (o fraccionarios)
Conjunto de números reales
Aritmética aditiva

Matemáticas

Conjuntos de números que usualmente se estudian en

matemáticas:
Conjunto de números naturales
Conjunto de números enteros
Conjunto de números racionales (o fraccionarios)
Conjunto de números reales
Conjunto de números complejos
Aritmética aditiva

Aritmética
Aritmética aditiva

Aritmética

Enteros (naturales)
Aritmética aditiva

Aritmética

Enteros (naturales)
Modelo matemático para un sistema de puntos uniformemente
espaciados
Aritmética aditiva

Aritmética

Enteros (naturales)
Modelo matemático para un sistema de puntos uniformemente
espaciados
Por ejemplo, los numerales -2, 3 son etiquetas que nos dicen
qué número repesenta qué punto
Aritmética aditiva

Aritmética

Enteros (naturales)
Modelo matemático para un sistema de puntos uniformemente
espaciados
Por ejemplo, los numerales -2, 3 son etiquetas que nos dicen
qué número repesenta qué punto
Modelo matemático de una sucesión de puntos sobre una recta
Aritmética aditiva

Aritmética

Enteros (naturales)
Modelo matemático para un sistema de puntos uniformemente
espaciados
Por ejemplo, los numerales -2, 3 son etiquetas que nos dicen
qué número repesenta qué punto
Modelo matemático de una sucesión de puntos sobre una recta
Modelo matemático de una realidad externa a las matemáticas
Aritmética aditiva

Aritmética

Enteros (naturales)
Modelo matemático para un sistema de puntos uniformemente
espaciados
Por ejemplo, los numerales -2, 3 son etiquetas que nos dicen
qué número repesenta qué punto
Modelo matemático de una sucesión de puntos sobre una recta
Modelo matemático de una realidad externa a las matemáticas

Objetivo de la aritmética aditiva

Entender los números enteros (naturales) como un sistema o teorı́a
axiomática
Aritmética aditiva

Aritmética aditiva

Dominio de Integridad
Conjunto D
Aritmética aditiva

Aritmética aditiva

Dominio de Integridad
Conjunto D
Dos elementos distinguibles de D: 0 y 1
Aritmética aditiva

Aritmética aditiva

Dominio de Integridad
Conjunto D
Dos elementos distinguibles de D: 0 y 1
Dos operaciones binarias sobre D: + y ·
Aritmética aditiva

Aritmética aditiva

Dominio de Integridad
Conjunto D
Dos elementos distinguibles de D: 0 y 1
Dos operaciones binarias sobre D: + y ·
Una operación unaria de D: -
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios de integridad

Para a, b, c ∈ D:
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios de integridad

Para a, b, c ∈ D:
15.1 (Asociatividad de +) a + (b + c) = (a + b) + c
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios de integridad

Para a, b, c ∈ D:
15.1 (Asociatividad de +) a + (b + c) = (a + b) + c
15.2 (Asociatividad de ·) a · (b · c) = (a · b) · c
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios de integridad

Para a, b, c ∈ D:
15.1 (Asociatividad de +) a + (b + c) = (a + b) + c
15.2 (Asociatividad de ·) a · (b · c) = (a · b) · c
15.3 (Simetria de +) a + b = b + a
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios de integridad

Para a, b, c ∈ D:
15.1 (Asociatividad de +) a + (b + c) = (a + b) + c
15.2 (Asociatividad de ·) a · (b · c) = (a · b) · c
15.3 (Simetria de +) a + b = b + a
15.4 (Simetria de ·) a · b = b · a
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios de integridad

Para a, b, c ∈ D:
15.1 (Asociatividad de +) a + (b + c) = (a + b) + c
15.2 (Asociatividad de ·) a · (b · c) = (a · b) · c
15.3 (Simetria de +) a + b = b + a
15.4 (Simetria de ·) a · b = b · a
15.5 (Identidad aditiva) a + 0 = a
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios de integridad

Para a, b, c ∈ D:
15.1 (Asociatividad de +) a + (b + c) = (a + b) + c
15.2 (Asociatividad de ·) a · (b · c) = (a · b) · c
15.3 (Simetria de +) a + b = b + a
15.4 (Simetria de ·) a · b = b · a
15.5 (Identidad aditiva) a + 0 = a
15.6 (Identidad multiplicativa) a · 1 = a
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios de integridad

Para a, b, c ∈ D:
15.1 (Asociatividad de +) a + (b + c) = (a + b) + c
15.2 (Asociatividad de ·) a · (b · c) = (a · b) · c
15.3 (Simetria de +) a + b = b + a
15.4 (Simetria de ·) a · b = b · a
15.5 (Identidad aditiva) a + 0 = a
15.6 (Identidad multiplicativa) a · 1 = a
15.7 (Distribución de · sobre +) a · (b + c) = a · b + a · c
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios de integridad

Para a, b, c ∈ D:
15.1 (Asociatividad de +) a + (b + c) = (a + b) + c
15.2 (Asociatividad de ·) a · (b · c) = (a · b) · c
15.3 (Simetria de +) a + b = b + a
15.4 (Simetria de ·) a · b = b · a
15.5 (Identidad aditiva) a + 0 = a
15.6 (Identidad multiplicativa) a · 1 = a
15.7 (Distribución de · sobre +) a · (b + c) = a · b + a · c
15.8 (Inverso aditivo) a + (−a) = 0
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios de integridad

Para a, b, c ∈ D:
15.1 (Asociatividad de +) a + (b + c) = (a + b) + c
15.2 (Asociatividad de ·) a · (b · c) = (a · b) · c
15.3 (Simetria de +) a + b = b + a
15.4 (Simetria de ·) a · b = b · a
15.5 (Identidad aditiva) a + 0 = a
15.6 (Identidad multiplicativa) a · 1 = a
15.7 (Distribución de · sobre +) a · (b + c) = a · b + a · c
15.8 (Inverso aditivo) a + (−a) = 0
15.9 (Cancelación multiplicativa)
c ̸= 0 ⇒ (a · c = b · c ⇒ a = b)
Aritmética aditiva

Aritmética aditiva

Teoremas de + y ·
Para a, b, c ∈ D:
Aritmética aditiva

Aritmética aditiva

Teoremas de + y ·
Para a, b, c ∈ D:
15.10 (Monotonı́a multiplicativa) a = b ⇒ a · c = b · c
Aritmética aditiva

Aritmética aditiva

Teoremas de + y ·
Para a, b, c ∈ D:
15.10 (Monotonı́a multiplicativa) a = b ⇒ a · c = b · c
15.11 (Anulador de ·) a · 0 = 0
Aritmética aditiva

Aritmética aditiva

Teoremas de + y ·
Para a, b, c ∈ D:
15.10 (Monotonı́a multiplicativa) a = b ⇒ a · c = b · c
15.11 (Anulador de ·) a · 0 = 0
15.12 (Identidad única +) a + c = a ≡ c = 0
Aritmética aditiva

Aritmética aditiva

Teoremas de + y ·
Para a, b, c ∈ D:
15.10 (Monotonı́a multiplicativa) a = b ⇒ a · c = b · c
15.11 (Anulador de ·) a · 0 = 0
15.12 (Identidad única +) a + c = a ≡ c = 0
15.13 (Identidad única ·) a ̸= 0 ⇒ (a · c = a ≡ c = 1)
Aritmética aditiva

Aritmética aditiva

Teoremas de + y ·
Para a, b, c ∈ D:
15.10 (Monotonı́a multiplicativa) a = b ⇒ a · c = b · c
15.11 (Anulador de ·) a · 0 = 0
15.12 (Identidad única +) a + c = a ≡ c = 0
15.13 (Identidad única ·) a ̸= 0 ⇒ (a · c = a ≡ c = 1)
15.14 (Inverso aditivo único) a + b = 0 ∧ a + c = 0 ⇒ b = c
Aritmética aditiva

Aritmética aditiva

Axioma de sustracción
Para a, b ∈ D se tiene:
15.15 (Axioma de sustracción) a − b = a + (−b)
Aritmética aditiva

Aritmética aditiva

Axioma de sustracción
Para a, b ∈ D se tiene:
15.15 (Axioma de sustracción) a − b = a + (−b)

Por razones históricas, el operador de inverso aditivo y el de

sustracción o resta (el primero monario y el segundo binario) se
representan con el mismo sı́mbolo: -
Aritmética aditiva

Aritmética aditiva
Teoremas de despeje, inverso aditivo y cancelación
Para a, b, c ∈ D:
Aritmética aditiva

Aritmética aditiva
Teoremas de despeje, inverso aditivo y cancelación
Para a, b, c ∈ D:
15.16 (Monotonı́a y cancelación aditiva)
a+c =b+c ≡a=b
Aritmética aditiva

Aritmética aditiva
Teoremas de despeje, inverso aditivo y cancelación
Para a, b, c ∈ D:
15.16 (Monotonı́a y cancelación aditiva)
a+c =b+c ≡a=b
15.17 (Despeje aditivo) a + b = 0 ≡ a = −b
Aritmética aditiva

Aritmética aditiva
Teoremas de despeje, inverso aditivo y cancelación
Para a, b, c ∈ D:
15.16 (Monotonı́a y cancelación aditiva)
a+c =b+c ≡a=b
15.17 (Despeje aditivo) a + b = 0 ≡ a = −b
15.18 a = b ≡ −a = −b
Aritmética aditiva

Aritmética aditiva
Teoremas de despeje, inverso aditivo y cancelación
Para a, b, c ∈ D:
15.16 (Monotonı́a y cancelación aditiva)
a+c =b+c ≡a=b
15.17 (Despeje aditivo) a + b = 0 ≡ a = −b
15.18 a = b ≡ −a = −b
15.19 (Doble inverso) −(−a) = a
Aritmética aditiva

Aritmética aditiva
Teoremas de despeje, inverso aditivo y cancelación
Para a, b, c ∈ D:
15.16 (Monotonı́a y cancelación aditiva)
a+c =b+c ≡a=b
15.17 (Despeje aditivo) a + b = 0 ≡ a = −b
15.18 a = b ≡ −a = −b
15.19 (Doble inverso) −(−a) = a
15.20 −0 = 0
Aritmética aditiva

Aritmética aditiva
Teoremas de despeje, inverso aditivo y cancelación
Para a, b, c ∈ D:
15.16 (Monotonı́a y cancelación aditiva)
a+c =b+c ≡a=b
15.17 (Despeje aditivo) a + b = 0 ≡ a = −b
15.18 a = b ≡ −a = −b
15.19 (Doble inverso) −(−a) = a
15.20 −0 = 0
15.21 −(a + b) = (−a) + (−b)
Aritmética aditiva

Aritmética aditiva
Teoremas de despeje, inverso aditivo y cancelación
Para a, b, c ∈ D:
15.16 (Monotonı́a y cancelación aditiva)
a+c =b+c ≡a=b
15.17 (Despeje aditivo) a + b = 0 ≡ a = −b
15.18 a = b ≡ −a = −b
15.19 (Doble inverso) −(−a) = a
15.20 −0 = 0
15.21 −(a + b) = (−a) + (−b)
15.22 −a = (−1) · a
Aritmética aditiva

Aritmética aditiva
Teoremas de despeje, inverso aditivo y cancelación
Para a, b, c ∈ D:
15.16 (Monotonı́a y cancelación aditiva)
a+c =b+c ≡a=b
15.17 (Despeje aditivo) a + b = 0 ≡ a = −b
15.18 a = b ≡ −a = −b
15.19 (Doble inverso) −(−a) = a
15.20 −0 = 0
15.21 −(a + b) = (−a) + (−b)
15.22 −a = (−1) · a
15.23 a · (−b) = (−a) · b = −(a · b)
Aritmética aditiva

Aritmética aditiva
Teoremas de despeje, inverso aditivo y cancelación
Para a, b, c ∈ D:
15.16 (Monotonı́a y cancelación aditiva)
a+c =b+c ≡a=b
15.17 (Despeje aditivo) a + b = 0 ≡ a = −b
15.18 a = b ≡ −a = −b
15.19 (Doble inverso) −(−a) = a
15.20 −0 = 0
15.21 −(a + b) = (−a) + (−b)
15.22 −a = (−1) · a
15.23 a · (−b) = (−a) · b = −(a · b)
15.24 (−a) · (−b) = a · b
Aritmética aditiva

Aritmética aditiva
Teoremas de despeje, inverso aditivo y cancelación
Para a, b, c ∈ D:
15.16 (Monotonı́a y cancelación aditiva)
a+c =b+c ≡a=b
15.17 (Despeje aditivo) a + b = 0 ≡ a = −b
15.18 a = b ≡ −a = −b
15.19 (Doble inverso) −(−a) = a
15.20 −0 = 0
15.21 −(a + b) = (−a) + (−b)
15.22 −a = (−1) · a
15.23 a · (−b) = (−a) · b = −(a · b)
15.24 (−a) · (−b) = a · b
15.25 (Sustracción nula) a − 0 = a
Aritmética aditiva

Aritmética aditiva

Teoremas de agrupamiento y distribución

Para a, b, c ∈ D:
Aritmética aditiva

Aritmética aditiva

Teoremas de agrupamiento y distribución

Para a, b, c ∈ D:
15.26 (a − b) + (c − d) = (a + c) − (b + d)
Aritmética aditiva

Aritmética aditiva

Teoremas de agrupamiento y distribución

Para a, b, c ∈ D:
15.26 (a − b) + (c − d) = (a + c) − (b + d)
15.27 (a − b) − (c − d) = (a + d) − (b + c)
Aritmética aditiva

Aritmética aditiva

Teoremas de agrupamiento y distribución

Para a, b, c ∈ D:
15.26 (a − b) + (c − d) = (a + c) − (b + d)
15.27 (a − b) − (c − d) = (a + d) − (b + c)
15.28 (a − b) · (c − d) = (a · c + b · d) − (a · d + b · c)
Aritmética aditiva

Aritmética aditiva

Teoremas de agrupamiento y distribución

Para a, b, c ∈ D:
15.26 (a − b) + (c − d) = (a + c) − (b + d)
15.27 (a − b) − (c − d) = (a + d) − (b + c)
15.28 (a − b) · (c − d) = (a · c + b · d) − (a · d + b · c)
15.29 a − b = c − d ≡ a + d = b + c
Aritmética aditiva

Aritmética aditiva

Teoremas de agrupamiento y distribución

Para a, b, c ∈ D:
15.26 (a − b) + (c − d) = (a + c) − (b + d)
15.27 (a − b) − (c − d) = (a + d) − (b + c)
15.28 (a − b) · (c − d) = (a · c + b · d) − (a · d + b · c)
15.29 a − b = c − d ≡ a + d = b + c

(−1) · (−1) = 1
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios ordenados

Para a, b, c ∈ D y una relación binaria < sobre D:
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios ordenados

Para a, b, c ∈ D y una relación binaria < sobre D:
15.30 (Irreflexividad) ¬(a < a)
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios ordenados

Para a, b, c ∈ D y una relación binaria < sobre D:
15.30 (Irreflexividad) ¬(a < a)
15.31 (Transitividad de <) a < b ∧ b < c ⇒ a < c
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios ordenados

Para a, b, c ∈ D y una relación binaria < sobre D:
15.30 (Irreflexividad) ¬(a < a)
15.31 (Transitividad de <) a < b ∧ b < c ⇒ a < c
15.32 (Totalidad) a ̸= b ⇒ a < b ∨ b < a
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios ordenados

Para a, b, c ∈ D y una relación binaria < sobre D:
15.30 (Irreflexividad) ¬(a < a)
15.31 (Transitividad de <) a < b ∧ b < c ⇒ a < c
15.32 (Totalidad) a ̸= b ⇒ a < b ∨ b < a
15.33 (Monotonı́a bajo +) a < b ⇒ a + c < b + c
Aritmética aditiva

Aritmética aditiva

Axiomas de dominios ordenados

Para a, b, c ∈ D y una relación binaria < sobre D:
15.30 (Irreflexividad) ¬(a < a)
15.31 (Transitividad de <) a < b ∧ b < c ⇒ a < c
15.32 (Totalidad) a ̸= b ⇒ a < b ∨ b < a
15.33 (Monotonı́a bajo +) a < b ⇒ a + c < b + c
15.34 (Monotonı́a bajo ·) a < b ∧ 0 < c ⇒ a · c < b · c
Aritmética aditiva

Aritmética aditiva

Definición 15.1
Para a, b ∈ D
Aritmética aditiva

Aritmética aditiva

Definición 15.1
Para a, b ∈ D
(Mayor) a > b ≡ b < a
Aritmética aditiva

Aritmética aditiva

Definición 15.1
Para a, b ∈ D
(Mayor) a > b ≡ b < a
(A lo sumo) a ≤ b ≡ a = b ∨ a < b
Aritmética aditiva

Aritmética aditiva

Definición 15.1
Para a, b ∈ D
(Mayor) a > b ≡ b < a
(A lo sumo) a ≤ b ≡ a = b ∨ a < b
(Al menos) a ≥ b ≡ a = b ∨ a > b
Aritmética aditiva

Aritmética aditiva

Definición 15.1
Para a, b ∈ D
(Mayor) a > b ≡ b < a
(A lo sumo) a ≤ b ≡ a = b ∨ a < b
(Al menos) a ≥ b ≡ a = b ∨ a > b

Notación
a≤b ≤c ≡a≤b∧b ≤c
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (1/2)

Para a, b, c, d ∈ D:
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (1/2)

Para a, b, c, d ∈ D:
15.35 (Doble monotonı́a bajo +)
a<b∧c <d ⇒a+c <b+d
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (1/2)

Para a, b, c, d ∈ D:
15.35 (Doble monotonı́a bajo +)
a<b∧c <d ⇒a+c <b+d
15.36 (Transitividad de < y ≤) a ≤ b ∧ b < c ⇒ a < c
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (1/2)

Para a, b, c, d ∈ D:
15.35 (Doble monotonı́a bajo +)
a<b∧c <d ⇒a+c <b+d
15.36 (Transitividad de < y ≤) a ≤ b ∧ b < c ⇒ a < c
15.37 (Transitividad de < y ≤) a < b ∧ b ≤ c ⇒ a ≤ c
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (1/2)

Para a, b, c, d ∈ D:
15.35 (Doble monotonı́a bajo +)
a<b∧c <d ⇒a+c <b+d
15.36 (Transitividad de < y ≤) a ≤ b ∧ b < c ⇒ a < c
15.37 (Transitividad de < y ≤) a < b ∧ b ≤ c ⇒ a ≤ c
15.38 (Transitividad de ≤) a ≤ b ∧ b ≤ c ⇒ a ≤ c
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (1/2)

Para a, b, c, d ∈ D:
15.35 (Doble monotonı́a bajo +)
a<b∧c <d ⇒a+c <b+d
15.36 (Transitividad de < y ≤) a ≤ b ∧ b < c ⇒ a < c
15.37 (Transitividad de < y ≤) a < b ∧ b ≤ c ⇒ a ≤ c
15.38 (Transitividad de ≤) a ≤ b ∧ b ≤ c ⇒ a ≤ c
15.39 (Semicancelación multiplicativa sobre <)
0 < c ⇒ (a · c < b · c ⇒ a < b)
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (1/2)

Para a, b, c, d ∈ D:
15.35 (Doble monotonı́a bajo +)
a<b∧c <d ⇒a+c <b+d
15.36 (Transitividad de < y ≤) a ≤ b ∧ b < c ⇒ a < c
15.37 (Transitividad de < y ≤) a < b ∧ b ≤ c ⇒ a ≤ c
15.38 (Transitividad de ≤) a ≤ b ∧ b ≤ c ⇒ a ≤ c
15.39 (Semicancelación multiplicativa sobre <)
0 < c ⇒ (a · c < b · c ⇒ a < b)
15.40 (Monotonı́a multiplicativa sobre ≤)
0≤c ∧a≤b ⇒a·c ≤b·c
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (1/2)

Para a, b, c, d ∈ D:
15.35 (Doble monotonı́a bajo +)
a<b∧c <d ⇒a+c <b+d
15.36 (Transitividad de < y ≤) a ≤ b ∧ b < c ⇒ a < c
15.37 (Transitividad de < y ≤) a < b ∧ b ≤ c ⇒ a ≤ c
15.38 (Transitividad de ≤) a ≤ b ∧ b ≤ c ⇒ a ≤ c
15.39 (Semicancelación multiplicativa sobre <)
0 < c ⇒ (a · c < b · c ⇒ a < b)
15.40 (Monotonı́a multiplicativa sobre ≤)
0≤c ∧a≤b ⇒a·c ≤b·c
15.41 (Tricotomia de <)
(a < b ≡ a = b ≡ a > b) ∧ ¬(a < b ∧ a = b ∧ a > b)
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (2/2)

Para a, b, c, d ∈ D:
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (2/2)

Para a, b, c, d ∈ D:
15.42 (Cancelación aditiva sobre <) a + c < b + c ⇒ a < b
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (2/2)

Para a, b, c, d ∈ D:
15.42 (Cancelación aditiva sobre <) a + c < b + c ⇒ a < b
15.43 (Asimetria de ≤) a ≤ b ∧ b ≤ a ⇒ a = b
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (2/2)

Para a, b, c, d ∈ D:
15.42 (Cancelación aditiva sobre <) a + c < b + c ⇒ a < b
15.43 (Asimetria de ≤) a ≤ b ∧ b ≤ a ⇒ a = b
15.44 (Reflexividad de ≤) a ≤ a
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (2/2)

Para a, b, c, d ∈ D:
15.42 (Cancelación aditiva sobre <) a + c < b + c ⇒ a < b
15.43 (Asimetria de ≤) a ≤ b ∧ b ≤ a ⇒ a = b
15.44 (Reflexividad de ≤) a ≤ a
15.45 (Desigualdad indirecta)
a ≤ b ≡ (∀z : D |: z ≤ a ⇒ z ≤ b)
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (2/2)

Para a, b, c, d ∈ D:
15.42 (Cancelación aditiva sobre <) a + c < b + c ⇒ a < b
15.43 (Asimetria de ≤) a ≤ b ∧ b ≤ a ⇒ a = b
15.44 (Reflexividad de ≤) a ≤ a
15.45 (Desigualdad indirecta)
a ≤ b ≡ (∀z : D |: z ≤ a ⇒ z ≤ b)
15.46 (Desigualdad indirecta)
a ≤ b ≡ (∀z : D |: b ≤ z ⇒ a ≤ z)
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (2/2)

Para a, b, c, d ∈ D:
15.42 (Cancelación aditiva sobre <) a + c < b + c ⇒ a < b
15.43 (Asimetria de ≤) a ≤ b ∧ b ≤ a ⇒ a = b
15.44 (Reflexividad de ≤) a ≤ a
15.45 (Desigualdad indirecta)
a ≤ b ≡ (∀z : D |: z ≤ a ⇒ z ≤ b)
15.46 (Desigualdad indirecta)
a ≤ b ≡ (∀z : D |: b ≤ z ⇒ a ≤ z)
15.47 (Igualdad indirecta) a = b ≡ (∀z : D |: z ≤ a ≡ z ≤ b)
Aritmética aditiva

Aritmética aditiva

Teoremas de las relaciones de orden en un dominio (2/2)

Para a, b, c, d ∈ D:
15.42 (Cancelación aditiva sobre <) a + c < b + c ⇒ a < b
15.43 (Asimetria de ≤) a ≤ b ∧ b ≤ a ⇒ a = b
15.44 (Reflexividad de ≤) a ≤ a
15.45 (Desigualdad indirecta)
a ≤ b ≡ (∀z : D |: z ≤ a ⇒ z ≤ b)
15.46 (Desigualdad indirecta)
a ≤ b ≡ (∀z : D |: b ≤ z ⇒ a ≤ z)
15.47 (Igualdad indirecta) a = b ≡ (∀z : D |: z ≤ a ≡ z ≤ b)
15.48 (Igualdad indirecta) a = b ≡ (∀z : D |: b ≤ z ≡ a ≤ z)
Aritmética aditiva

Aritmética aditiva

Teorema 15.49. Desigualdad entera

Si k y m son números enteros

k <m ≡k +1≤m y k <m ≡k ≤m−1