Capítulo 1 Paso de Los Racionales A Los Reales

1
Captulo 1
El paso de los racionales a los reales
1.1. Incompletitud de
1.1.1. Incompletitud geomtrica de
Teorema 1.1 No existe un racional tal que . Es decir, si
Demostracin (por contradiccin suponga y )
Suponga que , con , y
Y suponga que

(si es primo y con y )
para algn
Sustituya esto en

(fue aplicado el mismo lema de arriba)
Se concluye que , esto es una contradice que
Si es racional tiene asociado un punto de la recta numrica. Pero tendr todo punto de la recta asociado un
racional? La respuesta es no, los racionales dejan huecos en la recta numrica, es decir, hay puntos en la
recta numrica que no corresponden a ningn nmero racional. Con ayuda del teorema anterior demostremos
la existencia de al menos un nmero que no es racional. Sea este el nmero que se presenta en la figura:

Por el teorema de Pitgoras , sin embargo, como demostramos en el teorema anterior no
existe un racional con esa propiedad.
Lo anterior evidencia que no es completo, en el sentido de que la recta numrica contiene puntos que no
representan nmeros racionales.
2 MA-304 Notas de Julio Cspedes
Ejercicios Sean
1. Si es primo demuestre que no existe un racional tal que
2. Si demuestre que
Sugerencia, demuestre la contrapositiva con ayuda del teorema fundamental de la aritmtica.
3. Si demuestre que
Sugerencia, demuestre la contrapositiva con ayuda del teorema de la divisin Euclideana.
4. Si no es un cuadrado perfecto demuestre que no existe un racional talque
Sugerencia, utilice el ejercicio anterior.
1.1.2. Otras evidencias de la incompletitud de
Todo nmero racional tiene una expansin decimal peridica , es decir con la forma:

con , , La barra sobre los dgitos indica que ese bloque de
nmeros se repite indefinidamente. Cualquier nmero que infrinja alguna de esas propiedades no es racional.
Por ejemplo, son racionales: y
Las expansiones decimales que no se aprecien en su totalidad no se pueden clasificar como racionales, ni
descartarlos como tales. Sin embargo, de los siguientes nmeros no cabe la duda de que no son racionales:

En esa expansin, despus de la coma hay un uno un cero, un uno dos ceros, etc. de tal forma que la
cantidad de ceros entre unos va en aumento y como consecuencia la expansin decimal no es peridica.
Sea cualquier nmero entero y en la posicin , coloque un si es primo y un si no es primo,
obtiene nmeros como el siguiente que no es racional:

1.1.3. Versin analtica de la incompletitud de
Es intuitivamente claro que cada punto sobre la recta numrica determina dos conjuntos y disjuntos de
nmeros racionales. Suponga que a le corresponde el nmero , estos conjuntos estn dados por:

Es claro que se tiene . Suponga que adems, es una solucin de .
Entonces como se demostr en el teorema 1.1, por lo tanto, entre los dos subconjuntos de nmeros
racionales y , hay un punto que ocupa un nmero que no es racional. Reforzando la tesis de que no es
completo.
MA-304 Notas de Julio Cspedes 3
1.2. Axiomatizacin de los nmeros reales
Se asume la existencia de un conjunto, denominado conjunto de los nmeros reales, denotado con y que
est dotado de dos operaciones internas: suma ( ) y multiplicacin ( ), y de una relacin de orden ( ) que
cumplen tres grupos de axiomas: de campo, de orden y de completitud o del extremo superior.
1.2.1. Axiomas de campo Asumimos que el triplete tiene las siguientes propiedades

A.1 Suma es cerrada
A.2 Suma es conmutativa
A.3 . Por tanto, no es ambiguo Suma es asociativa
A.4 Existe un nmero real y satisface 0 es neutro aditivo
A.5 existe tal que Inversos aditivos
se llama inverso aditivo de y se denota con ,
Es decir,
A.6 Multiplicacin es cerrada
A.7 Multiplicacin es conmutativa
A.8 Por tanto, no es ambiguo Multiplicacin es asociativa
A.9 Existe un nmero real , , y satisface es neutro multiplicativo
A.10 , existe tal que Inversos multiplicativos
se llama inverso multiplicativo de y se denota con
Es decir,
A.11 Multiplicacin distribuye respecto a la suma
Observe que no se define un inverso multiplicativo para cero. De aqu en adelante omitiremos el punto que
indica la multiplicacin, por ejemplo, escribiremos en lugar de .
Cualquier conjunto con dos operaciones internas que satisfaga estos axiomas se denomina campo, por lo
tanto el conjunto de los nmeros reales con las operaciones de suma y multiplicacin es un campo.
Antes de presentar los otros dos grupos de axiomas de los nmeros reales, pasemos a demostrar, utilizando
los axiomas de campo, las leyes usuales del lgebra elemental de nmeros reales.
Teorema 1.2
1) (la observacin se debe a que satisface todos los axiomas salvo el A.9)
2) es el nico neutro de la suma y el nico neutro de la multiplicacin
3) Ley de cancelacin de la suma. Sean tales que
4) Ley de cancelacin de la multiplicacin Sean , , tales que
5) , talque
6) su inverso aditivo es nico.
7) , , talque
8) , , su inverso multiplicativo (recproco) es nico
9) se cumple
10) se cumple
11) , , se cumple
12) ,, , se cumple
13) Propiedad absorbente del cero se cumple
14) . Demuestre que ( no tiene divisores de cero)
15) se cumplen: 15.1)
15.2)
15.3)
15.4)
16) tales que
Demostracin
1) Esta propiedad es inmediata del axioma A.9.
2) Suponga que es otro neutro aditivo Suponga que

es otro neutro multiplicativo
Como es neutro aditivo: Como es neutro multiplicativo:
Como es neutro aditivo: Como es neutro multiplicativo:
Igualando ambas concluye: Igualando ambas concluye
3) Sean tales que
Se tiene
Por hiptesis , por lo tanto, la anterior se escribe

Concluye que
4) Se deja de ejercicio. Sugerencia, emule la demostracin anterior con multiplicacin en lugar de suma y
el neutro multiplicativo en lugar del aditivo.
5) Hay que demostrar dos proposiciones: la existencia de dicho y su unicidad.
La existencia se demuestra construyndolo, obviamente si cumple
Para la unicidad suponga que existen tales que:
Igualando ambas obtiene y por la ley de cancelacin de la suma concluye
6) Para , aplique la proposicin anterior con .
7) Sean , . Obviamente la solucin de es
Se deja de ejercicio demostrar la unicidad.
8) Para , , aplique la proposicin anterior con
9) Sea , como entonces
10) Sean entonces:

Por lo tanto,

El resto de las demostraciones se dejan de ejercicio
Cocientes
Sean , , el nmero se denota y denomina cociente de a o razn de a .
Observe que estamos considerando solo , por lo tanto, no se define.
Obviamente y si , entonces
Teorema 1.3 Clculo de cocientes
Sean con entonces:
1)
2)
3)
Las demostraciones se dejan de ejercicio.
Notacin
Para , escribimos para simplificar la suma
para simplificar la multiplicacin , es obvio que
para
para . Note que no se define
Ejercicio Demuestre por induccin sobre las siguientes. Suponga que es fijo
1) 2) 3)
4) para 5) para
1.2.2. Axiomas de Orden
Se supone que existe un conjunto , denominado conjunto de nmeros reales positivos que satisface:
B.1
B.2
B.3
B.4 Ley de tricotoma
Cualquier sistema que satisfaga los axiomas 1.2.1 y 1.2.3 se denomina campo ordenado. As el conjunto de
los nmeros reales es un campo ordenado. Los racionales son otro ejemplo de campo ordenado.
Definicin 1.1
Si decimos que es positivo y se escribe
Si decimos que es negativo y se escribe
Definicin 1.2
Para , se escribe: y lee es mayor o igual que sii
Y se definen:

sii
sii

sii
Note que sii
sii , es decir si es positivo
A continuacin se enuncian las principales leyes que rigen las proposiciones con desigualdades.
Teoremas 1.4
1)
2) Si entonces y no pueden ser ambos positivos
3)
4) Si
5) La relacin es de orden en (reflexiva, antisimtrica, transitiva)
Ese orden es total en ( , se cumple o )
6) Compatibilidad del orden con la suma. se tiene:

7) Compatibilidad del orden con el producto.
7.1) Si
7.2) Si
8)
8.1) Si
8.2) Si
8.3) Si
8.4) Si
8.5) Si
8.6)
8.7) Si
8.8) Si
8.9)
8.10) Con , ,
Demostracin
1) Suponga que , entonces (por B.3) . Eso es un absurdo porque
2) Suponga que y son positivos es positivo. Esto contradice 1) de este teorema.
3) Por la ley de tricotoma
Obviamente .
Suponga , entonces (contrapositiva de B.3) , por lo tanto (por B.2), , lo
que contradice el supuesto.
Solo queda como se quera demostrar.
4) Si

5) es de orden en . Sean
Reflexividad: porque
Antisimetra. Suponga que

Utilice las propiedades distributivas de los operadores lgicos e y obtenga que
es el valor de verdad Falso

Transitividad. Suponga que

Utilice 4) de este teorema y concluya que:

Lo anterior demostr que es de orden en , veamos que el orden es total. En efecto, sean

(solo repiti la 1ra proposicin)

Esto significa que dos nmeros reales cualesquiera se pueden comparar utilizando la relacin .
El resto de las demostraciones se dejan de ejercicio
Ejercicio
Suponga que , , . Demuestre que
Teorema 1.5
1) Si
(entre dos nmeros reales existe otro real)
2) Si
3) Si y se tiene
4) Si se tiene
5) , , se satisface la desigualdad de Bernoulli

6) , , se satisface
7) , , se satisface
8) , se satisface la desigualdad de Cauchy-Schwartz

Demostracin
1) Si
Si
Estas dos desigualdades se pueden escribir
2) En 1) tome y obtenga
3) He aqu la introduccin a frases como ... Son muchas las definiciones y proposiciones que la
involucran. Muchas proposiciones que involucran psilones arbitrarios positivos, se demuestran por
contradiccin y esta no es la excepcin.
Por contradiccin, suponga que , eso en conjunto con implica
Por otro lado, por hiptesis se tiene
En particular para se tiene (absurdo)
4) Vamos a demostrar que . En contradiccin con eso suponga que
Se tiene que : . En particular, para se tiene:

(absurdo)
5) Es ejercicio (use induccin). Adems, ilustre en un grfico con funciones la desigualdad de Bernoulli
para . A continuacin se dibujan las siguientes funciones que aparecen en la desigualdad de
Bernoulli para , bajo la hiptesis
Parbola
Recta
Se observa que

Adems, para este caso ( ) la desigualdad es vlida para todo (no solo para )
6) y 7) se dejan de ejercicio (por induccin matemtica). Adems, en un mismo grfico trace funciones que
ilustren las desigualdades para . Haga lo mismo para .
8) Para no interrumpir la secuencia de la siguiente demostracin anticipemos algunos resultados sobre
parbolas que vamos a utilizar en ella.
Considere la parbola con ecuacin , donde son constantes y .
El discriminante si y solo si la parbola no corta al eje o lo corta en un nico punto, en
tal caso se cumple una y solo una de las siguientes:

Complementando con el signo del coeficiente se puede precisar cual es el caso, as:
y
La demostracin inicia con la siguiente proposicin verdadera , ,

Sume todos los cuadrados para y obtenga:

Desarrolle las potencias y concluya

Separe las sumas, adems, es constante con respecto a , por lo tanto, se factoriza en cada suma:

Por comodidad, sean:

Por lo tanto, la desigualdad se escribe:

La figura ilustra una parbola (cuando ) con esta propiedad:

Solo puede ser porque es una suma de cuadrados. Adems, si y solo si .
Si y entonces el discriminante

Y veamos que esa es la desigualdad de Cauchy-Schwartz. De ese resultado se obtiene:

Cambie por las respectivas sumatorias y obtenga:

Factorice el dos de la primera sumatoria, elvelo al cuadrado y cancele con el cuatro de la derecha y
as obtendr la desigualdad de Cauchy-Schwartz. Otra demostracin de la desigualdad de Cauchy en
este caso , se obtiene si escoge (ejercicio).
Si no hay parbola, sin embargo, . Sustituya esos en la desigualdad de Cauchy-
Schwartz y observe que es un resultado trivial.
Ejercicios , ,
(1) Sea . Demuestre por induccin:

(2) Sean ,
(2.1) Demuestre que el coeficiente binomial tiene la propiedad de simetra:

Observe esa relacin en el tringulo de Pascal.
(2.2) Demuestre por induccin la frmula del desarrollo del binomio de Newton:

(2.3) Factorice y
(2.4) Desarrolle y
(2.5) Si , utilice el desarrollo del binomio para demostrar la desigualdad de Bernoulli:

(2.6) Si , demuestre por induccin la desigualdad de Bernoulli:

(2.7) Deduzca una frmula para y otra para
Observe esas propiedades de los renglones del tringulo de Pascal
(3) Sean ,
(3.1) Demuestre por induccin:

(3.2) Factorice y
(3.3) Desarrolle
(3.4) Para todo , demuestre que no es primo
(4) Sean tales que . Demuestre que . Ilustre el resultado con las
funciones con ecuaciones y .
(5) Sean , y . Demuestre que se cumple

(6) Demuestre que si es primo es primo
Los primos de la forma con primo

se denominan primos de Mersenne. Hasta hoy han sido
calculados 46 primos de Mersenne. Sugerencia, demuestre la contrapositiva.
(7) Los nmeros de Fibonacci (Leonardo de Pisa) se denotan . Es decir,

y para se definen por la frmula recurrente

(7.1) Demuestre por induccin que para todo

Sugerencia, primero demuestre que
(7.2) Demuestre por induccin que

donde son las soluciones de . Sugerencia, utilice la identidad de (3.1).
Intervalos
Los axiomas de orden permiten definir intervalos en . Intuitivamente un intervalo es un subconjunto de
nmeros reales asociado a un segmento de la recta numrica. Se clasifican dependiendo de si el segmento
contiene o no los puntos extremos o si uno de los extremos es infinito.
Definicin 1.3 Intervalos
Sean , . Se define intervalo
Abierto con extremos y :
Cerrado con extremos y :
Semiabiertos con extremos y :

No acotados

En general decimos que un conjunto es un intervalo de sii con
Algunos autores utilizan para denotar un intervalo abierto con extremos y .
Valor absoluto
Definicin 1.4 Valor absoluto
El valor absoluto de se denota con y define equivalente a:

Geomtricamente es la distancia del origen al punto representado por en la recta numrica. As,
es la distancia entre los puntos representados por y en la recta numrica. Si a cada nmero real se
asocia su valor absoluto sobre el eje , es decir, obtiene el trazo que ilustra la figura:

Teorema 1.6
1) y
2) y
3) y
4)
5) y
6)
7) Si
8)
9)
10) Desigualdad triangular
11)
12)
13) Desigualdad triangular generalizada
14)
Demostracin
1) Por la ley de tricotoma
Si entonces
Si entonces
Si entonces
Demostremos que
La direccin ya se demostr.
En la otra direccin suponga que:

Por el axioma de orden B.3 no puede ser entonces
2)
Sea , en ambos casos

3)

4)
5) De la definicin de mximo son inmediatas las siguientes:

6) Las anteriores se escriben y
y

7) Si

8) Sean tales que

Si es obvio que
Si entonces al igual que su inverso . Por lo tanto, la ltima
desigualdad:

es equivalente a:

Y equivalente con:

9)

Si es claro que
Si y

10)
Por lo tanto,

Demuestre 10) utilizando la definicin.
11), 12), 13), 14) se dejan de ejercicio

Definicin 1.5
Sean y . Se llama bola abierta con centro y radio o vecindad de con radio al conjunto:

Para visualizar la bola abierta sea
Aplique el teorema 1.6 proposicin 7) con en lugar de y concluya que:

Esto significa que pertenece al intervalo abierto , por lo tanto, en el conjunto de los nmeros
reales una bola abierta con centro en es un intervalo:

Ejercicios Sean constantes y
1) Si se cumple , demuestre que
2) Obtenga una cantidad infinita de soluciones :
3) Obtenga una cantidad infinita de soluciones :
4) Sea obtenga una cantidad infinita de soluciones :
5) Sea obtenga una cantidad infinita de soluciones para de
Nota, en 4) y 5) no es necesario indicar todas las soluciones.
Una copia de
Se podra demostrar que contiene las copias de , y descritas adelante. Despus de eso se puede
escribir , y .
Definicin 1.6 Conjunto inductivo
Un conjunto se denomina inductivo si satisface:
(a)
(b) Si
Ejemplos
es inductivo
Para , no es inductivo, porque si se tiene pero .
Considere la familia de todos los conjuntos inductivos de y defina (tomamos la libertad de denotarlo con
el mismo smbolo con que se denota el conjunto de los nmeros naturales, porque se puede demostrar que la
siguiente definicin es equivalente a la definicin dada en el curso anterior), como la interseccin de todos los
conjuntos inductivos, as:

Teorema 1.7 es el conjunto inductivo ms pequeo de
Demostracin
Demostremos que es inductivo utilizando la definicin de interseccin de conjuntos.
(a) porque , , por lo tanto y este ltimo es .
(b) Suponga que
,
Cada uno de los conjuntos es inductivo, por lo tanto,
,

(a) y (b) es la comprobacin de que es inductivo.
Para demostrar que es el ms pequeo de los conjuntos inductivos de , suponga que es otro conjunto
inductivo de
(porque es considerado al tomar la interseccin)

Las siguientes seran las copias de , y contenidas en el campo

Ejercicios Aproximacin del rea bajo una curva segn Arqumedes
Sean , fijos con y denote con:

Se define , para , de esta definicin se calcula y . Adems, se observa
que para
El conjunto tiene puntos y se denomina particin del intervalo y el operador
diferencia se define as: .
1) Demuestre que para la particin se tiene que es constante.
Indique algunos puntos de en la recta real.
2) Vamos a necesitar de las siguientes identidades, demostrarlas.

Demuestre que:

3) Trace la grfica de la funcin con ecuacin en un intervalo con .
4) En un grfico seale los valores y los rectngulos de base y altura
5) En un grfico seale los valores y los rectngulos de base y altura
Desde la figura es claro, pero demuestre que:

Se utiliza para referirse al rea entre la curva de y entre los ejes , e
Del dibujo (en que la funcin es creciente) se concluye

6) Calcule cada sumatoria en trminos de , ,

1.2.3. Completitud de
Hemos enunciado los axiomas de campo y orden de y , sin embargo, no hemos presentado ningn
nmero que pertenezca a y no pertenezca a , es precisamente el axioma de completitud o axioma del
extremo superior el que se encargar de ello.
Definicin 1.7 Sea un subconjunto no vaco de
es acotado superiormente si y solo si tal que se cumple .
se denomina cota superior de .

Suponga que el conjunto

es acotado superiormente por . Y sea con la propiedad , entonces
tambin es acotado por , esto quiere decir que se cumple:

por lo tanto, tambin es cota superior de .
Sea el conjunto de todas las cotas superiores de :

Entonces, la intuicin hace pensar que existe un real tal que y se cumple ,
esto tambin indica que es cota superior de y, por lo tanto, , adems, se intuye que es la menor
de las cotas superiores de . El real se denomina extremo superior de o supremo de y se denota .
Definicin 1.8 Supremo
Sea , y acotado superiormente,
Un nmero (no necesariamente de ) se denomina extremo superior o supremo de , se denota como
, si es la menor de las cotas superiores de . Dicho de otra forma, si y solo si tiene las
propiedades:
S1. es cota superior de
S2. Si es cota superior de
Ejemplos
1.
2.
3.

no tiene supremo
4.
Surgen dos preguntas: qu propiedades debe tener para que tenga supremo?, y si existe es nico? An
sin responder la primera, demostramos a continuacin que la segunda pregunta tiene respuesta afirmativa:
Suponga que tiene dos supremos y y son cotas superiores de
es supremo de y es cota superior de
es supremo de y es cota superior de
La primera pregunta la responde el axioma del extremo superior (es el ltimo axioma en la construccin de )
Axioma Del extremo superior o axioma de completitud de
Todo conjunto no vaco y acotado superiormente tiene un extremo superior
La siguiente caracterizacin del supremo facilita la demostracin de proposiciones.
Teorema 1.8 Caracterizacin de supremo (ms sobre epsilones arbitrarios positivos)
Sea no vaco y acotado superiormente. Las siguientes proposiciones P1 y P2 son equivalentes.
P1.
P2. (1) es cota superior de
(2) tal que
Importante Puede escribir , , en lugar de , lo que interesa es la arbitrariedad.
Por ejemplo, la siguiente figura ilustra el teorema anterior si est formado por los puntos asociados a los
tres segmentos con trazo oscuro, es no vacio y acotado superiormente, entonces por el axioma de completitud
tiene supremo. En otras palabras (segn la caracterizacin de supremo), es cota superior de y para
cada psilon positivo ( ) el nmero ya no es cota superior de , por lo tanto, existe al menos
un punto (que depende de ) que satisface , esta ltima desigualdad ( ) no es
estricta porque el podra pertenecer a , adems, no es necesario escribirla porque , ,
dado que es cota superior de , por lo tanto, la atencin se centra en :

Se podran dar los casos , sin embargo, eso carece de importancia, al igual
que . Si fuera el caso que , entonces coincide con el valor mximo de y
en tal caso las demostraciones con supremos se tornan muy simples.
Demostracin
La proposicin P2 (1) es la misma S1 en la definicin 1.8 de supremo, por lo tanto, no hay nada que
demostrar con respecto a eso.
(P1 P2) Suponga P1, es decir
(2) Para cada es obvio que , y como se tiene que es la menor de las cotas
superiores de , entonces no es cota superior de . Por lo tanto, en contraste con la
definicin 1.7 de cota superior, se concluye que:
tal que
Esto demuestra P2 (2).
(P2 P1) Suponga P2 (2) y demostremos que es la menor de las cotas superiores de .
En efecto, suponga que es cota superior de , sin embargo (por contradiccin) que (este
tipo de desigualdades estrictas entre dos nmeros suele utilizarse para escoger un ).
Sea , por lo tanto, la hiptesis P2(2) garantiza que tal que:

Eso se reduce a

Esto contradice el supuesto de es cota superior de , tal contradiccin naci al suponer que no es
la menor de las cotas superiores. Y termina la demostracin.
Ejemplo Aqu se demuestra que
Sea

Cada tiene la forma para algn , por lo tanto, no utilizaremos frases genricas como:

Seremos especficos con la forma de los elementos de , sin embargo, en lugar de escribir:

Utilizaremos
,
,
Vamos a demostrar que utilizando el teorema 1.8 (caracterizacin del supremo)
(P2 (1)) Se tendr que es cota superior de
se cumple
se cumple
se cumple (esto es verdadero)
La redaccin anterior toma como punto de partida la proposicin que se quiere demostrar, por lo tanto, est en
retrospectiva (le llamamos popularmente cocina o retrospectiva de la demostracin). La demostracin formal
es la cocina escrita de abajo hacia arriba como se muestra a continuacin.
se cumple
se cumple
se cumple
Y de esa forma se demostr es cota superior de .
(P2 (2)) Sea , debemos demostrar que existe talque:

es decir

Por lo tanto, el problema se reduce a determinar algn con tal propiedad. Sin embargo, en este ejemplo es
trivial porque el supuesto supremo (2) pertenece a (coincide con el mximo de ) y se obtiene con .
Se concluye que y se cumple:

Observe que con la anterior se reduce a

La demostracin formal (lo anterior escrito de abajo hacia arriba) es muy corta, a saber,
Sea

(el 2 en recuadro es el supremo y el otro 2 un elemento de )
y
Se concluye que
Ejemplo Sea y demostraremos que
. Y a diferencia del ejemplo anterior no tiene mximo.
(P2 (1)) La cota que obtenga es muy subjetiva, por ejemplo, se cumple:
Eso significa que todos los elementos de son menores que (la cota que se obtenga no necesariamente
debe ser el supremo). Tambin puede obtener una cota despus de hacer la divisin de polinomios, as:

Entonces se cumple: . Por lo tanto, es una cota superior de .
(P2 (2)) Se tiene y est acotado superiormente, por lo tanto tiene supremo y se sospecha que:

En efecto, sea (lo siguiente son las proposiciones del recuadro escritas en el orden lgico)
si tome (o cualquier otro mayor que cero)
si puede tomar (o cualquier otro mayor que )
Las dos lneas anteriores se pueden resumir en una sola, a saber,
En cualquiera de los casos, se tiene:
Se debe demostrar

Por lo tanto (de P2(1) y P2(2)),
Ejemplo Sea demostraremos que . Obviamente
(P2 (1)) La cota que obtenga es muy subjetiva, por ejemplo, se cumplen (entre muchas otras):

Etc. Eso significa que 1, 2, etc. son cotas superiores de
(P2 (2)) Se tiene y est acotado superiormente, por lo tanto tiene supremo y se sospecha que:

En efecto, para (lo siguiente son las proposiciones del recuadro escritas en el orden lgico) puede
tomar
(o cualquier otro mayor que 0 y que )

Se tiene , por lo tanto,

Demostrados P2(1) y P2(2) podemos afirmar que
Ejemplo Demostremos que
(a) Obviamente
(b) se tiene , por lo tanto el es cota superior de
(c) Por el axioma del extremo superior el existe y se intuye que es , por lo tanto, se debe
demostrar que:
tal que
La continuidad del intervalo hace pensar que podemos escoger como el punto medio entre y , sin
embargo, podra ser menor que y cabe la posibilidad de que ese punto medio quede a la izquierda
de y, en tal caso, no estara en el intervalo, sin embargo, en tal caso se puede escoger como el punto
medio entre y . Por esas razones escogemos como el punto medio entre y , as:

Se quiere demostrar
(
1
)


Debemos demostrar que y que .
En efecto,

Adems,

La figura ilustra algunos puntos donde se podra (dependiendo de ) ubicar

En la 1ra , en tal caso sera el punto medio entre y
En la 2da , en tal caso sera el punto medio entre y
Ejercicios
1. (Otra forma de tratar el supremo de un intervalo acotado superiormente)
Demuestre que , pero esta vez encuentre un con las propiedades:

2. Demuestre que
3. Demuestre que si tiene mximo entonces existe y en tal caso . El recproco no
es verdadero como puede apreciar en el ejemplo anterior.
4. Sea y
Trace la grfica de y conjeture sobre . Demuestre su conjetura
5. Sea . Intuya el valor de y demuestre su afirmacin.
6. Conjeture el y utilice la caracterizacin del supremo para demostrar su conjetura.

Algunas propiedades del supremo
Teoremas 1.9 Sean y subconjuntos no vacos de
1) Propiedad de aproxi macin
Si tiene supremo y tiene la propiedad talque
2) Propiedad aditiva
Se define
Si y tienen supremo tiene supremo y
3) Propiedad de comparacin
Si tiene supremo y se tiene tiene supremo y
Demostracin
1) Se tiene , tome y aplique caracterizacin de
talque

La otra desigualdad es obvia porque y es cota superior de
2) Primera cuestin: tiene supremo (demostraremos que y est acotado superiormente)
porque es la suma de y que no son vacos.
est acotado superiormente.
En efecto, un elemento genrico de tiene la forma , y

Entonces
es cota superior de
Por el axioma de completitud tiene supremo.
Segunda cuestin:
Como es usual aplicaremos el teorema de caracterizacin de supremo.
a) es cota superior de , segn se demostr arriba
b) Sea
Por caracterizacin de : tal que (escribimos solo por elegancia)
Por caracterizacin de : tal que

Por lo tanto,
3) Por hiptesis .
Por hiptesis se supone , adems, y, por lo tanto, todo elemento de
es cota superior de , entonces est acotado superiormente. Y por el axioma del completitud
existe .
Demostremos que recurriendo a la contradiccin.
Suponga que

Aplique la caracterizacin de con y concluya que tal que:

Por otra parte, por hiptesis se tiene
Por transitividad, , esto contradice la definicin de
Ejemplo Sea , , y acotado superiormente. Se define:

Si demostremos que est acotado superiormente y .
(a) porque
(b) est acotado superiormente.
En efecto, un elemento genrico de es de la forma para
Si (se tiene que es acotado superiormente)
(se tiene )
Por lo tanto, est acotado superiormente por
Por (a), (b) y el axioma de completitud se concluye que tiene supremo.
(c)
En efecto, ya se demostr que es cota superior de
Sea , por caracterizacin de : tal que:
(escribimos solo por elegancia)

Por lo tanto, es el supremo de , es decir
Ejercicio
Sean conjuntos no vacos y acotados superiormente. Se define:

Demuestre que est acotado superiormente y que

Extremo inferior o nfimo
Definicin 1.9 Sea un subconjunto de
est acotado inferiormente si y solo si tal que se cumple
se denomina cota inferior de

.

Obviamente si tiene una cota inferior, entonces tiene infinidad de cotas inferiores.
Definicin 1.10
Sea , y acotado superiormente,
Un nmero (no necesariamente de ) se denomina extremo inferior o nfimo de , se denota , si
es la mayor de las cotas inferiores de . Dicho de otra forma, si y solo si tiene las propiedades:
I1. es cota inferior de
I2. Si es cota inferior de

Los siguientes resultados sobre el nfimo de son consecuencia de los resultados sobre el supremo de:

O sea es el conjunto de inversos aditivos de los elementos de .
Particularmente demostraremos que

Teorema 1.10 Todo conjunto no vaco y acotado inferiormente tiene un extremo inferior
Demostracin Sea , y acotado inferiormente.
Aplicaremos el axioma del extremo superior al conjunto
1) porque
2) est acotado superiormente. En efecto,

Por hiptesis est acotado inferiormente, por lo tanto, tal que


Es decir, es cota superior de .
Por el axioma del extremo superior se concluye que tiene extremo superior, es decir existe .
Demostraremos que .
I1) Hqm: es cota inferior de
En efecto, sea

De sabemos que tiene supremo , por lo tanto,

es cota inferior de
I2) Hqm: es la mayor de las cotas inferiores de
En efecto, suponga que es cota inferior de , esto es:
se tiene

Se sabe que y es la menor de las cotas superiores de , entonces

Demostrados I1) e I2) puede concluir que

Teorema 1.11 Caracterizacin del nfimo (ms sobre psilon arbitrario positivo)
Sea , , acotado inferiormente. Las siguientes proposiciones Q1 y Q2 son equivalentes.
Q1.
Q2. (1)

es cota inferior de
(2) , tal que
Demostracin
Se deja de tarea. Utilice argumentos anlogos a los utilizados en la demostracin de la caracterizacin del
supremo.
Ejercicios
1. Demuestre el teorema de caracterizacin del nfimo
2. Deduzca el valor del nfimo de y comprubelo
3. Sea , , . Se define . Demuestre las siguientes.
Si y est acotado inferiormente est acotado inferiormente y
Si y est acotado superiormente est acotado superiormente y
Si y est acotado superiormente est acotado inferiormente y
Si y est acotado superiormente est acotado superiormente y

1.3. Consecuencias del axioma de completitud de
Teorema 1.12 Principio de Arqumedes (Arquimedianidad)
, tal que (a la derecha de cualquier real existe un natural)
Demostracin
Suponga que el teorema es falso, es decir,
tal que se cumple
est acotado superiormente por
tiene un supremo (por el axioma de completitud de )
, tal que
, tal que
Si , tal que ( )
Es contradictorio porque y no puede ser mayor que
Ejemplo Sea , demostremos que (utilizando la Arquimedianidad)
(1) se cumple . Por lo tanto, es cota superior de
(2) Sea , debemos demostrar que talque (haga retrodemostracin)
En efecto, sea
( por Arquimedianidad con ) tal que
(esta idea viene de la retrodemostracin, lo mismo que el resto de la demostracin)

(enmarcamos el uno para resaltar el supremo de )
y es arbitrario positivo entonces cumplimos con a la proposicin P2 (2) del teorema 1.8
Con lo que hemos demostrado en (1) y (2) podemos afirmar que
Teorema 1.13 Otras formas de enunciar el principio de Arqumedes (Arquimedianidad)
Sean ,
(1) tal que
(2) tal que
(3) tal que . Tambin es vlida si , en tal caso basta tomar
(4) Si adems, entonces
tal que , se cumple

Demostracin
(1) Aplique el principio de Arqumedes con en lugar de para concluir que tal que:

Se tiene , por lo tanto,

(2) Aplique la proposicin (1) con tal que
(3) Sea . Aplicaremos el principio del buen orden de (
1
Teorema 1.14 Densidad de
Sean , con tal que
) al conjunto:

porque la Arquimedianidad garantiza que talque , por lo tanto, tiene un primer
elemento que denotaremos con , y por definicin de mnimo . Entonces
Como
Y como
Por transitividad
4) Si adems,
Aplique la proposicin (2) de este teorema con en lugar de , tal que:

y

Es obvio que y por transitividad

Ejercicio
Deduzca el valor de y utilice Arquimedianidad para demostrar su conjetura.
Demostracin
Sean , con
I. Si entonces (ver (2) de teorema anterior) tal que . Tome
II. Si
, entonces (ver (2) del teorema anterior con en lugar de ) , tal que:

1
todo subconjunto no vaco de tiene un elemento mnimo

Aplique la proposicin (3) del teorema anterior con en lugar de , entonces tal que:

De despeje

Esta en transitividad con permite concluir que

. Basta tomar
III. Si , aplique lo anterior con y en lugar de y respectivamente
Existencia de races
Utilizando el axioma del extremo superior demostraremos que , tal que , en tal caso
se denomina la raz cuadrada no negativa de y se escribe .
Teorema 1.15 Existencia de races no negativas
Si , , tal que . Escribimos
Demostracin
Sea , defina (en la figura es el segmento ms oscuro)

Demostremos que tiene supremo, lo denotaremos con , y que satisface
(1) . En efecto, el cero satisface , por lo tanto,
(2) est acotado superiormente ( tal que se cumple )
Para demostrar que esta proposicin es verdadera necesitaremos esquivar las races porque apenas
estamos demostrando que existen, a cambio nos apegaremos al teorema 1.4 proposicin 8.10, que enuncia:
si , , .
As, sea

No podemos utilizar races para despejar (y as obtener una cota superior de ), y por eso debemos recurrir
al teorema mencionado arriba, para ello vamos a cambiar por algo mayor y que sea un cuadrado perfecto,
no podemos garantizar que , porque en algunos casos es (vea teorema 1.4 proposicines 8.7 y
8.8), eso justifica el que utilicemos:

As queda demostrado que es cota superior de
Por lo tanto tiene supremo.
(3) Demostremos que . Esto ser verdad despus de descartar que y
Suponga que . Llegaremos al absurdo de que no es cota superior de , la figura ilustra esta
contradiccin y sirve para justificar el argumento que utilizaremos a continuacin.

Como se puede hacer tan pequeo como se quiera, podemos pensar que existe tal que ,
eso contradice que es cota superior de porque . El asunto es determinar un tal que
, es decir que:

El problema es que no podemos utilizar races para despejar y por esa razn vamos a cambiar el trmino
por para evitarlas, obvio que y como consecuencia:

Y si este fuera el sentido lgico de la demostracin no necesariamente se tendra

Sin embargo, hemos partido de lo que se debe demostrar (estamos con la retrodemostracin), en este sentido
si la anterior es verdadera implica la tras anterior (en la retrodemostracin se aceptan conectores o ).
Y ahora si es fcil despejar , a saber,

(estamos bajo el supuesto y por lo tanto, )
La existencia de est justificada por el principio de Arqumedes o si desea puede ser ms especfico sobre
un valor de y escoger:

o alguno mayor.
La demostracin es la siguiente a partir de la Arquimedianidad:
entonces tal que
(por Arquimedianidad)
( )

Se sabe que , por lo tanto,
Por transitividad entre las anteriores se tiene:

. (absurdo)
Y como , contradice el que sea cota superior de .
El caso se deja de ejercicio y se recomienda hallar un tal que
Descartados los casos y solo queda que
Ejercicio Otra demostracin del teorema anterior
Sea . Hacer un dibujo que ilustre los puntos de y demuestre que tiene
nfimo. Si denota el nfimo de con , demuestre que .
El siguiente corolario es una consecuencia inmediata del teorema anterior y su demostracin se deja de
ejercicio.
Corolario 1
, tal que . Escribimos
La demostracin se deja de ejercicio.
Corolario 2
Sean , , . Demuestre que tal que . En tal caso se escribe
La demostracin se deja de ejercicio.
Ejemplo Sea ,
tal que y se escribe
tal que y se escribe
Por lo tanto,

Esto demuestra una importante propiedad.
Nmeros irracionales
El primer resultado de este captulo sobre la no existencia de algunas races en y el ltimo teorema sobre
existencia de races en implican que el conjunto no es vaco, se denomina conjunto de los nmeros
irracionales y denotaremos con . Adems, si y no es un cuadrado perfecto, entonces es un
nmero irracional.
El conjunto de los irracionales

no es un campo porque, entre otras, las operaciones suma y multiplicacin no
son cerradas en , por ejemplo, , sin embargo, .
Al igual que es denso tambin lo es como se enuncia en el siguiente teorema, este y muchos otros
resultados se demuestran recurriendo a las propiedades de campo de
Teorema 1.16 Densidad de
Sean , con tal que
Demostracin
Sea

Por el teorema de densidad de , entre esos dos nmeros reales existe un racional , esto es

. Basta tomar
Ejercicios
1. definimos . Demuestre que:
1.1 . Por esta propiedad se dice que los intervalos son anidados.
1.2 Si entonces . Sugerencia, utilice el teorema 1.13 (2)
1.3 . Para demostrar utilice contradiccin y el teorema 1.13(2)
2. definimos . Demuestre que:
2.1 . Los intervalos son anidados.
2.2 . Haga una demostracin directa utilizando el teorema 1.13
3. se define . Demuestre que
4. Demuestre que es irracional
Ejercicios
1. Caso que existan, hallar el nfimo y supremo de y demustrelo.
2. Caso que existan, hallar el nfimo y supremo de y demustrelo.
3. Demostrar el corolario 1: , tal que
4. Demostrar que para todo entero el nmero es irracional.

Capítulo 1 Paso de Los Racionales A Los Reales

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Capítulo 1 Paso de Los Racionales A Los Reales

Diunggah oleh

Hak Cipta:

Format Tersedia

1

Anda mungkin juga menyukai