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, . . .}
Z = {. . . , 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, . . .}
Numeros racionales: Son aquellos numeros que pueden expresarse de la forma p/q donde
p y q son numeros enteros y q es distinto de cero. Se caracterizan por tener una expansion
decimal finita o periodica. Este conjunto de numeros se denota con la letra Q y se escriben as:
Q = {p/q : p y q estan en Z y q 6= 0}
Numeros irracionales: Son los numeros que no pueden ser expresados de la forma p/q, se
caracterizan por tener una expansion decimal infinita y aperiodica. Usualmente se denotan por
la letra I y no se describen en smbolos.
Observemos que cualquier numero natural es un numero entero y cualquier numero entero
es numero racional.
El conjunto de los numeros reales es la union de los numeros racionales con los irracionales.
El siguiente diagrama podra ser de ayuda para comprender esta union:
Q
Z
N I
1
Axioma 1: Para cualesquiera dos numeros reales a y b, la suma es tambien un numero
real. A esta propiedad se le conoce como cerradura de la adicion.
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 esta en R.
Axioma 4: En los numeros reales existe el 0, el cual representa un elemento neutro para
la suma. Es decir, a + 0 = a para cualquier numero real a. A esta propiedad se le conoce
como existencia de un neutro para la adicion 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 numero real a, existe otro numero 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 numeros 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 numeros 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 numero 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 numero real a distinto de 0, existe otro numero real denotado
por a1 tal que a (a1 ) = 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 a1 = 5/19, por lo
que a (a1 ) = (19/5) (5/19) = (19/19) (5/5) = (1) (1) = 1.
Axioma 11: Para cualesquiera tres numeros reales a, b y c se tiene que el producto
de a con la suma (b + c) es igual al producto de a b mas 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 adicion.
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 numeros reales, establecen una forma de comparar cada par de
numeros reales para as poder ordenarlos.
Si el par de numeros reales que se comparan no son iguales, tendremos una relacion de
desigualdad. Esta relacion se le conoce como menor que y la denotaremos como <; para
cualesquiera dos numeros reales a y b diremos que a < b significa que a es menor que b.
Axioma de orden 1: Para cualesquiera dos numeros reales a y b, se cumple una y solo
una de las siguientes afirmaciones:
1. a = b
2. a < b
3. b < a
3
Axioma de orden 2: Si a < b y ademas 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 numero real, tenemos quea + c <
b + c. A esta propiedad se le conoce como la adicion 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 tricotoma de los numeros reales, si NO es cierto que a < b para un par de numeros reales,
tenemos que se debe cumplir que a = b o 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 numero real a esta definido por:
(
a si a 0
|a| =
a si a < 0
En otras palabras, llamamos valor absoluto de un numero real a, escrito como |a|, al mayor
de los numeros a y a. Notemos que, por definicion, el valor absoluto de a siempre sera mayor
o igual que cero y nunca negativo.
4
Desde un punto de vista geometrico, el valor absoluto de a es la distancia que hay de a al
cero; el valor absoluto de la diferencia de dos numeros reales es la distancia entre ellos.
Por el axioma de la existencia del inverso aditivo, existe 0 numero real tal que 0+(0) = 0
5 Ejercicios resueltos
1. Demostrar que para cualquier numero real a se tiene que a = (a).
Por el axioma de existencia del inverso aditivo, tenemos que existe a numero real
tal que a + (a) = 0
Puesto que a es un numero real, por el axioma de existencia del inverso aditivo,
tenemos que existe (a) numero real tal que (a) + ((a)) = 0.
0 + a = 0 + ((a))
a = (a)
5
2. Encontrar el conjunto de numeros reales que satisfagan |x| = 7.
Puesto que (
x si x0
|x| =
x si x0
Tenemos que, por tricotoma de los numeros reales, para cualquier x numero real se tiene
que cumplir que 0 = x, 0 < x o x < 0:
Por lo que a 0 = a 0 + a 0. Dado que 0 y a son numeros reales, por axioma de cerradura
del producto, a 0 es un numero 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 adicion tenemos que
(a 0) + a 0 = ((a 0) + a 0) + a 0
6
4. Demostrar que 0 < 1.
Por la tricotoma de los numeros reales, se debe cumplir una y solamente una de las
siguientes relaciones: 1 = 0, 0 < 1 o 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 numero real tal que 0 < a tenemos que,
por el axioma de producto preserva la desigualdad bajo el producto de un numero 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 unica opcion 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 adicion
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 adicion
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 solucion de este caso es el conjunto de numeros reales que cumplan
x < 3/4 y 1/4 < x.
Por lo tanto el conjunto es el formado por los numeros reales x tales que
7
Por lo que la solucion de este caso es el conjunto de numeros reales que cumplan
3/4 < x y x < 7/4.
Por lo tanto el conjunto es el formado por los numeros reales x tales que
Por el axioma de cerradura para la adicion, tenemos que a + b es un numero real; esto
implica que existe su inverso aditivo que es el numero real que denotamos como (a + b)
y cumple:
(a + b) + ((a + b)) = 0
(a + b) = (a) + (b)
8
9. Demostrar que a (b) = (a) b = (a b).
Por axioma de cerradura del producto, puesto que a y b son numeros reales, a b es
un numero real; por ende, existe un numero real que es su inverso bajo la adicion que
denotamos como (a b) y cumple que:
a b + ((a b)) = 0
(a b) = a (b) = (a) b
10. Demostrar que para cualesquiera numeros reales a y b se cumple que (a) (b) = a b.
Puesto que a es un numero real, por la existencia de inversos aditivos, tenemos que existe
un numero real a tal que a + (a) = 0.
Por la cerradura del producto tenemos que (a) b es un numero 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 cancelacion para la
adicion implica que (a) (b) = a b.
9
11. Encontrar el conjunto de numeros reales x que satisfacen |3 x 1| < 2 x + 5.
Primero que algo, recordemos que el valor absoluto de un numero 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 adicion preserva desigualdades
0+5 2 x + ((5) + 5) por la asociatividad de la adicion
0+5 2x+0 por la existencia del inverso aditivo
5 2x por la existencia del neutro aditivo
1
2 5 21 (2 x) puesto que 0 6= 2 existe 21 tal que 2 21 = 1, ademas 0 < 21
y el producto por un numero positivo preserva la desigualdad
21 5 (21 2) x por la asociatividad del producto
21 5 (2 21 ) x por la conmutabilidad del producto
21 5 1x por la existencia de inverso del producto
21 5 x por la existencia de neutro del producto
Por lo que, los numeros reales para los que la desigualdad tendra sentido son los numeros
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 adicion
preserva desigualdades
(3) x + (1 + 3 x) + (5) < 2 x + (5 + 3 x) + (5) puesto que la adicion
es asociativa
(3) x + (3 x + 1) + (5) < 2 x + (3 x + 5) + (5) puesto que la adicion
es conmutativa
((3) x + 3 x) + (1 + (5)) < (2 x + 3 x) + (5 + (5)) puesto que la adicion
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
51 (4) < 51 (5 x) puesto que 0 6= 5, existe 51
0 < 51
1 1
5 (4) < (5 5) x por que le producto
es asociativo
51 (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 numeros 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 adicion
preserva desigualdades
x + (3 + (x)) + (12) < 8 x + (12 + (x)) + (12) puesto que la adicion
es asociativa
x + ((x) + 3) + (12) < 8 x + ((x) + 12) + (12) puesto que la adicion
es conmutativa
(x + (x)) + (3 + (12)) < (8 x + (x)) + (12 + (12)) puesto que la adicion
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
71 (9) < 71 (7 x) puesto que 0 6= 7, existe 71
y 0 < 71
71 (9) < (71 7) x porque el producto
es asociativo
71 (9) < 1x por la existencia
del inverso bajo el producto
71 (9) < x por la existencia
del neutro bajo el producto
Por lo que para este caso, el conjunto de numeros 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 adicion
preserva desigualdades
x + (3 + 8 x) + (3) < 8 x + ((12) + 8 x) + (3) puesto que la adicion
es asociativa
x + (8 x + 3) + (3) < 8 x + (8 x + (12)) + (3) puesto que la adicion
es conmutativa
(x + 8 x) + (3 + (3)) < (8 x + 8 x) + ((12) + (3)) puesto que la adicion
es asociativa
(x + 8 x) + 0 < 0 + ((12) + (3)) por la existencia
del inverso aditivo
x+8x < (12) + (3) por la existencia
del neutro aditivo
1x+8x < (12) + (3) por la existencia
del neutro del producto
1 x + 8 x = (1 + 8) x = 9 x < 15 por distributividad
91 (9 x) < 91 (15) puesto que 0 6= 9, existe 91
y 0 < 91
(91 9) x < 91 (15) por que el producto
es asociativo
1x < 91 (15) por la existencia
del inverso bajo producto
x < 91 (15) por la existencia
del neutro bajo producto
12
Por lo que para este caso, el conjunto de numeros reales x que satisfacen es x < 15
9 .
Por lo tanto, el conjunto de los numeros reales x que satisfacen |8 x + 12| > x + 3 es
97 < x o x < 15
9 .
13