Está en la página 1de 108

Los n´umeros reales

Axiomas de campo

Axiomas de orden

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

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

Los n´umeros naturales

Axiomas de orden

Desigualdades
Desigualdades
campo Los n´umeros naturales Axiomas de orden Desigualdades Los n´umeros naturales: Hist´oricamente surgen ante la

Los n´umeros naturales: Hist´oricamente surgen ante la necesidad de contar o enumerar en las diversas civilizaciones. Informal mente hablando los n´umeros naturaless son aquellos que sirven pa ra designar el n´umero de elementos de um conjunto finito.

N = {0, 1, 2, 3,

}

son aquellos que sirven pa ra designar el n´umero de elementos de um conjunto finito. N

Los n´umeros reales

Axiomas de campo

Los n´umeros naturales

Axiomas de orden

Desigualdades
Desigualdades
campo Los n´umeros naturales Axiomas de orden Desigualdades Los n´umeros naturales: Hist´oricamente surgen ante la

Los n´umeros naturales: Hist´oricamente surgen ante la necesidad de contar o enumerar en las diversas civilizaciones. Informal mente hablando los n´umeros naturaless son aquellos que sirven pa ra designar el n´umero de elementos de um conjunto finito.

N = {0, 1, 2, 3,

}

En N se definen las operaciones de adici´on (+) y multiplicaci´on ( ·),

estas operaciones poseen las siguientes propiedades:

las operaciones de adici´on (+) y multiplicaci´on ( · ), estas operaciones poseen las siguientes propiedades:

Los n´umeros reales

Axiomas de campo

Los n´umeros naturales

Axiomas de orden

Desigualdades
Desigualdades
campo Los n´umeros naturales Axiomas de orden Desigualdades Los n´umeros naturales: Hist´oricamente surgen ante la

Los n´umeros naturales: Hist´oricamente surgen ante la necesidad de contar o enumerar en las diversas civilizaciones. Informal mente hablando los n´umeros naturaless son aquellos que sirven pa ra designar el n´umero de elementos de um conjunto finito.

N = {0, 1, 2, 3,

}

En N se definen las operaciones de adici´on (+) y multiplicaci´on ( ·),

estas operaciones poseen las siguientes propiedades:

las operaciones de adici´on (+) y multiplicaci´on ( · ), estas operaciones poseen las siguientes propiedades:

Los n´umeros reales

Axiomas de campo

Axiomas de orden

1
1

Uniformidad: Para cada x, y, w, z N vale

x

w

=

=

y o = x + w x · w

z

=

=

+ z

y

y · z

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Uniformidad: Para cada x, y, w, z ∈ N vale Para cada x, y, w, z N vale

x

w

=

=

y o = x + w x · w

z

=

=

+ z

y

y · z

Asosiatividad: Para cada x, y, z ∈ N vale 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

Uniformidad: Para cada x, y, w, z N vale

x

w

=

=

y o = x + w x · w

z

=

=

+ z

y

y · z

Asosiatividad: Para cada x, y, z N vale

( x + y ) + z = x + ( y + z );

( x · y ) · z = x · ( y · z ) .

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
Desigualdades

Uniformidad: Para cada x, y, w, z N vale

x

w

=

=

y o = x + w x · w

z

=

=

+ z

y

y · z

Asosiatividad: Para cada x, y, z N vale

( x + y ) + z = x + ( y + z );

( x · y ) · z = x · ( y · z ) .

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.

neutros, zero (0) y uno (1) tales que para cada x ∈ N vale x +

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades
Desigualdades

Uniformidad: Para cada x, y, w, z N vale

x

w

=

=

y o = x + w x · w

z

=

=

+ z

y

y · z

Asosiatividad: Para cada x, y, z N vale

( x + y ) + z = x + ( y + z );

( x · y ) · z = x · ( y · z ) .

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.

· 1 = x = 1 · x. Distributiva: Para cada x, y, z ∈ N

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades
Desigualdades

Uniformidad: Para cada x, y, w, z N vale

x

w

=

=

y o = x + w x · w

z

=

=

+ z

y

y · z

Asosiatividad: Para cada x, y, z N vale

( x + y ) + z = x + ( y + z );

( x · y ) · z = x · ( y · z ) .

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.

· 1 = x = 1 · x. Distributiva: Para cada x, y, z ∈ N

Los n´umeros reales

Axiomas de campo

Los n´umeros enteros

Axiomas de orden

Axiomas de campo Los n´umeros enteros Axiomas de orden Los n´umeros enteros: Surgen ante la imposibilidad

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

Los n´umeros enteros

Axiomas de orden

Axiomas de campo Los n´umeros enteros Axiomas de orden Los n´umeros enteros: Surgen ante la imposibilidad

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

Los n´umeros enteros

Axiomas de orden

Axiomas de campo Los n´umeros enteros Axiomas de orden Los n´umeros enteros: Surgen ante la imposibilidad

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,

N Z

.}

Los n´umeros reales

Axiomas de campo

Los n´umeros enteros

Axiomas de orden

Axiomas de campo Los n´umeros enteros Axiomas de orden Los n´umeros enteros: Surgen ante la imposibilidad

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,

N Z

.}

En Z est´an definidas la adici´on + y la multiplicaci´on ·

Los n´umeros reales

Axiomas de campo

Los n´umeros enteros

Axiomas de orden

Axiomas de campo Los n´umeros enteros Axiomas de orden Los n´umeros enteros: Surgen ante la imposibilidad

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,

N Z

.}

En Z est´an definidas 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

Los n´umeros enteros

Axiomas de orden

Axiomas de campo Los n´umeros enteros Axiomas de orden Los n´umeros enteros: Surgen ante la imposibilidad

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,

N Z

.}

En Z est´an definidas la adici´on + y la multiplicaci´on ·

La adici´on en Z cumple una nueva propiedad (no v´alida en N )

1
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

Los n´umeros enteros

Axiomas de orden

Axiomas de campo Los n´umeros enteros Axiomas de orden Los n´umeros enteros: Surgen ante la imposibilidad

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,

N Z

.}

En Z est´an definidas la adici´on + y la multiplicaci´on ·

La adici´on en Z cumple una nueva propiedad (no v´alida en N )

1
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

Los n´umeros racionales

Axiomas de orden

Desigualdades
Desigualdades
Los n´umeros racionales Axiomas de orden Desigualdades Los n´umeros racionales: Surgen ante la imposibilidad de

Los n´umeros racionales: Surgen ante la imposibilidad de resolver algunas necesidades matem´aticas s´olo con los n´umeros enteros.

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

Los n´umeros racionales

Axiomas de orden

Desigualdades
Desigualdades
Los n´umeros racionales Axiomas de orden Desigualdades Los n´umeros racionales: Surgen ante la imposibilidad de

Los n´umeros racionales: Surgen ante la imposibilidad de resolver algunas necesidades matem´aticas s´olo con los n´umeros enteros.

Q = n m : m Z , n Z , n = 0 o

n

necesidades matem´aticas s´olo con los n´umeros enteros. Q = n m : m ∈ Z ,

Los n´umeros reales

Axiomas de campo

Los n´umeros racionales

Axiomas de orden

Desigualdades
Desigualdades
Los n´umeros racionales Axiomas de orden Desigualdades Los n´umeros racionales: Surgen ante la imposibilidad de

Los n´umeros racionales: Surgen ante la imposibilidad de resolver algunas necesidades matem´aticas s´olo con los n´umeros enteros.

Q

= n m

n

: m Z , n Z , n =

0 o

Z Q

necesidades matem´aticas s´olo con los n´umeros enteros. Q = n m n : m ∈ Z

Los n´umeros reales

Axiomas de campo

Los n´umeros racionales

Axiomas de orden

Desigualdades
Desigualdades
Los n´umeros racionales Axiomas de orden Desigualdades Los n´umeros racionales: Surgen ante la imposibilidad de

Los n´umeros racionales: Surgen ante la imposibilidad de resolver algunas necesidades matem´aticas s´olo con los n´umeros enteros.

Q

= n m

n

: m Z , n Z , n = 0 o

Z Q

En Q est´an definidas +, · y cumplen una nueva propiedad

n m n : m ∈ Z , n ∈ Z , n = 0 o

Los n´umeros reales

Axiomas de campo

Los n´umeros racionales

Axiomas de orden

Desigualdades
Desigualdades
Los n´umeros racionales Axiomas de orden Desigualdades Los n´umeros racionales: Surgen ante la imposibilidad de

Los n´umeros racionales: Surgen ante la imposibilidad de resolver algunas necesidades matem´aticas s´olo con los n´umeros enteros.

Q

= n m

n

: m Z , n Z , n = 0 o

Z Q

En Q est´an definidas +, · y cumplen una nueva propiedad

1
1

Invertividad: Para cada x Q , existe un unico´ x + y = y + x = 0.

y Q tal que

nueva propiedad 1 Invertividad: Para cada x ∈ Q , existe un unico´ x + y

Los n´umeros reales

Axiomas de campo

Los n´umeros racionales

Axiomas de orden

Desigualdades
Desigualdades
Los n´umeros racionales Axiomas de orden Desigualdades Los n´umeros racionales: Surgen ante la imposibilidad de

Los n´umeros racionales: Surgen ante la imposibilidad de resolver algunas necesidades matem´aticas s´olo con los n´umeros enteros.

Q

= n m

n

: m Z , n Z , n = 0 o

Z Q

En Q est´an definidas +, · y cumplen una nueva propiedad

1
1

Invertividad: Para cada x Q , existe un unico´ x + y = y + x = 0.

Si x = 0, existe un unico´

y Q tal que x · y = y · x = 1.

y Q tal que

y = y + x = 0 . Si x = 0, existe un unico´ y

Los n´umeros reales

Axiomas de campo

Los n´umeros racionales

Axiomas de orden

Desigualdades
Desigualdades
Los n´umeros racionales Axiomas de orden Desigualdades Los n´umeros racionales: Surgen ante la imposibilidad de

Los n´umeros racionales: Surgen ante la imposibilidad de resolver algunas necesidades matem´aticas s´olo con los n´umeros enteros.

Q = n m : m Z , n Z , n = 0 o

n

Z Q

En Q est´an definidas +, · y cumplen una nueva propiedad

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

Los n´umeros racionales

Axiomas de orden

Desigualdades
Desigualdades
Los n´umeros racionales Axiomas de orden Desigualdades Los n´umeros racionales: Surgen ante la imposibilidad de

Los n´umeros racionales: Surgen ante la imposibilidad de resolver algunas necesidades matem´aticas s´olo con los n´umeros enteros.

Q = n m : m Z , n Z , n = 0 o

n

Z Q

En Q est´an definidas +, · y cumplen una nueva propiedad

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

Los n´umeros irracionales

Axiomas de orden

Desigualdades
Desigualdades
Los n´umeros irracionales Axiomas de orden Desigualdades Los n´umeros irracionales: Diversos problemas relacionados

Los n´umeros irracionales: Diversos problemas relacionados con geometr´ıa dieron surgimiento a nuevos n´umeros cuyas magn itudes son inconmensurables, i.e., no admiten representaci´on racio nal. Se denotan por

Q

n´umeros cuyas magn itudes son inconmensurables, i.e., no admiten representaci´on racio nal. Se denotan por Q

Los n´umeros reales

Axiomas de campo

Los n´umeros irracionales

Axiomas de orden

Desigualdades
Desigualdades
Los n´umeros irracionales Axiomas de orden Desigualdades Los n´umeros irracionales: Diversos problemas relacionados

Los n´umeros irracionales: Diversos problemas relacionados con geometr´ıa dieron surgimiento a nuevos n´umeros cuyas magn itudes son inconmensurables, i.e., no admiten representaci´on racio nal. Se denotan por

Q

Ejemplos de n´umeros irracionales son

2, 2, 3, 3 , π, π

por Q ∗ Ejemplos de n´umeros irracionales son − √ 2 , √ 2 , −

Los n´umeros reales

Axiomas de campo

Los n´umeros irracionales

Axiomas de orden

Desigualdades
Desigualdades
Los n´umeros irracionales Axiomas de orden Desigualdades Los n´umeros irracionales: Diversos problemas relacionados

Los n´umeros irracionales: Diversos problemas relacionados con geometr´ıa dieron surgimiento a nuevos n´umeros cuyas magn itudes son inconmensurables, i.e., no admiten representaci´on racio nal. Se denotan por

Q

Ejemplos de n´umeros irracionales son

− √ 2, √ 2, − √ 3, √ 3 , − π, π +,
− √ 2, √ 2, − √ 3, √ 3 , − π, π
+, · no son operaciones en Q ∗
No necesariamente la suma o la multiplicaci´on de dos n´umer os 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

Los n´umeros irracionales

Axiomas de orden

Desigualdades
Desigualdades
Los n´umeros irracionales Axiomas de orden Desigualdades Los n´umeros irracionales: Diversos problemas relacionados

Los n´umeros irracionales: Diversos problemas relacionados con geometr´ıa dieron surgimiento a nuevos n´umeros cuyas magn itudes son inconmensurables, i.e., no admiten representaci´on racio nal. Se denotan por

Q

Ejemplos de n´umeros irracionales son

− √ 2, √ 2, − √ 3, √ 3 , − π, π +,
− √ 2, √ 2, − √ 3, √ 3 , − π, π
+, · no son operaciones en Q ∗
No necesariamente la suma o la multiplicaci´on de dos n´umer os 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

Los n´umeros reales

Axiomas de orden

Desigualdades
Desigualdades
de campo Los n´umeros reales Axiomas de orden Desigualdades Los de n´umeros reales: La uni´on del

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 .

irracionales forma el conjunto de los n´umeros reales , que se denota por R , o

Los n´umeros reales

Axiomas de campo

Los n´umeros reales

Axiomas de orden

Desigualdades
Desigualdades
de campo Los n´umeros reales Axiomas de orden Desigualdades Los de n´umeros reales: La uni´on del

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

, que se denota por R , o sea R = Q ∪ Q ∗ .

Los n´umeros reales

Axiomas de campo

Los n´umeros reales

Axiomas de orden

Desigualdades
Desigualdades
de campo Los n´umeros reales Axiomas de orden Desigualdades Los de n´umeros reales: La uni´on del

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

, que se denota por R , o sea R = Q ∪ Q ∗ .

Los n´umeros reales

Axiomas de campo

Los n´umeros reales

Axiomas de orden

Desigualdades
Desigualdades
de campo Los n´umeros reales Axiomas de orden Desigualdades Los de n´umeros reales: La uni´on del

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 − 1 0 1 √ 2 2
7
− 1
0
1
√ 2
2

R

R , o sea R = Q ∪ Q ∗ . Una representaci´on geom´etrica de R

Los n´umeros reales

Axiomas de campo

Los n´umeros reales

Axiomas de orden

Desigualdades
Desigualdades
de campo Los n´umeros reales Axiomas de orden Desigualdades Los de n´umeros reales: La uni´on del

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 − 1 0 1 √ 2 2
7
− 1
0
1
√ 2
2

R

R , o sea R = Q ∪ Q ∗ . Una representaci´on geom´etrica de R

Los n´umeros reales

Axiomas de campo

Axiomas de campo

Axiomas de orden

AC1 Uniformidad: Para cada x, y, w, z R ,

x

w

=

=

y o = x + w x · w

z

=

=

+ z

y

y · z.

Los n´umeros reales

Axiomas de campo

Axiomas de campo

Axiomas de orden

AC1

Uniformidad: Para cada x, y, w, z R ,

x

w

=

=

y o = x + w x · w

z

=

=

+ z

y

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 campo

Axiomas de orden

AC1

Uniformidad: Para cada x, y, w, z R ,

x

w

=

=

y o = x + w x · w

z

=

=

+ z

y

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 campo

Axiomas de orden

AC1

Uniformidad: Para cada x, y, w, z R ,

x

w

=

=

y o = x + w x · w

z

=

=

+ z

y

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.

Desigualdades
Desigualdades

AC4 Modulativa: Existen reales cero (0), uno (1) tales que para x R ,

x + 0 = x = 0 + x ;

x · 1 = x = 1 · x.

Existen reales cero (0), uno (1) tales que para x ∈ R , x + 0

Los n´umeros reales

Axiomas de campo

Axiomas de campo

Axiomas de orden

AC1

Uniformidad: Para cada x, y, w, z R ,

x

w

=

=

y o = x + w x · w

z

=

=

+ z

y

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.

Desigualdades
Desigualdades

AC4 Modulativa: Existen reales cero (0), uno (1) tales que para x R ,

x + 0 = x = 0 + x ;

x · 1 = x = 1 · x.

R , x + 0 = x = 0 + x ; x · 1 =

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.

Los n´umeros reales

Axiomas de campo

Axiomas de campo

Axiomas de orden

AC1

Uniformidad: Para cada x, y, w, z R ,

x

w

=

=

y o = x + w x · w

z

=

=

+ z

y

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.

Desigualdades
Desigualdades

AC4 Modulativa: Existen reales cero (0), uno (1) tales que para x R ,

x + 0 = x = 0 + x ;

x · 1 = x = 1 · x.

R , x + 0 = x = 0 + x ; x · 1 =

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.

Los n´umeros reales

Axiomas de campo

Axiomas de campo

Axiomas de orden

Desigualdades
Desigualdades

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.

n´umero real llamado el inverso aditivo u opuesto de x y denotado por − x ,

Los n´umeros reales

Axiomas de campo

Axiomas de campo

Axiomas de orden

Desigualdades
Desigualdades

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´

inverso multiplicativo de x y denotado por x 1 ´o x , tal que

n´umero real llamado el

1

1

x · x 1 = x · x = 1.

de x y denotado por x 1 ´o x , tal que n´umero real llamado el

Los n´umeros reales

Axiomas de campo

Axiomas de campo

Axiomas de orden

Desigualdades
Desigualdades

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

AC6

x + ( x ) = 0.

Para cada n´umero real x = 0, existe un unico´

inverso multiplicativo de x y denotado por x 1 ´o x , tal que

n´umero real llamado el

1

1

x · x 1 = x · x = 1.

Distributiva: Para cada x, y, z R ,

x · ( y + z ) = x · y + x · z.

1 = x · x = 1 . Distributiva: Para cada x, y, z ∈ R

Los n´umeros reales

Axiomas de campo

Axiomas de campo

Axiomas de orden

Desigualdades
Desigualdades

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

AC6

x + ( x ) = 0.

Para cada n´umero real x = 0, existe un unico´

inverso multiplicativo de x y denotado por x 1 ´o x , tal que

n´umero real llamado el

1

1

x · x 1 = x · x = 1.

Distributiva: Para cada x, y, z R ,

x · ( y + z ) = x · y + x · z.

1 = x · x = 1 . Distributiva: Para cada x, y, z ∈ R
Los n´umeros reales Axiomas de campo Axiomas de orden Desigualdades Diferencia y Divisi´on Empleando la
Los n´umeros reales
Axiomas de campo
Axiomas de orden
Desigualdades
Diferencia y Divisi´on
Empleando la propiedad de invertividad P C 5, se definen 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 · y = x · y − 1 .
y
reales, en efecto para cada x, y ∈ R , x − y = x +
Los n´umeros reales Axiomas de campo Axiomas de orden Desigualdades Diferencia y Divisi´on Empleando la
Los n´umeros reales
Axiomas de campo
Axiomas de orden
Desigualdades
Diferencia y Divisi´on
Empleando la propiedad de invertividad P C 5, se definen 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 · y = x · y − 1 .
y
reales, en efecto para cada x, y ∈ R , x − y = x +

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Consecuencias de los axiomas de campo

n´umeros reales Axiomas de campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa

Ley cancelativa de la adici´on:

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Consecuencias de los axiomas de campo

campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de la adici´on: Para

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

Consecuencias de los axiomas de campo

campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de la adici´on: Para

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

Consecuencias de los axiomas de campo

campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de la adici´on: Para

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

( x ) + x + y

=

( x ) + x + z

( AC 1)

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Consecuencias de los axiomas de campo

campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de la adici´on: Para

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

( x ) + x + y

=

( x ) + x

+

z

( AC 1)

( x + x ) + y

=

( x + x ) + z

( AC 2)

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Consecuencias de los axiomas de campo

campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de la adici´on: Para

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

( x ) + x + y

=

( x ) + x

+

z

( AC 1)

( x + x ) + y

=

( x + x ) +

z

( AC 2)

 

0

+

y

=

0 + z

( AC 5)

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Consecuencias de los axiomas de campo

campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de la adici´on: Para

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

( x ) + x + y

=

( x ) + x

+

z

( AC 1)

( x + x ) + y

=

( x + x ) +

z

( AC 2)

 

0

+

y

=

0 + z

( AC 5)

 

y

=

z

( AC 4)

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Consecuencias de los axiomas de campo

campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de la adici´on: Para

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

( x ) + x + y

=

( x ) + x

+

z

( AC 1)

( x + x ) + y

=

( x + x ) +

z

( AC 2)

 

0

+

y

=

0 + z

( AC 5)

 

y

=

z

( AC 4)

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Consecuencias de los axiomas de campo

reales Axiomas de campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de

Ley cancelativa de la multiplicaci´on:

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Consecuencias de los axiomas de campo

campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de la multiplicaci´on: Para

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

Consecuencias de los axiomas de campo

campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de la multiplicaci´on: Para

Ley cancelativa de la multiplicaci´on:

Para cada x, y, z R ,

( x = 0 x · y = x · z ) =y = z.

Demostraci´on:

x = 0 x · y

=

x · z

Hip´otesis

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Consecuencias de los axiomas de campo

campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de la multiplicaci´on: Para

Ley cancelativa de la multiplicaci´on:

Para cada x, y, z R ,

( x = 0 x · y = x · z ) =y = z.

Demostraci´on:

x

= 0 x · y

=

x · z

Hip´otesis

( x 1 ) · ( x · y )

=

( x 1 ) · ( x · z )

( AC 1)

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Consecuencias de los axiomas de campo

campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de la multiplicaci´on: Para

Ley cancelativa de la multiplicaci´on:

Para cada x, y, z R ,

( x = 0 x · y = x · z ) =y = z.

Demostraci´on:

x

= 0 x · y

=

x · z

Hip´otesis

( x 1 ) · ( x · y )

=

( x 1 ) · ( x · z )

( AC 1)

 

( x 1 · x ) · y

=

( x 1 · x ) · z

( AC 2)

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Consecuencias de los axiomas de campo

campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de la multiplicaci´on: Para

Ley cancelativa de la multiplicaci´on:

Para cada x, y, z R ,

( x = 0 x · y = x · z ) =y = z.

Demostraci´on:

x

= 0 x · y

=

x · z

Hip´otesis

( x 1 ) · ( x · y )

=

( x 1 ) · ( x · z )

( AC 1)

( x 1 · x ) · y

=

( x 1 · x ) · z

( AC 2)

 

1 · y

=

1 · z

( AC 5)

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Consecuencias de los axiomas de campo

campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de la multiplicaci´on: Para

Ley cancelativa de la multiplicaci´on:

Para cada x, y, z R ,

( x = 0 x · y = x · z ) =y = z.

Demostraci´on:

x

= 0 x · y

=

x · z

Hip´otesis

( x 1 ) · ( x · y )

=

( x 1 ) · ( x · z )

( AC 1)

( x 1 · x ) · y

=

( x 1 · x ) · z

( AC 2)

1 · y

=

1 · z

( AC 5)

 

y

=

z

( AC 4)

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Consecuencias de los axiomas de campo

campo Axiomas de orden Consecuencias de los axiomas de campo Ley cancelativa de la multiplicaci´on: Para

Ley cancelativa de la multiplicaci´on:

Para cada x, y, z R ,

( x = 0 x · y = x · z ) =y = z.

Demostraci´on:

x

= 0 x · y

=

x · z

Hip´otesis

( x 1 ) · ( x · y )

=

( x 1 ) · ( x · z )

( AC 1)

( x 1 · x ) · y

=

( x 1 · x ) · z

( AC 2)

1 · y

=

1 · z

( AC 5)

 

y

=

z

( AC 4)

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades
Desigualdades
M´as consecuencias de los axiomas de campo
M´as consecuencias de los axiomas de campo

Para cada x, y R x · 0 = 0.

Para cada x, y ∈ R x · 0 = 0 .
M´as consecuencias de los axiomas de campo Para cada x, y ∈ R x · 0
Axiomas de orden Desigualdades M´as consecuencias de los axiomas de campo Para cada x, y ∈

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades
Desigualdades
M´as consecuencias de los axiomas de campo
M´as consecuencias de los axiomas de campo

Para cada x, y R

x · 0 = 0 . · 0 = 0.

1 = 0. 0.

M´as consecuencias de los axiomas de campo Para cada x, y ∈ R x · 0
orden Desigualdades M´as consecuencias de los axiomas de campo Para cada x, y ∈ R x

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades
Desigualdades
M´as consecuencias de los axiomas de campo
M´as consecuencias de los axiomas de campo

Para cada x, y R

x · 0 = 0 . · 0 = 0.

1 = 0. 0.

x · y = 0 = ⇒ x = 0 ∨ y = 0 . · y = 0 =x = 0 y = 0.

los axiomas de campo Para cada x, y ∈ R x · 0 = 0 .
axiomas de campo Para cada x, y ∈ R x · 0 = 0 . 1

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades
Desigualdades
M´as consecuencias de los axiomas de campo
M´as consecuencias de los axiomas de campo

Para cada x, y R

x · 0 = 0 . · 0 = 0.

1 = 0. 0.

x · y = 0 = ⇒ x = 0 ∨ y = 0 . · y = 0 =x = 0 y = 0.

x = 0 = ⇒ x − 1 = 0 . = 0 =x 1 = 0.

R x · 0 = 0 . 1 = 0. x · y = 0 =
R x · 0 = 0 . 1 = 0. x · y = 0 =

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades
Desigualdades
M´as consecuencias de los axiomas de campo
M´as consecuencias de los axiomas de campo

Para cada x, y R

x · 0 = 0 .

x

· 0 = 0.

1 = 0.

1 = 0.

x · y = 0 = ⇒ x = 0 ∨ y = 0 .

x

· y = 0 =x = 0 y = 0.

x = 0 = ⇒ x − 1 = 0 .

x

= 0 =x 1 = 0.

− ( − x ) = x .

( x ) = x .

x · y = 0 = ⇒ x = 0 ∨ y = 0 . x
x · y = 0 = ⇒ x = 0 ∨ y = 0 . x

Los n´umeros reales

Axiomas de campo

Axiomas de orden

Desigualdades
Desigualdades
M´as consecuencias de los axiomas de campo