Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Seccion3 (1) Axiomas de Los Numeros Reales
Seccion3 (1) Axiomas de Los Numeros Reales
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Los n umeros naturales: Hist oricamente 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, . . .}
Axiomas de campo
Axiomas de orden
Desigualdades
Los n umeros naturales: Hist oricamente 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:
Axiomas de campo
Axiomas de orden
Desigualdades
Los n umeros naturales: Hist oricamente 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:
Axiomas de campo
Axiomas de orden
Desigualdades
y+z yz
Axiomas de campo
Axiomas de orden
Desigualdades
y+z yz
Axiomas de campo
Axiomas de orden
Desigualdades
y+z yz
Axiomas de campo
Axiomas de orden
Desigualdades
y+z yz
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.
Axiomas de campo
Axiomas de orden
Desigualdades
y+z yz
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. Distributiva: Para cada x, y, z N vale x (y + z ) = x y + x z.
Axiomas de campo
Axiomas de orden
Desigualdades
y+z yz
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. Distributiva: Para cada x, y, z N vale x (y + z ) = x y + x z.
Axiomas de campo
Axiomas de orden
Desigualdades
Los n umeros enteros: Surgen ante la imposibilidad de resolver algunas necesidades matem aticas s olo con los n umeros naturales.
Axiomas de campo
Axiomas de orden
Desigualdades
Los n umeros enteros: Surgen ante la imposibilidad de resolver algunas necesidades matem aticas s olo con los n umeros naturales. Z = {. . . , 2, 1, 0, 1, 2, 3, . . .}
Axiomas de campo
Axiomas de orden
Desigualdades
Los n umeros enteros: Surgen ante la imposibilidad de resolver algunas necesidades matem aticas s olo con los n umeros naturales. Z = {. . . , 2, 1, 0, 1, 2, 3, . . .} NZ
Axiomas de campo
Axiomas de orden
Desigualdades
Los n umeros enteros: Surgen ante la imposibilidad de resolver algunas necesidades matem aticas s olo con los n umeros naturales. Z = {. . . , 2, 1, 0, 1, 2, 3, . . .} NZ En Z est an denidas la adici on + y la multiplicaci on
Axiomas de campo
Axiomas de orden
Desigualdades
Los n umeros enteros: Surgen ante la imposibilidad de resolver algunas necesidades matem aticas s olo con los n umeros naturales. Z = {. . . , 2, 1, 0, 1, 2, 3, . . .} NZ En Z est an denidas la adici on + y la multiplicaci on La adici on en Z cumple una nueva propiedad (no v alida en N)
Axiomas de campo
Axiomas de orden
Desigualdades
Los n umeros enteros: Surgen ante la imposibilidad de resolver algunas necesidades matem aticas s olo con los n umeros naturales. Z = {. . . , 2, 1, 0, 1, 2, 3, . . .} NZ En Z est an denidas la adici on + y la multiplicaci on La adici on en Z cumple una nueva propiedad (no v alida 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.
Axiomas de campo
Axiomas de orden
Desigualdades
Los n umeros enteros: Surgen ante la imposibilidad de resolver algunas necesidades matem aticas s olo con los n umeros naturales. Z = {. . . , 2, 1, 0, 1, 2, 3, . . .} NZ En Z est an denidas la adici on + y la multiplicaci on La adici on en Z cumple una nueva propiedad (no v alida 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.
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Q=
Axiomas de campo
Axiomas de orden
Desigualdades
Q=
ZQ
Axiomas de campo
Axiomas de orden
Desigualdades
Q=
ZQ
Axiomas de campo
Axiomas de orden
Desigualdades
Q=
ZQ
Axiomas de campo
Axiomas de orden
Desigualdades
Q=
ZQ
Invertividad: Para cada x Q, existe un u nico y Q tal que x + y = y + x = 0. Si x = 0, existe un u nico y Q tal que x y = y x = 1.
Axiomas de campo
Axiomas de orden
Desigualdades
Q=
ZQ
Invertividad: Para cada x Q, existe un u nico y Q tal que x + y = y + x = 0. Si x = 0, existe un u nico 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 1 inverso mutiplicativo de x y se denota por x1 o por x .
Axiomas de campo
Axiomas de orden
Desigualdades
Q=
ZQ
Invertividad: Para cada x Q, existe un u nico y Q tal que x + y = y + x = 0. Si x = 0, existe un u nico 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 1 inverso mutiplicativo de x y se denota por x1 o por x .
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
+, no son operaciones en Q
No necesariamente la suma o la multiplicaci on de dos n umeros irracionales es de nuevo un n umero irracional, por ejemplo 2 + 2 = 0, 2 2 = 2. Pero 0, 2 no son n umeros irracionales.
Axiomas de campo
Axiomas de orden
Desigualdades
+, no son operaciones en Q
No necesariamente la suma o la multiplicaci on de dos n umeros irracionales es de nuevo un n umero irracional, por ejemplo 2 + 2 = 0, 2 2 = 2. Pero 0, 2 no son n umeros irracionales.
Axiomas de campo
Axiomas de orden
Desigualdades
Los de n umeros reales: La uni on 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 .
Axiomas de campo
Axiomas de orden
Desigualdades
Los de n umeros reales: La uni on 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 representaci on geom etrica de R es la recta real
Axiomas de campo
Axiomas de orden
Desigualdades
Los de n umeros reales: La uni on 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 representaci on geom etrica de R es la recta real
Axiomas de campo
Axiomas de orden
Desigualdades
Los de n umeros reales: La uni on 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 representaci on geom etrica de R es la recta real
7 2
Axiomas de campo
Axiomas de orden
Desigualdades
Los de n umeros reales: La uni on 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 representaci on geom etrica de R es la recta real
7 2
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
AC1 Uniformidad: Para cada x, y, w, z R, x+w x = y o = xw w = z
= =
y+z y z.
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
AC1 Uniformidad: Para cada x, y, w, z R, x+w x = y o = xw w = z AC2 Asociatividad: Para cada x, y, z R, (x + y ) + z = x + (y + z ); (x y ) z = x (y z ).
= =
y+z y z.
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
AC1 Uniformidad: Para cada x, y, w, z R, x+w x = y o = xw w = 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.
= =
y+z y z.
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
AC1 Uniformidad: Para cada x, y, w, z R, x+w x = y o = xw w = 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.
= =
y+z y z.
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
AC1 Uniformidad: Para cada x, y, w, z R, x+w x = y o = xw w = 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; El real 0 es llamado m odulo o elemento neutro para la adici on. El real 1 es llamado m odulo o elemento neutro para la multiplicaci on. x 1 = x = 1 x.
= =
y+z y z.
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
AC1 Uniformidad: Para cada x, y, w, z R, x+w x = y o = xw w = 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; El real 0 es llamado m odulo o elemento neutro para la adici on. El real 1 es llamado m odulo o elemento neutro para la multiplicaci on. x 1 = x = 1 x.
= =
y+z y z.
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
AC5 Invertividad: Para cada x R, existe un u nico n umero real llamado el inverso aditivo u opuesto de x y denotado por x, tal que x + (x) = 0.
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
AC5 Invertividad: Para cada x R, existe un u nico 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 u nico n umero real llamado el 1 , tal que inverso multiplicativo de x y denotado por x1 o x x x 1 = x 1 = 1. x
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
AC5 Invertividad: Para cada x R, existe un u nico 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 u nico n umero real llamado el 1 , tal que inverso multiplicativo de x y denotado por x1 o x x x 1 = x AC6 Distributiva: Para cada x, y, z R, x (y + z ) = x y + x z. 1 = 1. x
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
AC5 Invertividad: Para cada x R, existe un u nico 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 u nico n umero real llamado el 1 , tal que inverso multiplicativo de x y denotado por x1 o x x x 1 = x AC6 Distributiva: Para cada x, y, z R, x (y + z ) = x y + x z. 1 = 1. x
Axiomas de campo
Axiomas de orden
Desigualdades
Diferencia y Divisi on Empleando la propiedad de invertividad P C 5, 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 1 = x = x y 1 . y y
Axiomas de campo
Axiomas de orden
Desigualdades
Diferencia y Divisi on Empleando la propiedad de invertividad P C 5, 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 1 = x = x y 1 . y y
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Ley cancelativa de la adici on: Para cada x, y, z R, x + y = x + z = y = z. Demostraci on: x+y = x+z Hip otesis
Axiomas de campo
Axiomas de orden
Desigualdades
Ley cancelativa de la adici on: Para cada x, y, z R, x + y = x + z = y = z. Demostraci on: x+y ( x ) + x + y = = x+z ( x ) + x + z Hip otesis (AC 1)
Axiomas de campo
Axiomas de orden
Desigualdades
Ley cancelativa de la adici on: Para cada x, y, z R, x + y = x + z = y = z. Demostraci on: x+y ( x ) + x + y ( x + x ) + y = = = x+z ( x ) + x + z ( x + x ) + z Hip otesis (AC 1) (AC 2)
Axiomas de campo
Axiomas de orden
Desigualdades
Ley cancelativa de la adici on: Para cada x, y, z R, x + y = x + z = y = z. Demostraci on: x+y ( x ) + x + y ( x + x ) + y 0+y = = = = x+z ( x ) + x + z ( x + x ) + z 0+z Hip otesis (AC 1) (AC 2) (AC 5)
Axiomas de campo
Axiomas de orden
Desigualdades
Ley cancelativa de la adici on: Para cada x, y, z R, x + y = x + z = y = z. Demostraci on: x+y ( x ) + x + y ( x + x ) + y 0+y y = = = = = x+z ( x ) + x + z ( x + x ) + z 0+z z Hip otesis (AC 1) (AC 2) (AC 5) (AC 4)
Axiomas de campo
Axiomas de orden
Desigualdades
Ley cancelativa de la adici on: Para cada x, y, z R, x + y = x + z = y = z. Demostraci on: x+y ( x ) + x + y ( x + x ) + y 0+y y = = = = = x+z ( x ) + x + z ( x + x ) + z 0+z z Hip otesis (AC 1) (AC 2) (AC 5) (AC 4)
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Ley cancelativa de la multiplicaci on: Para cada x, y, z R, (x = 0 x y = x z ) = y = z. Demostraci on: x =0 xy = xz Hip otesis
Axiomas de campo
Axiomas de orden
Desigualdades
Ley cancelativa de la multiplicaci on: Para cada x, y, z R, (x = 0 x y = x z ) = y = z. Demostraci on: x =0 xy ( x 1 ) ( x y ) = = xz ( x 1 ) ( x z ) Hip otesis (AC 1)
Axiomas de campo
Axiomas de orden
Desigualdades
Ley cancelativa de la multiplicaci on: Para cada x, y, z R, (x = 0 x y = x z ) = y = z. Demostraci on: x =0 xy ( x 1 ) ( x y ) ( x 1 x ) y = = = xz ( x 1 ) ( x z ) ( x 1 x ) z Hip otesis (AC 1) (AC 2)
Axiomas de campo
Axiomas de orden
Desigualdades
Ley cancelativa de la multiplicaci on: Para cada x, y, z R, (x = 0 x y = x z ) = y = z. Demostraci on: x =0 xy ( x 1 ) ( x y ) ( x 1 x ) y 1y = = = = xz ( x 1 ) ( x z ) ( x 1 x ) z 1z Hip otesis (AC 1) (AC 2) (AC 5)
Axiomas de campo
Axiomas de orden
Desigualdades
Ley cancelativa de la multiplicaci on: Para cada x, y, z R, (x = 0 x y = x z ) = y = z. Demostraci on: x =0 xy ( x 1 ) ( x y ) ( x 1 x ) y 1y y = = = = = xz ( x 1 ) ( x z ) ( x 1 x ) z 1z z Hip otesis (AC 1) (AC 2) (AC 5) (AC 4)
Axiomas de campo
Axiomas de orden
Desigualdades
Ley cancelativa de la multiplicaci on: Para cada x, y, z R, (x = 0 x y = x z ) = y = z. Demostraci on: x =0 xy ( x 1 ) ( x y ) ( x 1 x ) y 1y y = = = = = xz ( x 1 ) ( x z ) ( x 1 x ) z 1z z Hip otesis (AC 1) (AC 2) (AC 5) (AC 4)
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
x = (1) x
Axiomas de campo
Axiomas de orden
Desigualdades
x = (1) x ( x ) ( y ) = x y
Axiomas de campo
Axiomas de orden
Desigualdades
x = (1) x ( x ) ( y ) = x y (x y ) = ( x ) y = x ( y )
Axiomas de campo
Axiomas de orden
Desigualdades
x = (1) x ( x ) ( y ) = x y (x y ) = ( x ) y = x ( y ) x x x = = y y y
Axiomas de campo
Axiomas de orden
Desigualdades
x = (1) x ( x ) ( y ) = x y (x y ) = ( x ) y = x ( y ) x x x = = y y y
Axiomas de campo
Axiomas de orden
Desigualdades
Reales positivos
Para cada x, y R+ , se tiene que x + y R+ ; x y R+ . Para cada x R, se cumple una y solamente una de las siguientes proposiciones x R+ ; x = 0; x R+ .
Axiomas de campo
Axiomas de orden
Desigualdades
Reales positivos
Para cada x, y R+ , se tiene que x + y R+ ; x y R+ . 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}.
Axiomas de campo
Axiomas de orden
Desigualdades
Reales positivos
Para cada x, y R+ , se tiene que x + y R+ ; x y R+ . 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}.
Axiomas de campo
Axiomas de orden
Desigualdades
Reales positivos
Para cada x, y R+ , se tiene que x + y R+ ; x y R+ . 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}.
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Observaci on Como consecuencia de la notaci on y del axioma (P O1) se tiene 0 / R+ 0 / R Reescribiendo P O1 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. x R x R+ (1)
Axiomas de campo
Axiomas de orden
Desigualdades
Observaci on Como consecuencia de la notaci on y del axioma (P O1) se tiene 0 / R+ 0 / R Reescribiendo P O1 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. x R x R+ (1)
Axiomas de campo
Axiomas de orden
Desigualdades
Desigualdades
Denici on (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)
Axiomas de campo
Axiomas de orden
Desigualdades
Desigualdades
Denici on (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+ . Observaci on Si en (2) x = 0, se tiene 0 < y y 0 = y R+ . Luego (2)
Axiomas de campo
Axiomas de orden
Desigualdades
Desigualdades
Denici on (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+ . Observaci on Si en (2) x = 0, se tiene 0 < y y 0 = y R+ . Luego R+ = {x R : x > 0}. (2)
Axiomas de campo
Axiomas de orden
Desigualdades
Desigualdades
Denici on (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+ . Observaci on 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}. (2)
Axiomas de campo
Axiomas de orden
Desigualdades
Desigualdades
Denici on (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+ . Observaci on 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}. (2)
Axiomas de campo
Axiomas de orden
Desigualdades
M as desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
M as desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
M as desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
M as desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Teorema (Ley de tricotom a) Si x, y R, entonces se cumple una y solamente una de las siguientes armaciones x < y; x = y; x > y.
Axiomas de campo
Axiomas de orden
Desigualdades
Teorema (Ley de tricotom a) Si x, y R, entonces se cumple una y solamente una de las siguientes armaciones x < y; x = y; x > y. Demostraci on: Como consecuencia del Axioma (P O1) para el n umero x y , se tiene una de las siguientes armaciones
Axiomas de campo
Axiomas de orden
Desigualdades
Teorema (Ley de tricotom a) Si x, y R, entonces se cumple una y solamente una de las siguientes armaciones x < y; x = y; x > y. Demostraci on: Como consecuencia del Axioma (P O1) para el n umero x y , se tiene una de las siguientes armaciones x y R+ ; x y = 0; x y R ;
Axiomas de campo
Axiomas de orden
Desigualdades
Teorema (Ley de tricotom a) Si x, y R, entonces se cumple una y solamente una de las siguientes armaciones x < y; x = y; x > y. Demostraci on: Como consecuencia del Axioma (P O1) 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,
Axiomas de campo
Axiomas de orden
Desigualdades
Teorema (Ley de tricotom a) Si x, y R, entonces se cumple una y solamente una de las siguientes armaciones x < y; x = y; x > y. Demostraci on: Como consecuencia del Axioma (P O1) 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.
Axiomas de campo
Axiomas de orden
Desigualdades
Teorema (Ley de tricotom a) Si x, y R, entonces se cumple una y solamente una de las siguientes armaciones x < y; x = y; x > y. Demostraci on: Como consecuencia del Axioma (P O1) 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.
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
Axiomas de orden
Desigualdades
Teorema (Propiedades adicionales) Transitividad: Para cada x, y, z R. (x < y y < z ) = x < z. Monoton a de la suma: Para cada x, y, z R. x < y x + z < y + z.
Axiomas de campo
Axiomas de orden
Desigualdades
Teorema (Propiedades adicionales) Transitividad: Para cada x, y, z R. (x < y y < z ) = x < z. Monoton a de la suma: Para cada x, y, z R. x < y x + z < y + z. Monoton a 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.
Axiomas de campo
Axiomas de orden
Desigualdades
Teorema (Propiedades adicionales) Transitividad: Para cada x, y, z R. (x < y y < z ) = x < z. Monoton a de la suma: Para cada x, y, z R. x < y x + z < y + z. Monoton a 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.
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.
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 = x2 , entonces x2 0. Para cada x, y R+ , x < y x2 < y 2 .
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 = x2 , entonces x2 0. Para cada x, y R+ , x < y x2 < y 2 .