Cálculo I - Axiomática 3 - Complemento

Benja Vera

Enero 2019

Axiomas de Orden

Definimos el conjunto R+ ∗ , subconjunto de R que llamaremos “reales positivos”. Este

conjunto diremos que satisface los siguientes dos axiomas1 :

A7.- (Tricotomı́a)
Si x es un número real cualquiera, entonces una y solo una de las siguientes proposiciones se
cumple:
(i) x ∈ R+∗
(ii) (−x) ∈ R+
∗
(iii) x = 0
A8.- (Clausura)
Para todo par de números x, y en R+
∗ se cumple:

(i) (x + y) ∈ R+
∗
(ii) x · y ∈ R+
∗

Relaciones de Orden

Definimos:

(i) x < y ⇐⇒ (y − x) ∈ R+
∗

(ii) x > y ⇐⇒ y < x

(iii) x ≤ y ⇐⇒ (x < y) ∨ (x = y)
(iv) x ≥ y ⇐⇒ y ≤ x
1 Los enumeraremos continuando el orden del complemento de Axiomática 1

1
Propiedades Demostradas en el Video

Es importante aclarar que para estas demostraciones y de aquı́ en adelante vamos a asumir
todas las propiedades esenciales de R relacionadas con axiomática de cuerpo. Es decir, asumiremos
sin demostrar igualdades como −(a + b) = (−a) + (−b) bajo el entendimiento de que en axiomática
de cuerpo hemos entregado las herramientas suficientes como para que puedas demostrar estas
propiedades por tu cuenta si lo deseas.

Propiedad 1: x ∈ R+
∗ ⇐⇒ x > 0

Demostración: Partamos del lado izquierdo de la equivalencia: x ∈ R+ ∗ , como 0 es neutro

aditivo, podemos afirmar que x−0 ∈ R+
∗ y por definición esto es equivalente a x > 0 lo que concluye
la demostración2 . 

Propiedad 2: (−x) ∈ R+
∗ ⇐⇒ x < 0

Demostración: Partamos de lado izquierdo de la equivalencia, tenemos que (−x) ∈ R+ ∗.

Como 0 es neutro aditivo, podemos afirmar que (0 − x) ∈ R+
∗ O bien, por definición, 0 > x que es
equivalente a x < 0 .

Propiedad 3: (Tricotomı́a)

Sean x, y ∈ R, entonces una y solo una de las siguientes proposiciones se cumple:

(i) x > y
(ii) x < y
(iii) x = y

Demostración: Consideremos el número real x − y. Por axioma de la tricotomı́a, este

número real puede:

(i) Estar en R+
∗ , con lo cual por definición se tendrı́a x > y.

(ii) Ser tal que su opuesto y − x esté en R+

∗ , donde por definición se tiene x < y.

(iii) Ser igual a 0. En cuyo caso tenemos x − y = 0, que es equivalente a x = y.

Propiedad 4: (x < y) ∧ (a ∈ R) ⇐⇒ x + a < y + a

Demostración: x < y ⇐⇒ (y − x) ∈ R+ +
∗ ⇐⇒ (y + a − x − a) ∈ R∗ ⇐⇒
+
((y + a) − (x + a)) ∈ R∗ ⇐⇒ x + a < y + a 

2 Nota: La demostración en el sentido inverso es análoga ya que cada uno de estos pasos es una equivalencia.

2
 Propiedad 5A: (x < y) ∧ (a ∈ R+
∗ ) =⇒ ax < ay

Demostración: Partamos del lado izquierdo, tenemos x < y, lo cual por definición es
equivalente a decir que (y − x) ∈ R+ +
∗ , luego, por axioma de clausura, como a ∈ R∗ podemos
+ +
concluir que a(y − x) ∈ R∗ ⇐⇒ (ay − ax) ∈ R∗ ⇐⇒ ax < ay .

Propiedad 5B: x < y ∧ (−a) ∈ R+

∗ =⇒ ax > ay

Demostración: Análogamente, x < y ⇐⇒ (y − x) ∈ R+ +

∗ y como (−a) ∈ R∗ entonces
+
(−a)(y − x) = (ax − ay) ∈ R∗ ⇐⇒ ax > ay 

Propiedad 6: ∀x ∈ R, x2 ≥ 0 (Nota: x2 es definido como x · x)

Demostración: Dividamos en casos por tricotomı́a:

(i) Si x = 0, entonces por tabla del cero, x2 = 0

(ii) Si x ∈ R+ 2 + 2
∗ , entonces por clausura x ∈ R∗ ⇐⇒ x > 0

(iii) Si (−x) ∈ R+ 2 +
∗ , entonces por clausura (−x) ∈ R∗ , pero ya probamos que (−a)(−b) = ab,
2 2
luego x = (−x) > 0
Ya que la propiedad se cumple en los tres casos y esta tricotomı́a es cierta para todo x ∈ R,
eso concluye la demostración .
Nota: Por neutro multiplicativo 1 = 12 , pero 12 ≥ 0, luego, como por axioma 1 6= 0, entonces
1 > 0.

Propiedades Extra
Propiedad 7: (x < y) ∧ (u < v) =⇒ x + u < y + v
Demostración: tenemos que

x < y ⇐⇒ (y − x) ∈ R+
∗

u < v ⇐⇒ (v − u) ∈ R+
∗

Como por axioma 8, el conjunto R+

∗ es cerrado para la suma, entonces podemos deducir que

(y − x) + (v − u) ∈ R+
∗

o bien, desarrollando los términos, (y + v) − (x + u) ∈ R+

∗ , que por definición corresponde a
x+u<y+v 
Ejercicio Propuesto: Demostrar que si 0 < x < y y 0 < u < v, entonces podemos deducir
que 0 < xu < yv

3
Propiedad 9:
(i) (x < 0) ∧ (y > 0) =⇒ xy < 0
(ii) (x < 0) ∧ (y < 0) =⇒ xy > 0
Demostración:

(i) Partiendo del lado izquierdo podemos deducir que (−x) ∈ R+ +

∗ ∧ y ∈ R∗ . Luego, por
+
axioma de clausura, (−x)y = −xy ∈ R∗ ⇐⇒ xy < 0
(ii) (−x) ∈ R+ + +
∗ ∧ (−y) ∈ R∗ =⇒ (−x)(−y) = xy ∈ R∗ ⇐⇒ xy > 0

Propiedad 10:

(i) x > 0 =⇒ x−1 > 0

(ii) x < 0 =⇒ x−1 < 0
Demostración: Se deduce de que x · x−1 = 1, la propiedad anterior y el hecho de que 1 > 0