Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades

Introducci on al C alculo
Los n umeros reales, axiomas de campo y orden, desigualdades
CNM-107
Departamento de Matematicas
Facultad de Ciencias Exactas y Naturales
Universidad de Antioquia
Copyleft c 2008. Reproducci on permitida bajo los
terminos de la licencia de documentaci on libre GNU.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros naturales
Los n umeros naturales: Historicamente surgen ante la necesidad de
contar o enumerar en las diversas civilizaciones. Informalmente
hablando los n umeros naturaless son aquellos que sirven para designar
el n umero de elementos de um conjunto nito.
N = {0, 1, 2, 3, . . .}
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros naturales
Los n umeros naturales: Historicamente surgen ante la necesidad de
contar o enumerar en las diversas civilizaciones. Informalmente
hablando los n umeros naturaless son aquellos que sirven para designar
el n umero de elementos de um conjunto nito.
N = {0, 1, 2, 3, . . .}
En N se denen las operaciones de adici on (+) y multiplicaci on (),
estas operaciones poseen las siguientes propiedades:
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros naturales
Los n umeros naturales: Historicamente surgen ante la necesidad de
contar o enumerar en las diversas civilizaciones. Informalmente
hablando los n umeros naturaless son aquellos que sirven para designar
el n umero de elementos de um conjunto nito.
N = {0, 1, 2, 3, . . .}
En N se denen las operaciones de adici on (+) y multiplicaci on (),
estas operaciones poseen las siguientes propiedades:
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
1
Uniformidad: Para cada x, y, w, z N vale
x = y
w = z
o
=
x +w = y +z
x w = y z
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
1
Uniformidad: Para cada x, y, w, z N vale
x = y
w = z
o
=
x +w = y +z
x w = y z
2
Asosiatividad: Para cada x, y, z N vale
(x +y) +z = x + (y +z);
(x y) z = x (y z).
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
1
Uniformidad: Para cada x, y, w, z N vale
x = y
w = z
o
=
x +w = y +z
x w = y z
2
Asosiatividad: Para cada x, y, z N vale
(x +y) +z = x + (y +z);
(x y) z = x (y z).
3
Conmutatividad: Para cada x, y N vale
x +y = y +x;
x y = y x.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
1
Uniformidad: Para cada x, y, w, z N vale
x = y
w = z
o
=
x +w = y +z
x w = y z
2
Asosiatividad: Para cada x, y, z N vale
(x +y) +z = x + (y +z);
(x y) z = x (y z).
3
Conmutatividad: Para cada x, y N vale
x +y = y +x;
x y = y x.
4
Modulativa: Existen elementos neutros, zero (0) y uno (1) tales que
para cada x N vale
x + 0 = x = 0 +x;
x 1 = x = 1 x.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
1
Uniformidad: Para cada x, y, w, z N vale
x = y
w = z
o
=
x +w = y +z
x w = y z
2
Asosiatividad: Para cada x, y, z N vale
(x +y) +z = x + (y +z);
(x y) z = x (y z).
3
Conmutatividad: Para cada x, y N vale
x +y = y +x;
x y = y x.
4
Modulativa: Existen elementos neutros, zero (0) y uno (1) tales que
para cada x N vale
x + 0 = x = 0 +x;
x 1 = x = 1 x.
5
Distributiva: Para cada x, y, z N vale
x (y +z) = x y +x z.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
1
Uniformidad: Para cada x, y, w, z N vale
x = y
w = z
o
=
x +w = y +z
x w = y z
2
Asosiatividad: Para cada x, y, z N vale
(x +y) +z = x + (y +z);
(x y) z = x (y z).
3
Conmutatividad: Para cada x, y N vale
x +y = y +x;
x y = y x.
4
Modulativa: Existen elementos neutros, zero (0) y uno (1) tales que
para cada x N vale
x + 0 = x = 0 +x;
x 1 = x = 1 x.
5
Distributiva: Para cada x, y, z N vale
x (y +z) = x y +x z.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros enteros
Los n umeros enteros: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros naturales.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros enteros
Los n umeros enteros: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros naturales.
Z = {. . . , 2, 1, 0, 1, 2, 3, . . .}
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros enteros
Los n umeros enteros: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros naturales.
Z = {. . . , 2, 1, 0, 1, 2, 3, . . .}
N Z
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros enteros
Los n umeros enteros: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros naturales.
Z = {. . . , 2, 1, 0, 1, 2, 3, . . .}
N Z
En Z estan denidas la adicion + y la multiplicacion
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros enteros
Los n umeros enteros: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros naturales.
Z = {. . . , 2, 1, 0, 1, 2, 3, . . .}
N Z
En Z estan denidas la adicion + y la multiplicacion
La adicion en Z cumple una nueva propiedad (no valida en N)
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros enteros
Los n umeros enteros: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros naturales.
Z = {. . . , 2, 1, 0, 1, 2, 3, . . .}
N Z
En Z estan denidas la adicion + y la multiplicacion
La adicion en Z cumple una nueva propiedad (no valida en N)
1
Inverso aditivo: Para cada x Z, existe un y Z tal que
x + y = y + x = 0.
El elemento y para el cual x + y = 0 se llama inverso aditivo de x.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros enteros
Los n umeros enteros: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros naturales.
Z = {. . . , 2, 1, 0, 1, 2, 3, . . .}
N Z
En Z estan denidas la adicion + y la multiplicacion
La adicion en Z cumple una nueva propiedad (no valida en N)
1
Inverso aditivo: Para cada x Z, existe un y Z tal que
x + y = y + x = 0.
El elemento y para el cual x + y = 0 se llama inverso aditivo de x.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros racionales
Los n umeros racionales: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros enteros.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros racionales
Los n umeros racionales: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros enteros.
Q =
n
m
n
: m Z, n Z, n = 0
o
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros racionales
Los n umeros racionales: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros enteros.
Q =
n
m
n
: m Z, n Z, n = 0
o
Z Q
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros racionales
Los n umeros racionales: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros enteros.
Q =
n
m
n
: m Z, n Z, n = 0
o
Z Q
En Q estan denidas +, y cumplen una nueva propiedad
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros racionales
Los n umeros racionales: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros enteros.
Q =
n
m
n
: m Z, n Z, n = 0
o
Z Q
En Q estan denidas +, y cumplen una nueva propiedad
1
Invertividad: Para cada x Q, existe un unico y Q tal que
x + y = y + x = 0.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros racionales
Los n umeros racionales: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros enteros.
Q =
n
m
n
: m Z, n Z, n = 0
o
Z Q
En Q estan denidas +, y cumplen una nueva propiedad
1
Invertividad: Para cada x Q, existe un unico y Q tal que
x + y = y + x = 0.
Si x = 0, existe un unico y Q tal que
x y = y x = 1.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros racionales
Los n umeros racionales: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros enteros.
Q =
n
m
n
: m Z, n Z, n = 0
o
Z Q
En Q estan denidas +, y cumplen una nueva propiedad
1
Invertividad: Para cada x Q, existe un unico y Q tal que
x + y = y + x = 0.
Si x = 0, existe un unico y Q tal que
x y = y x = 1.
Cuando x = 0, el n umero racional y para el cual x y = 1, se llama el
inverso mutiplicativo de x y se denota por x
1
o por
1
x
.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros racionales
Los n umeros racionales: Surgen ante la imposibilidad de resolver
algunas necesidades matematicas solo con los n umeros enteros.
Q =
n
m
n
: m Z, n Z, n = 0
o
Z Q
En Q estan denidas +, y cumplen una nueva propiedad
1
Invertividad: Para cada x Q, existe un unico y Q tal que
x + y = y + x = 0.
Si x = 0, existe un unico y Q tal que
x y = y x = 1.
Cuando x = 0, el n umero racional y para el cual x y = 1, se llama el
inverso mutiplicativo de x y se denota por x
1
o por
1
x
.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros irracionales
Los n umeros irracionales: Diversos problemas relacionados con
geometra dieron surgimiento a nuevos n umeros cuyas magnitudes son
inconmensurables, i.e., no admiten representacion racional. Se denotan
por
Q

Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades

Los n umeros irracionales
Los n umeros irracionales: Diversos problemas relacionados con
geometra dieron surgimiento a nuevos n umeros cuyas magnitudes son
inconmensurables, i.e., no admiten representacion racional. Se denotan
por
Q

Ejemplos de n umeros irracionales son

2,

2,

3,

3, ,
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros irracionales
Los n umeros irracionales: Diversos problemas relacionados con
geometra dieron surgimiento a nuevos n umeros cuyas magnitudes son
inconmensurables, i.e., no admiten representacion racional. Se denotan
por
Q

Ejemplos de n umeros irracionales son

2,

2,

3,

3, ,
+, no son operaciones en Q

No necesariamente la suma o la multiplicacion de dos n umeros irracionales

es de nuevo un n umero irracional, por ejemplo

2 +

2 = 0,

2 = 2.
Pero 0, 2 no son n umeros irracionales.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros irracionales
Los n umeros irracionales: Diversos problemas relacionados con
geometra dieron surgimiento a nuevos n umeros cuyas magnitudes son
inconmensurables, i.e., no admiten representacion racional. Se denotan
por
Q

Ejemplos de n umeros irracionales son

2,

2,

3,

3, ,
+, no son operaciones en Q

No necesariamente la suma o la multiplicacion de dos n umeros irracionales

es de nuevo un n umero irracional, por ejemplo

2 +

2 = 0,

2 = 2.
Pero 0, 2 no son n umeros irracionales.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros reales
Los de n umeros reales: La union del conjunto de los n umeros
racionales y el conjunto de los n umeros irracionales forma el conjunto
de los n umeros reales, que se denota por R, o sea
R = Q Q

.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros reales
Los de n umeros reales: La union del conjunto de los n umeros
racionales y el conjunto de los n umeros irracionales forma el conjunto
de los n umeros reales, que se denota por R, o sea
R = Q Q

.
Una representacion geometrica de R es la recta real
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros reales
Los de n umeros reales: La union del conjunto de los n umeros
racionales y el conjunto de los n umeros irracionales forma el conjunto
de los n umeros reales, que se denota por R, o sea
R = Q Q

.
Una representacion geometrica de R es la recta real
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros reales
Los de n umeros reales: La union del conjunto de los n umeros
racionales y el conjunto de los n umeros irracionales forma el conjunto
de los n umeros reales, que se denota por R, o sea
R = Q Q

.
Una representacion geometrica de R es la recta real
R
0 1 1

2
7
2
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Los n umeros reales
Los de n umeros reales: La union del conjunto de los n umeros
racionales y el conjunto de los n umeros irracionales forma el conjunto
de los n umeros reales, que se denota por R, o sea
R = Q Q

.
Una representacion geometrica de R es la recta real
R
0 1 1

2
7
2
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Axiomas de campo
AC1 Uniformidad: Para cada x, y, w, z R,
x = y
w = z
o
=
x +w = y +z
x w = y z.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Axiomas de campo
AC1 Uniformidad: Para cada x, y, w, z R,
x = y
w = z
o
=
x +w = y +z
x w = y z.
AC2 Asociatividad: Para cada x, y, z R,
(x +y) +z = x + (y +z);
(x y) z = x (y z).
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Axiomas de campo
AC1 Uniformidad: Para cada x, y, w, z R,
x = y
w = z
o
=
x +w = y +z
x w = y z.
AC2 Asociatividad: Para cada x, y, z R,
(x +y) +z = x + (y +z);
(x y) z = x (y z).
AC3 Conmutatividad: Para cada x, y R,
x +y = y +x;
x y = y x.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Axiomas de campo
AC1 Uniformidad: Para cada x, y, w, z R,
x = y
w = z
o
=
x +w = y +z
x w = y z.
AC2 Asociatividad: Para cada x, y, z R,
(x +y) +z = x + (y +z);
(x y) z = x (y z).
AC3 Conmutatividad: Para cada x, y R,
x +y = y +x;
x y = y x.
AC4 Modulativa: Existen reales cero (0), uno (1) tales que para x R,
x + 0 = x = 0 +x;
x 1 = x = 1 x.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Axiomas de campo
AC1 Uniformidad: Para cada x, y, w, z R,
x = y
w = z
o
=
x +w = y +z
x w = y z.
AC2 Asociatividad: Para cada x, y, z R,
(x +y) +z = x + (y +z);
(x y) z = x (y z).
AC3 Conmutatividad: Para cada x, y R,
x +y = y +x;
x y = y x.
AC4 Modulativa: Existen reales cero (0), uno (1) tales que para x R,
x + 0 = x = 0 +x;
x 1 = x = 1 x.
El real 0 es llamado m odulo o elemento neutro para la adicion. El
real 1 es llamado m odulo o elemento neutro para la multiplicacion.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Axiomas de campo
AC1 Uniformidad: Para cada x, y, w, z R,
x = y
w = z
o
=
x +w = y +z
x w = y z.
AC2 Asociatividad: Para cada x, y, z R,
(x +y) +z = x + (y +z);
(x y) z = x (y z).
AC3 Conmutatividad: Para cada x, y R,
x +y = y +x;
x y = y x.
AC4 Modulativa: Existen reales cero (0), uno (1) tales que para x R,
x + 0 = x = 0 +x;
x 1 = x = 1 x.
El real 0 es llamado m odulo o elemento neutro para la adicion. El
real 1 es llamado m odulo o elemento neutro para la multiplicacion.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Axiomas de campo
AC5 Invertividad: Para cada x R, existe un unico n umero real llamado
el inverso aditivo u opuesto de x y denotado por x, tal que
x + (x) = 0.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Axiomas de campo
AC5 Invertividad: Para cada x R, existe un unico n umero real llamado
el inverso aditivo u opuesto de x y denotado por x, tal que
x + (x) = 0.
Para cada n umero real x = 0, existe un unico n umero real llamado el
inverso multiplicativo de x y denotado por x
1
o
1
x
, tal que
x x
1
= x
1
x
= 1.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Axiomas de campo
AC5 Invertividad: Para cada x R, existe un unico n umero real llamado
el inverso aditivo u opuesto de x y denotado por x, tal que
x + (x) = 0.
Para cada n umero real x = 0, existe un unico n umero real llamado el
inverso multiplicativo de x y denotado por x
1
o
1
x
, tal que
x x
1
= x
1
x
= 1.
AC6 Distributiva: Para cada x, y, z R,
x (y +z) = x y +x z.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Axiomas de campo
AC5 Invertividad: Para cada x R, existe un unico n umero real llamado
el inverso aditivo u opuesto de x y denotado por x, tal que
x + (x) = 0.
Para cada n umero real x = 0, existe un unico n umero real llamado el
inverso multiplicativo de x y denotado por x
1
o
1
x
, tal que
x x
1
= x
1
x
= 1.
AC6 Distributiva: Para cada x, y, z R,
x (y +z) = x y +x z.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Diferencia y Division
Empleando la propiedad de invertividad PC5, se denen las operaciones de
resta y divisi on de n umeros reales, en efecto para cada x, y R,
x y = x + (y);
Si y = 0,
x
y
= x
1
y
= x y
1
.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Diferencia y Division
Empleando la propiedad de invertividad PC5, se denen las operaciones de
resta y divisi on de n umeros reales, en efecto para cada x, y R,
x y = x + (y);
Si y = 0,
x
y
= x
1
y
= x y
1
.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la adicion:
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la adicion:
Para cada x, y, z R,
x +y = x +z = y = z.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la adicion:
Para cada x, y, z R,
x +y = x +z = y = z.
Demostracion:
x +y = x +z Hipotesis
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la adicion:
Para cada x, y, z R,
x +y = x +z = y = z.
Demostracion:
x +y = x +z Hipotesis
(x) +x +y = (x) +x +z (AC1)
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la adicion:
Para cada x, y, z R,
x +y = x +z = y = z.
Demostracion:
x +y = x +z Hipotesis
(x) +x +y = (x) +x +z (AC1)
(x +x) +y = (x +x) +z (AC2)
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la adicion:
Para cada x, y, z R,
x +y = x +z = y = z.
Demostracion:
x +y = x +z Hipotesis
(x) +x +y = (x) +x +z (AC1)
(x +x) +y = (x +x) +z (AC2)
0 +y = 0 +z (AC5)
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la adicion:
Para cada x, y, z R,
x +y = x +z = y = z.
Demostracion:
x +y = x +z Hipotesis
(x) +x +y = (x) +x +z (AC1)
(x +x) +y = (x +x) +z (AC2)
0 +y = 0 +z (AC5)
y = z (AC4)
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la adicion:
Para cada x, y, z R,
x +y = x +z = y = z.
Demostracion:
x +y = x +z Hipotesis
(x) +x +y = (x) +x +z (AC1)
(x +x) +y = (x +x) +z (AC2)
0 +y = 0 +z (AC5)
y = z (AC4)
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la multiplicacion:
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la multiplicacion:
Para cada x, y, z R,
(x = 0 x y = x z) = y = z.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la multiplicacion:
Para cada x, y, z R,
(x = 0 x y = x z) = y = z.
Demostracion:
x = 0 x y = x z Hipotesis
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la multiplicacion:
Para cada x, y, z R,
(x = 0 x y = x z) = y = z.
Demostracion:
x = 0 x y = x z Hipotesis
(x
1
) (x y) = (x
1
) (x z) (AC1)
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la multiplicacion:
Para cada x, y, z R,
(x = 0 x y = x z) = y = z.
Demostracion:
x = 0 x y = x z Hipotesis
(x
1
) (x y) = (x
1
) (x z) (AC1)
(x
1
x) y = (x
1
x) z (AC2)
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la multiplicacion:
Para cada x, y, z R,
(x = 0 x y = x z) = y = z.
Demostracion:
x = 0 x y = x z Hipotesis
(x
1
) (x y) = (x
1
) (x z) (AC1)
(x
1
x) y = (x
1
x) z (AC2)
1 y = 1 z (AC5)
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la multiplicacion:
Para cada x, y, z R,
(x = 0 x y = x z) = y = z.
Demostracion:
x = 0 x y = x z Hipotesis
(x
1
) (x y) = (x
1
) (x z) (AC1)
(x
1
x) y = (x
1
x) z (AC2)
1 y = 1 z (AC5)
y = z (AC4)
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de campo
Ley cancelativa de la multiplicacion:
Para cada x, y, z R,
(x = 0 x y = x z) = y = z.
Demostracion:
x = 0 x y = x z Hipotesis
(x
1
) (x y) = (x
1
) (x z) (AC1)
(x
1
x) y = (x
1
x) z (AC2)
1 y = 1 z (AC5)
y = z (AC4)
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y R
x 0 = 0.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y R
x 0 = 0.
1 = 0.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y R
x 0 = 0.
1 = 0.
x y = 0 = x = 0 y = 0.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y R
x 0 = 0.
1 = 0.
x y = 0 = x = 0 y = 0.
x = 0 = x
1
= 0.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y R
x 0 = 0.
1 = 0.
x y = 0 = x = 0 y = 0.
x = 0 = x
1
= 0.
(x) = x.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y R
x 0 = 0.
1 = 0.
x y = 0 = x = 0 y = 0.
x = 0 = x
1
= 0.
(x) = x.
x = 0 = (x
1
)
1
= x.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y R
x 0 = 0.
1 = 0.
x y = 0 = x = 0 y = 0.
x = 0 = x
1
= 0.
(x) = x.
x = 0 = (x
1
)
1
= x.
(x +y) = (x) + (y).
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y R
x 0 = 0.
1 = 0.
x y = 0 = x = 0 y = 0.
x = 0 = x
1
= 0.
(x) = x.
x = 0 = (x
1
)
1
= x.
(x +y) = (x) + (y).
x = 0 y = 0 = (x y)
1
= x
1
y
1
.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y R
x 0 = 0.
1 = 0.
x y = 0 = x = 0 y = 0.
x = 0 = x
1
= 0.
(x) = x.
x = 0 = (x
1
)
1
= x.
(x +y) = (x) + (y).
x = 0 y = 0 = (x y)
1
= x
1
y
1
.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y, z, w R, y = 0, w = 0
x
y
+
z
w
=
x w +y z
y w
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y, z, w R, y = 0, w = 0
x
y
+
z
w
=
x w +y z
y w
x
y

z
w
=
x z
y w
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y, z, w R, y = 0, w = 0
x
y
+
z
w
=
x w +y z
y w
x
y

z
w
=
x z
y w
x = (1) x
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y, z, w R, y = 0, w = 0
x
y
+
z
w
=
x w +y z
y w
x
y

z
w
=
x z
y w
x = (1) x
(x) (y) = x y
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y, z, w R, y = 0, w = 0
x
y
+
z
w
=
x w +y z
y w
x
y

z
w
=
x z
y w
x = (1) x
(x) (y) = x y
(x y) = (x) y = x (y)
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y, z, w R, y = 0, w = 0
x
y
+
z
w
=
x w +y z
y w
x
y

z
w
=
x z
y w
x = (1) x
(x) (y) = x y
(x y) = (x) y = x (y)

x
y
=
x
y
=
x
y
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas consecuencias de los axiomas de campo
Para cada x, y, z, w R, y = 0, w = 0
x
y
+
z
w
=
x w +y z
y w
x
y

z
w
=
x z
y w
x = (1) x
(x) (y) = x y
(x y) = (x) y = x (y)

x
y
=
x
y
=
x
y
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Reales positivos
Axioma (PO1)
Existe un subconjunto R
+
de R tal que
1
Para cada x, y R
+
, se tiene que
x +y R
+
; x y R
+
.
2
Para cada x R, se cumple una y solamente una de las siguientes
proposiciones
x R
+
; x = 0; x R
+
.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Reales positivos
Axioma (PO1)
Existe un subconjunto R
+
de R tal que
1
Para cada x, y R
+
, se tiene que
x +y R
+
; x y R
+
.
2
Para cada x R, se cumple una y solamente una de las siguientes
proposiciones
x R
+
; x = 0; x R
+
.
Los elementos del conjunto R
+
se llaman reales positivos. Los n umeros
reales diferentes del cero que no son n umeros reales positivos, son llamados
reales negativos, y se denotan por R

.
R = R

R
+
{0}.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Reales positivos
Axioma (PO1)
Existe un subconjunto R
+
de R tal que
1
Para cada x, y R
+
, se tiene que
x +y R
+
; x y R
+
.
2
Para cada x R, se cumple una y solamente una de las siguientes
proposiciones
x R
+
; x = 0; x R
+
.
Los elementos del conjunto R
+
se llaman reales positivos. Los n umeros
reales diferentes del cero que no son n umeros reales positivos, son llamados
reales negativos, y se denotan por R

.
R = R

R
+
{0}.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Reales positivos
Axioma (PO1)
Existe un subconjunto R
+
de R tal que
1
Para cada x, y R
+
, se tiene que
x +y R
+
; x y R
+
.
2
Para cada x R, se cumple una y solamente una de las siguientes
proposiciones
x R
+
; x = 0; x R
+
.
Los elementos del conjunto R
+
se llaman reales positivos. Los n umeros
reales diferentes del cero que no son n umeros reales positivos, son llamados
reales negativos, y se denotan por R

.
R = R

R
+
{0}.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Observacion
Como consecuencia de la notacion y del axioma (PO1) se tiene
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Observacion
Como consecuencia de la notacion y del axioma (PO1) se tiene
0 / R
+
0 / R

x R

x R
+
(1)
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Observacion
Como consecuencia de la notacion y del axioma (PO1) se tiene
0 / R
+
0 / R

x R

x R
+
(1)
Reescribiendo PO1
a) La suma y producto de reales positivos es de nuevo un real positivo,
b) Todo n umero real es positivo, es el cero o es negativo.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Observacion
Como consecuencia de la notacion y del axioma (PO1) se tiene
0 / R
+
0 / R

x R

x R
+
(1)
Reescribiendo PO1
a) La suma y producto de reales positivos es de nuevo un real positivo,
b) Todo n umero real es positivo, es el cero o es negativo.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Desigualdades
Denicion (Desigualdad)
Si x, y son n umeros reales. x < y se lee x es menor que y, se dene como
x < y y x R
+
. (2)
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Desigualdades
Denicion (Desigualdad)
Si x, y son n umeros reales. x < y se lee x es menor que y, se dene como
x < y y x R
+
. (2)
Observacion
Si en (2) x = 0, se tiene
0 < y y 0 = y R
+
.
Luego
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Desigualdades
Denicion (Desigualdad)
Si x, y son n umeros reales. x < y se lee x es menor que y, se dene como
x < y y x R
+
. (2)
Observacion
Si en (2) x = 0, se tiene
0 < y y 0 = y R
+
.
Luego
R
+
= {x R : x > 0}.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Desigualdades
Denicion (Desigualdad)
Si x, y son n umeros reales. x < y se lee x es menor que y, se dene como
x < y y x R
+
. (2)
Observacion
Si en (2) x = 0, se tiene
0 < y y 0 = y R
+
.
Luego
R
+
= {x R : x > 0}.
Analogamente si en (2) y = 0 usando (1) se tiene
R

= {x R : x < 0}.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Desigualdades
Denicion (Desigualdad)
Si x, y son n umeros reales. x < y se lee x es menor que y, se dene como
x < y y x R
+
. (2)
Observacion
Si en (2) x = 0, se tiene
0 < y y 0 = y R
+
.
Luego
R
+
= {x R : x > 0}.
Analogamente si en (2) y = 0 usando (1) se tiene
R

= {x R : x < 0}.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas desigualdades
x > y se lee como x es mayor que y
x > y x y R
+
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas desigualdades
x > y se lee como x es mayor que y
x > y x y R
+
x y se lee como x es menor o igual que y
x y y x R
+
x = y
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas desigualdades
x > y se lee como x es mayor que y
x > y x y R
+
x y se lee como x es menor o igual que y
x y y x R
+
x = y
x y se lee como x es mayor o igual que y
x y x y R
+
x = y
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Mas desigualdades
x > y se lee como x es mayor que y
x > y x y R
+
x y se lee como x es menor o igual que y
x y y x R
+
x = y
x y se lee como x es mayor o igual que y
x y x y R
+
x = y
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de orden
Teorema (Ley de tricotoma)
Si x, y R, entonces se cumple una y solamente una de las siguientes
armaciones
x < y; x = y; x > y.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de orden
Teorema (Ley de tricotoma)
Si x, y R, entonces se cumple una y solamente una de las siguientes
armaciones
x < y; x = y; x > y.
Demostracion: Como consecuencia del Axioma (PO1) para el n umero
x y, se tiene una de las siguientes armaciones
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de orden
Teorema (Ley de tricotoma)
Si x, y R, entonces se cumple una y solamente una de las siguientes
armaciones
x < y; x = y; x > y.
Demostracion: Como consecuencia del Axioma (PO1) para el n umero
x y, se tiene una de las siguientes armaciones
x y R
+
; x y = 0; x y R

;
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de orden
Teorema (Ley de tricotoma)
Si x, y R, entonces se cumple una y solamente una de las siguientes
armaciones
x < y; x = y; x > y.
Demostracion: Como consecuencia del Axioma (PO1) para el n umero
x y, se tiene una de las siguientes armaciones
x y R
+
; x y = 0; x y R

;
o de forma equivalente,
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de orden
Teorema (Ley de tricotoma)
Si x, y R, entonces se cumple una y solamente una de las siguientes
armaciones
x < y; x = y; x > y.
Demostracion: Como consecuencia del Axioma (PO1) para el n umero
x y, se tiene una de las siguientes armaciones
x y R
+
; x y = 0; x y R

;
o de forma equivalente,
x < y; x = y; x > y.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de orden
Teorema (Ley de tricotoma)
Si x, y R, entonces se cumple una y solamente una de las siguientes
armaciones
x < y; x = y; x > y.
Demostracion: Como consecuencia del Axioma (PO1) para el n umero
x y, se tiene una de las siguientes armaciones
x y R
+
; x y = 0; x y R

;
o de forma equivalente,
x < y; x = y; x > y.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de orden
Teorema (Propiedades adicionales)
Transitividad: Para cada x, y, z R.
(x < y y < z) = x < z.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de orden
Teorema (Propiedades adicionales)
Transitividad: Para cada x, y, z R.
(x < y y < z) = x < z.
Monotona de la suma: Para cada x, y, z R.
x < y x +z < y +z.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de orden
Teorema (Propiedades adicionales)
Transitividad: Para cada x, y, z R.
(x < y y < z) = x < z.
Monotona de la suma: Para cada x, y, z R.
x < y x +z < y +z.
Monotona de la multiplicaci on: Para cada x, y, z R.
z > 0 x < y x z < y z.
z < 0 x < y x z > y z.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Consecuencias de los axiomas de orden
Teorema (Propiedades adicionales)
Transitividad: Para cada x, y, z R.
(x < y y < z) = x < z.
Monotona de la suma: Para cada x, y, z R.
x < y x +z < y +z.
Monotona de la multiplicaci on: Para cada x, y, z R.
z > 0 x < y x z < y z.
z < 0 x < y x z > y z.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Propiedades adicionales
Ley de los signos
Para x, y R.
x < 0 y < 0 = x y > 0.
x > 0 y < 0 = x y < 0.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Propiedades adicionales
Ley de los signos
Para x, y R.
x < 0 y < 0 = x y > 0.
x > 0 y < 0 = x y < 0.
Leyes de cuadrados
Para cada x R, si se escribe x x = x
2
, entonces x
2
0.
Para cada x, y R
+
,
x < y x
2
< y
2
.
Los n umeros reales Axiomas de campo Axiomas de orden Desigualdades
Propiedades adicionales
Ley de los signos
Para x, y R.
x < 0 y < 0 = x y > 0.
x > 0 y < 0 = x y < 0.
Leyes de cuadrados
Para cada x R, si se escribe x x = x
2
, entonces x
2
0.
Para cada x, y R
+
,
x < y x
2
< y
2
.