Nmeros Reales.

1.1 Axiomas de campo y propiedades adicionales.

1.2 Axiomas de orden y propiedades adicionales.
1.3 Cotas y axiomas de completitud.
1.4 Valor absoluto y sus propiedades.
1.5 Ecuaciones e inecuaciones con y sin valor
absoluto.
1.5.1 Polinmicas.
1.5.2 Racionales.
(Semanas 1 y 2)
En esta Clase
Los Nmeros Naturales ( )

Son los nmeros entero positivos

(1,2,3,,n,)
Nacen de la necesidad del ser humano de
contar los objetos de conjuntos
La suma a+b y el producto ab de dos nmeros
naturales, son tambin nmeros naturales
(Propiedad de clausura respecto a ambas
operaciones)
Los Nmeros Enteros( )
Son los nmeros enteros positivos y negativos y
el cero (,-3,-2,-1,0,1,2,3,)
Permiten resolver ecuaciones como
Lo que conduce a la operacin sustraccin
resta, inversa de la suma adicin:
Los enteros son un conjunto cerrado respecto de
la resta

x b a + = , a b
x a b =

Los Nmeros Racionales ( )
Son nmeros de la forma
En los racionales se puede resolver ecuaciones
del tipo
Lo que conduce a la operacin divisin,
inversa de la multiplicacin, que se expresa:

, , 0
a
a b b
b
{
, , , 0 bx a a b b = {

, ya que ,
1
a
a a =

a
x x a b
b
= =
Es til asociar a los nmeros racionales con los
puntos de la recta numrica coordenada
De la misma manera, todo racional puede ser
expresado en forma decimal:
17/10=1.7 9/100=0.09 1/6=0.1666 1/7=0.142857142857142857
-3 -2 -1 0 1 2 3 4 5
1/2 1/3 5/4
-1/2 -3/16
Los racionales son los nmeros cuya expansin
decimal termina en una cuerda infinita de ceros,
bien, eventualmente repite un bloque de
nmeros en forma infinita:
=0.75000 23/11=2.090909 1/3=0.33333
Los nmeros Irracionales
Son nmeros que no se pueden expresar como el
cociente de dos enteros:
Pertenecen a los irracionales, nmeros tales
como y un nmero
infinito de ellos
Se ha podido demostrar que entre cualquier par
de puntos sobre la recta, existe un nmero
infinito de nmeros irracionales (y de racionales)
Los nmeros irracionales tambin pueden ser
representados en la recta numrica
para , y 0
a
a b b
b
{
3
10
2, , 5, , log 3, etc. e T
Los Nmeros Reales ( )
El conjunto de todos los nmeros racionales e
irracionales se llama el conjunto de los
nmeros reales
El desarrollo formal del Clculo se basa en los
nmeros reales
Muchos resultados sobre funciones, derivadas
e integrales, seran falsos si se refirieran a
funciones definidas sobre los racionales

Fundamento Axiomtico
Tres tipos de propiedades definen
formalmente a los reales: algebraicas, de
orden y de completitud
Las algebraicas involucran a la adicin, la
multiplicacin, la sustraccin y la divisin
La estructura de los nmeros reales se
construye alrededor de un conjunto con
operaciones de adicin y multiplicacin
Propiedades de la adicin:
A1. (Ley asociativa)
A2. (Ley Conmutativa)
A3.
(Ley de identidad)
A4. (Existencia y
unicidad del Simtrico respecto de la adicin)
es el simtrico el opuesto de y se denota por
( ) ( ) , , a b c a b c a b c + + = + +
, a b b a a b + = +
un nmero llamado "0" 0 a a a + =
, , nico 0 a b a b + =
b a
a
M1. (Ley Asociativa)
M2. (Ley Conmutativa)
M3.
(Ley de identidad)
M4.
(Existencia del simtrico inverso)
es el inverso de y se denota por
Propiedades de la multiplicacin:
( ) ( ) , , a bc ab c a b c =
, ab ba a b =
un nmero llamado "1" 1 a a a =
, 0, b nico 1 a a ab { =
b
a
1
1
a
a

Ley Distributiva
D.
, , , ( ) a b c a b c ab ac + = +
Propiedades de Orden
Las propiedades de orden permiten comparar
cualquier par de nmeros reales entre s
O1. (tricotoma)
O2.
O3.
(transitividad)
O4.
O5.
, , ambos a b a b b a e e
, , si y , entonces a b a b b a a b e e =
, , , si y , entonces a b c a b b c a c e e e
, , , si , entonces a b c a b a c b c e + e +
, , , 0, si , entonces a b c c a b ac bc u e e
Campo Ordenado
Un conjunto como los reales, en el que es
posible comparar el tamao de cualesquiera
dos nmeros, es llamado un campo
ordenado
Los nmeros racionales son tambin un
campo ordenado y hay muchos otros
Propiedad de Completitud
Si pensamos a los reales alineados en la recta
numrica:
La propiedad de completitud nos dice que los
nmeros reales corresponden a todos los
puntos de la lnea, sin hoyos y sin brechas
La anterior no es una propiedad que cumplan
, ni los irracionales
-3 -2 -1 0 1 2 3 4 5

Ejercicios
Prueba:
Demuestre el siguiente Teorema:
Teorema1.
, 0 0 0 a a a = =
0 0 0 a a = +
0 ( ( ) a a a = + +
( 0 1) ( ) a a a = + +
(0 1) ( ) a a = + +
1 ( ) a a = +
( ) a a = +
0 =
Ejercicios
Teorema2. , ( 1) a a a =
( 1) 0 entonces ( 1) a a a a + = =
( 1) 1 ( 1) a a a a + = +
(M4)
(1 ( 1)) a = + 0 0 a = =
lqqd
Demuestre el siguiente Teorema:
1.Por A4, el inverso es nico, de donde, si demostramos que
(D) (A4)
Los alumnos debern resolver los
siguientes problemas
Probar que:
i) -0=0
ii) -a-b=-(a+b)
iii) Si a+b=a+c =>b=c
iv) a-(b-c)=(a-b)+c
v)
vi) Si ab=0 => a=0 o b=0
vii) Si
viii)Si
ix)
1
1 1

=
1 1 1
0 ( ) ab ab a b

{ =
1 1
0 ( ) a a a

{ =
y 0 ab ac a b c = { =
Los Nmeros Reales Ordenados
Los reales como cuerpo ordenado
Sea T+ T, este subconjunto satisface los siguientes
axiomas:
1.T+ es cerrado para la suma.
Si a, b T+ a + b T+.
2.T+ es cerrado para la multiplicacin.
Si a, b T+ a . b T+.
3. Axioma de Tricotoma. a T se cumple una y
solo una de las siguientes afirmaciones:
i) a = 0
ii) a T+
iii)-a T+
<Definicin 1:
i) a < b b a T
+
ii) a > b a b T
+
Teorema 1: Dados los reales a y b, se cumple una y solo una
afirmacin:
i) a = b ii) a < b iii) a > b
Demostracin: Aplicando el axioma de Tricotoma al nmero
b a, se tiene una y solo una propiedad:
b a = 0 b a T+ (b a ) T+
i) Por A4: si b a = 0 a = b
ii) Por definicin 1 i): si b a T
+
a < b
iii) Por definicin 1 : si - (b a) T
+
a b T
+
a > b
Teorema 2: Dado un real a, se cumple una y solo
una proposicin:
i) a = 0 ii) a > 0 iii) a < 0
Demostracin: Consecuencia del Teor. 1 para b = 0
Teorema 3: La relacin < tiene las siguientes
propiedades:
i) No reflexiva: a T, no se cumple que a < a
ii) No simtrica (asimtrica): Si a < b no se cumple
que a > b.
iii) Transitiva: Si a > b b > c a > c
Demostracin:
i)Si a > aa a T+0T+ Ax. Tric.
ii)Si a > b a b T+ por Ax. Tric. b a Z T+
iii)Si a > b a b T+si b > cb cT+
por lo tanto dado que T+ es cerrado para la suma:
(a b ) + (b c ) T+ a c T+ a > c
Definicin 2: Llamaremos conjunto de los nmeros
negativos al conjunto:
T- = , x T: - x T+ `
OBSERVACIN: El 0 Z T- por lo tanto, no es
positivo ni negativo, adems T+ T- = o pero
como todo real pertenece a uno y solo uno de los
conjuntos T+, T-, ,0` entonces:
T = T+ T- ,0` en que 0 representa una
frontera entre positivos y negativos.
Definicin 3: i) a e b (a < b) v (a = b)
ii) a u b (a > b) v (a = b)
Teorema 5: a e b a + c e b + c
Demostracin: Si a e b a < b v a = b.
Si a < b b a T+ (b a) + 0 T+
(b a) + (c c) T+
(b + c) (a + c) T+ a + c < b + c
a + c e b + c.
Si a = b a + c = b + c
Teorema 6: i) Si a e b y c es positivo, entonces: ac e bc
ii) Si a e b y c es negativo, entonces: ac u bc
Demostracin:
i) Si a e b a < b v a = b
Si a < b b a T
+
; como c T
+
(b a )c T
+
ac < bc
Si a = b , por compatibilidad igualdad-multiplicacin ,
ac = bc Por lo tanto: ac e bc
ii) Si a e b a < b v a = b.
Si a < b b a T
+
como c T
-
- c T
+
,
luego: - c (b a) T
+
- bc + ac > 0 ac > bc ac u bc
Si a=b entonces
ac = bc ac u bc
@
@
Teorema 7: i) Si a > 0 - a < 0
ii) Si a < 0 - a > 0
iii) Si a > 0 a
-1
> 0
iv) Si a < 0 a
-1
< 0
Demostracin:
i) Si a > 0 a T
+
-a T
-
-a < 0
ii) Si a < 0 -a T
+
-a > 0
iii) Si a > 0 Supongamos que a
-1
< 0 por T.6 i)
a . a > 0 y por T.6 ii) : a
-1
( a . a ) < 0
(a
-1
. a) . a < 0 a < 0 Hip.,
por lo tanto: a
-1
> 0
Teorema 8: a . b > 0 (a > 0 b > 0) v (a < 0 b < 0)
Demostracin: () Si a . b > 0 a { 0 y b { 0 (T1 ) .
Si a > 0 a
-1
> 0 a
-1
(a . b) > 0 b > 0
(T7)
Si a < 0 a
-1
< 0 a
-1
(a . b) < 0 b < 0
() Trivial

Teorema 9: a . b < 0 (a > 0 b < 0) v (a < 0 b > 0)

Demostracin: () Si a . b < 0
i)Si a > 0 a
-1
> 0 a
-1
(a . b) < 0 b < 0
ii)Si a < 0 a
-1
< 0 a
-1
(a . b) > 0 b > 0
() Trivial
Teorema 10: Sean a, b T, si a < b a < < b
Demostracin: Si a < b sumando entonces :
a + a < b + a 2a < b + a
Si repetimos pero sumando b se tiene: a + b < 2b
Por transitividad: 2a < b + a < 2b.
Luego dividiendo por 2 > 0
Se tiene: a < < b
Este teorema permite afirmar que siempre entre dos
nmeros reales distintos es posible intercalar un tercer
nmero c,
2
a b +
2
a b +
VALOR ABSOLUTO EN LOS REALES
Permite determinar cuan cerca o lejos se
encuentra un nmero del cero, por ejemplo.
Definicin 1: Llamaremos valor absoluto del nmero real
a, denotado por , al nmero:
a si a u 0
=
- a si a < 0
Podemos apreciar que el nmero a y su inverso aditivo -a
estn a igual distancia del cero.
a
a
Teorema 1:
i) ii)
iii) iv)
v)
vi)
vii)
viii)
0 a u a a =
a a a e e 0 0 a a = =
a b a b =
0, entonces Si b a b b a b " e e e
Si 0, entonces b a b a b a b " u u v e
a b a b + e +
Demostracin:
i) Por Tricotoma: a > 0 ; a = 0 ; a < 0.
Analizando cada una:
Si a > 0 entonces = a > 0
Si a = 0 entonces = 0
Si a < 0 entonces - a > 0 , luego: - a > > 0
Por lo tanto: u 0
a
a
a
0
ii) Aplicamos Tricotoma:
Si a > 0 - a < 0, por lo tanto:
Luego se cumple
Si a = 0 entonces:
Se cumple
Si a < 0 entonces - a > 0, por lo tanto:
Se cumple
a a =
y ( ) a a a a = =
0 0 0 a = = =
y a a a a = =
iii) Aplicamos Tricotoma:
Si a u 0 , adems - a e 0.
Puesto que : a > - a,

Si a < 0 y - a > 0.
Por lo tanto a < - a.

a a a e e
a a =
a a a a u " u a a a u u
a a =
a a a a = =
a a a e e
iv)
( ) Si a = 0 , por definicin
( ) a T, por tricotoma a > 0 v a < 0 v a = 0.
Descartando las dos primeras posibilidades por
contradicciones con la hiptesis por ej:
Si a > 0 contradice la hiptesis.
resta la nica posibilidad a = 0
0 0 a a = =
0 0 a = =
0 a a = "
v)
Por Tricotoma:
Si a . b > 0 (a > 0 b > 0) v (a < 0 b < 0).
Por definicin de valor absoluto: y para
la primera posibilidad:
a > 0 b > 0
Por lo tanto ,
Luego:
Si a . b = 0 a = 0 v b = 0 entonces:
a b a b =
0 0 0 a b a b a b " v v =
a b a b =
a a b b = =
a b a b =
a b a b =
0 0 a b a b = = =
vi) Si b > 0,
Aplicando Tricotoma
() Si a u 0 Por Hipt.,
como b u 0
Si a < 0
Por Hipt. a e b y como - a u 0
y - b e 0 - b e a e - a e b - b e a e b
() Si a u 0 ,
por Hipt.,
Si a < 0
por Hipt., a e b luego
a b b a b e e e
a a = a b a b e e
0 b b a b @ e e
a a =
a a =
a b e
a a =
a b e
vii)
() Supongamos
Si a u 0 entonces y por lo tanto a u b
Si en cambio a < 0 entonces y en este caso
a u b, luego: a e - b
() Tarea
Si 0, entonces b a b a b a b " u u v e
a b u
a a =
a a =
viii) (Desigualdad del Tringulo)
Prueba:
2
2
( ) a b a b + = +
)
2
a b = +
2 2
2 a ab b = + +
2 2
2 a ab b e + +
2
2
2 a a b b = + +
)
2
a b = +
a b a b + e +
Tarea
a b a b + e + Por lo tanto, , ya que ambos lados de la
desigualdad son >0
Corolario.
Prueba: Aplicando la desigualdad del tringulo a
De ah que :
Igualmente:
Como :
Y como de alguno es
entonces
, a b a b a b e
y : a b b
)
a a b b a b b = + e +
a b a b e
b a b a e
a b b a = b a a b e
y a b b a
a b
a b a b e
Otros resultados bsicos

)
( 0) o a b b a b a b = u = =
a b a b a b a b a b b a b "
a b a b a b a b a b " " v " v "
) )
, , a b b
Resolver la siguiente Ecuacin:
3 1 2 5 x x = +
Solucin:
y
y
Por lo tanto las soluciones a la ecuacin son:
3 1 2 5 x x = +
2 5 0 x + u
)
3 1 2 5 3 1 2 5 x x x x = + = +

5
2
x u
4
o 6
5
x x = =
4
y 6
5

Resolver la Ecuacin:
1 3 9 x x + =
1 3 9 x x + =
3 9 0 x u
( 1) 3 9 1 3 9 x x x x + = + =
y

3 x u
2 5 x x = =
y
5 x =
Resolver las siguientes desigualdades:

donde 0 x a r r "
3 1 2 5 x x +
3 1 2 5 x x " +
4 3 2 x x " +
2 1 2 x x + u +
Intervalos
Definicin. El intervalo abierto determinado por
los puntos y , donde , es el conjunto
de todos los nmeros para los que
y se denota por
i.e.
Ntese que si , entonces es el
conjunto nulo
a b e
a
b
x a x b
) ,
, a b x a x b =
)
, a b
a b =
)
, a b
Intervalos
Definicin. El intervalo cerrado determinado por
dos nmeros y , donde , es el
conjunto de todos los nmeros para los que
y se denota por
i.e.
qu pasar si ?
a b e
a
b
x
a b =
a x b e e
? A
, a b
? A ,
, a b x a x b = e e
Existen tambin intervalos
semiabiertos:
A , ? ) ,
, y , a b x a x b a b x a x b = e = e
Asimismo, existen intervalos infinitos, que son :
) ,
, a x x a = "
? ) ,
, a x x a = u
) ,
, a x x a =
A ,
, a x x a = e
) ,
, x x =
Cotas de un Conjunto
Definicin. Un conjunto de nmeros reales
est acotado superiormente, (tiene al menos
una cota superior), si existe un nmero , tal
que, para todo , . Al nmero
se le llama cota superior de
x S x c e
c
S
S
c
Cotas de un Conjunto
Definicin. Un conjunto de nmeros reales
est acotado inferiormente, (tiene al menos
una cota inferior), si existe un nmero , tal
que, para todo , . Al nmero
se le llama cota inferior de
x S
c
S
S
c
x c u
Cotas de un Conjunto
Definicin. Un conjunto de nmeros reales
est acotado, si existe un nmero , tal que,
para todo ,
Debera ser claro que un conjunto est
acotado es superiormente e inferiormente
acotado, ya que significa que
x S
S
c
x c e

x c e
c x c e e
S
Supremo de un conjunto
Definicin. Un nmero se llama supremo de un
conjunto ,lo que se escribe , si
es una cota superior de y ningn nmero
menor que es una cota superior de
.
Como cualquier nmero menor que puede
escribirse como , donde , se puede
reformular lo anterior como:
sup c S =
S
c
S c
S
c
c
c s
0 s "
ii) >0, x S x c s s "
sup , si c S =
i) , , y x S x c e
El Axioma del Supremo
Axioma L. Si es un conjunto no vaco de
elementos de superiormente acotado,
entonces tiene un supremo en .
S
S

Ejercicios
2
1. 4
2. 3 2 1
3. 2 3 2 3
4. 4 2 4
5. 2 4
6. 4
7. 3 7
x
x x
x x
x x
x
x
x
=
+ = +
+ = +
= +
=
e
+ "
2
8. 2 5 3
9. 3 2 2
10. 4 3
11. 3 1
12. 5 2 3
13. 4 2 4
14. 4 3 2
x
x
x
x
x x
x x
x x
+ "
e
+ "
u
+
+
" +