Nmeros Reales

Nmeros Reales

Herbert Dueas

Universidad Nacional de Colombia

Primer semestre de 2017
Nmeros Reales

Cortes de Dedekind

Definicin
A un conjunto de nmeros racionales se le llama un corte si
satisface las siguientes condiciones:
i) , , Q;
ii) Si r y s < r (s racional), entonces s ;
iii) En no existe elemento mximo.
Nmeros Reales

Cortes de Dedekind

Definicin
A un conjunto de nmeros racionales se le llama un corte si
satisface las siguientes condiciones:
i) , , Q;
ii) Si r y s < r (s racional), entonces s ;
iii) En no existe elemento mximo.

Proposicin
Sea un corte, p y q < . Entonces q > p.
Nmeros Reales

Cortes de Dedekind

Definicin
A un conjunto de nmeros racionales se le llama un corte si
satisface las siguientes condiciones:
i) , , Q;
ii) Si r y s < r (s racional), entonces s ;
iii) En no existe elemento mximo.

Proposicin
Sea un corte, p y q < . Entonces q > p.

Proposicin
Si r Q y = {x Q | x < r }, entonces es un corte y r es la
mnima cota superior de .
Nmeros Reales

Los cortes del tipo de la proposicin anterior son denominados

cortes racionales y se representan por r
Nmeros Reales

Los cortes del tipo de la proposicin anterior son denominados

cortes racionales y se representan por r
Ejercicio
Muestre que todo corte que posee una cota superior mnima es
racional.
Nmeros Reales

Los cortes del tipo de la proposicin anterior son denominados

cortes racionales y se representan por r
Ejercicio
Muestre que todo corte que posee una cota superior mnima es
racional.

Teorema
Sea = {x Q+ | x 2 < 2} Q_ . Entonces es un corte que no es
racional.
Nmeros Reales

Los cortes del tipo de la proposicin anterior son denominados

cortes racionales y se representan por r
Ejercicio
Muestre que todo corte que posee una cota superior mnima es
racional.

Teorema
Sea = {x Q+ | x 2 < 2} Q_ . Entonces es un corte que no es
racional.

Notacin. Denotaremos por C el conjunto de todos los cortes.

Nmeros Reales

Relacin de orden y operaciones con cortes

Definicin
Sean , C. Decimos que es menor que y escribimos <
cuando \ ,
Nmeros Reales

Relacin de orden y operaciones con cortes

Definicin
Sean , C. Decimos que es menor que y escribimos <
cuando \ ,

Definicin
Si C y > 0 , se llama corte positivo. Si < 0 , se dice
corte negativo. Si 0 , se llama corte no negativo y si 0 ,
se llama no positivo.
Nmeros Reales

Relacin de orden y operaciones con cortes

Definicin
Sean , C. Decimos que es menor que y escribimos <
cuando \ ,

Definicin
Si C y > 0 , se llama corte positivo. Si < 0 , se dice
corte negativo. Si 0 , se llama corte no negativo y si 0 ,
se llama no positivo.

Teorema (Tricotoma)
Dados , C se tiene que una y slo una de las siguientes
posibilidades ocurre:

= o < o > .
Nmeros Reales

Relacin de orden y operaciones con cortes

Definicin
Sean , C. Decimos que es menor que y escribimos <
cuando \ ,

Definicin
Si C y > 0 , se llama corte positivo. Si < 0 , se dice
corte negativo. Si 0 , se llama corte no negativo y si 0 ,
se llama no positivo.

Teorema (Tricotoma)
Dados , C se tiene que una y slo una de las siguientes
posibilidades ocurre:

= o < o > .
Nmeros Reales

Ejercicio
Demostrar que:
1 < y , ;
2 .
Nmeros Reales

Ejercicio
Demostrar que:
1 < y , ;
2 .

Teorema
La relacin es una relacin de orden en C.
Nmeros Reales

Ejercicio
Demostrar que:
1 < y , ;
2 .

Teorema
La relacin es una relacin de orden en C.

Teorema
Sean , C. Si = {r + s | r y s }, entonces C.
Nmeros Reales

Ejercicio
Demostrar que:
1 < y , ;
2 .

Teorema
La relacin es una relacin de orden en C.

Teorema
Sean , C. Si = {r + s | r y s }, entonces C.

Definicin
Para , C, definimos + como el corte del teorema anterior,
es decir,
+ = {r + s | r y s }.
Nmeros Reales

Ejercicio
Demostrar que si p, q Q, entonces p + q = (p + q) .
Nmeros Reales

Ejercicio
Demostrar que si p, q Q, entonces p + q = (p + q) .

Teorema
La adicin en C es conmutativa, asociativa y tiene 0 como
elemento neutro.
Nmeros Reales

Ejercicio
Demostrar que si p, q Q, entonces p + q = (p + q) .

Teorema
La adicin en C es conmutativa, asociativa y tiene 0 como
elemento neutro.

Ejercicio
Mostrar que si s Q y r Q+ , entonces {s + mr | m N} no est
acotado superiormente en Q.
Nmeros Reales

Ejercicio
Demostrar que si p, q Q, entonces p + q = (p + q) .

Teorema
La adicin en C es conmutativa, asociativa y tiene 0 como
elemento neutro.

Ejercicio
Mostrar que si s Q y r Q+ , entonces {s + mr | m N} no est
acotado superiormente en Q.

Lema
Sean C y r Q+ . Entonces existen nmeros racionales p y q
tales que p , q < , q no es la cota superior mnima de y
q p = r.
Nmeros Reales

Teorema
Sea C. Existe un nico C tal que + = 0 . Como en el
caso de los nmeros enteros y racionales, tal se denota por y
se llama simtrico (o inverso aditivo) de .
Nmeros Reales

Teorema
Sea C. Existe un nico C tal que + = 0 . Como en el
caso de los nmeros enteros y racionales, tal se denota por y
se llama simtrico (o inverso aditivo) de .

Definicin
Como los casos de Z y Q, definimos la sustraccin en C por
= + (), , C
Nmeros Reales

Teorema
Sea C. Existe un nico C tal que + = 0 . Como en el
caso de los nmeros enteros y racionales, tal se denota por y
se llama simtrico (o inverso aditivo) de .

Definicin
Como los casos de Z y Q, definimos la sustraccin en C por
= + (), , C

Ejercicio
Encuentre el corte simtrico de = {x Q+ | x 2 < 2} Q_
Nmeros Reales

Teorema
Sea C. Existe un nico C tal que + = 0 . Como en el
caso de los nmeros enteros y racionales, tal se denota por y
se llama simtrico (o inverso aditivo) de .

Definicin
Como los casos de Z y Q, definimos la sustraccin en C por
= + (), , C

Ejercicio
Encuentre el corte simtrico de = {x Q+ | x 2 < 2} Q_

Teorema (Compatibilidad de relacin de orden con la adicin)

Sean , , C tales que . Entonces + + .
Nmeros Reales

Teorema
Para , C con 0 y 0 , sea

= Q_ {r Q | r = pq, con p , q , p 0 y q 0}.

Entonces, es un corte y 0.
Nmeros Reales

Teorema
Para , C con 0 y 0 , sea

= Q_ {r Q | r = pq, con p , q , p 0 y q 0}.

Entonces, es un corte y 0.

Ejercicio
Demuestre el teorema anterior.
Nmeros Reales

Teorema
Para , C con 0 y 0 , sea

= Q_ {r Q | r = pq, con p , q , p 0 y q 0}.

Entonces, es un corte y 0.

Ejercicio
Demuestre el teorema anterior.

Definicin
Si , C y 0 , 0 , definimos el producto (o )
como el corte del teorema anterior.
Nmeros Reales

Definicin
Dado C, definimos el valor absoluto de (o el mdulo de ),
representado por ||, del siguiente modo:

,

si 0 ;
|| =
, si < 0 .

Nmeros Reales

Definicin
Dado C, definimos el valor absoluto de (o el mdulo de ),
representado por ||, del siguiente modo:

,

si 0 ;
|| =
, si < 0 .

Ejercicio
Mostrar que || 0 , C y || = 0 si, y solamente si = 0 .
Nmeros Reales

Definicin
Dado C, definimos el valor absoluto de (o el mdulo de ),
representado por ||, del siguiente modo:

,

si 0 ;
|| =
, si < 0 .

Ejercicio
Mostrar que || 0 , C y || = 0 si, y solamente si = 0 .

Definicin
Si , C, definimos:




(||||), si 0 , 0 ;
= (||||), si 0 , 0 ;




||||, si < 0 , < 0 .


Nmeros Reales

Teorema
La multiplicacin de cortes es conmutativa, asociativa, tiene 1
como elemento neutro y, si , , C se tiene:
i) ( + ) = + (distributiva);
ii) .0 = 0 ;
iii) = 0 si y solamente si, = 0 o = 0 ;
iv) Si y 0 , entonces ;
v) Si y < 0 , entonces ;
vi) Si , 0 en C, existe un nico C tal que = 1 .
Nmeros Reales

Teorema
La multiplicacin de cortes es conmutativa, asociativa, tiene 1
como elemento neutro y, si , , C se tiene:
i) ( + ) = + (distributiva);
ii) .0 = 0 ;
iii) = 0 si y solamente si, = 0 o = 0 ;
iv) Si y 0 , entonces ;
v) Si y < 0 , entonces ;
vi) Si , 0 en C, existe un nico C tal que = 1 .

Ejercicio
Definir la divisin en C.
Nmeros Reales

Ejercicio
Si p, q Q, muestre que p q = (pq) y que p < q si, y
solamente si, p < q.
Nmeros Reales

Ejercicio
Si p, q Q, muestre que p q = (pq) y que p < q si, y
solamente si, p < q.

Proposicin
Si C, tenemos que r si y solamente si, r < .
Nmeros Reales

Ejercicio
Si p, q Q, muestre que p q = (pq) y que p < q si, y
solamente si, p < q.

Proposicin
Si C, tenemos que r si y solamente si, r < .

Teorema
Si , C y < , entonces existe un corte racional r tal que
< r < .
Nmeros Reales

Definicin
El conjunto C de los cortes ser, a partir de ahora, denominado
conjunto de los nmeros reales y denotado por R. Los cortes
racionales sern identificados, a travs de la inyeccin j, con los
nmeros racionales. Cada corte que no sea racional ser
denominado nmero irracional.
Nmeros Reales

Definicin
El conjunto C de los cortes ser, a partir de ahora, denominado
conjunto de los nmeros reales y denotado por R. Los cortes
racionales sern identificados, a travs de la inyeccin j, con los
nmeros racionales. Cada corte que no sea racional ser
denominado nmero irracional.

Notacin: El identificar j (Q) con Q nos permite escribir Q R. El

conjunto R \ Q representa el conjunto de nmeros irracionales.
Nmeros Reales

Teorema (Dedekind)
Sean A y B subconjuntos de R tales que:
i) R = A B;
ii) A B = ;
iii) A , y B , ;
iv) Si A y B, entonces < .
En estas condiciones existe uno, y slo un nmero real tal que
, para todo A y para todo B.
Nmeros Reales

Ejercicio
Considere los siguientes subconjuntos de Q:

A = {x Q+ | x 2 < 2} Q_ y B = {x Q+ | x 2 > 2}.

Muestre que A y B satisfacen las hiptesis del teorema anterior,

con Q en lugar de R, pero que no existe r Q que satisface s r,
s A y r t, t B.
Nmeros Reales

Ejercicio
Considere los siguientes subconjuntos de Q:

A = {x Q+ | x 2 < 2} Q_ y B = {x Q+ | x 2 > 2}.

Muestre que A y B satisfacen las hiptesis del teorema anterior,

con Q en lugar de R, pero que no existe r Q que satisface s r,
s A y r t, t B.

Corolario
En las condiciones del teorema anterior, no existe en A un nmero
mximo, o en B un nmero mnimo.
Nmeros Reales

Adoptaremos la notacin habitual de intervalos de nmeros

reales, que son los subconjuntos de R de los siguientes tipos,
donde a y b son reales con a < b:
1 ]a , b [= {x R | a < x < b };
2 [a , b [= {x R | a x < b };
3 ]a , b ] = {x R | a < x b };
4 [a , b ] = {x R | a x b };
5 ]a , +[= {x R | x > a } y, anlogamente, para los intervalos:

[a , +[; ] , a [; ] , a ] y ] , +[= R.
Nmeros Reales

Definicin
i) Sea A un subconjunto de R. Decimos que A es limitado
superiormente si existe k R tal que k x, x A . Un k se
dice lmite superior de A (como se ha definido para
subconjuntos de Z, conforme la Definicin).
ii) Del mismo modo, definimo el subconjunto de R limitado
inferiormente y lmite inferior.
iii) Se dice limitado si est limitado superiormente y limitado
inferiormente.
iv) Supongamos que A sea limitado superiormente y que exista
un lmite superior de A , digamos s, que sea mnima (en
sentido de que cualquier lmite superior de A sea mayor o
igual a s). En este caso s se dice supremo de A y es
denotado por sup A .
Nmeros Reales

v) De modo anlogo, se define nfimo de A (para conjuntos A

limitados inferiormente), denotado por inf A , como siendo un
lmite inferior mximo para el conjunto A .
Nmeros Reales

v) De modo anlogo, se define nfimo de A (para conjuntos A

limitados inferiormente), denotado por inf A , como siendo un
lmite inferior mximo para el conjunto A .

Teorema
Si X R y un conjunto no vaco y limitado superiormente,
entonces existe sup X .
Nmeros Reales

v) De modo anlogo, se define nfimo de A (para conjuntos A

limitados inferiormente), denotado por inf A , como siendo un
lmite inferior mximo para el conjunto A .

Teorema
Si X R y un conjunto no vaco y limitado superiormente,
entonces existe sup X .

Ejemplo
Existe un nico nmero real positivo cuyo cuadrado es 2, esto es,
una ecuacin x 2 = 2.
Nmeros Reales

v) De modo anlogo, se define nfimo de A (para conjuntos A

limitados inferiormente), denotado por inf A , como siendo un
lmite inferior mximo para el conjunto A .

Teorema
Si X R y un conjunto no vaco y limitado superiormente,
entonces existe sup X .

Ejemplo
Existe un nico nmero real positivo cuyo cuadrado es 2, esto es,
una ecuacin x 2 = 2.

Definicin
Sea a R y n N. Definimos la potencia a n recursivamente como
1, si n = 0 y, para n > 1, como a a n1 . Finalmente, si a , 0,
definimos a n como (a 1 )n .
Nmeros Reales

Ejercicio
Si a y b son reales y n, m enteros positivos, muestre, por
induccin que:
1 (ab )n = a n b n ;
2 a n a m = a n+m ;
3 (a n )m = a nm .
Nmeros Reales

Ejercicio
Si a y b son reales y n, m enteros positivos, muestre, por
induccin que:
1 (ab )n = a n b n ;
2 a n a m = a n+m ;
3 (a n )m = a nm .

Teorema
Sea a un real positivo y n > 0 natural. Existe un nico nmero real
positivo que es solucin de la ecuacin x n = a.
Nmeros Reales

Ejercicio
Si a y b son reales y n, m enteros positivos, muestre, por
induccin que:
1 (ab )n = a n b n ;
2 a n a m = a n+m ;
3 (a n )m = a nm .

Teorema
Sea a un real positivo y n > 0 natural. Existe un nico nmero real
positivo que es solucin de la ecuacin x n = a.

Definicin
Dado un nmero real positivo a, el nico nmero real positivo que
es solucin de la ecuacin x n = a, si la raz n-sima de a y es
1
denotado por n a o por a n .
Nmeros Reales

Ejercicio
Si a y b son reales positivos, n entero positivo y r , s racionales
positivos, muestre que:
1 1 1
1 (ab ) n = a n b n ;
2 a r a s = a r +s ;
3 (a r )s = a rs ;
4 (ab )r = a r b s .
Nmeros Reales

Ejercicio
Si a y b son reales positivos, n entero positivo y r , s racionales
positivos, muestre que:
1 1 1
1 (ab ) n = a n b n ;
2 a r a s = a r +s ;
3 (a r )s = a rs ;
4 (ab )r = a r b s .

Teorema
El conjunto N de los naturales es ilimitado en R.