Scribd Logo
Upload

Welcome to Scribd!

  • W 8 Iuij Ip CU8 C

    Uploaded by

    Yerson Díaz
    8 views462 pages

    Original Title

    w8iuijIpCU8C

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    8 views462 pages

    W 8 Iuij Ip CU8 C

    Uploaded by

    Yerson Díaz

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    of 462
    curso de mateméticas J. LELONG-FERRAND , J. M. ARNAUDIES TOMO II ae andlisis editorial reverté, sa. Titulo de la obra original: Cours de Mathématiques — Tome 2 ANALYSE Edici6n original en lengua francesa publicada por: DUNOD, Paris-Bruxelles-Montréal Copyright © by BORDAS Versién espafola por el Dr. José Pla Carrera Doctor en Matematicas, Profesor de la Facultad de Mateméaticas de la Universidad de Barcelona Revisada por el: Dr. Enrique Linés Escard6é Catedratico de la Facultad de Ciencias de la Universidad de Madrid Propiedad de EDITORIAL REVERTE, S. A. Encarnacién, 86, Barcelona (24) Reservados todos los derechos. Ninguna parte del material cubierto por este titulo de pro- Piedad literaria puede ser reproducida, almacenada en un sistema de informatica o trans- mitida de cualquier forma o por cualquer medio electrénico, mecanico, fotocopia, grabaci u otros métodos sin ef previo y expreso permiso por escrito del editor Edicién en espafol © EDITORIAL REVERTE, S.A. 1980 ISBN - 84 -291- $065-X obra completa ISBN - 84 -201- 5067-6 tomo 2 Depésito legal: B. 21493-1980 Marquez, S. A. - Ignacio Iglesias, 26 - Badalona (Barcelona) aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. Némeros reales. Extensiones 7 son leyes internas en @. Las propiedades de estas leyes se deducen inmediatamente de las propiedades de la suma y de la multiplicacién en Q. La proposicién 1.2.1 prueba que @, es una parte de %, y las proposiciones I.2.2 y .2.3 prueban que las relaciones x € G, ey € @ implican xy € Gy. Finalmente la proposicién 1.2.5 prueba que las relaciones x € 6, e y € ©, implican x + ye >; y el conjunto @, es no va- cio, puesto que contiene la sucesién nula. Luego @, es un ideal de @, distinto de .@ La teoria general de ideales (tomo 1) nos permite entonces afirmar inmediata- mente: 13.2. Se obtiene una relacién de equivalencia en © estableciendo x = y six —ye Gy, es decir, si la sucesién (%q — Yq) tiende a cero; y el cociente de @ por esta relacién de equivalencia es un anillo conmutativo unifero para las leyes definidas por R+y=xty Xp = xy en donde X designa la clase del elemento x. Realmente la demostracién directa de 1.3.2 no presenta ninguna dificultad. He aqui el esquema: a) La relacién binaria x — ye, es evidentemente reflexiva y simétrica. Su transitividad resulta de 1.’ las relaciones x — ye @, e y ~z€@, implican que x —z=(x — y) +(y —2) pertenece 2 G. 4) Para probar que la relacién de equivalencia (@,) asi obtenida es compatible con la estructura algebraica de @, consideramos cuatro elementos x, y, x’, y’ de © que satisfagan x = x’ ¢ y =y’, es decir, x —x'€ ¢, ey —y' € Gy, En primer lugar observamos que x-+ y — x — y’ = (x —x') + (y —y’) pertenece a Gy en vir- tud de 1.2.5, de ahi que x + y =x’ +9’, luego la relacién (@;) es compatible con la suma de @. Por otro lado se tiene: xy — xy = (x—x')y + xy — y), y puesto que @, es un ideal, la relacién x — x’ € © implica (x — x’)y € Go, mien- tras que la relacién y — y’ € @, implica x'(y — y’)€ €q. De donde se deduce que xy — x'y’ pertenece a ©, 0 sea que xy =x'y’, La relacién (@,) es, pues, compa- tible con la multiplicacién en @. c) El estudio realizado en 6) prueba que las clases de equivalencia x + y y xy dependen unicamente de las clases x e j. Se obtienen pues dos leyes internas en el espacio cociente @/%, estableciendo ¥ + ¥ =x +p y XF = xp; y las propiedades de estas leyes se deducen sin dificultad de las de la suma y de la multiplicaci6n de ¢.@ aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. Ndmeros reales. Extensiones 11 14.4, Sean x, x’ dos sucesiones de Cauchy equivalentes (es decir, tales que x — x' || €@); entonces 0 ambas pertenecen a €. 0 ambas pertenecen a @_. Demostracién. Six eC., dado un ¢ > 0 (¢ € Q), existe un entero n, tal que para todo n> m, se verifica x, > — ¢/2, y existe un entero m tal que para todo n> ny se verifica |x, — x,| <¢/2. Para n> sup(m%, mg) se tiene x;,> x, —e/2> —e, lo que demuestra que x’¢@,. Asimismo se veria que x € @_ implica x’e @_.@ La proposicién [.4.4 expresa que los conjuntos @., @_ estan saturados para la relacin de equivalencia @y, y permite establecer sin ambigiledad la definicién que sigue: Definicién 1.4.2. Un miimero real se Nama positive (resp. negativo) si se halla re- } presentado por una sucesion de Cauchy que pertenece a ©, (resp. €-}. Notaciones El conjunto de los ntimeros reales positivos (cociente de €,. por @,) se designa por R.; el conjunto de los nimeros reales negativos (cociente de €_ por @,) se designa por R_. El conjunto R,\{0} = R\R_ de los ntimeros reales estrictamente positivos se designa R*; el conjunto R-\{0} = = R\R, de los ntimeros reales estrictamente negativos se designa R*. Del estudio que precede resultan inmediatamente las proposiciones siguientes: @) aR, y bER, implican a+ beR, y abe Ry. 8) ae R_ equivale a (—a)eR,. od R2UR-=R ROR. = {0}. Facilmente se deduce: 14.5, Se obtiene una relacion de orden total en R definiendo b > a si (y solo si) Il b—aeR,. A partir de 1.4.5 se establecera sin dificultad 14.6. Cualesquiera que sean los mimeros reales a, b, ¢, la relacién b > a implica | 6+ e>a+e; las relaciones b >a y c > 0 implican be > ac. Mas adelante veremos que 1.4.6 se puede traducir diciendo que R es un cuerpo ordenado. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. Ndmeros reales. Extensiones 15 15.6. Entre dos nimeros racionales cualesquiera, existe siempre un irracional. Demostracion. En el § 1.3 hemos construido un numero irracional e, que evi- dentemente es > 0. Dados los ntimeros racionales a, b tales que b> a, existe un entero p tal que p(b — a) > e y el nimero c = a + e/p satisface aa 0, el nimero decimal p,., 10-"-1 se deduce del nimero decimal p, 10-" adjuntando una nueva «cifra decimal» de rango n + 1, lamémosle x,4, (0 < x,4, < 9), igual a la cifra de aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. Ndmeros reales. Extensiones 19 Definicién 1.7.1. Una sucesién (x,) de mimeros reales esté acotada si existe un $ mimero real M que verifica |x,| 0, existe un entero Nn, tal que para todo n> n, se verifica |x, — x 0, existe un entero n, tal que las desigualda- des n> n, y p> N, implican |x, — X,| <8. De la discusién anterior retendremos que se obtiene una definicién equivalente a 1.7.1 si im- ponemos a Mf que sea racional, o incluso entero; y que se obtienen definiciones equivalentes a las definiciones 1.7.2 y 1.7.3 si imponemos a ¢ que sea racional, 0 incluso de la forma 1/p, con p ¢ N*. Estas observaciones tienen gran interés practico (serdn ellas, en particular, las que en el capitulo IIL nos permitirin demostrar que, en un espacio métrico, cada punto admite un sistema fundamental numerable de entornos). Enunciaremos, en primer lugar las proposiciones siguientes, cuya demostracién es la misma que para las sucesiones racionales (cf. § 2): 17.1. Una sucesién de nitmeros reales tiene a lo sumo un limite. Una sucesién convergente de ntimeros reales (x,) sélo posee un limite, que designaremos: lim x,. 17.2. En R toda sucesién convergente es de Cauchy. [Estas proposiciones se extenderan mas adelante (cap. III).a espacios métricos cualesquiera.] Ahora vamos a establecer propiedades verdaderamente nuevas concernientes a las sucesiones de Cauchy en R. Ante todo,probaremos que cada nmero real es el limite de las sucesiones de Cauchy que lo representan. A pesar de que nuestra cons- truccién de los mimeros reales se ha inspirado en el deseo de que esta proposicién fuese verdadera, es indispensable demostrarla rigurosamente y mostrar de esta forma que hemos alcanzado nuestro objetivo. 17.3. Toda sucesién de Cauchy formada por mimeros racionales converge hacia el || mimero real que representa, aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. Nametos reales. Extensiones 23 wo Prt S Bx n, la desigualdad (2) 0<%-G <2-"-274. La desigualdad (2) muestra inmediatamente que la sucesién (£,) es de Cauchy en Q, y que converge hacia un numero real {(x). Si existe un homomorfismo creciente h de G en R que satisface h(u) = 1, debe satisfacer A(p, #) < AQ" x) < ALL + py) u] esto es Pn < WAX) SE + Pay © también & < Ax) <2" + C, para todo neN Se debe tener pues /(x) = £(x), lo que demuestra la unicidad de h. 6) Para terminar la demostracién de 1.7.2, basta comprobar que la aplicacién xt» (x) es un homomorfismo estrictamente creciente de G en el grupo aditivo R, que satisface C(u) = 1. 1. Sean x, x’ €G, tales que x < x’, y sean (pq), (p’n) las sucesiones de enteros asociadas, defi- nidas por las desigualdades 8) Pa uy y también (puesto que 2" > n,) la desigualdad 2° (x’ — x) > u. Para n> m, se deduce la des- jigualdad Dom y < Mx’ — x) < (14 ph p,)u wom Lt ph Pp: Los racionales , = 2px y $4 =2"pa satisfacen entonces ¢,—f, > 2°%—2-" para todo n> Mm, por lo que pasando al limite cuando tiende a infinito Cx’) - Ux) > 2-™ > 0. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. Ndmeros reales. Extensiones 27 Ay La relacién A + X =B + X implica A = B (en otras palabras: todos los elementos de J” son regulares). As Para todo par (U, X)de magnitudes tales que U # 0, existe un entero n tal que nU> X. La estructura algebraica de J’ es pues una estructura de semigrupo ordenado cuyos elementos son regulares; y la condicién A, (axioma de Arquimedes) permite definir la medida de la magnitud X, a menos de una unidad por defecto, cuando se toma U como unidad. Esta «medida» es el mayor entero m que satisface la rela- cin mU < X. El proceso clisico de simetrizacién (}) (utilizado para construir el grupo Z a partir del semigrupo N) permite completar I" de forma que se obtenga un grupo abeliano G. Intuitivamente este procedimiento consiste en afiadir, a cada ele- mento X de I’, un nuevo elemento, designado — Y 0 X-, opuesto de X¥. Con mayor rigor, G es el cociente de I’ x I" por la relacién de equivalencia (X, ¥) =(X’, ¥’) definida por medio de X¥ + Y’=X'+ Y. La relacién de orden de I” se prolonga a G haciendo Y > X si Y— Xe T' (cada elemento X de I’ se identifica con la clase de equivalencia que contiene el par (X, 0)); y se obtiene asi un grupo ordenado G que se llama magnitud orientada. El axioma As muestra que G es arquimediano. En definitiva, las magnitudes medibles orientadas estén esquematizadas por los grupos arquimedianos, y podemos aplicarles el teorema 1.8.2. Definici6n L9.1. Sea G una magnitud medible orientada. Para todo elemento U> 0 de G se llama medida en G, relativa a U, el homomorfismo estriciamente creciente de G en R que satisface m(U) = 1. Nota. Los «Angulos orientados» de la geometria plana no constituyen una mag- nitud medible en el sentido de la definicién 1.9.1. De hecho, los angulos orientados se identifican a las rotaciones planas, y constituyen un grupo abeliano T. Pero este grupo no cs un grupo ordenado, y lo que conminmente se llama «medida de an- gulos» es un isomorfismo de 7’ en el grupo cociente R/2nZ. La «medida» de un Angulo no es un mimero, es una clase de ntimeros reales médulo 22. Cambio de unidad; relacién de dos magnitudes Sea G una magnitud medible orientada, y sea ¥ ++ m,(X) la medida relativa a la unidad U (U > 0). Vamos a buscar cémo se transforma esta medida cuando se cambia de unidad. @) Ver por ejemplo [9], p. 92. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. Nameros reales. Extensiones 37 Los elementos de C se Ilaman niimeros complejos. Recordamos sin demostracién la propiedad fundamental ('): Teorema 1.10.1. C es un cuerpo conmutative y fa aplicacién x +> (x. 0) es un ho- momorfismo inyectivo del cuerpo R en el cuerpo C. La existencia del homomorfismo x 1 (x, 0) permite identificar R con un sub- cuerpo de C; si hacemos (0, 1) =i e identificamos (x, 0) con x, se tiene (x, » =x-+iy, que es la notacién usual de los numeros complejos. El mimero real x [resp. y] se Hama la parte real [resp. imaginaria] del niimero complejo z = x ++ iy y se designa @ o Rez [resp. Jz o Imz]. El médulo del niimero complejo z = x + iy es el ntimero positivo |z| = (x? + y°)"2: se confunde con el valor absoluto de z cuando z es real. El argumento del numero complejo z = x + iy es la clase médulo 2x de los niimeros reales # que se verifican cos = x/|z/, sen 0 = y/|z|; y se designa arg z uno cualquiera de los elementos de esta clase. Cualesquiera que sean z;, Z) € C, se tiene ad) la, + 221<]2,1+ lz] =Terlfe2t. (2) arg (2, 22) = argz, + arg Zz, (mod. 2 z). Acotaciones (muy importante) Para acotar superiormente una suma de numeros complejos se utiliza la desi- gualdad Ex| —— i relacién (1) se puede cz +d Si la ecuacién cz? + (d — a)z — escribir en la forma Zant — % Zee ~ #B aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. 40 Sucesiones de numeros reales. Funciones numéricas Conjuntos adyacentes Definicién IL1.1. Diremos que dos subconjuntos A, B de R son adyacentes si i) Para todo ae A y todo be B, se tiene a 0, existe un ac A y un be B tales que b—a< 0 para todo n, peN*, de donde a, —a, 0. Por lo tanto M es la menor cota superior de X (ver Fig. 2). mee Figura 2 Andlogamente se tiene: 11.2.3. Para que el niimero real m sea el infimo de X (X © R) es necesario y sufi- ciente que a) todo xe X verifique x > m, b) para todo «> 0, exista un xe X que verifique x I. Ejemplos 1. Sea x, —(— 1)". En este caso se tiene J = — 1, L=+ 1. 2. Sea x, =(— a)", con a> 1. En este caso se tiene — 0, L=+ co, Ahora vamos a determinar en qué condiciones se tiene L = 1. 11.4.4. Para que una sucesién de mimeros reales (X,) sea convergente en R es nece- sario y suficiente que su limite superior L sea igual a su limite inferior 1, y entonces se tiene L = 1 = lim (x,). Demostracion a) Supongamos que la sucesién (x,) tiende a un limite finito x. Para todo « > 0, se tiene |x, — x] « es finito. Utilizando IL4.1 y 11.4.2 y razo- nando por reduccién al absurdo se deducen las desigualdades L x —e, luego x-e 0, el con- junto {n € N|x, > Z + ¢} es finito; asimismo II.4.2 muestra que =+oosiL=/= {neN |x, a [resp. x, < a]. Por lo tanto podemos extender a R la definicidn 11.5.1 diciendo: Definicién 0.5.2. Se dice que la sucesiOn (x,) admite el valor adherente + ©» [resp. $ — co] sino esté acotada superiormente [resp. inferiormente]. El resultado que sigue aclara la nocién de valor adherente: Teorema 11.5.1. Para que un elemento x de R sea un valor adherente de la suce- sién (x,) es necesario y suficiente que exista una subsucesion (y,) de (x,) que converja hacia x en R. a) La condicion es suficiente. Supongamos que existe una sucesion (y,) = (X4,)s subsucesién de (x,,), que converge hacia x en R. Six = + co [resp. — co] la sucesion (x,) no estara acotada superiormente [resp. inferiormente] y por lo tanto admitira el valor adherente x. . Si x es finito, cada intervalo ]x — «, x + s[ contiene todos los y, a partir de un lugar n,; en otras palabras, existe un entero 7, tal que verifica |x,, — x] <» para n> ng en este caso la sucesién admite también el valor adherente *. 6) La condicién es necesaria. Sea x un valor adherente de la sucesidn (x,). Si x =-+ ©, la sucesién (x,) no esté acotada superiormente y podemos, por recu- trencia, construir una sucesién de enteros q,, estrictamente creciente, que satisfaga Xqq > ” cualquiera que sea nN. La sucesién (y, = x,,) €s una subsucesién de (x,) convergente hacia + oc. Andlogamente se estudiaria el caso x = — co. Si x es finito, cada intervalo ]x — 1/n, x + 1/n{ (en donde ne N*) contiene una «infinidad de términos» de la sucesin (x,): existe, pues, una infinidad de valo- res q, tales que |x, — x| < Jn. Por recurrencia, podemos construir una sucesién (qn), estrictamente creciente, que satisfaga gg = 0 y |x — x,,| <1] para todo ne N*. La sucesién (y,) = (X,,)» subsucesién de (x,), converge a x. En todos los casos existe pues una subsucesién de (x,) que converge a x. @ Si observamos II.4.1 y II.4.2 vemos inmediatamente que los limites superior ein- ferior de una sucesién son valores adherentes particulares. Utilizando II.4.5 se obtiene, con mayor precisié: aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. 56 Sucesiones de nimeros reales. Funciones numéricas 11.6.2. Para que la sucesién (x,) admita el valor adherente x en R [resp. en R], es necesario y suficiente que cada entorno de x en R [resp. en R] contenga una infinidad de términos de la sucesién (x,). La nocién de entorno nos permite también dar una caracterizacidn unica dei supremo e infimo de un conjunto, valida a la vez para R y para R. 1.6.3. El supremo [resp. el infimo] de un conjunto X de R [o R) es el mayor {resp. el menor] elemento de R (0 de R) tal que cada uno de sus entornos contenga por lo menos un elemento de X. Asimismo se pueden caracterizar los limites superior ¢ inferior de una sucesién: 11.6.4. EI limite superior [resp. inferior] de una sucesion de R (o de R) es el mayor [resp. ef menor] elemento de R (0 de R) tal que cada uno de sus entornos contenga una infinidad de términos de la sucesién. Adherencia El estudio topoldgico de R o de R, que se fundamenta en la nocién de entorno, se desarrollar en el capitulo ITI en un cuadro més amplio. Aqui nos limitaremos a utilizar los entornos para extender Ja nocidn de limite a las funciones numéricas definidas sobre subconjuntos de R. Pero, para poder hablar de /imite de una fun- cién numérica en un punto a es necesario que la funcién esté definida en puntos «tan préximos a a como se quicra». En caso contrario la nocién de limite perderia todo su significado intuitivo y no se podria hablar de «limite de f(x) cuando x tiende aa». Ello nos lleva a introducir las nociones de punto adherente a un conjunto y de punto aislado. Definicién 11.6.2. En R [resp. R] se dice que un elemento a es adherente a un con- junto A si cada entorno de a contiene un punto de A, por lo menos. El con- } junto de los puntos adherentes a A se llama adherencia 0 clausura de A, y se designa por A. Se tiene evidentemente la inclusién A < A (puesto que todo entorno de @ con- tiene a a). Pero pueden existir puntos de A que no pertenezcan a A. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. 72 Sucesiones de numeros reales. Funciones numéricas Para completar, estableceremos: 110.3 Sea I un intervalo cualquiera de R (abierto, cerrado, 0 semiabierto) de ex- tremos a, b; y sea f una funcién numérica estrictamente monétona y con- tinua en I. Entonces (1) es un intervalo de la misma naturaleza que I (abierto, cerrado, 0 semiabierto) de extremos « = lim f(x) y B = lim f(x). xob xa Demostracion. Para fijar ideas, suponemos f creciente y b> a. Volviendo ala demostracién del teorema II.8.1 vemos que f es el supremo de fen f, y que «es su infimo. El teorema 11.9.4 muestra entonces que f(/) es un interval de extremos «, B. Finalmente, es evidente que « € f(/) [resp. 6 €f(I)] si, y sdlo si, ae J [resp. be I]. Los intervalos / y f(/) son pues de la misma naturaleza. Homeomorfismos Para hacer una sintesis de los resultados obtenidos, daremos la definicién que sigue (caso particular de una definicién mas general del capitulo IL): Definicién 1.10.1. Sean A, B dos partes de R. Un homeomorfismo de A en B es 3 una biyeccién continua de A en B cuya reciproca también es continua. Los conjuntos A, B se Haman homeomorfos cuando tal biyeccién existe. Los resultados obtenidos nos permiten enunciar entonces: Teorema I1.10.4. Sea f una funcién numérica estrictamente monétona y continua en un intervalo I, de extremos a, b. Entonces f(I) es un intervalo de ex- tremos « =lim Se), B= iin JI); y Ia aplicacién I> f(I), x f(x) @5 teh hoticomnorfisma de:T en JUD), Ademas; 1110.5. Toda parte de R, homeomorfa a un intervalo I, es un intervalo de la misma naturaleza; y los tinicos homeomorfismos de un intervalo 1 en un intervalo J son las aplicaciones estrictamente monétonas de I en J. Ejemplos 1. Si [a, 6] y [2, 8] son dos intervalos cerrados y acotados de R, es facil cons- truir una funcidn afin estrictamente creciente p (es decir, de la forma aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. aa You have either reached a page that is unavailable for viewing or reached your viewing limit for this book. Elementos de Topologia 7 que implica Q D(x, z) < sup [D(x, y), D(y, z)] luego, a fortiori: D(x, 2) < D(x, y) + D(y, 2) (la desigualdad (1) resulta de que, si suponemos verdaderas las relaciones x, =); ey, = 2 para i

    You might also like