Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Axiomascampo PDF
Axiomascampo PDF
N = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, . . .}
Q = {p/q : p y q están en Z y q 6= 0}
Números irracionales: Son los números que no pueden ser expresados de la forma p/q, se
caracterizan por tener una expansión decimal infinita y aperiódica. Usualmente se denotan por
la letra I y no se describen en sı́mbolos.
Observemos que cualquier número natural es un número entero y cualquier número entero
es número racional.
El conjunto de los números reales es la unión de los números racionales con los irracionales.
El siguiente diagrama podrı́a ser de ayuda para comprender esta unión:
Q
Z
N I
1
• Axioma 1: Para cualesquiera dos números reales a y b, la suma es también un número
real. A esta propiedad se le conoce como cerradura de la adición.
Ejemplo: Tomemos a = 11/2 y b = 8.31. Entonces a+b = 11/2+8.31 = 5.5+8.31 = 13.81
y 13.81 está en R.
• Axioma 4: En los números reales existe el 0, el cual representa un elemento neutro para
la suma. Es decir, a + 0 = a para cualquier número real a. A esta propiedad se le conoce
como existencia de un neutro para la adición y el cero es conocido como neutro aditivo.
Ejemplo: Tomemos a = −15/2, entonces a + 0 = −15/2 + 0 = 7.5 + 0.0 = 7.5 = 15/2 = a.
• Axioma 5: Para cualquier número real a, existe otro número real denotado por −a tal
que a + (−a) = 0. A esta propiedad se le conoce como existencia del inverso aditivo.
Ejemplo: Tomemos a = π, entonces −a = −π.
Por lo que a + (−a) = π + (−π) = 3.14159 . . . + (−3.14159 . . .) = 0
2
• Axioma 8: El orden en que se multipliquen dos números reales cualesquiera, no altera su
resultado. A esta propiedad se le conoce como conmutatividad del producto.
Ejemplo: Tomemos a = 2.4 y b = −15.
Entonces a · b = (2.4) · (−15) = (12/5) · (−15) = −180/5 = −36.
Por otro lado, b · a = (−15) · (2.4) = (−15) · (2.4) = (−15) · (12/5) = −180/5 = −36.
• Axioma 9. En los números reales existe el 1 (que es distinto de 0), el cual representa un
elemento neutro para el producto. Es decir, a · 1 = a para cualquier número real a. A esta
propiedad se le conoce como existencia de un neutro para el producto y el uno es conocido
como el neutro para el producto.
√ √ √
Ejemplo: Tomemos a = − 5/2, entonces a · (1) = (− 5/2) · (1) = − 5/2 = a.
• Axioma 10: Para cualquier número real a distinto de 0, existe otro número real denotado
por a−1 tal que a · (a−1 ) = 1. A esta propiedad se le conoce como existencia del inverso
para el producto.
Ejemplo: Tomemos a = 19/5, puesto que a no es cero, tenemos que a−1 = 5/19, por lo
que a · (a−1 ) = (19/5) · (5/19) = (19/19) · (5/5) = (1) · (1) = 1.
• Axioma 11: Para cualesquiera tres números reales a, b y c se tiene que el producto
de a con la suma (b + c) es igual al producto de a · b más el producto a · c. Es decir,
a · (b + c) = a · b + a · c. A esta propiedad se le conoce como distributividad del producto
sobre la adición.
Ejemplo: Tomemos a = −3, b = 5.627, c = −1.2, entonces b + c = 5.627 + (−1.2) = 4.427,
por lo que a · (b + c) = (−3) · (4.427) = −13.281
Por otro lado, a · b = (−3) · (5.627) = −16.881 y a · c = (−3) · (−1.2) = 3.6. Lo que implica
que a · b + a · c = (−16.881) + (3.6) = −13.281
Por tanto, a · (b + c) = a · b + a · c.
3 Axiomas de orden
Los axiomas de orden e los números reales, establecen una forma de comparar cada par de
números reales para ası́ poder ordenarlos.
Si el par de números reales que se comparan no son iguales, tendremos una relación de
desigualdad. Esta relación se le conoce como “menor que” y la denotaremos como <; para
cualesquiera dos números reales a y b diremos que a < b significa que a es menor que b.
• Axioma de orden 1: Para cualesquiera dos números reales a y b, se cumple una y sólo
una de las siguientes afirmaciones:
1. a = b
2. a < b
3. b < a
3
• Axioma de orden 2: Si a < b y además b < c, entonces a < c. A esta propiedad se le
conoce como transitividad de la desigualdad.
Ejemplo: Puesto que 10 < 100 y 100 < 1000 tenemos que 10 < 1000.
• Axioma de orden 3: Si a < b entonces para cualquier c número real, tenemos quea + c <
b + c. A esta propiedad se le conoce como la adición preserva el orden de la desigualdad.
Ejemplo: Puesto que 3 < 3.5 entonces 3 + 5 < 3.5 + 5; es decir 8 < 8.5.
4 Valor absoluto
Por la tricotomı́a de los números reales, si NO es cierto que a < b para un par de números reales,
tenemos que se debe cumplir que a = b ó b < a. Entonces, diremos que si a no es menor que b
entonces a es mayor o igual que b y lo denotaremos a ≥ b.
Formalmente, el valor absoluto de todo número real a está definido por:
(
a si a ≥ 0
|a| =
−a si a < 0
En otras palabras, llamamos valor absoluto de un número real a, escrito como |a|, al mayor
de los números a y −a. Notemos que, por definición, el valor absoluto de a siempre será mayor
o igual que cero y nunca negativo.
4
Desde un punto de vista geométrico, el valor absoluto de a es la distancia que hay de a al
cero; el valor absoluto de la diferencia de dos números reales es la distancia entre ellos.
• Por el axioma de la existencia del inverso aditivo, existe −0 número real tal que 0+(−0) = 0
pues |0| = 0 y |0| = −0, pero ya hemos visto que son iguales.
5 Ejercicios resueltos
1. Demostrar que para cualquier número real a se tiene que a = −(−a).
• Por el axioma de existencia del inverso aditivo, tenemos que existe −a número real
tal que a + (−a) = 0
• Puesto que −a es un número real, por el axioma de existencia del inverso aditivo,
tenemos que existe −(−a) número real tal que (−a) + (−(−a)) = 0.
0 + a = 0 + (−(−a))
a = −(−a)
5
2. Encontrar el conjunto de números reales que satisfagan |x| = 7.
Puesto que (
x si x≥0
|x| =
−x si x≤0
Tenemos que, por tricotomı́a de los números reales, para cualquier x número real se tiene
que cumplir que 0 = x, 0 < x ó x < 0:
Por lo que a · 0 = a · 0 + a · 0. Dado que 0 y a son números reales, por axioma de cerradura
del producto, a · 0 es un número real y (por el axioma de existencia del inverso aditivo)
existe −(a · 0) tal que a · 0 + (−(a · 0)) = 0. Entonces, al sumar −(a · 0) en ambos lados de
la igualdad
−(a · 0) + a · 0 = −(a · 0) + (a · 0 + a · 0)
por asociatividad de la adición tenemos que
−(a · 0) + a · 0 = (−(a · 0) + a · 0) + a · 0
6
4. Demostrar que 0 < 1.
Por la tricotoma de los números reales, se debe cumplir una y solamente una de las
siguientes relaciones: 1 = 0, 0 < 1 ó 1 < 0.
Recordemos que, por el axioma de la existencia del neutro para el producto, 1 = 0 no
puede ser posible.
Supongamos que 1 < 0, entonces para cualquier a número real tal que 0 < a tenemos que,
por el axioma de producto preserva la desigualdad bajo el producto de un número positivo
tenemos que: Si 1 < 0 y 0 < a entonces a · 1 < a · 0.
Puesto que a · 1 = a por axioma de existencia del neutro multiplicativo y a · 0 = 0 por
el ejercicio anterior, se tiene que a = a · 1 < a · 0 = 0; es decir a < 0, pero no puede ser
posible, dado que iniciamos con 0 < a.
Por lo que 0 < 1 es la única opción que puede ser verdadera.
5.1) x − 3/4 = 0
Si x − 3/4 = 0 entonces |x − 3/4| = 0 y, puesto que 0 < 1, |x − 3/4| < 1; es decir,
cuando x − 3/4 = 0 se cumple la propiedad. Eso pasa cuando x = 3/4.
5.2) x − 3/4 < 0
Si x − 3/4 < 0 entonces |x − 3/4| = −(x − 3/4) = −x + 3/4.
Buscamos que −x + 3/4 = |x − 3/4| < 1 y que a la vez cumplan x − 3/4 < 0; es decir,
x < 3/4.
x + (−x + 3/4) < x + 1 por el axioma la suma preserva orden de la desigualdad
(x + (−x)) + 3/4 < x + 1 por el axioma de asociatividad de la adición
0 + (3/4) < x + 1 por el axioma de existencia del inverso aditivo
3/4 < x + 1 por el axioma de existencia del neutro aditivo
3/4 + (−1) < (x + 1) + (−1) por el axioma la suma preserva orden de la desigualdad
3/4 + (−1) < x + (1 + (−1)) por el axioma de asociatividad de la adición
−1/4 < x + 0 por el axioma de existencia del inverso aditivo
−1/4 < x por el axioma de existencia del neutro aditivo
Por lo que la solución de este caso es el conjunto de números reales que cumplan
x < 3/4 y −1/4 < x.
Por lo tanto el conjunto es el formado por los números reales x tales que
7
Por lo que la solución de este caso es el conjunto de números reales que cumplan
3/4 < x y x < 7/4.
Por lo tanto el conjunto es el formado por los números reales x tales que
Ası́ , el conjunto de números reales x que cumplen con la propiedad |x − 3/4| < 1 es
x = 3/4, −1/4 < x < 3/4, 3/4 < x < 7/4; es decir, −1/4 < x < 7/4.
Por el axioma de cerradura para la adición, tenemos que a + b es un número real; esto
implica que existe su inverso aditivo que es el número real que denotamos como −(a + b)
y cumple:
(a + b) + (−(a + b)) = 0
8
9. Demostrar que a · (−b) = (−a) · b = −(a · b).
Por axioma de cerradura del producto, puesto que a y b son números reales, a · b es
un número real; por ende, existe un número real que es su inverso bajo la adición que
denotamos como −(a · b) y cumple que:
a · b + (−(a · b)) = 0
10. Demostrar que para cualesquiera números reales a y b se cumple que (−a) · (−b) = a · b.
Puesto que a es un número real, por la existencia de inversos aditivos, tenemos que existe
un número real −a tal que a + (−a) = 0.
Por la cerradura del producto tenemos que (−a) · b es un número real, pues ambos lo son
y, por el ejercicio anterior (−a) · b = −(a · b).
Por un lado, −(a · b) + a · b = 0
Por otro lado
−(a · b) + (−a) · (−b) = (−a) · b + (−a) · (−b) por el ejercicio anterior
= (−a) · (b + (−b)) por distributividad
= (−a) · 0 por axioma existencia del inverso aditivo
= 0 por un ejercicio que ya hemos probado
Entonces, −(a · b) + (−a) · (−b) = 0 = −(a · b) + a · b. La ley de la cancelación para la
adición implica que (−a) · (−b) = a · b.
9
11. Encontrar el conjunto de números reales x que satisfacen |3 · x − 1| < 2 · x + 5.
Primero que algo, recordemos que el valor absoluto de un número real no puede ser nega-
tivo, por lo que en este caso necesitamos que 0 ≤ 2x − 5; es decir:
0+5 ≤ (2 · x + (−5)) + 5 puesto que la adición preserva desigualdades
0+5 ≤ 2 · x + ((−5) + 5) por la asociatividad de la adición
0+5 ≤ 2·x+0 por la existencia del inverso aditivo
5 ≤ 2·x por la existencia del neutro aditivo
−1
2 ·5 ≤ 2−1 · (2 · x) puesto que 0 6= 2 existe 2−1 tal que 2 · 2−1 = 1, además 0 < 2−1
y el producto por un número positivo preserva la desigualdad
2−1 · 5 ≤ (2−1 · 2) · x por la asociatividad del producto
2−1 · 5 ≤ (2 · 2−1 ) · x por la conmutabilidad del producto
2−1 · 5 ≤ 1·x por la existencia de inverso del producto
2−1 · 5 ≤ x por la existencia de neutro del producto
Por lo que, los números reales para los que la desigualdad tendrá sentido son los números
x tales que 25 ≤ x.
Ahora, consideremos los siguientes dos casos: 0 ≤ 3 · x − 1 y 3 · x − 1 ≤ 0.
10
((−3) · x + 1) + (3 · x + (−5)) < (2 · x + 5) + (3 · x + (−5))
puesto que la adición
preserva desigualdades
(−3) · x + (1 + 3 · x) + (−5) < 2 · x + (5 + 3 · x) + (−5) puesto que la adición
es asociativa
(−3) · x + (3 · x + 1) + (−5) < 2 · x + (3 · x + 5) + (−5) puesto que la adición
es conmutativa
((−3) · x + 3 · x) + (1 + (−5)) < (2 · x + 3 · x) + (5 + (−5)) puesto que la adición
es asociativa
0 + (1 + (−5)) < (2 · x + 3 · x) + 0 por la existencia
del inverso aditivo
1 + (−5) < 2 · x + 3 · x por la existencia
del neutro aditivo
−4 < (2 + 3) · x = 5 · x por
distributividad
5−1 · (−4) < 5−1 · (5 · x) puesto que 0 6= 5, existe 5−1
0 < 5−1
−1 −1
5 · (−4) < (5 · 5) · x por que le producto
es asociativo
5−1 · (−4) < 1 · x por la existencia
del inverso bajo el producto
4
−5 < x por la existencia
del neutro bajo el producto
Entonces, para este caso el conjunto de números reales que lo cumple es −4/5 < x
e intersectando con el conjunto de puntos para los que la desigualdad tiene sentido,
tenemos que el conjunto de puntos que satisfacen este caso es:
5
≤x
2
5
≤x<6
2
11
(x + 3) + ((−x) + (−12)) < (8 · x + 12) + ((−x) + (−12)) puesto que la adición
preserva desigualdades
x + (3 + (−x)) + (−12) < 8 · x + (12 + (−x)) + (−12) puesto que la adición
es asociativa
x + ((−x) + 3) + (−12) < 8 · x + ((−x) + 12) + (−12) puesto que la adición
es conmutativa
(x + (−x)) + (3 + (−12)) < (8 · x + (−x)) + (12 + (−12)) puesto que la adición
es asociativa
0 + (3 + (−12)) < (8 · x + (−x)) + 0 por la existencia
del inverso aditivo
3 + (−12) < 8 · x + (−x) por la existencia
del neutro aditivo
−9 < (8 + (−1)) · x = 7 · x por
distributividad
7−1 · (−9) < 7−1 · (7 · x) puesto que 0 6= 7, existe 7−1
y 0 < 7−1
7−1 · (−9) < (7−1 · 7) · x porque el producto
es asociativo
7−1 · (−9) < 1·x por la existencia
del inverso bajo el producto
7−1 · (−9) < x por la existencia
del neutro bajo el producto
Por lo que para este caso, el conjunto de números reales x que satisfacen es − 79 < x.
(b) Si 8 · x + 12 ≤ 0 entonces |8 · x + 12| = −(8 · x + 12) = −8 · x + (−12).
(x + 3) + (8 · x + (−3)) < (−8 · x + (−12)) + (8 · x + (−3)) puesto que la adición
preserva desigualdades
x + (3 + 8 · x) + (−3) < −8 · x + ((−12) + 8 · x) + (−3) puesto que la adición
es asociativa
x + (8 · x + 3) + (−3) < −8 · x + (8 · x + (−12)) + (−3) puesto que la adición
es conmutativa
(x + 8 · x) + (3 + (−3)) < (−8 · x + 8 · x) + ((−12) + (−3)) puesto que la adición
es asociativa
(x + 8 · x) + 0 < 0 + ((−12) + (−3)) por la existencia
del inverso aditivo
x+8·x < (−12) + (−3) por la existencia
del neutro aditivo
1·x+8·x < (−12) + (−3) por la existencia
del neutro del producto
1 · x + 8 · x = (1 + 8) · x = 9 · x < −15 por distributividad
9−1 · (9 · x) < 9−1 · (−15) puesto que 0 6= 9, existe 9−1
y 0 < 9−1
(9−1 · 9) · x < 9−1 · (−15) por que el producto
es asociativo
1·x < 9−1 · (−15) por la existencia
del inverso bajo producto
x < 9−1 · (−15) por la existencia
del neutro bajo producto
12
Por lo que para este caso, el conjunto de números reales x que satisfacen es x < − 15
9 .
Por lo tanto, el conjunto de los números reales x que satisfacen |8 · x + 12| > x + 3 es
− 97 < x ó x < − 15
9 .
13