Anda di halaman 1dari 108

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 Matem aticas Facultad de Ciencias Exactas y Naturales Universidad de Antioquia
Copyleft c 2008. Reproducci on permitida bajo los t erminos 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: 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, . . .}

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Los n umeros naturales

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:

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Los n umeros naturales

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:

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Uniformidad: Para cada x, y, w, z N vale x+w = x = y o = xw = w = z

y+z yz

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Uniformidad: Para cada x, y, w, z N vale x+w = x = y o = xw = w = z Asosiatividad: Para cada x, y, z N vale (x + y ) + z = x + (y + z ); (x y ) z = x (y z ).

y+z yz

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Uniformidad: Para cada x, y, w, z N vale x+w = x = y o = xw = w = z Asosiatividad: Para cada x, y, z N vale (x + y ) + z = x + (y + z ); (x y ) z = x (y z ).

y+z yz

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

Uniformidad: Para cada x, y, w, z N vale x+w = x = y o = xw = w = z Asosiatividad: Para cada x, y, z N vale (x + y ) + z = x + (y + z ); (x y ) z = x (y z ).

y+z yz

Conmutatividad: Para cada x, y N vale x + y = y + x; x y = y x.

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

Uniformidad: Para cada x, y, w, z N vale x+w = x = y o = xw = w = z Asosiatividad: Para cada x, y, z N vale (x + y ) + z = x + (y + z ); (x y ) z = x (y z ).

y+z yz

Conmutatividad: Para cada x, y N vale x + y = y + x; x y = y x.

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.

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Uniformidad: Para cada x, y, w, z N vale x+w = x = y o = xw = w = z Asosiatividad: Para cada x, y, z N vale (x + y ) + z = x + (y + z ); (x y ) z = x (y z ).

y+z yz

Conmutatividad: Para cada x, y N vale x + y = y + x; x y = y x.

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.

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 matem aticas s olo 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 matem aticas s olo 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 matem aticas s olo con los n umeros naturales. Z = {. . . , 2, 1, 0, 1, 2, 3, . . .} NZ

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 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

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 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)

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 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.

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 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.

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 matem aticas s olo 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 matem aticas s olo con los n umeros enteros. nm n o : m Z, n Z, n = 0

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 matem aticas s olo con los n umeros enteros. nm n o : m Z, n Z, n = 0

Q=

ZQ

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 matem aticas s olo con los n umeros enteros. nm n o : m Z, n Z, n = 0

Q=

En Q est an denidas +, y cumplen una nueva propiedad

ZQ

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 matem aticas s olo con los n umeros enteros. nm n o : m Z, n Z, n = 0

Q=

En Q est an denidas +, y cumplen una nueva propiedad


1

ZQ

Invertividad: Para cada x Q, existe un u nico 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 matem aticas s olo con los n umeros enteros. nm n o : m Z, n Z, n = 0

Q=

En Q est an denidas +, y cumplen una nueva propiedad


1

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.

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 matem aticas s olo con los n umeros enteros. nm n o : m Z, n Z, n = 0

Q=

En Q est an denidas +, y cumplen una nueva propiedad


1

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 .

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 matem aticas s olo con los n umeros enteros. nm n o : m Z, n Z, n = 0

Q=

En Q est an denidas +, y cumplen una nueva propiedad


1

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 .

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Los n umeros irracionales


Los n umeros irracionales: Diversos problemas relacionados con geometr a dieron surgimiento a nuevos n umeros cuyas magnitudes son inconmensurables, i.e., no admiten representaci on 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 geometr a dieron surgimiento a nuevos n umeros cuyas magnitudes son inconmensurables, i.e., no admiten representaci on 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 geometr a dieron surgimiento a nuevos n umeros cuyas magnitudes son inconmensurables, i.e., no admiten representaci on 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 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.

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Los n umeros irracionales


Los n umeros irracionales: Diversos problemas relacionados con geometr a dieron surgimiento a nuevos n umeros cuyas magnitudes son inconmensurables, i.e., no admiten representaci on 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 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.

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Los n umeros reales

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 .

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Los n umeros reales

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

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Los n umeros reales

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

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Los n umeros reales

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

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Los n umeros reales

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

Los n umeros reales

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.

Los n umeros reales

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.

Los n umeros reales

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.

Los n umeros reales

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.

Los n umeros reales

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.

Los n umeros reales

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.

Los n umeros reales

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.

Los n umeros reales

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

Los n umeros reales

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

Los n umeros reales

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

Los n umeros reales

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

Los n umeros reales

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

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de campo

Ley cancelativa de la adici on:

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de campo

Ley cancelativa de la adici on: 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 adici on: Para cada x, y, z R, x + y = x + z = y = z. Demostraci on: x+y = x+z Hip otesis

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de campo

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)

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de campo

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)

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de campo

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)

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de campo

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)

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de campo

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)

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de campo

Ley cancelativa de la multiplicaci on:

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de campo

Ley cancelativa de la multiplicaci on: 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 multiplicaci on: Para cada x, y, z R, (x = 0 x y = x z ) = y = z. Demostraci on: x =0 xy = xz Hip otesis

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de campo

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)

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de campo

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)

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de campo

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)

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de campo

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)

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de campo

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)

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

M as 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

M as 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

M as 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

M as 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 = x1 = 0.

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

M as 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 = x1 = 0. ( x ) = x .

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

M as 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 = x1 = 0. ( x ) = x . x = 0 = (x1 )1 = x.

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

M as 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 = x1 = 0. ( x ) = x . x = 0 = (x1 )1 = x. (x + y ) = ( x ) + ( y ).

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

M as 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 = x1 = 0. ( x ) = x . x = 0 = (x1 )1 = x. (x + y ) = ( x ) + ( y ). x = 0 y = 0 = (x y )1 = x1 y 1 .

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

M as 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 = x1 = 0. ( x ) = x . x = 0 = (x1 )1 = x. (x + y ) = ( x ) + ( y ). x = 0 y = 0 = (x y )1 = x1 y 1 .

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

M as consecuencias de los axiomas de campo Para cada x, y, z, w R, y = 0, w = 0 z xw+yz x + = y w yw

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

M as consecuencias de los axiomas de campo Para cada x, y, z, w R, y = 0, w = 0 z xw+yz x + = y w yw x z xz = y w yw

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

M as consecuencias de los axiomas de campo Para cada x, y, z, w R, y = 0, w = 0 z xw+yz x + = y w yw x z xz = y w yw

x = (1) x

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

M as consecuencias de los axiomas de campo Para cada x, y, z, w R, y = 0, w = 0 z xw+yz x + = y w yw x z xz = y w yw

x = (1) x ( x ) ( y ) = x y

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

M as consecuencias de los axiomas de campo Para cada x, y, z, w R, y = 0, w = 0 z xw+yz x + = y w yw x z xz = y w yw

x = (1) x ( x ) ( y ) = x y (x y ) = ( x ) y = x ( y )

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

M as consecuencias de los axiomas de campo Para cada x, y, z, w R, y = 0, w = 0 z xw+yz x + = y w yw x z xz = y w yw

x = (1) x ( x ) ( y ) = x y (x y ) = ( x ) y = x ( y ) x x x = = y y y

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

M as consecuencias de los axiomas de campo Para cada x, y, z, w R, y = 0, w = 0 z xw+yz x + = y w yw x z xz = y w yw

x = (1) x ( x ) ( y ) = x y (x y ) = ( x ) y = x ( y ) x x x = = y y 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+ . 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+ . 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+ . 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+ . 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

Observaci on Como consecuencia de la notaci on y del axioma (P O1) se tiene

Los n umeros reales

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 x R x R+ (1)

Los n umeros reales

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)

Los n umeros reales

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)

Los n umeros reales

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)

Los n umeros reales

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)

Los n umeros reales

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)

Los n umeros reales

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)

Los n umeros reales

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)

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

M as 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

M as 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

M as 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

M as 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 tricotom a) 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 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

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de orden

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 ;

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de orden

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,

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de orden

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.

Los n umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades

Consecuencias de los axiomas de orden

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.

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. Monoton a 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. 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.

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. 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.

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 = x2 , entonces x2 0. Para cada x, y R+ , x < y x2 < 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 = x2 , entonces x2 0. Para cada x, y R+ , x < y x2 < y 2 .