UNIVERSIDAD CENTRAL DEL ECUADOR
CURSO DE NIVELACION
Nombre: Dilan Altafuya
Curso: CA 003
Tema: Axiomas y teoremas de los números reales 1
Asignatura: Matemáticas
Profesora: Ing. Kathy Pinto
Axioma de los números reales
Axioma: En matemáticas, un axioma es una premisa que, por considerarse evidente, se acepta
sin demostración, como punto de partida para demostrar otras fórmulas.
Los seis axiomas son:
Axioma 1. Si a, b ϵ , entonces a + b, ab ϵ
(Ley de cerradura para la suma y el producto)
Axioma 2. Si a, b ϵ entonces a+b = b+a y ab = ba
(Ley de conmutatividad)
Axioma 3. Si a, b, c ϵR entonces a(b+c) = (a+b)+c y a(bc) = (ab)c
(Ley de asociatividad)
Axioma 4. Si a, b, c ϵ entonces a(b + c) = ab + ac
(Ley de distributividad)
Axioma 5. Existen 0, 1 ϵ , con 0 ̸= 1, tales que: si a ϵR, entonces a+0 = a y a·1 = a
(0 se llamará Neutro aditivo y 1 se llamará Neutro multiplicativo)
Axioma 6. Si a ϵ , existe a1 ϵ tal que a + a1 = 0 y si a ϵ con a ̸= 0, entonces existe
a2 ϵ tal que a · a2 = 1
(Existencia de los inversos)
Teoremas de números reales
Teorema: Afirmaciones y proposiciones que se demuestran utilizando axiomas u otros teoremas
ya utilizados.
Teorema 1
En los números reales se cumplen las leyes cancelativas y uniforme con la suma, es decir:
i) Si x+y=x+z entonces y=z.
ii) Si y=z entonces x+y=x+z.
Demostración/:
2
i)
y=0+y
y=((-x)+x)+y
y=(-x)+(x+y)
y=(-x)+(x+z)
y=(-x)+(x+z)
y=((-x)+x)+z
y==0+z
y==z
La anterior demostración se justifica usando el axioma 4, el axioma 5, ley asociativa, la
hipótesis, ley asociativa, el axioma 5 y el axioma 4 respectivamente.
ii) Por ley reflexiva x+z=x+z pero como z=y entonces por ley transitiva x+z= x+y.
Teorema 2
Los neutros e inversos aditivos y multiplicativos son únicos.
Demostración/:
Supongamos que existen 01 y 02 dos neutros aditivos, entonces 01 + 02 = 01 y 02 +01 =
02 luego por ley transitiva y conmutativa 01= 01 + 02=02 +01 = 02.luego estos neutros aditivos
son el mismo. (Análogamente se demuestra para el neutro multiplicativo).
Ahora supongamos que para x hay dos inversos aditivos x1 y x2 tal que x+ x1 = 0 y x+ x2 =
0 por ley transitiva tenemos que x+ x1 = x+ x2 luego por ley cancelativa x1 = x2. Luego los
inversos aditivos para x real son el mismo. (Análogamente se demuestra para el inverso
multiplicativo teniendo en cuenta que x≠0)
Teorema 3
En los números reales distintos de cero se cumplen las leyes cancelativas y uniforme con la
multiplicación, es decir:
i)Six•y=x•zentoncesy=z.
ii) Si y=z entonces x•y=x•z.
Demostración/:
La denostación es análoga a la del Teorema1
Teorema 4
-0=0.
Demostración/:
Tenemos que 0+ (-0) = 0 y 0+0 = 0 luego por ley transitiva 0+ (-0) = 0+0, finalmente por ley
cancelativa 0 = -0.
TEOREMA 5
Para x real se cumple: -(-x)= x.
3
Demostración/:
– (-x) = 0+ (– (-x))=(x+ (-x))+ (– (-x))= x+ ((-x)+ (– (-x)))= x+0=podemos ver que usamos los
axiomas 4 y 5 y el hecho de que (– (-x)) es el inverso aditivo de (-x).
Para toda x real se cumple: x•0=0•x=0.
Demostración/:
x•0=x• (0+0) = x•0+x•0, luego x•0 = x•0+x•0 y por ley cancelativa 0 = x•0 ò x•0=0, de la
misma forma demostramos que 0•x=0, por lo que concluimos que x•0=0•x=0.
Teorema 6
Para x, y reales se cumple: (-x) •y= x• (-y) = -(x•y).
Demostración/:
Por lema 0=0•y=(x+(-x)) 0•y = x•y+(-x) •y, entonces 0= x•y+(-x)•y y por ley uniforme se puede
sumar -(x•y) y tenemos que -(x•y) = (-(x•y))+x•y+(-x)•y luego (x•y))+x•y=0 por lo que se tiene
que: -(x•y) = 0+(-x)•y =+(-x)•y. Análogamente se demuestra que x•(-y)= -(x•y).
Teorema 7
Para x≠0 real se cumple: 1/(1/x)= x.
Demostración/:
Esta demostración es parecida al teorema 5.
Teorema 8
Para x, y reales distintos de cero se cumple: 1/(x•y)= (1/x) • (1/y).
Demostración/:
1/(x•y)=1•1•1/(x•y)
1/(x•y)=(x•(1/x))•(y•(1/y))•1/(x•y)
1/(x•y)=(x•y)•((1/x)•(1/y))•1/(x•y)
1/(x•y)=((1/x)•(1/y))•((x•y)•1/(x•y))
1/(x•y)=(1/x)•(1/y).
Aquí hemos usando en repetidas ocasiones propiedades como la ley conmutativa y asociativa
para el producto y la existencia de los neutros e inversos multiplicativos.
Teorema 9
Para x, y reales distintos de cero se cumple: 1/(x/y)= y/x.
Demostración/:
Aquí vemos como los Teoremas 7 y 8 son usados junto con las propiedades conmutativa y
asociativa del producto para demostrar lo requerido.
4
1/(x/y)= 1/(x • (1/y))= (1/x) • (1/(1/y))= (1/x) •y = y/x.
TEOREMA 10
Para x, z reales y w, y reales distintos de cero se cumple
: X/y + z/w = (x•w+ z•y)/ y•w.
Demostración/:
(x/y)+(z/w)=(x/y+z/w)•1
(x/y)+(z/w)=(x/y+z/w)•((y•w)(1/y•w))
(x/y)+(z/w)=((x/y+z/w)(y•w))(1/y•w)
(x/y)+(z/w)=(x/y•(y•w)+z/w•(y•w))(1/y•w)
(x/y)+(z/w)=(x•w+y•z)(1/y•w)
(x/y)+(z/w)=(x•w+y•z)/(y•w)
Note que en esta demostración usamos los axiomas 2, 3, 6 y 7.
TEOREMA 11
Para x, z real y w, y reales distintos de cero se cumple:
(X/y)• (z/w)= (x•z)/ (y•w).
Demostración/:
Al igual que en el teorema anterior aquí usamos la definición 5 los axiomas 2, 3 y los teoremas
8 y 9.
(x/y)•(z/w)=((x/y)•z)/w
(x/y)•(z/w)= ((x•(1/y))•z)/w
(x/y)•(z/w)= (x•((1/y)•z)/w
(x/y)•(z/w)= (x•(z/y))/w
(x/y)•(z/w)= ((x•z)/y)/w
(x/y)•(z/w)= x•z/y•w.
TEOREMA 12
Para x, y y z reales se cumple: x>y si y solo si x+z>y+z.
Demostración/:
Sea a= x+z y b= y+z, entonces a-b=(x+z)-(y+z)=x-y como a>b si y solo si a-b>0 y por
transitividad de a>b se deduce que x+z>y+z.
Por otro lado veamos que x+z > y+z si y solo si (x+z)-(y+z) >0 luego x-y >0 x>y.
ii) 0>x si y solo si 0> (1/x). TEOREMA 13
Para x, y y z reales con z distinto de cero se cumple:
i) x>y si y solo si x•z>y•z con z>0.
5
ii) x>y si y solo si y•z > x•z con 0>z.
Demostración/:
Si x>y si y solo si x-y >0 por lo tanto x-y es positivo, si z>0 entonces z también es positivo y
por los axiomas de orden vemos que (x-y)•z es positivo si y solo si (x-y)•z >0
Si y solo si x •z -y•z>0 si y solo si x •z >y•z.
Si x>y si y solo si x-y >0 por lo tanto x-y es positivo, 0>z entonces (-z)>0 usando el mismo
razonamiento que en i) llegamos a que y•z-x•z>0 si y solo si y•z >x•z.ii) se deduce de la misma
forma.
Teorema 14
Para x, y reales distintos de cero se cumple:
i) Si x•y>0 con x>0 entonces y>0.
ii) Si x•y>0 con 0>x entonces 0>y.
iii) Si 0> x•y con x>0 entonces 0>y.
iv) Si 0> x•y con 0>x entonces y>0.
Demostración/:
Supongamos que no se cumple la tesis, es decir, 0>y como x>0 entonces por teorema
13 0>x•y llegando a la contradicción de la hipótesis o sea que lo afirmamos anteriormente es
falso, llegando a la demostración del teorema (análogamente se demuestra para ii), iii) y iv).
Teorema 15
Para x≠0 real se cumple: x²>0.
Demostración/:
Si x>0 entonces x es positivo luego y·w=x² es positivo si y solo si x²>0.Si 0>x entonces (-x) es
positivo luego (-x)•(-x)=(-x)² es positivo si y solo si (-x)²>0.Pero (-x)•(-x)=-(x•(-x))=-(-
(x•x))=x•x=x² por teorema 6, con lo que vemos que (-x)•(-x)= x²>0.
Teorema 16
Para x≠0 real se cumple:
i) x>0 si y solo si (1/x)>0.
Bibliografía
Cavero Ronmel, Naranjo Mishell, Pincay Arielito. (25 de junio de 2015). Blogger.com. Obtenido
de http://arielpincay.blogspot.com: http://arielpincay.blogspot.com/2015/06/numeros-
reales_25.html
6
