AXIOMA DE CUERPO
En un conjunto que llamaremos de los números reales (al que anotaremos ℝ) en el cual están definidas dos
operaciones que denominamos suma y producto (las cuales anotamos con + y . respectivamente) que cumplen:
𝑆1 ) Asociativa 𝑎 + (𝑏 + 𝑐) = (𝑎 + 𝑏) + 𝑐 ∀𝑎, 𝑏, 𝑐 ∈ ℝ
𝑆2 ) Conmutativa 𝑎 + 𝑏 = 𝑏 + 𝑎 ∀𝑎, 𝑏 ∈ ℝ
𝑆3 ) Neutro ∃0 ∈ ℝ; 𝑎 + 0 = 0 + 𝑎 = 𝑎 ∀𝑎 ∈ ℝ
𝑆4 ) Opuesto ∀𝑎 ∈ ℝ ∃𝑜𝑝(𝑎) ∈ ℝ; 𝑎 + 𝑜𝑝(𝑎) = 𝑜𝑝(𝑎) + 𝑎 = 0
𝑃1 ) Asociativa 𝑎. (𝑏. 𝑐) = (𝑎. 𝑏). 𝑐 ∀𝑎, 𝑏, 𝑐 ∈ ℝ
𝑃2 ) Conmutativa 𝑎. 𝑏 = 𝑏. 𝑎 ∀𝑎, 𝑏 ∈ ℝ
𝑃3 ) Neutro ∃1 ∈ ℝ, 1 ≠ 0; 𝑎. 1 = 1. 𝑎 = 𝑎 ∀𝑎 ∈ ℝ
𝑃4 ) Inverso ∀𝑎 ∈ ℝ , 𝑎 ≠ 0, ∃𝑖𝑛𝑣(𝑎) ∈ ℝ; 𝑎. 𝑖𝑛𝑣(𝑎) = 𝑖𝑛𝑣(𝑎). 𝑎 = 1
𝑆𝑃) Distributiva 𝑎. (𝑏 + 𝑐) = 𝑎. 𝑏 + 𝑎. 𝑐 ∀𝑎, 𝑏, 𝑐 ∈ ℝ
Teorema Unicidad de los neutros Demostración
i. 0 es el único neutro de la suma
ii. 1 es el único neutro del producto
Teorema Cancelativas Demostración
i. 𝑎+𝑏 =𝑎+𝑐 ⇒𝑏 =𝑐
𝑎.𝑏=𝑎.𝑐
ii. 𝑎≠0
⇒𝑏=𝑐
Teorema Absorción Demostración
𝑎. 0 = 0 ∀𝑎 ∈ ℝ
Teorema Ausencia de divisores de 0 Demostración
𝑎=0
𝑎. 𝑏 = 0 ⇒ { ∨
𝑏=0
Ejercicio Justifica cada paso de la resolución en ℝ de la siguiente ecuación.
3𝑥 + 1 = 𝑥 − 3 ⟺ (3𝑥 + 1) + (−1) = (𝑥 − 3) + (−1) ⟺
3𝑥 + (1 + (−1)) = 𝑥 + (−3 + (−1)) ⟺ 3𝑥 + 0 = 𝑥 − 4 ⟺ 3𝑥 = 𝑥 − 4 ⟺
(−𝑥) + 3𝑥 = (−𝑥) + (𝑥 − 4) ⟺ (−1 + 3)𝑥 = (−𝑥 + 𝑥) − 4 ⟺ 2𝑥 = 0 − 4 ⟺
1 1
2𝑥 = −4 ⟺ ( ) (2𝑥) = ( ) (−4) ⟺
2 2
1
( . 2) (𝑥) = −2 ⟺ 1. 𝑥 = −2 ⟺ 𝑥 = −2
2
AXIOMA DE ORDEN
Existe un subconjunto de los reales a los cuales denominaremos reales positivos (anotaremos ℝ+ ) que cumple:
1) Todo real 𝑥 cumple una y solo una de las siguientes proposiciones:
i. 𝑥 ∈ ℝ+ ii. 𝑥=0 iii. −𝑥 ∈ ℝ+
𝑥 + 𝑦 ∈ ℝ+
2) Si 𝑥 ∈ ℝ+ ∧𝑦∈ ℝ+ ⟹{ ∧
𝑥. 𝑦 ∈ ℝ+
Teorema Demostración
1 ∈ ℝ+
Definición Consideramos 𝑎, 𝑏 ∈ ℝ decimos que:
1) 𝑎 < 𝑏 ⟺ 𝑏 − 𝑎 ∈ ℝ+
2) 𝑎 > 𝑏 ⟺ 𝑏 < 𝑎
𝑎<𝑏
3) 𝑎 ≤ 𝑏 ⟺ { ∨
𝑎=𝑏
4) 𝑎 ≥ 𝑏 ⟺ 𝑏 ≤ 𝑎
Teorema Demostración
i. 𝑥 > 0 ⟺ 𝑥 ∈ ℝ+
ii. 𝑥 < 0 ⟺ 𝑥 ∈ ℝ−
Teorema < es una relación de orden estricto total en ℝ. Es decir, cumple:
i. Inidéntica
ii. Asimetrica
iii. Transitiva
iv. Tricotomía
Teoremas Demostración
∀𝑎, 𝑏, 𝑐 ∈ ℝ se cumple que
i. Monotonía de la suma 𝑎 < 𝑏 ⇒ 𝑎 + 𝑐 < 𝑏 + 𝑐
ii. Monotonía del producto 𝑎 < 𝑏 ∧ 𝑐 ∈ ℝ+ ⇒ 𝑎𝑐 < 𝑏𝑐
iii. 𝑎 < 𝑏 ∧ 𝑐 ∈ ℝ− ⇒ 𝑎𝑐 > 𝑏𝑐
iv. Monotonía generalizada de la suma 𝑎 < 𝑏 ∧ 𝑐 < 𝑑 ⇒ 𝑎 + 𝑐 < 𝑏 + 𝑑
v. Monotonía generalizada del producto 0 < 𝑎 < 𝑏 ∧ 0 < 𝑐 < 𝑑 ⇒ 𝑎𝑐 < 𝑏𝑑
Ejercicio Justifica cada paso de la resolución en ℝ de la siguiente inecuación.
3−𝑥 3−𝑥
−3𝑥 + 2 < ⟺ 4(−3𝑥 + 2) < 4 ( ) ⟺ −12𝑥 + 8 < 3 − 𝑥 ⟺ 𝑥 − 12 + 8 − 8 < 3 − 8 − 𝑥 + 𝑥
4 4
1 1 5
−11𝑥 < −5 ⟺ − (−11𝑥) > − . (−5) ⟺ 𝑥 >
11 11 11
Referencias
Franco, G., Olave, M. y Vitabar, F. (2022). ¿Cuál es el título de este libro? Ediciones Palíndromo
Milano, A. (2025). Fundamentos de la Matemática
Siberio, D. (2003). Notas de Álgebra I. Centro de Impresiones y Publicaciones del CEIPA.