Captulo 1 El paso de los racionales a los reales

1.1. Incompletitud de

1.1.1. Incompletitud geomtrica de

Teorema 1.1 Demostracin
Suponga que Y suponga que No existe un racional tal que y , y . Es decir, si )

(por contradiccin suponga , con

(si para algn Sustituya esto en

es primo y

con

(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 existe un racional con esa propiedad.

, sin embargo, como demostramos en el teorema anterior no

Lo anterior evidencia que no es completo, en el sentido de que la recta numrica contiene puntos que no representan nmeros racionales.

MA-304 Notas de Julio Cspedes

Ejercicios 1. 2.
Si

Sean es primo demuestre que no existe un racional tal que

Si demuestre que Sugerencia, demuestre la contrapositiva con ayuda del teorema fundamental de la aritmtica. Si demuestre que

3.

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 Sugerencia, utilice el ejercicio anterior.

talque

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 , obtiene nmeros como el siguiente que no es racional: coloque un si es primo y un si no es primo,

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 Entonces racionales y completo.

se tiene . Suponga que adems, es una solucin de . como se demostr en el teorema 1.1, por lo tanto, entre los dos subconjuntos de nmeros , hay un punto que ocupa un nmero que no es racional. Reforzando la tesis de que no es

MA-304 Notas de Julio Cspedes

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 A.2 A.3 A.4 A.5 Existe un nmero real y . Por tanto, no es ambiguo satisface y se denota con ,

Suma es cerrada Suma es conmutativa Suma es asociativa 0 es neutro aditivo Inversos aditivos

existe tal que se llama inverso aditivo de Es decir,

A.6 A.7 A.8 A.9 A.10 Existe un nmero real , Por tanto, no es ambiguo

Multiplicacin es cerrada Multiplicacin es conmutativa Multiplicacin es asociativa es neutro multiplicativo Inversos multiplicativos y se denota con

,y

satisface

, existe tal que se llama inverso multiplicativo de 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) 2) 3) (la observacin se debe a que es el nico neutro de la suma y Ley de cancelacin de la suma. satisface todos los axiomas salvo el A.9)

el nico neutro de la multiplicacin Sean tales que

MA-304 Notas de Julio Cspedes

4) 5) 6) 7) 8) 9) 10) 11) 12) 13) 14) 15)

Ley de cancelacin de la multiplicacin

Sean

, tales que

, , ,
,

talque

su inverso aditivo es nico. talque

, su inverso multiplicativo (recproco) es nico se cumple se cumple

, ,,

, se cumple , se cumple se cumple

Propiedad absorbente del cero . Demuestre que se cumplen: 15.1) 15.2) 15.3) 15.4)

( no tiene divisores de cero)

16)

tales que

Demostracin
1) 2) Esta propiedad es inmediata del axioma A.9. Suponga que Como Como es otro neutro aditivo Suponga que Como Como es otro neutro multiplicativo

es neutro aditivo: es neutro aditivo:

es neutro multiplicativo: es neutro multiplicativo:

Igualando ambas concluye: 3) Sean Se tiene Por hiptesis Concluye que 4) tales que

Igualando ambas concluye

, por lo tanto, la anterior se escribe

Se deja de ejercicio. Sugerencia, emule la demostracin anterior con multiplicacin en lugar de suma y el neutro multiplicativo en lugar del aditivo. Hay que demostrar dos proposiciones: la existencia de dicho La existencia se demuestra construyndolo, obviamente si Para la unicidad suponga que existen Igualando ambas obtiene tales que: y por la ley de cancelacin de la suma concluye y su unicidad. cumple

5)

6) 7)

Para Sean

, aplique la proposicin anterior con

, . Obviamente la solucin de

.
es

Se deja de ejercicio demostrar la unicidad. 8) 9) Para Sea

,
, como

, aplique la proposicin anterior con

entonces

MA-304 Notas de Julio Cspedes

10)

Sean Por lo tanto,

entonces:

El resto de las demostraciones se dejan de ejercicio

Cocientes
Sean , , el nmero se denota y denomina cociente de no se define. a o razn de a .

Observe que estamos considerando solo Obviamente y si

, por lo tanto,

, entonces

Teorema 1.3
Sean 1) 2) 3)

Clculo de cocientes
con entonces:

Las demostraciones se dejan de ejercicio.

Notacin
Para , escribimos para simplificar la suma para simplificar la multiplicacin para para . Note que no se define , es obvio que

Ejercicio
1) 4)

Demuestre por induccin sobre 2) para 5)

las siguientes. Suponga que 3) para

es fijo

MA-304 Notas de Julio Cspedes

1.2.2.

Axiomas de Orden
, denominado conjunto de nmeros reales positivos que satisface:

Se supone que existe un conjunto 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 Si decimos que decimos que es positivo y se escribe es negativo y se escribe

Definicin 1.2 Para , se escribe: y lee es mayor o igual que sii sii sii sii Note que sii sii , es decir si es positivo

Y se definen:

A continuacin se enuncian las principales leyes que rigen las proposiciones con desigualdades.

Teoremas 1.4 1) 2) Si 3) 4) Si 5) La relacin es de orden en Ese orden es total en (reflexiva, antisimtrica, transitiva) ( , se cumple o ) se tiene: entonces y no pueden ser ambos positivos

6) Compatibilidad del orden con la suma.

7) Compatibilidad del orden con el producto. 7.1) Si 7.2) Si

MA-304 Notas de Julio Cspedes

8) 8.1) 8.2) 8.3) 8.4) 8.5) 8.6) 8.7) 8.8) 8.9) 8.10) Con , , Si Si Si Si Si Si Si

Demostracin 1) 2) 3) Suponga que Suponga que y . , entonces (contrapositiva de B.3) como se quera demostrar. , por lo tanto (por B.2), , lo , entonces (por B.3) son positivos . Eso es un absurdo porque es positivo. Esto contradice 1) de este teorema.

Por la ley de tricotoma Obviamente Suponga Solo queda

que contradice el supuesto.

4)

Si

5)

es de orden en

. Sean porque

Reflexividad: Antisimetra. Suponga que

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

MA-304 Notas de Julio Cspedes

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) 3) 4) 5) Si Si Si , y se tiene , se satisface la desigualdad de Bernoulli se tiene

6) 7) 8)

, ,

, , ,

se satisface se satisface se satisface la desigualdad de Cauchy-Schwartz

Demostracin
1) Si Si

MA-304 Notas de Julio Cspedes

Estas dos desigualdades se pueden escribir 2) 3) En 1) tome y obtenga

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 Por otro lado, por hiptesis se tiene En particular para se tiene implica (absurdo)

4)

Vamos a demostrar que Se tiene que :

. En contradiccin con eso suponga que . En particular, para (absurdo)

se tiene:

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 tal caso se cumple una y solo una de las siguientes:

o lo corta en un nico punto, en

Complementando y

con el signo del coeficiente

se puede precisar cual es el caso, as:

La demostracin inicia con la siguiente proposicin verdadera

Sume todos los cuadrados para

y obtenga:

10

MA-304 Notas de Julio Cspedes

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 Si y

porque

es una suma de cuadrados. Adems, entonces el discriminante

si y solo si

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, Schwartz y observe que es un resultado trivial. . Sustituya esos en la desigualdad de Cauchy

Ejercicios
(1) Sea

. Demuestre por induccin:

(2)

Sean (2.1)

,
Demuestre que el coeficiente binomial tiene la propiedad de simetra:

MA-304 Notas de Julio Cspedes

11

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

(2.3) (2.4) (2.5)

Factorice Desarrolle Si

y y

, 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) (3.3) (3.4) (4)

Factorice Desarrolle Para todo

, demuestre que

no es primo

Sean funciones Sean

tales que con ecuaciones , y

. Demuestre que .
se cumple

. Ilustre el resultado con las

(5)

. Demuestre que

(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. Los nmeros de Fibonacci (Leonardo de Pisa) se denotan . Es decir,

(7)

y para

se definen por la frmula recurrente

(7.1)

Demuestre por induccin que Sugerencia, primero demuestre que

para todo

(7.2)

Demuestre por induccin que

12

MA-304 Notas de Julio Cspedes

donde

son las soluciones de

. Sugerencia, utilice la identidad de (3.1).

MA-304 Notas de Julio Cspedes

13

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
Sean ,

Intervalos
. Se define intervalo y : y : y :

Abierto con extremos Cerrado con extremos

Semiabiertos con extremos No acotados

En general decimos que un conjunto es un intervalo de sii con para denotar un intervalo abierto con extremos y . Algunos autores utilizan

Valor absoluto
Definicin 1.4
El valor absoluto de Valor absoluto 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 asocia su valor absoluto sobre el eje , es decir, obtiene el trazo que ilustra la figura:

se

14

MA-304 Notas de Julio Cspedes

Teorema 1.6
1) 2) 3) 4) 5) 6) 7) 8) 9) 10) 11) 12) 13) 14) Desigualdad triangular generalizada Desigualdad triangular Si y y y y

Demostracin
1) Por la ley de tricotoma Si Si Si entonces entonces entonces La direccin ya se demostr.

Demostremos que En la otra direccin suponga que:

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

entonces

3)

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

6)

Las anteriores se escriben

MA-304 Notas de Julio Cspedes

15

7)

Si

8)

Sean

tales que

Si Si desigualdad:

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

es equivalente a: Y equivalente con:

9)

Si Si

es claro que y

10) Por lo tanto,

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

16

MA-304 Notas de Julio Cspedes

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 es un intervalo:

, por lo tanto, en el conjunto de los nmeros

reales una bola abierta con centro en

Ejercicios
1) 2) 3) 4) 5) Si

Sean se cumple

constantes y , demuestre que

Obtenga una cantidad infinita de soluciones : Obtenga una cantidad infinita de soluciones : Sea Sea obtenga una cantidad infinita de soluciones : obtenga una cantidad infinita de soluciones para de

Nota, en 4) y 5) no es necesario indicar todas las soluciones.

MA-304 Notas de Julio Cspedes

17

Una copia de
Se podra demostrar que escribir , y contiene las copias de . , y descritas adelante. Despus de eso se puede

Definicin 1.6
Un conjunto (a) (b) Si

Conjunto inductivo se denomina inductivo si satisface:

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 Demostracin

Demostremos que (a) (b) porque Suponga que

es el conjunto inductivo ms pequeo de

es inductivo utilizando la definicin de interseccin de conjuntos. , , por lo tanto y este ltimo es .

,
Cada uno de los conjuntos es inductivo, por lo tanto,

(a) y (b) es la comprobacin de que Para demostrar que inductivo de

es inductivo. , suponga que es otro conjunto

es el ms pequeo de los conjuntos inductivos de (porque

es considerado al tomar la interseccin)

18

MA-304 Notas de Julio Cspedes

Las siguientes seran las copias de

contenidas en el campo

Ejercicios
Sean ,

Aproximacin del rea bajo una curva segn Arqumedes

fijos con y denote con:

Se define que

, para para tiene

, de esta definicin se calcula

. Adems, se observa

El conjunto diferencia se define as: 1)

puntos y se denomina particin del intervalo . es constante.

y el operador

Demuestre que para la particin se tiene que Indique algunos puntos de en la recta real.

2)

Vamos a necesitar de las siguientes identidades, demostrarlas.

Demuestre que:

3) 4) 5)

Trace la grfica de la funcin

con ecuacin

en un intervalo y los rectngulos de base y los rectngulos de base

con y altura y altura

En un grfico seale los valores En un grfico seale los valores Desde la figura es claro, pero demuestre que:

Se utiliza

para referirse al rea entre la curva de

y entre los ejes

Del dibujo (en que la funcin es creciente) se concluye

6)

Calcule cada sumatoria en trminos de , ,

MA-304 Notas de Julio Cspedes

19

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 tal que se cumple .

es acotado superiormente si y solo si se denomina cota superior de .

Suponga que el conjunto es acotado superiormente por . Y sea se cumple: tambin es acotado por , esto quiere decir que

con la propiedad

, entonces

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
Sea ,

Supremo y acotado superiormente,

(no necesariamente de ) se denomina extremo superior o supremo de , se denota como Un nmero , si es la menor de las cotas superiores de . Dicho de otra forma, si y solo si tiene las propiedades: S1. S2. Si es cota superior de es cota superior de

Ejemplos 1. 2. 3. 4.
no tiene supremo

20

MA-304 Notas de Julio Cspedes

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 y y son cotas superiores de

es supremo de es supremo de

es cota superior de 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 y acotado superiormente tiene un extremo superior

Todo conjunto no vaco

La siguiente caracterizacin del supremo facilita la demostracin de proposiciones.

Teorema 1.8
Sea P1. P2. (1) (2) Importante

Caracterizacin de supremo (ms sobre epsilones arbitrarios positivos)

no vaco y acotado superiormente. Las siguientes proposiciones P1 y P2 son equivalentes.

es cota superior de tal que 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) (2) Suponga P1, es decir Para cada superiores de es obvio que , entonces , y como se tiene que no es cota superior de tal que Esto demuestra P2 (2). es la menor de las cotas

. Por lo tanto, en contraste con la

definicin 1.7 de cota superior, se concluye que:

MA-304 Notas de Julio Cspedes

21

(P2

P1) Suponga P2 (2) y demostremos que es la menor de las cotas superiores de . es cota superior de , sin embargo (por contradiccin) que En efecto, suponga que tipo de desigualdades estrictas entre dos nmeros suele utilizarse para escoger un ). Sea , por lo tanto, la hiptesis P2(2) garantiza que tal que:

(este

Eso se reduce a Esto contradice el supuesto de es cota superior de , tal contradiccin naci al suponer que la menor de las cotas superiores. Y termina la demostracin. no es

Ejemplo
Sea

Aqu se demuestra que

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 (P2 (1)) Se tendr que

utilizando el teorema 1.8 (caracterizacin del supremo) 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 (P2 (2)) Sea es cota superior de . talque:

, debemos demostrar que existe

es decir

22

MA-304 Notas de Julio Cspedes

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 no tiene mximo. se cumple:

. Y a diferencia del ejemplo anterior (P2 (1))

La cota que obtenga es muy subjetiva, por ejemplo,

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 (P2 (2))

se cumple: Se tiene y

. Por lo tanto,

es una cota superior de .

est acotado superiormente, por lo tanto tiene supremo y se sospecha que:

En efecto, sea si si

(lo siguiente son las proposiciones del recuadro escritas en el orden lgico) tome puede tomar (o cualquier otro mayor que cero) (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)),

MA-304 Notas de Julio Cspedes

23

Ejemplo
(P2 (1))

Sea

demostraremos que

. Obviamente se cumplen (entre muchas otras):

La cota que obtenga es muy subjetiva, por ejemplo,

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 tomar

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

Se quiere demostrar Se tiene , por lo tanto,

()

Demostrados P2(1) y P2(2) podemos afirmar que

Ejemplo
(a) (b) (c)

Demostremos que

Obviamente

se tiene

, por lo tanto el

es cota superior de existe y se intuye que es , por lo tanto, se debe

Por el axioma del extremo superior el 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:

24

MA-304 Notas de Julio Cspedes

Debemos demostrar que En efecto,

y que

Adems,

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

En la 1ra En la 2da

, ,

en tal caso en tal caso

sera el punto medio entre sera el punto medio entre

y 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. 3. 4.

Demuestre que Demuestre que si tiene mximo entonces existe y en tal caso es verdadero como puede apreciar en el ejemplo anterior. Sea Trace la grfica de Sea Conjeture el y y conjeture sobre . El recproco no

. Demuestre su conjetura y demuestre su afirmacin.

5. 6.

. Intuya el valor de

y utilice la caracterizacin del supremo para demostrar su conjetura.

MA-304 Notas de Julio Cspedes

25

Algunas propiedades del supremo

Teoremas 1.9
1) Sean y subconjuntos no vacos de talque

Propiedad de aproximacin Si tiene supremo y tiene la propiedad Propiedad aditiva Se define Si y tienen supremo tiene supremo y

2)

3)

Propiedad de comparacin Si tiene supremo y

se tiene

tiene supremo y

Demostracin
1) Se tiene , tome talque y aplique caracterizacin de

La otra desigualdad 2) Primera cuestin:

es obvia porque

es cota superior de

tiene supremo (demostraremos que porque es la suma de y que no son vacos.

y est acotado superiormente)

est acotado superiormente. En efecto, un elemento genrico de tiene la forma

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

Por caracterizacin de Por caracterizacin de

Por lo tanto, 3) Por hiptesis Por hiptesis es cota superior de existe . se supone , adems,

y, por lo tanto, todo elemento de

, entonces

est acotado superiormente. Y por el axioma del completitud

26

MA-304 Notas de Julio Cspedes

Demostremos que Suponga que Aplique la caracterizacin de

recurriendo a la contradiccin.

con

y concluya que

tal que:

Por otra parte, por hiptesis Por transitividad,

se tiene

, esto contradice la definicin de

Ejemplo
Si (a) (b)

Sea

y acotado superiormente. Se define: .

demostremos que
porque

est acotado superiormente y

est acotado superiormente. En efecto, un elemento genrico de Si

es de la forma (se tiene que (se tiene

para es acotado superiormente) )

Por lo tanto,

est acotado superiormente por tiene supremo.

Por (a), (b) y el axioma de completitud se concluye que (c) En efecto, ya se demostr que Sea , por caracterizacin de es cota superior 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

MA-304 Notas de Julio Cspedes

27

Extremo inferior o nfimo

Definicin 1.9
Sea un subconjunto de tal que se cumple

est acotado inferiormente si y solo si 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 si y solo si tiene las propiedades: es la mayor de las cotas inferiores de . Dicho de otra forma,

I1. I2.

es cota inferior de 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 Demostracin

Todo conjunto no vaco Sea

y acotado inferiormente tiene un extremo inferior acotado inferiormente.

Aplicaremos el axioma del extremo superior al conjunto 1) 2) porque est acotado superiormente. En efecto,

Por hiptesis

est acotado inferiormente, por lo tanto,

tal que

28

MA-304 Notas de Julio Cspedes

Es decir,

Por el axioma del extremo superior se concluye que Demostraremos que I1) Hqm: En efecto, sea De sabemos que tiene supremo .

es cota superior de .

tiene extremo superior, es decir existe

es cota inferior de

, por lo tanto,

es cota inferior de I2) Hqm: se tiene Se sabe que y es la menor de las cotas superiores de , entonces es la mayor de las cotas inferiores de es cota inferior de , esto es:

En efecto, suponga que

Demostrados I1) e I2) puede concluir que

Teorema 1.11
Sea ,

Caracterizacin del nfimo (ms sobre psilon arbitrario positivo)

acotado inferiormente. Las siguientes proposiciones Q1 y Q2 son equivalentes.

Q1. Q2.
(1) (2) es cota inferior de , tal que

Demostracin
Se deja de tarea. Utilice argumentos anlogos a los utilizados en la demostracin de la caracterizacin del supremo.

Ejercicios 1. 2. 3.
Demuestre el teorema de caracterizacin del nfimo Deduzca el valor del nfimo de Sea Si Si Si Si y y y y , , . Se define y comprubelo . Demuestre las siguientes. est acotado inferiormente y est acotado superiormente y est acotado inferiormente y est acotado superiormente y

est acotado inferiormente est acotado superiormente est acotado superiormente est acotado superiormente

MA-304 Notas de Julio Cspedes

29

30

MA-304 Notas de Julio Cspedes

1.3. Consecuencias del axioma de completitud de

Teorema 1.12 , 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 , , Si , tal que tal que tal que ( ) y no puede ser mayor que Principio de Arqumedes tal que (Arquimedianidad) (a la derecha de cualquier real existe un natural)

Es contradictorio porque

Ejemplo
(1) (2) Sea

Sea se cumple

, demostremos que . Por lo tanto,

(utilizando la Arquimedianidad)

es cota superior de (haga retrodemostracin)

, debemos demostrar que )

talque tal que

En efecto, sea ( por Arquimedianidad con

(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
Sean (1) (2) (3) (4) ,

Otras formas de enunciar el principio de Arqumedes (Arquimedianidad)

tal que tal que tal que Si adems, tal que entonces , se cumple . Tambin es vlida si , en tal caso basta tomar

MA-304 Notas de Julio Cspedes

31

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

Se tiene

, por lo tanto,

(2) (3)

Aplique la proposicin (1) con Sea

tal que ( ) al conjunto:

1

. Aplicaremos el principio del buen orden de

porque la Arquimedianidad garantiza que elemento Como Y como Por transitividad 4) Si adems, Aplique la proposicin (2) de este teorema con que denotaremos con

talque

, por lo tanto,

tiene un primer

, y por definicin de mnimo

. Entonces

en lugar de

tal que:

Es obvio que

y por transitividad

Ejercicio
Deduzca el valor de y utilice Arquimedianidad para demostrar su conjetura.

Teorema 1.14
Sean , con

Densidad de tal que

Demostracin
Sean I. II. Si Si , entonces (ver (2) del teorema anterior con en lugar de ) , tal que: , con entonces (ver (2) de teorema anterior) tal que . Tome

todo subconjunto no vaco de

tiene un elemento mnimo

32

MA-304 Notas de Julio Cspedes

Aplique la proposicin (3) del teorema anterior con

en lugar de , entonces

tal que:

De

despeje

Esta en transitividad con

permite concluir que

. III. Si

Basta tomar , aplique lo anterior con y en lugar de y respectivamente

Existencia de races
Utilizando el axioma del extremo superior demostraremos que se denomina la raz cuadrada no negativa de y se escribe

,
.

tal que

, en tal caso

Teorema 1.15
Si ,

Existencia de races no negativas , tal que . Escribimos

Demostracin
Sea , defina (en la figura es el segmento ms oscuro)

Demostremos que (1) (2)

tiene supremo, lo denotaremos con , por lo tanto, tal que

, y que satisface

. En efecto, el cero satisface est acotado superiormente (

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,

MA-304 Notas de Julio Cspedes

33

no podemos garantizar que 8.8), eso justifica el que utilicemos:

, porque en algunos casos es

(vea teorema 1.4 proposicines 8.7 y

As queda demostrado que Por lo tanto tiene supremo.

es cota superior de

(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 es cota superior de porque

tal que

, tal que

eso contradice que

. El asunto es determinar un

, es decir que:

El problema es que no podemos utilizar races para despejar por para evitarlas, obvio que

y por esa razn vamos a cambiar el trmino

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:

34

MA-304 Notas de Julio Cspedes

entonces

tal que (por Arquimedianidad) ( )

Se sabe que

, por lo tanto,

Por transitividad entre las anteriores se tiene:

.
Y como El caso

(absurdo) , contradice el que sea cota superior de . tal que

se deja de ejercicio y se recomienda hallar un y solo queda que

Descartados los casos

Ejercicio
Sea

Otra demostracin del teorema anterior . Hacer un dibujo que ilustre los puntos de con , demuestre que . y demuestre que tiene

nfimo. Si denota el nfimo de

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 tal que Por lo tanto,

y se escribe y se escribe

Esto demuestra una importante propiedad.

MA-304 Notas de Julio Cspedes

35

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
Sean , con

Densidad de tal que

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

Basta tomar

Ejercicios 1. 1.1 1.2 1.3 2. 2.1 2.2 3. 4.

definimos Si definimos . Demuestre que:

. Por esta propiedad se dice que los intervalos son anidados. entonces . Para demostrar . Demuestre que: . Sugerencia, utilice el teorema 1.13 (2) utilice contradiccin y el teorema 1.13(2)

. Los intervalos son anidados. . Haga una demostracin directa utilizando el teorema 1.13 se define . Demuestre que es irracional

Demuestre que

Ejercicios 1. 2. 3. 4.
Caso que existan, hallar el nfimo y supremo de Caso que existan, hallar el nfimo y supremo de Demostrar el corolario 1: Demostrar que para todo entero , tal que el nmero es irracional. y demustrelo. y demustrelo.