Notas Explicativas (espero): Supremo e Inmo.

Mauricio Godoy Molina Marzo, 2005

Resumen Necesario, imprescindible, trascendental, etc. No alcanzan los apelativos a la hora de concebir en el abstracto (y en la prctica) dos de a los conceptos ms importantes del anlisis real: Supremo e a a Inmo. Lo que deber motivarnos a la comprensin de estas potentes ideas no es a o ni ms ni menos que acercar a los alumnos suavemente a las maravillas a del clculo innitesimal. a

1.

Conjuntos Acotados de R.

Este tpico se enmarca en la construccin axiomtica de los reales, en paro o a ticular en los llamados Axiomas de Completitud. Para desentraar un poco n de qu hablamos cuando decimos que un conjunto es completo necesitamos e saber, a ciencia cierta, qu signica el concepto de sucesin (en particular e o las llamadas sucesiones de Cauchy o fundamentales) y a qu nos referimos al e establecer si esta converge o no, por lo tanto dejaremos un poco de lado este tema (aunque lo volveremos a tratar en el tpico de sucesiones) para dejar o entender la siguiente denicin: o Denicin 1.1 Diremos que un conjunto es completo si y slo si satisface o o el Axioma del Supremo (ver Observacin). o Observacin: En realidad lo que llamamos axioma del supremo es cono siderado en general un Teorema (cuya demostracin se aleja de los objetivos o del curso). El punto es el siguiente: si queremos hacer una construccin ao xiomtica de los nmeros reales necesitamos incluirlo como axioma de coma u pletitud, en cambio si somos estrictos en la construccin (es decir, a partir o 1

de los nmeros Q) nos daremos cuenta de que es absolutamente demostrable u a partir de unos pocos conceptos. Para continuar esta breve exposicin, necesitamos conocer ms en proo a fundidad lo que son los conjuntos acotados. Naturales deber parecerles las an siguientes deniciones. Denicin 1.2 Diremos que s R es una cota superior del conjunto A R o si y slo si (x A)(x < s). o Denicin 1.3 Diremos que i R es una cota inferior del conjunto A R o si y slo si (x A)(i < x). o Observacin: Con el propsito de simplicar las notaciones diremos que o o CS(A) = {x|x es cota superior de A} y, como es de esperarse, tambin diree mos que CI(A) = {x|x es cota inferior de A}. Ejemplos.1. En R2 un disco cerrado o abierto (es decir, el interior de una circunferencia con o sin la circunferencia respectivamente) es un conjunto acotado, pero no se tiene denido un orden. Un conjunto no acotado de R2 ser por ejemplo, todos los puntos que se encuentran sobre una a, recta. En R2 no podemos hablar de cotas superiores o inferiores debido a que no se tiene la nocin de orden. o 2. En Z vimos los conjuntos acotados en el apunte de induccin. Clarao mente un conjunto no acotado es el de los nmeros pares. El de los u nmeros primos es un conjunto acotado inferiormente (por ejemplo u por 2) pero no superiormente. 3. En R3 la esfera es un conjunto acotado, no as un plano. Al igual que 2 3 en R , en R no podemos hablar de cotas superiores o inferiores debido a que no se tiene la nocin de orden. o Denicin 1.4 Diremos que el conjunto A es acotado superiormente (reso pectivamente inferiormente) si y slo si CS(A) = (respectivamente CI(A) = o ). En el caso de que sea acotado tanto superior como inferiormente simplemente diremos que A es acotado.

Observacin: Lo que quiere decir la denicin de cotas superiores (reso o pectivamente cota inferior) es que si un conjunto es acotado superiormente (inferiormente) todo elemento del conjunto es ms pequeo (grande) o a a n lo ms igual que algn otro nmero real llamado cota. Claramente nos a u u damos cuenta que esta denicin es vlida slo en conjuntos donde tengamos o a o denida la idea de orden (que queda totalmente explicada a partir de los ya conocidos axiomas de orden). El concepto general de conjuntos acotados es independiente, incluso, de la idea de distancia (ver [1], [2] o [7]). Observacin: En general diremos que un subconjunto de un conjunto es o acotado cuando existe un nmero nito de conjuntos elementales (llamados u abiertos) que lo cubren totalmente. Decir que lo cubren totalmente se reere a que el subconjunto en cuestin est totalmente contenido en la unin del o a o nmero nito de abiertos. u

2.

Supremo e Inmo.

Ahora comienza lo bueno, una vez comprendidos con claridad las ideas de los conjuntos acotados podemos pasar sin temor a conocer qu secretos e se esconden tras el Supremo (qu nombre ms potico!) y el e a e Inmo (lstima a que no se pueda decir lo mismo) de conjuntos acotados. Denicin 2.1 Supongamos A R acotado superiormente. Diremos que o L CS(A) es el supremo de A si y slo si se cumple que o L es el menor elemento de CS(A) Observacin: Por notacin diremos que si L es el supremo de A, entonces o o L = sup A. Denicin 2.2 Supongamos A R acotado inferiormente. Diremos que o l CI(A) es el nmo de A si y slo si se cumple que o l es el mayor elemento de CI(A)

Observacin: Por notacin diremos que si l es el o o nmo de A, entonces l = inf A. Axioma 2.1 (Axioma del Supremo) Todo conjunto no vac acotado suo periormente posee supremo (en R). Ete mismo enunciado es vlido para el a nmo de un conjunto no vac acotado inferiormente. o Observacin: Aqu es cuando insisto majaderamente que el axioma del o supremo es demostrable si consideramos la construccin ms cannica de los o a o reales, para entender bien a lo que me reero pueden consultar una muy bonita forma de construirlos llamada los Cortes de Dedekind, claramente expuesta en [4]. Teorema 2.1 (Caracterizacin del Supremo) Diremos que L es el suo premo del conjunto A si y slo si L CS(A) y ( > 0)(c A)(L < c). o o Demostracin 2.1 Claramente, a partir de la denicin de sup A se o tiene que L CS(A) como condicin necesaria. En otras palabras, es o vlido asegurar que a ( A)( < L) Adems dado que L es la menor de las cotas superiores, necesariamente a existe c A tal que < c < L. Considerando = L concluye la demostracin. o Esta direccin de la demostracin es fcil, traten de hacerla ustedes. o o a Observacin: Es claro que un argumento similar al anterior es vlido para o a el nmo l de A, pues el que efectivamente l sea el nmo de A se verica si y slo si l CI y ( > 0)(c A)(l + > c). La demostracin de esta o o proposicin es similar a la anterior. o Denicin 2.3 Si sup A A diremos que sup A es el mximo de A (denoo a tado mx A). Asimismo si inf A A diremos que inf A es el m a nimo de A (denotado m A). n Observacin: Los conceptos de mximo y mn o a nimo, que una vez asumidos y entendidos pueden parecer solamente formalismos casi sin sentido, encierran una riqueza y son tan importantes en el desarrollo de ideas como la de convergencia que son no menos que un aporte fundamental en la matemtica. a 4

Observacin: La seccin posterior a los ejericios requiere (para la como o prensin nal de conceptos ya conocidos) que hayan interiorizado la nocin o o de supremo y de nmo. A pesar de que es un cuento varias veces contado no debemos mirarlo en menos, formar parte fundamental en el correcto a desarrollo de un ejercicio de desigualdades (materia del 2 quiz).

3.

Ejercicios.
a) mx[0, 1[ Solucin: No, pues pese a que el intervalo tiene suprea o mo (que obviamente coincide con el supremo de la pregunta pues es el mismo intervalo) el supremo no est contenido en ste, por a e lo tanto no hay mximo. a b) mx[0, 1] Solucin: S Claramente, por idnticos argumentos a o . e que en la alternativa anterior. c) inf[0, 1] Solucin: No. Pues se observa claramente que este nmero o u es 0 y esperamos tener el valor 1. d ) m n]1, 2] Solucin: No. Por argumentos similares a los de la o primera alternativa.

1. sup[0, 1[=

2. CS(A) CI(A) A = R, A R (V) . No pues la armacin anterior se cumple slo para cuando A es o o un intervalo acotado. (F) . Si no es verdadero, tendr que ser falso. a 3. Calcule el supremo y el nmo de los siguientes conjuntos:

1
n=1

1 1 ,1 + n n

1 +
n=1

1 1 ,1 n n

Tienen mximo o m a nimo? 4. Calcule el supremo y el nmo de los siguientes conjuntos:

n=1

1 1 1 , 1 + n n

1 +
n=1

1 1 ,1 n n

Tienen mximo o m a nimo? 5

4.

Apndice: Tipos de Intervalos de R e

Los axiomas de orden y de completitud, adems de las deniciones anteria ores, permiten una forma simple y natural de clasicar algunos subconjuntos de R (obviamente podemos generar otros tipos de subconjuntos mediante unin e interseccin de estos subconjuntos elementales). Si bien estos tpio o o cos son delicados en casos ms complicados en el caso de R se entrega una a caracterizacin total. o Por una cuestin de simpleza preferir la notacin de extremos abiertos o e o dada por los parntesis usuales ( ), en lugar de ] [. Aquel que tenga la e precaucin de leer este prrafo no deber tener problemas de comprensin. o a a o Antes de comenzar la clasicacin de los subconjuntos ms importantes o a de los reales (llamados intervalos), precisemos dos conceptos fundamentales. Denicin 4.1 Diremos que I R es un intervalo si y slo si dados x, y I o o tales que x < y, entonces (c R)(x < c < y : c I). Denicin 4.2 El intervalo I R es cerrado en su extremo superior (reso pectivamente en su extremo inferior) si y slo si su extremo superior (reso pectivamente su extremo inferior) est contenido en I. De no ser el caso, a diremos que el intervalo es abierto en su extremo superior (respectivamente en su extremo inferior). Observacin: Es importante hacer notar que la clasicacin de subconjuno o tos de R es la clasicacin clsica de los diferentes intervalos que se pueden o a dar. Ms an probablemente vieron esta clasicacin en el colegio y estn a u o a familiarizados con ella. En esencia los intervalos de R son de dos tipos: acotados y no acotados.

4.1.

Intervalos Acotados

Los intervalos acotados que se pueden tener en R simplemente son las diferentes combinaciones entre si son abiertos o cerrados en sus extremos. 4.1.1. Intervalos Cerrados:

Son cerrados en ambos extremos. Si sus extremos inferior y superior, respectivamente, son a y b, entonces se denota por: [a, b]. Su denicin ms o a 6

precisa viene dada por [a, b] = {x|a x b}. Estos intervalos tambin son e conocidos como compactos (ver el Teorema de Heine-Borel, por ejemplo en [1] o en [4]). 4.1.2. Intervalos Mixtos:

Son cerrados en un extremo y abiertos en el otro. Si sus extremos inferior y superior, respectivamente, son a y b, entonces se tienen las combinaciones: (a, b] y [a, b). Sus deniciones ms precisas vienen dadas por (a, b] = {x|a < a x b} y [a, b) = {x|a x < b}. 4.1.3. Intervalos Abiertos:

Son abiertos en ambos extremos. Si sus extremos inferior y superior, respectivamente, son a y b, entonces se denota por: (a, b). Su denicin ms o a precisa viene dada por (a, b) = {x|a < x < b}.

4.2.

Intervalos no Acotados

Anlogamente al caso anterior los intervalos acotados que se pueden tener a en R simplemente son las diferentes combinaciones entre si son abiertos o cerrados en uno de sus extremos, pues el otro se denir como abierto. a 4.2.1. Intervalos no Acotados Superiormente:

Pueden ser cerrados o abiertos en su extremo inferior. Ellos son [a, +) y (a, +). Su denicin ms precisa viene dada por [a, +) = {x|x a} y o a (a, +) = {x|x > a}. 4.2.2. Intervalos no acotados Inferiormente:

Pueden ser cerrados o abiertos en su extremo superior. Ellos son (, b] y (, b). Su denicin ms precisa viene dada por (, b] = {x|x b} y o a (, b) = {x|x < b}. 4.2.3. Intervalo no Acotado:

Claramente si consideramos el intervalo no acotado ni superior ni inferiormente (, +) estamos hablando exactamente de R. 7

Observacin: Si consideramos el sistema R = R {, +} todos los o intervalos son acotados (esta propiedad se conoce como una compacticacinde R; otra compacticacin est dada por el punto innito de la o o a proyeccin estereogrca, ver [1] o bien [4]). o a

Referencias
[1] Introductory Real Analysis. A. N. Kolmogorov y S. V. Fomin. Dover Publications, Inc. (1999). [2] Elements of the Theory of Functions and Functional Analysis. A. N. Kolmogorov y S. V. Fomin. Dover Publications, Inc. (1999). [3] Matemticas Generales. Pisot y Zamansky. Montaner y Simn S.A. a o (1972). [4] Principles of Mathematical Analysis. Walter Rudin. McGraw-Hill. (1964). [5] Calculus (Volmenes I). Tom M. Apostol. Editorial Revert S.A. (1997). u e [6] Clculo Innitesimal de Una Variable. Juan de Burgos. McGraw-Hill. a (1994). [7] Fundamentos de Anlisis Moderno. Jean Dieudonn. Editorial Revert S. a e e A. (1966).