Escolar Documentos
Profissional Documentos
Cultura Documentos
Nmeros Reales
Herbert Dueas
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
Teorema
Sea = {x Q+ | x 2 < 2} Q_ . Entonces es un corte que no es
racional.
Nmeros Reales
Teorema
Sea = {x Q+ | x 2 < 2} Q_ . Entonces es un corte que no es
racional.
Definicin
Sean , C. Decimos que es menor que y escribimos <
cuando \ ,
Nmeros Reales
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
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
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
Para , C con 0 y 0 , sea
Entonces, es un corte y 0.
Nmeros Reales
Teorema
Para , C con 0 y 0 , sea
Entonces, es un corte y 0.
Ejercicio
Demuestre el teorema anterior.
Nmeros Reales
Teorema
Para , C con 0 y 0 , sea
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.
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:
Ejercicio
Considere los siguientes subconjuntos de Q:
Corolario
En las condiciones del teorema anterior, no existe en A un nmero
mximo, o en B un nmero mnimo.
Nmeros Reales
[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
Teorema
Si X R y un conjunto no vaco y limitado superiormente,
entonces existe sup X .
Nmeros Reales
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
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.