Está en la página 1de 148

CAPTULO 1 :

LOS NMEROS REALES

1.1.- INTRODUCCIN Desde los inicios de la Humanidad, se hizo necesario algn sistema de manejo de cantidades y de tamaos. En la medida que las sociedades humanas se van desarrollando, este problema se hace ms y ms importante. El problema comienza, desde luego, por la identificacin y por lo tanto la designacin de las cantidades en su lenguaje. El modelo ms simple de cantidad es, sin duda, el de cantidad discreta , es decir, los nmeros naturales: probablemente la primera actividad matemtica del ser humano fue el contar . Experimentos realizados con animales domsticos demuestran que estos son capaces de distinguir, digamos contar, los primeros cuatro o cinco nmeros naturales. Esta habilidad sin duda tambin la tenan los primates de la especie homo sapiens que dieron origen a nuestra civilizacin. Pero no necesariamente ms desarrollada que estos animales domsticos, como lo demuestra el descubrimiento de la tribu de los Fayu, en Papa Occidental (Nueva Guinea). Este pueblo no tiene en su lengua ms que tres palabras para designar nmeros: satu (uno), dua (dos) y tiga (tres). Las cantidades mayores son indicadas con gestos o con palabras que aluden a muchos. Su modo de vida no les ha obligado (hasta ahora) a una mayor precisin de cantidades. Por contraste, los pueblos de la antigua Mesopotamia y Egipto, as como los Maya en nuestro continente desarrollaron un sistema de numeracin y de manejo de cantidades bastante notable y sofisticado. Como punto de referencia en que esto ocurra, diremos que el primer calendario sumerio encontrado data del ao 5.700 AC y los ladrillos grabados de los babilonios datan de alrededor del ao 2.000 AC., mientras que el sistema de numeracin maya ha sido fechado en el siglo tercero antes de cristo. Es claro que el desarrollo del comercio y la agricultura en estos pueblos oblig a desarrollar a su vez un sistema de numeracin y de manejo de nmeros. Los ladrillos sumerios muestran un manejo bastante avanzado de las operaciones algebraicas (el lgebra babilnica), que inclua el clculo de inters compuesto, clculos con pesas y medidas, ecuaciones cuadrticas y otros. Tambin es claro que el solo manejo de los

nmeros naturales no fue suficiente: probablemente desde un principio los mercaderes babilnicos se vieron en la necesidad de modelar la nocin de divisin y por lo tanto del desarrollo y manejo de fracciones. Las operaciones con estos nmeros es cualquier cosa menos trivial. Estamos tan adiestrados desde nuestra niez a manejar (por desgracia, mecnicamente) las operaciones con fracciones que no nos damos cuenta de la tremenda dificultad conceptual que encierran. Pero son los griegos de la poca clsica (y un poco antes) quienes demuestran la insuficiencia de las fracciones para modelar tamaos: un buen modelo de tamao tendra que contemplar la relacin entre los catetos de un tringulo rectngulo y su hipotenusa. Se atribuye a la escuela pitagrica el descubrimiento de la irracionalidad de la raz cuadrada de dos. Ntese que, si nos quedamos con las fracciones como modelo, entonces, tomando el largo de un cateto como unidad, el largo de la hipotenusa quedara fuera del modelo, es decir, el modelo no nos dara un tamao exacto. Los pitagricos posiblemente han razonado del siguiente modo para demostrar la irracionalidad de la raz cuadrada de dos: Supongamos que 2 es una fraccin, digamos p/q, donde podemos suponer que p y q son primos relativos, es decir, no tienen factores comunes (si lo tuvieran, bastara con simplificarlos). Si elevamos al cuadrado, obtenemos que p 2 = 2q 2 , por lo tanto p 2 es par. Pero si el cuadrado de un nmero es par, el nmero mismo debe ser par (los cuadrados de los impares son impares, como lo demuestra la frmula (2n + 1) 2 = 4n 2 + 4n + 1 ). Por lo tanto p es de la forma 2n con lo que

p 2 = 4n 2 = 2q 2 . Simplificando por dos, resulta: q 2 = 2 p 2 , es decir, q tambin debe ser par: pero esto contradice nuestra suposicin de que p y q no tenan factores comunes. La introduccin del cero se hizo necesaria muy tempranamente. La cantidad vaca tiene su representacin conceptual y lingstica desde muy temprano y, desde los babilonios en adelante, la representacin de nmeros grandes a travs de smbolos cuyo significado dependa de su posicin relativa en la expresin correspondiente, hizo que el cero fuese indispensable, siendo representado inicialmente por espacios vacos y mas tarde por smbolos especiales. Por otro lado, los nmeros negativos aparecieron tarde en la historia: ellos no modelan una nocin de tamao sino de orientacin o sentido. Con seguridad que los mercaderes babilnicos distinguan de alguna manera las cantidades en stock (positivas) de aquellas en deuda (negativas) y sus clculos deban

hacer uso implcito del lgebra con nmeros negativos. No hay evidencias precisas de esto. El desarrollo del concepto de nmero real y de las matemticas en general, es tomado por los hindes y los rabes, que entre otras cosassalvaron para Occidente la cultura clsica griega, mientras Europa se suma en el largo oscurantismo medieval. Recin en el siglo XVII de nuestra era se produce en Europa un salto cualitativo en el desarrollo de la matemtica, poca en que se empieza a gestar el Clculo Infinitesimal. Este desarrollo es vertiginoso pero comienza a tropezar precisamente en la falta de una nocin precisa y clara de nmero real. Son muchos los matemticos que emprenden esta tarea en los siglos XIX y XX: Bolzano, que demuestra en 1817 la necesidad de lo que hoy se conoce como axioma del supremo, Weierstrass y Dedekind (famoso por sus cortaduras) y muchos otros. Pero no es si no con Cantor (1845-1918) y sus trabajos sobre Teora de Conjuntos, que el sistema de los nmeros reales toma esencialmente- su forma actual.
1.2.- LOS 16 AXIOMAS

Consideraremos al sistema de nmeros reales como un modelo matemtico de las nociones de cantidad o tamao mencionadas anteriormente. Este modelo consiste de un conjunto que denotaremos por cuyos elementos se llamarn nmeros reales , dos operaciones binarias (llamadas tambin leyes de composicin interna) denominadas suma y producto y denotadas respectivamente por + y . y una relacin de orden denotada por . Por operaciones binarias entendemos una regla que asocia a cada par de elementos del conjunto un nico elemento del mismo conjunto. De este modo, un sistema de nmeros reales ser el cuarteto:
(,+,., ) que cumple los 16 axiomas siguentes: 1. ( x + y ) + z = x + ( y + z ), x, y, z (asociatividad de la suma) 2. 0 , x + 0 = 0 + x = x, x (0 se llama neutro aditivo) 3. (x )( x , x + ( x) = ( x) + x = 0) (el nmero real -x se llama inverso aditivo de x)

4. x + y = y + x, x, y (conmutatividad de la suma) Estos cuatro primeros axiomas hacen que el par (,+) se llame grupo abeliano. 5.

( xy ) z = x( yz ), x, y, z (asociatividad del producto)

1 ,1 0, x.1 = 1.x = x, x (1 se llama neutro 6. multiplicativo)


7. (x 0)(x 1 , xx 1 = x 1 x = 1) (el nmero real x 1 se llama inverso multiplicativo de x )

8.

xy = yx, x, y (conmutatividad del producto)


Notar que estas cuatro propiedades son las mismas que para la suma, con una diferencia esencial: hay un elemento (el 0) que queda excludo de tener inverso.

9.

x( y + z ) = xy + xz, x, y, z (distributividad del producto respecto de la suma)


Este noveno axioma pone en relacin las operaciones de suma y producto. Debe notarse la asimetra de esta ley de distributividad. Con estos nueve primeros axiomas el tro (,+,.) se llama cuerpo conmutativo.

10. 11. 12. 13.

(x ), x x (reflexividad del orden)


x y y z x z (transitividad del orden) x y y x x = y (antisimetra del orden)

(x, y ), x y y x (tricotoma)

Estas cuatro propiedades definen lo que se llama un orden total sobre . La ltima propiedad, es decir, la tricotoma, significa que todo nmero real se puede comparar con cualquier otro: uno debe ser

mayor o igual al otro. La palabra tricotoma viene del griego y significa divisin en tres casos. Los tres casos son: mayor, menor o igual. Al tomar la relacin de orden como menor o igual, los casos se reducen a dos. 14. x y x + z y + z (compatibilidad del orden con la suma) 15. x y z 0 xz yz (compatibilidad del orden con el producto) Estos dos axiomas ponen en relacin las operaciones de suma y producto con la de orden. Debe notarse aqu nuevamente la asimetra que se tiene entre suma y producto: para conservar la relacin de orden con el producto, el factor a multiplicar debe ser positivo. Esta restriccin no es necesaria para el caso de la suma. Con estos quince axiomas se obtiene lo que se conoce como cuerpo conmutativo ordenado. 16.- Axioma del Supremo: todo conjunto de nmeros reales que sea novaco y acotado superiormente posee un supremo. Dejaremos para ms adelante las explicaciones acerca de este axioma. . Los primeros quince axiomas gobiernan todo el manejo bsico y elemental de los nmeros reales. Se ha dado cuenta aqu de las propiedades fundamentales que deben cumplirse para que este modelo pueda representar la idea de cantidad o tamao: las cantidades debern poder ser comparadas unas con otras, podrn ser aadidas y multiplicadas (como una suma reiterada), y se permite adems una orientacin sin restricciones (nmeros negativos). Lo que no se resuelve con estos quince primeros axiomas es el problema que sorprendi a los griegos: hay una cantidad (elemento de nuestro modelo) cuyo cuadrado (o sea el producto consigo mismo) sea dos? Como veremos ms adelante los nmeros racionales satisfacen los primeros quince axiomas, es decir, forman un cuerpo ordenado conmutativo, pero, como vimos, no hay all ningn elemento cuyo cuadrado sea dos. El problema se resolver asumiendo el axioma 16: el axioma del supremo. Pero este aspecto es bastante ms largo y complejo, por lo que lo dejaremos para ms adelante.

* Queda abierto el problema de la existencia y unicidad de un sistema


de nmeros reales. Como se sabe, la existencia (entendida como la consistencia de los axiomas, es decir, la ausencia de contradicciones) no puede ser demostrada cabalmente despus de los clebres resultados de Kurt Goedel. Lo que se puede hacer al respecto es reducir el problema de la consistencia de este sistema de 16 axiomas al problema de la consistencia de otro sistema ms simple de axiomas. Lo que se sola hacer era partir de un sistema de axiomas para los nmeros naturales (los axiomas de Peano) y construir desde all los nmeros enteros, los nmeros racionales y, finalmente, los nmeros reales. Hasta hace algunos aos fu una moda en los cursos iniciales de clculo (o anlisis) llevar a cabo esta construccin, un poco bajo la influencia del criterio de Kronecker: Dios cre los nmeros naturales, todo lo dems es construccin del Hombre. Sin embargo, esta construccin, en rigor, no fundamenta nada, pues se necesita construir una teora axiomtica de conjuntos y la respectiva lgica que se usa en dicha teora (clculo funcional de primer orden), cuestiones cuya cabal fundamentacin no es posible, por los resultados de Goedel antes mencionados. De modo que, en rigor, la teora de los nmeros reales, y con ella prcticamente toda la matemtica queda sin un fundamento completo. Por otro lado la unicidad, en el sentido de que dos sistemas que cumplen los 16 axiomas son isomorfos en toda su estructura, se puede demostrar, pero eso corresponde a otro mbito de problemas. Pienso que la discusin de este problema, incluyendo alguna teora axiomtica de conjuntos , es parte importante en la formacin bsica de un matemtico, pero debe ser realizada en cursos ms avanzados.

1.3.- PROPIEDADES Y OPERACIONES DERIVADAS


En la estructura bsica del sistema de nmeros reales no aparecen las cuatro operaciones , sino solamente dos: suma y producto. como se definen la operacin resta y la operacin divisin ? Tampoco aparece una serie de propiedades que conocemos desde el colegio y que usamos comnmente sin mayor preocupacin: si tales propiedades son verdaderas y no aparecen en la lista de axiomas, entonces ser necesario demostrarlas.

Comencemos por definir las operaciones de resta y divisin: La resta : x y = x + ( y ) , es decir, no es ms que la suma de x con el inverso aditivo de y . Esta operacin no es, obviamente, conmutativa. La divisin: x y = x( y 1 ) , es decir, se trata del producto de x con el inverso multiplicativo de y . Esta operacin tampoco es, desde luego, conmutativa. Ms an, no est definida para y = 0 . Tampoco es asociativa. Es necesario hacerse cargo de algunas notaciones que han surgido a lo largo de la historia y que seguimos utilizando comnmente. El inverso multiplicativo de y se denota tambin: 1 1 y 1 = , con lo cual la divisin quedara: x y = x . Pero el producto y y es conmutativo, luego da lo mismo poner el inverso de y a la izquierda que a la derecha de x, por lo que se opta por lo ms sencillo: ponerlo justo debajo: 1 1 x x y = x = x = y y y Puesto que la divisin no es asociativa, es necesario tener cuidado cuando se realizan divisiones reiteradas: a ( ) a b no es lo mismo que . De modo que hay que distinguir la b c ( ) c raya principal de divisin cuando aparecen divisiones sucesivas. Entendiendo de esta manera la notacin respectiva, la regla de la suma de fracciones, para nmeros reales, se demuestra simplemente usando la distributividad (Axioma 9): a c ad + cb + = ab 1 + cd 1 = ab 1 d 1 d + cd 1b 1b = d 1b 1 (ad + cb) = b d db 1 La notacin del inverso multiplicativo de x como no es casual ni x arbitrario: su origen histrico est en el significado que se le d a la divisin de un entero (la unidad) por otro entero (positivo) : se trata de la x-ava parte del entero unitario 1. Por lo tanto, si se suma x-veces esta x-ava parte, se restituye la unidad. Desde luego que este significado se pierde absolutamente cuando x no es ms un entero.

A continuacin presentamos un pequeo listado de propiedades de uso comn en el lgebra de los nmeros reales y que no estn en la lista de axiomas:
1. Unicidad de los neutros. En la lista de axiomas se afirma la existencia, pero no la unicidad de un 0 o un 1: podr haber ms de uno? La respuesta es obviamente negativa: si hubiese dos, digamos 0 y 0 se tendra
0' = 0'+0 = 0 y anlogamente, por la mera definicin de neutro multiplicativo, 1' = 1.1' = 1

2. Las cancelaciones: Si x + y = x + z , sumando a ambos lados el inverso de x , resulta y = z Si xy = xz x 0 , multiplicando por el inverso(multiplicativo) de x, y=z Ntese nuevamente aqu la asimetra de las operaciones suma y producto. 3. Unicidad de los inversos: Tampoco aparece en nuestra lista de axiomas que los inversos de cada nmero (aditivo o multiplicativo ) sean nicos. La unicidad se sigue de las cancelaciones: si llamamos x y x dos inversos aditivos de x, se tiene que x + x' = 0 = x + x' ' , luego, cancelando la x, se tiene: x' = x' ' Del mismo modo, si x 0 , y x y x son dos inversos multiplicativos, se tiene: xx' = 1 = xx' ' , cancelando la x que es distinta de cero, se tiene x' = x ' ' . 4.

De lo anterior se sigue que ( x) = x puesto que ambos nmeros son inversos de x . Anlogamente: ( x 1 ) 1 = x ya que ambos nmeros son inversos (multiplicativos) de x 1 En efecto, sumando: (1)a = a, a . (1)a + a = (1 + 1)a = 0.a = 0 , luego (1)a funciona como inverso de a , por lo tanto, por unicidad del inverso, debe ser el inverso de a.

5.

6. (1)(1) = 1. Dejamos su demostracin al lector 7. Cualquiera sea el nmero real a, se tiene: a.0 = 0 En efecto, si llamamos x al nmero a.0 , se tiene: x = a(0 + 0) = a.0 + a.0 = x + x , cancelando la x , se tiene x = 0 8. El cuerpo de los reales no tiene divisores de cero , es decir: ab = 0 a = 0 b = 0 En efecto, si suponemos que ab = 0 , pero que, por ejemplo b 0 , se tiene, multiplicando la igualdad anterior por b 1 , que a = 0 . 9.

0 < 1 : en efecto, puesto que por axioma 0 1 , la negacin de la propiedad a demostrar sera: 1 < 0 , sumando 1 a ambos lados, se tendra que 1 > 0 , luego, por compatibilidad con el producto, se tendra: (1)(1) = 1 > 0 lo que contradice la suposicin.

10. El cuadrado de todo real a es positivo (o nulo): en efecto, por tricotoma, o bien a 0 , o bien a 0 , luego: a.2 = a.a 0 (a )( a ) = a 2 0 . 11. Conviene definir: a < b a b a b , como desigualdad estricta. 12. Si a > 0 , entonces tambin a 1 > 0 . En efecto, si suponemos que a 1 < 0 , entonces a 1 > 0 , luego a (a 1 ) = (aa 1 ) = 1 > 0 , lo que contradice el punto 9. 13. Si a < b , no necesariamente ocurre que a 2 < b 2 , pues por ejemplo 2 < 1 , pero (2) 2 = 4 > 1 . Por otro lado, 1 < 2 y ocurre que (1) 2 = 1 < 2 2 = 4 . O sea, a veces si , a veces no. Pero, si ambos

nmeros son positivos, entonces vale: 0 a < b a 2 < b 2 . En efecto, multiplicando la desigualdad a b alternativamente por a y por b : a 2 ab = ba b 2 y la desigualdad estricta se obtiene observando que, si bien a puede ser cero, b no.

Hay una gran cantidad de propiedades similares, de uso comn en el lgebra de los nmeros reales, y que no estn en nuestra lista de axiomas. Las dejaremos para ser demostradas como ejercicio.

1.4.-

PROBLEMAS

Sern verdaderas o falsas las afirmaciones siguentes? En caso afirmativo, en qu axiomas de los nmeros reales se fundamentan? Habr que agregarle algunas hiptesis a algunas de ellas?

(1)(1) = 1 2.2=4 (se define: 2=1+1; 4=((1+1)+1)+1 ) ac = bc a = b ac < bc a < b 1+1=0 1+1+1=0 (ab) 1 = a 1b 1 a b ac ( ) = 8. b c bd a 1 b 9. ( ) = b a a ( ) ad 10. b = c bc ( ) d a c 11. = ad = bc b d 12. (a + b) = (a ) + (b) a+b 13. a b a b 2 14. a b b a 15. ax < a x < 1 16. a < b a + c < b + c 17. a < b c > 0 ac < bc
1. 2. 3. 4. 5. 6. 7.

10

18. a 2 b 2 a, b 0 a b 1 19. (x > 0), x + 2 y la igualdad se cumple si y solo si x = 1 x 20. Dnde estn los errores en esta demostracin ? Sea x = y :
x 2 = xy x 2 y 2 = xy y 2 ( x + y )( x y ) = y ( x y ) x+ y = y 2y = y 2 =1 21. Sea a > b . Qu condiciones debe cumplir c para que se cumpla la a b desigualdad: < + 1 ? c c a 0 22. Sea G = { b 1 : a, b } , con la operacin definida por: 0 a o a ' 0 aa ' b 1 b' 1 = ba'+b' 1

Es asociativa esta operacin? Es conmutativa esta operacin? Existe un neutro? Es nico? Para cules elementos existe un inverso (bilateral)?

1.5.- PROBLEMAS ELEMENTALES CON COMO CUERPO


Hay una gran cantidad de problemas de la vida real que se pueden resolver utilizando solamente la estructura de cuerpo de nuestro modelo. Se trata de problemas que surgieron ya en la antigedad y que fueron resueltos mediante un primer modelo de cantidad. Sin embargo veremos que otros problemas, aparentemente tan bsicos como stos,

11

fueron solo parcialmente resueltos y plantearon a la humanidad la necesidad de un modelo ms fino de cantidad.

1. Crecimientos porcentuales.
Si C representa cierta cantidad , entonces r r C+ C = (1 + )C 100 100 representa la cantidad alterada en el r%. Si r es positivo, entonces se ha producido un crecimiento del r%, si r es negativo, la cantidad decrece en el r%. Notar que la nueva cantidad se obtiene por multiplicacin por un factor adecuado.

Ejemplos.
1. El gerente de una empresa anuncia a sus trabajadores que, por motivos coyunturales, la empresa rebajar los sueldo en un 10%. Pero, explic, no hay que preocuparse, pues esto solo ser por este mes, en el siguiente se volver subir los sueldos en el mismo 10%. Don Pedro, con ms de 30 aos en la empresa, ganaba $500.000 y calcul su nuevo sueldo 10 )500.000 = 450.000 . En seguida calcul, disminudo: (1 100 sospechando algo raro, cul sera su sueldo al mes 10 )450.000 = 495.000 : Le faltaban $5.000! siguiente: (1 + 100 2. El gerente de la empresa anuncia a sus trabajadores que, debido a los ltimos xitos obtenidos, la empresa subir los sueldos en 10%. Pero, explic, la bonanza no es eterna y se deber rebajar al mes siguiente los sueldos en el mismo 10%. Don Pedro, el que ganaba $500.000 mensuales 10 calcula orgulloso su sueldo aumentado: (1 + )500.000 = 550.000 . En 100 seguida calcul, sospechando algo raro, ya que la empresa nunca daba puntada sin hilo, su sueldo al mes siguiente: 10 (1 )550.000 = 495.000 .Otra vez faltan $5.000! 100

12

Como el producto de nmeros reales es conmutativo, este resultado era completamente esperable, sin necesidad de hacer nuevamente el clculo. 3. Un animal de experimentacin , de peso inicial de 50[gr], aumenta su peso en 20% el primer mes y en otros 20% el segundo mes: cul es el porcentaje de crecimiento que se produce en los dos meses? La ecuacin a resolver, llamando x al porcentaje buscado, es: 20 20 20 2 x (1 + )50 = (1 + )(1 + )50 = (1 + ) 50 , cuya solucin es: 100 100 100 100 x = %44 , la cual se obtiene despejando la incgnita x, es decir, usando directamente las reglas del lgebra de los nmeros reales que hemos discutido. 4. Un banco hace prstamos con un inters del 0.4% mensual. cul sera el porcentaje de inters anual equivalente, es decir, aquel que produce exactamente la misma ganancia para el banco?. Este es un problema de inters compuesto, es decir, la deuda va creciendo sostenidamente en el 0.4% cada mes. Aqu se est aplicando un inters sobre la deuda aumentada por el inters, o sea inters sobre inters. La ecuacin sera: x 0.4 12 (1 + )C = (1 + ) C , donde C es el capital inicial obtenido del 100 100 banco. Despejando la x se obtiene: x = %4.90702 . Notar que el porcentaje mensual de 0.4% multiplicado por los doce meses nos d 0.4 12 = 4.8 , es decir, solamente el 4.8%.

5 . El problema inverso nos plantea una dificultad diferente: supongamos que un banco otorga prstamos con un R% anual de inters. cul sera el inters mensual equivalente? En este caso tendramos que plantear la x 12 R ) C = (1 + )C cuya solucin requiere la existencia ecuacin: (1 + 100 100 de races (en este caso de orden 12) de nmeros reales. Suponiendo la existencia de tales races, la solucin de nuestro problema sera: R x = (12 (1 + ) 1)100 100 Discutiremos ms adelante este problema matemtico.
6. En una festividad se renen nios y nias. El 40% son nias y el 12% de las nias recibe un libro de regalo. Qu porcentaje del total recibe un

13

libro de regalo?. Se trata aqu de un porcentaje del porcentaje, es decir, de una iteracin del porcentaje. En general, el a% de una cantidad C es: a A= C , y el b% de esta cantidad es: 100 ab ( ) b ab B= A= C = 100 C , 100 100 100 100 ab luego el b% del a% de C es: . 100 En nuestro problema, el porcentaje de nios que recibe el libro es simplemente 4.8%

2. Concentraciones relativas.

Existen dos conceptos diferentes acerca de la concentracin de una substancia en una solucin: uno es la concentracin fsica o masa gr. absoluta que es simplemente la razn [ 3 ] . Sin volumen cm embargo, el concepto ms usado es el de concentracin relativa: c= volumen..saturado 100 % volumen..total

que queda expresado en un porcentaje. Una concentracin relativa del 100% significa que la solucin est saturada, es decir, no admite ms soluto. Una concentracin del 10% significa que hay 10 partes de volumen saturado del soluto en un volumen total de 100. En este caso la concentracin es a-dimensional, es decir, no depende de las unidades de medida usadas.

Ejemplos

1. Se mezclan dos soluciones de cido clorhdrico: 3 litros al 10% y 5 litros al 5% : cul es la concentracin de la mezcla?

14

La ecuacin se plantear llamando x a la concentracin de los 8 litros de mezcla resultante e igualando los volmenes saturados: x 10 5 8( ) = 3( ) + 5( ) , de donde x = 6.875% 100 100 100 2. Se tiene un recipiente de 3 litros lleno con un cido al 20%. Se necesita subir la concentracin de la solucin al 25%. Para esto se dispone de un concentrado al 80%. qu volumen de solucin habr que sacar del recipiente y reemplazar por el concentrado para obtener lo deseado?. Llamando x al volumen a reemplazar, se debe establecer la siguiente ecuacin: 20 80 25 (3 x)( ) + x( ) = 3( ) 100 100 100 donde, despejando la x, se obtiene: x = 0.25 litros.

3. Problemas de flujos

Por flujo o caudal se entiende el nmero de litros que pasan por unidad volumen de tiempo: q = . Hay muchos problemas que se plantean al tiempo sumar o restar flujos. En estos problemas elementales se supone generalmente que los flujos son constantes en el tiempo. Veamos algunos ejemplos:
Ejemplos

1. Una bomba de agua llena un estanque en 6 horas y otra lo hace en 9 horas. En cunto tiempo se llena el estanque si ambas bombas trabajan juntas?. En este caso se suman los flujos, con lo que el tiempo de llenado debe disminuir. Ntese que el volumen del estanque no es dato del problema. Llamando E al volumen del estanque, q1 al flujo de la primera bomba y q 2 el de la segunda, se tiene E = q1 6 = q 2 9 = (q1 + q 2 ) x donde x es el tiempo de llenado con ambas bombas juntas. Entonces: E E = = 3.6 horas. x= q1 + q 2 E E + 6 9

15

2. Un estanque se llena en 6 horas y, mediante una llave de salida, se vaca en 9 horas. Si se comienza a llenar pero se olvida cerrar la llave de salida, en cuanto tiempo llega el agua a la mitad de estanque? En este caso se restan los flujos, supuestos ambos constantes ( lo que en el caso de la salida no es muy justo) . E ( ) E x= 2 = = 9 horas. E E q1 q 2 2( ) 6 9

1.6.-

PROBLEMAS

1. Una poblacin de insectos decrece sostenidamente en 2.3% mensualmente de Enero a Diciembre . a) Cul es el porcentaje de decrecimiento anual que observa? b) En qu porcentaje debe crecer la poblacin en un solo mes pararecuperar su tamao original? c) Si en Julio la poblacin era de 2.357 individuos, cul era su tamao original? 2.. Una poblacin de bacterias en un experimento de laboratorio tiene un crecimiento sostenido de un 1.2% al da durante los primeros 6 das. Pero en el sptimo da se introduce un txico y la poblacin decrece alcanzando el mismo tamao inicial. a) Cul fue el porcentaje de decrecimiento que se produjo el sptimo da? b) Si la poblacin inicial era de 2400 bacterias, cul fue el tamao mximo que alcanz la poblacin durante el experimento? 3. Una rata de laboratorio pesa inicialmente 27 gr. , aumenta su peso en 12% en el primer mes y disminuye su peso en 12% el segundo mes. cul es su peso al final del primero y del segundo mes? cul debe ser el porcentaje de disminucin de peso en el segundo mes para quedar pesando igual que al inicio? 4. Una poblacin de protozoos crece en 3.5% durante el da y decrece en 3.5% durante la noche. Al cabo de una semana cul es el porcentaje de crecimiento (o decrecimiento) que experimenta la

16

poblacin? Si al final de la semana el nmero de protozoos es de 4560, cul haba sido su tamao inicial?

5. Un inversionista coloca un milln de pesos a inters en el banco. De Enero a Abril la tasa mensual de inters se mantiene fija en 1.7%. Pero en los meses de Mayo y Junio, a consecuencia de la crisis asitica, la tasa sube al 3.7%. Calcule la ganancia neta que obtiene el inversionista a fines de Junio. Cul debi ser la tasa de inters en Mayo y Junio para que nuestro inversionista hubiese obtenido una ganancia neta de $200.000? 6. Una plaga crece al 5.8% mensual en los primeros 8 meses del ao. Usando cierto plaguicida se logra una reduccin mensual del 17%. Si este plaguicida se usa hasta final de ao, en qu porcentaje se reduce la plaga (en relacin a su tamao inicial)? cul debera ser el porcentaje mensual de reduccin para lograr una reduccin de la plaga a la dcima parte de lo que era al comienzo del ao?. Ample su estudio considerando dos meses de resguardo (sin insecticidas) antes de la cosecha y diferentes momentos de aplicacin del plaguicida. 7. Con 950 ladrillos se han hecho tres tabiques. En el primero entra una tercera parte ms que en el segundo y en ste la cuarta parte de los que entran en el tercero. cuntos ladrillos entran en cada tabique? 8. Una llave de agua llena un estanque en 5 horas menos que otra y juntas lo llenan en 5 horas. en cunto tiempo llena el estanque cada una de las llaves? 9. Un qumico tiene 20 litros de un desinfectante al 3.5% de concentracin. qu cantidad de agua debe agregarle para bajar su concentracin al 2.8% ? 10. Se tienen dos soluciones: 25 litros al 4.3% y 35 litros al 2.5%. Si se juntan ambas soluciones qu concentracin se obtiene?

17

11. Si una mercanca comprada el Lunes subi el 10% el Martes y baj el 9% el Mircoles, cunto se pag el Lunes si se vendi el Mircoles en $99 ? 12. Cinco personas desean comprar un terreno pagando en partes iguales. Se dan cuenta que, si fueran 8 la cuota de cada uno disminuira en $120.000. Cunto vale el terreno?

13. El 15% de los miembros de una poblacin estaba afectado de una enfermedad. El 8% de los afectados murieron. Calcule la mortalidad respecto a la poblacin total. 14. En una prueba de matemticas para bilogos el 12% de la clase no resolvi el problema planteado, el 32% lo resolvi con algunos errores y los 14 estudiantes restantes obtuvieron la solucin correcta. cuntos estudiantes haba en la clase? 15. Un cajn de manzanas contiene m unidades, de las cuales p estn descompuestas. Si se distribuyen las manzanas que estn en buen estado en partes iguales entre n nios y q nias cuntas manzanas reciben las nias? 16. Un recipiente contiene aceite y otro contiene agua. Se saca una cucharada llena de aceite y se pone en el recipiente de agua. En seguida, luego de revolver bien la mezcla, se saca una cucharada de mezcla y se pone en el recipiente de aceite. Hay ms o menos aceite en el recipiente de agua que agua en el de aceite? 17. Un tren rpido fu obligado a detenerse 16 minutos en un disco rojo. Para recuperara el tiempo perdido, el tren viaj un tramo de 80 Km 10 Km/hora ms rpido que lo normal. cul es la velocidad normal del tren?

18

1.7.- RACES, POTENCIAS Y LOGARITMOS.

El siguiente problema, de inters completamente prctico, requiere una operacin que an no hemos introducido y cuya fundamentacin (existencia) no podemos an realizar: Un rentista coloca cierto capital C a inters en un banco y desea saber cundo su dinero va a alcanzar cierto valor V: r x (1 + ) C =V 100
cmo despejar la x ? En general, el problema matemtico consiste en saber si, dados dos nmeros reales a y b existe otro nmero real, digamos x, tal que b x = a . No es esperable que para cualquier par de nmeros a, b va a existir el nmero x. Es necesario estudiar bajo qu hiptesis tiene solucin este problema. Ms an, si x no es un nmero natural, que indicara solamente el nmero de veces que se multiplica el nmero b consigo mismo, qu sentido tiene la expresin b x ? Debemos comenzar por identificar los distintos tipos de nmeros reales interesantes que existen: 1. Los nmeros naturales. Vamos a entender por nmero natural a ambos neutros : 0 y 1, y a todo nmero que se forma sumando el 1 a los anteriores: 2=1+1 ; 3=2+1 = (1+1)+1; 4=3+1, etc. El conjunto de los nmeros naturales lo denotaremos por N. 2. Los nmeros enteros. Los nmeros enteros son simplemente los nmeros naturales y sus inversos aditivos: 0,1,2,3,.... El conjunto de todos estos nmeros lo denotaremos por Z

3. Los nmeros racionales. Se trata en este caso de los productos de nmeros enteros con sus inversos multiplicativos, es decir, nmeros p reales de la forma , donde p, q Z, y, desde luego, q 0 . El q conjunto de estos nmeros lo denotaremos por Q.

19

4. Los nmeros irracionales. Se trata de aquellos nmeros reales que no son racionales. La existencia de tales nmeros est todava sujeta a duda, pues, si bien sabemos que no hay nmero racional cuyo cuadrado sea 2, todava no sabemos que haya efectivamente otro tipo de nmero real que haga esa gracia. La existencia de races ( no solo cuadradas, sino de cualquier orden) para nmeros reales positivos, es un punto que debemos fundamentar ms adelante. Veremos que tal fundamento se obtiene a travs de propiedades fuertes del anlisis. 5. Races n-simas
Por ahora aceptaremos el siguiente resultado:

n N , n 0, a , a 0, b , b 0, b n = a Este nmero real positivo b es nico , se llama raz n-sima de a y se denota: b=n a

La operacin potencia.

Queremos indicar la forma como surge esta nueva operacin entre nmeros reales. Sea b un nmero real , n un nmero natural no nulo. Se define la potencia: b n = b.b.b........b. , donde se ha multiplicado b consigo mismo n veces. Esta operacin satisface las tres propiedades fundamentales siguentes:
I. II. III.

b n b m = b n+m (b n ) m = b nm (ab) n = a n b n

que se siguen simplemente de las propiedades de asociatividad y conmutatividad del producto de nmeros reales.

20

1 . Esta definicin extiende la bn operacin potencia a todos los nmeros enteros. Notar que la base b ya no es cualquier nmero real: debe ser distinto de cero. Por otro lado se necesita una definicin para la potencia cuando n = 0 . Se define: b0 = 1 Es fcil verificar que, las tres propiedades fundamentales anteriores tambin se cumplen en este caso. Hay que ponerse ,eso si , en los distintos casos posibles y hacer uso de las propiedades bsicas de los nmeros reales. p Segunda extensin: Si n = es un nmero racional cualquiera, q entonces siempre se puede suponer que q es (estrictamente) positivo: el signo se puede siempre asignar a p . Entonces se define la potencia
Primera extensin:

b n =

b = bp
q

p q

Aqu la base b ya no puede ser cualquier nmero no nulo: para que esta definicin tenga sentido para cualquier nmero racional es necesario suponer que b es estrictamente positivo. Las tres propiedades bsicas tambin se cumplen en este caso, pero su demostracin ya no es tan inmediata: es necesario usar la unicidad de las races, es decir, si un nmero elevado a q es igual a b, entonces ese nmero es la raz q-sima de b. En particular es necesario usar la siguiente propiedad de consistencia:

b p = ( b) p En efecto, elevando a q la expresin de la izquierda, resulta b p por definicin. Ahora, elevando a q la expresin de la derecha, resulta:
q q

(( b ) p ) q = ( b ) pq = ( b ) qp = (( b ) q ) p = b p
q q q q

luego, por la observacin anterior, la igualdad propuesta queda demostrada. Las tres propiedades fundamentales se demuestran de modo similar. Por ejemplo, para demostrar:
p r

bqbs = bq

p r + s

=b

ps + qr qs

21

basta elevar ambos lados a la potencia qs y aplicar las propiedades fundamentales a las potencias enteras resultantes.
Tercera extensin: Sea b>0, a . Entonces se puede demostrar que existe un nico nmero real, que se denota por b a y que extiende tanto la potencia racional anterior como las tres propiedades fundamentales. Este es un resultado no trivial, necesita un desarrollo bastante elaborado. Lo dejaremos para despus.

Aceptaremos, pues, la existencia de una nueva operacin binaria entre nmeros reales, definida parcialmente:
a , b , b > 0 b a

y que cumple las tres propiedades I,II,III anteriores. Es preciso tener cuidado con el dominio de esta operacin y sus propiedades. Por ejemplo, si n es un nmero natural impar, se puede definir una raz n-sima de un nmero negativo:
n

b = n b , si b>0

En efecto, elevando a una potencia impar, el signo negativo se conserva. Pero esta extensin ya no cumple las propiedades bsicas que deseamos. Si suponemos que se cumplen, llegaramos a la siguiente contradiccin:

1 = 1 = (1) = (1) = (1) = 3 1 = 1


6 6 2

2 6

1 3

La operacin logaritmo.

Sea b>0, b 1 , N , N>0. Entonces se puede demostrar que existe un nico nmero real x, tal que b x = N . Este nico nmero real se llama logaritmo en base b de N y se denota: x = log b N

22

Aqu es preciso destacar dos cosas: La operacin se puede definir solo parcialmente, es decir, no para todos los nmeros reales: la base b debe ser estrictamente positiva y distinta de 1, y el nmero N debe ser estrictamente positivo. La existencia y unicidad del nmero real asociado, es decir, log b N , requiere una demostracin. Esta demostracin no es trivial y la dejaremos pendiente para ms adelante . Por otro lado, directamente de la definicin, se obtienen las dos identidades siguentes:

b logb N = N ; log b b a = a , en particular, si a=1, log b b = 1


Propiedades Fundamentales de los logaritmos.

I. II. III.

log b ( NM ) = log b N + log b M log b a c = c log b a


log a N = log b N log b a

Estas propiedades se pueden demostrar, suponiendo vlidas las tres propiedades fundamentales de las potencias y la existencia y unicidad de los logaritmos: I. b logb N + logb M = b logb N b logb M = NM = b logb NM

Por lo tanto, por unicidad, los exponentes deben ser iguales. II. b c logb a = (b logb a ) c = a c = b logb a
c

Luego, igual que antes, los exponentes deben ser iguales III. b log a N logb a = (b logb a ) log a N = a log a N = N = b logb N

23

Nuevamente, los exponentes son iguales y basta despejar log a N para tener la frmula propuesta, conocida como Frmula de cambio de base. La base ms usada para calcular los logaritmos es la llamada base natural, denotada por la letra e cuyo valor es e = 2.71828182. aproximadamente. Ms adelante veremos porqu este nmero, que es irracional, es base natural. Tambin se usa la base 10 , cuyos logaritmos se suelen llamar vulgares. En rigor, no es necesario el uso de distintas bases, con una sola basta. Aqu es necesario tener cuidado con las notaciones: en la literatura matemtica el logaritmo natural se denota simplemente por log, mientras que en los libros tcnicos de ingeniera este logaritmo se denota por ln, reservndose la notacin log para el logaritmo vulgar. En pocas pasadas, antes del advenimiento de las calculadoras de bolsillo, tena ciertas ventajas el uso de logaritmos vulgares, dado que estamos acostumbrados al uso del sistema decimal. Pero hoy en da no tiene justificacin alguna. Puesto que en matemticas no se usa otra base, la notacin log no produce ninguna confusin.

Ejemplos
1. Un individuo pone $350.000 en un banco a 0.8% de inters mensual. Suponiendo una tasa de inters constante en el tiempo, cundo alcanzar $1.000.000? La ecuacin a resolver es: 0.8 x 350.000(1 + ) = 1.000.000 100 Es decir, x log(1.008) = log(2.857) , x = 132meses = 11aos aproximadamente. 2. Una plaga crece sostenidamente al 18% diario. En cunto tiempo se duplica? Si en el instante inicial hay 18.000 individuos, cundo habr 1.000.000? N 0 (1 +

log 2 18 t ) = 2 N 0 , de donde t = = 4.19 log(1.18) 100

es el tiempo de duplicacin, independiente del valos del tamao inicial de la poblacin N 0 . Para la segunda pregunta, se

24

plantea la ecuacin 18.000(1 + tiempo de 24.27 das.

18 t ) = 1.000.000 , lo que da un 100

3. Un contaminante se degrada a un ritmo de 2% diariamente. cundo se reduce a la mitad? cundo se reduce a la dcima parte?
2 Para la primera pregunta, la ecuacin es: C (1 100 ) t =

1 C , cuya 2 solucin es, aproximadamente 34.3 das. Para la segunda, la 2 t 1 ecuacin es C (1 ) = C y su solucin 114 das. 100 10

1.8. -

PROBLEMAS

1. Cierto istopo del Radio pierde 9.8% de la intensidad de radiacin al ao. Si I 0 denota la intensidad original cul es la intensidad despus de uno, dos y tres aos? Encuentre una frmula para la intensidad I n despus de n aos. En cunto tiempo la intensidad se reduce a la mitad? 2. El dimetro de una molcula de H 2 O es de 2.5 10 10 [m] aproximadamente. En un mol de agua (18 gr.) hay 6.02 10 23 molculas (nmero de Avogadro). Si se pusieran en fila estas molculas, qu tan larga sera la fila? sera ms larga que la distancia de la Tierra al Sol ( 1.5 10 8 [ Km] ? 3. Un bilogo realiza cierto nmero de experimentos idnticos en un tiempo determinado. Si hubiera hecho 10 experimentos ms cada da, hubiera terminado su trabajo de investigacin 4,5 das antes de lo previsto pero si hubiese hecho 5 experimentos menos cada da habra tardado 3 das ms de lo previsto. cuntos experimentos hizo y en cunto tiempo?

25

4. Una poblacin de insectos crece a una tasa per-cpita de 9% diaria. Si el 30 de Septiembre satura un predio, en qu fecha haba cubierto el 10% de dicho predio? 5. Una bacteria en un cultivo se duplica cada hora. Si N 0 es el nmero inicial de bacterias cuntas habr en n horas? cuntas horas se necesitan para que la poblacin alcance el tamao N 1 ? 6. Calcule el tiempo de duplicacin de la poblacin mundial suponiendo que la tasa neta de crecimiento per-cpita es de 1.58% anual. 7. El carbono 14 decae segn la ley:
t

At = A0 (0.5) 5.600
donde A0 es la masa inicial y At la masa en el tiempo t, medido en aos. En la caverna donde se encontr al Hombre de CroMagnon se encontr tambin carbn de una hoguera y su anlisis determin que el 10% del carbono 14 original an estaba presente. Qu edad tena la hoguera? 8. Mi hija tiene 17 aos de edad. Hace 15 aos quise poner cierta cantidad de dinero a inters en el banco a su nombre para que cuando cumpliera 21 aos pudiese comprarse un auto 0-Km. La idea me pareci demasiado ambiciosa y no lo hice. Ahora me arrepiento! Suponiendo que el inters mensual ha estado en un 2.4% (en promedio) en todos estos aos, calcule cunto dinero deb poner entonces (el auto eljalo Ud.). Cunto debi ser el inters anual equivalente? Compare con las tasas actuales de inters. 9. Una poblacin de protozoos crece en el da a una tasa percpita de 12% y decrece durante la noche en un 8%. Si el 30 de Septiembre se censan 12.547 individuos (los cuales llenan el recipiente que los contiene) En qu fecha ocupaban el 10% del recipiente? Cuntos individuos haba el 18 de Septiembre?

26

10. (*) Un individuo pide un prstamo de $C al banco a un plazo de n meses, pagando la primera cuota un mes despus de haber recibido el prstamo. Si las cuotas deben ser iguales y el banco cobra justo lo que debe, cunto ha de ser el valor de su cuota mensual?
1.9 .- ECUACIONES EN

En general, una ecuacin es un problema que consiste en encontrar todos los elementos de cierto conjunto, que satisfacen una relacin de igualdad dada. Es importante entender que una ecuacin puede estar planteada en diferentes mbitos, que es el conjunto donde se buscan las soluciones, y tener o no soluciones segn el mbito de bsqueda prescrito. Por ejemplo, la ecuacin 2x 3 = 0 tiene una solucin (que es x=3/2 ) en Q, pero no tiene soluciones en Z. La ecuacin x2 +1 = 0 no tiene soluciones reales (puesto que los cuadrados de los nmeros reales son siempre positivos) , pero tiene dos soluciones en el campo de los nmeros complejos.

En nuestro caso, las ecuaciones estarn planteadas en los reales o subconjuntos interesantes de nmeros reales. Se emplea usualmente la letra griega x (primera letra de la palabra griega , que significa desconocido, extranjero) para denotar al (o los) nmeros reales que se buscan. Por otro lado, resolver una ecuacin puede ser una cosa muy difcil de hacer, por lo que a veces soluciones parciales del problema pueden ser interesantes, por ejemplo demostrar la existencia de una solucin (sin encontrar la solucin); encontrar al menos una solucin, sin saber si son todas; encontrar soluciones en algn mbito ms pequeo que el deseado, etc.

27

Finalmente, resulta importante en estos problemas el concepto de valor absoluto o mdulo de un nmero real x, denotado por x y definido por: x, x 0 x = x, x < 0 Introduciendo el concepto de signo de un nmero real: 1, x > 0 sgn( x) = 1, x < 0 El valor absoluto puede ser definido por la igualdad: x = sgn( x) x Notar que 0 no tiene signo. Clasificando por casos, es fcil demostrar las relaciones fundamentales siguentes: x+ y x + y
xy = x y

Ejemplos

1. Resolver la ecuacin en :
x3 = 8

Aqu es necesario dividir la recta real en dos mbitos de bsqueda diferentes: Zona de bsqueda I: x 3 0 . La ecuacin en esta zona es: x 3 = 8 y su solucin (nica) es x = 11 , que pertenece a dicha zona. Zona de bsqueda II: x 3 < 0 . La ecuacin en esta zona es: x + 3 = 8 y su solucin (nica) es: x = 5 que pertenece a la zona. La Figura 1.1 muestra las zonas de bsqueda.

28

Figura 1.1

2.

Resolver la ecuacin en : x + 1 = 2x 1

En este caso la recta real debe ser dividida en tres zonas:

Figura 1.2 En la zona I, la ecuacin es x 1 = 2 x 1 y su solucin debera ser x = 0 que no est en la zona. Esto significa que, en esta zona, la ecuacin no tiene solucin. En la zona II, la ecuacin es x + 1 = 2 x 1 cuya solucin es -2/3 que est en la zona. En la zona III, la ecuacin es: x + 1 = 2 x + 1 y su solucin es: x = 0 , que est en la zona.

29

La conclusin es que la ecuacin planteada tiene exactamente dos soluciones: -2/3 y 0. En este caso tambin se dice que el conjunto 2 solucin ( es decir, el conjunto de soluciones) es S = ,0 3

3. Resolver la ecuacin en : 1 1 + =0 2 x + x x +1 En este caso, el mbito de bsqueda ha de excluir x = 0 y x = 1 , pues la frmula que define la ecuacin no est definida para estos nmeros. Sin embargo, un tratamiento descuidado y puramente operacional puede conducir a soluciones errneas: pasando el segundo sumando a restar: 1 1 = x( x + 1) x +1 multiplicando por x + 1 a ambos lados: 1 = 1 x y multiplicando por x a ambos lados, se llega a x = 1 . Un estudiante descuidado se dar por satisfecho con este resultado falso. Por otro lado, operando de otro modo, se puede llegar a otras conclusiones: sumando ambas fracciones usando un denominador comn, se tiene: x +1 =0 x( x + 1) y simplificando el factor x + 1 , se tiene 1 =0 x finalmente, multiplicando por x a ambos lados , se llega a 1= 0 Se elimina la incgnita!. Antes de llegar a esta contradiccin es 1 preciso analizar la condicin anterior: = 0 no tiene solucin para x ningn nmero real. La conclusin es que el conjunto-solucin es vaco: S = . 4. Resolver la ecuacin en :

30

x + x = 2x +

x x

En este caso, la restriccin al mbito de bsqueda debe ser x > 0 x Simplificando las x y reconociendo que = x , se llega x finalmente a x=x Si se cancela la x, nuevamente se ha eliminado la incgnita, pero esta vez queda 0 = 0. Al interpretar este resultado, se llega a la conclusin que todos los nmeros reales (que cumplen la restriccin) son solucin de la ecuacin . Se tiene entonces que el conjunto solucin es S = {x : x > 0}. La ecuacin tiene, pues, infinitas soluciones.
5. Resolver la ecuacin en :

x 2 3x + 2 = 0
Recordando una frmula muy usada en la enseanza media: (3) 3 2 4 2 1 = x= 2 2 Pero de donde sale esta frmula? Cmo sabemos que es correcta?bajo qu condiciones proporciona efectivamente las soluciones de la ecuacin?
Usando solamente las reglas del lgebra de los nmeros reales que hemos visto y suponiendo la existencia de races cuadradas de nmeros positivos, el polinomio cuadrtico general se puede factorizar: b + b 2 4ac b b 2 4ac )( x ) 2a 2a Pero esta factorizacin solo es posible si acaso el llamado discriminante: = b 2 4ac es positivo (o nulo). Puesto que el cuerpo de los nmeros reales no tiene divisores de cero, alguno de los factores debe anularse, lo que provee las dos ax 2 + bx + c = a ( x

31

soluciones que se obtienen con la frmula anterior y ,adems, demuestra que no hay otras soluciones posibles. 6. Resolver la ecuacin en los reales:

x2 + x +1 = 0
Usando la frmula anterior, nos encontramos con un discriminante negativo: = 3 . Qu significado tiene esto? Desde luego, la factorizacin anterior no es posible, pero no hay otra?, no habr algn otro nmero real que sea solucin de esta ecuacin?. La respuesta a estas preguntas es negativa, pero Cmo demostrarlo? Hay una forma sencilla de hacerlo: vamos a plantearlo en general: Sea b 2 4ac < 0 ; demostraremos que ax 2 + bx + c nunca es nulo, es decir, no se anula para ningn nmero real x. Como b c a 0 , podemos factorizar: a ( x 2 + x + ) y vemos que la a a

c b condicin b 4ac < 0 es equivalente a: 4 < 0 a a Cambiando de nombre los coeficientes, basta demostrar entonces que el polinomio de la forma x 2 + bx + c 0 , si b 2 4c < 0 , o b2 sea si c > 0 . Pero por el mtodo de completacin del 4 cuadrado, se tiene: b b2 x 2 + bx + c = ( x + ) 2 + c >0 2 4 En particular, hemos demostrado que , si b 2 4c < 0 , entonces x 2 + bx + c > 0, x .
2

7. Resolver la ecuacin en los reales: 2x 2 2 = x 1 Aqu la tcnica usual es elevar a ambos lados al cuadrado: 2x 2 2 = x 2 2x + 1

32

Lo que nos d la ecuacin cuadrtica: x 2 + 2 x 3 = 0 , cuyas soluciones son: 1 y -3. Llegado a este punto un estudiante descuidado se dara por satisfecho: la ecuacin tiene dos soluciones. Sin embargo, si uno substituye el nmero -3 en la ecuacin, resulta 16 = 4 , lo que es falso. Qu ha ocurrido? La explicacin es que al elevar al cuadrado se pueden ganar soluciones que no son tales. El razonamiento es el siguiente: los nmeros reales x que satisfacen la primera ecuacin, deben satisfacer la segunda, pero no al revs. Dos nmeros reales distintos pueden tener el mismo cuadrado. 8. Resolver la ecuacin en :

8 x 5 n + 3x 3n = 0
donde n Z . En este caso n es un parmetro entero, es decir, un nmero entero fijo. El problema aqu no es una ecuacin, sino una familia infinita de ecuaciones, una por cada valor que se le d al parmetro n. Habr por lo tanto distintos conjuntos-solucin, segn sea el valor del parmetro. Factorizando por x 3n , se tiene:

x 3n (8 x 2 n + 3) = 0
Luego, habr dos familias posibles de soluciones: x 3n = 0 , o bien: 8 x 2 n + 3 = 0 . Aqu hay que hacer ya una discusin segn el valor del parmetro: n = 0 : entonces claramente no hay solucin: S = n > 0 : x 3n = x.x.....x = 0 , luego x = 0 es solucin. La otra 3 familia : x 2 n = no d soluciones pues 2n es par. 8 n < 0 : podemos poner n = m , con m N . La primera 1 familia: x 3n = x 3m = 3m = 0 no d soluciones. La x 1 3 tampoco. segunda: x 2 n = x 2 m = 2 m = 8 x

33

Figura 1.3 En la figura 1.3 se esquematizan las soluciones en el espacio de parmetros. 9. Resolver la ecuacin en :

log b x =

2 log b 27 + 2 log b 2 log b 3 3

Aqu la base de los logaritmos es el parmetro. Veremos si las soluciones de la ecuacin dependen del parmetro. El miembro derecho se simplifica:

(27) 3 2 2 log b = log b 12 3 Igualando ambos miembros, se obtiene x = 12 , nica solucin. 10. Resolver la ecuacin en : log 4
x

2 ( )

log 2 x 2

+ log 2 x 2 log 1 2 x = 0
2

En este caso la incgnita est en la base de los logaritmos. La ecuacin parece tremebunda pero no lo es: est arreglada para ser resuelta fcilmente. Primero que nada es conveniente establecer las restricciones implcitas : x>0

34

4 x 1 , luego x 2 x 1 , luego x

1 16

1 2

Cambiando toda la ecuacin a base 2: log 2 2 log 2 2 x log 2 2 log 2 2 x + =0 log 2 4 x log 2 2 log 2 x log 1 2 2 2 Simplificando, la ecuacin queda: log 2 2 x = log 2 4 x

Por lo tanto: 2 x = 4 x , es decir x 2 = 4 x , de donde: x = 0 , que no es posible o bien x = 4 que si es posible. Luego, el conjunto solucin es simplemente S = {4} 11. Resolver la ecuacin en :

3 2 x 5 6 x 7 = 9 x 2 71 x
Aplicando logaritmo en alguna base prctica (e o 10), se tiene: 2 x log 3 + (6 x 7) log 5 = ( x 2) log 9 + (1 x) log 7 De donde, despejando la x se tiene: 57 7 ) 9 2 8.8 0.76 x= log(5 6 7) 11.6 log(

1.10 .-

PROBLEMAS

1. Resolver y discutir las siguientes ecuaciones en : x + 2 x = x + x 1 2

35

x 1 =0 x x ( x + 1) 2 x 2 = 2 x 1 1 + 2x = 2 + x 2 2+ x = x

2. Resolver y discutir, segn los valores de los parmetros, las ecuaciones en : m 1 2 = x m m x2 x a = 0

x 2 p + 2x p 3 = 0 x 7 n 2 x 9 n = 0 , donde n Z

3. Resuelva y discuta las ecuaciones en :

1 4 x 2 = x +1 x2 + x =

x 2 3x x = 0
3x + 2 + x 3 4 = 0

1 1 + 4=0 x+5 x+3 x px 1 = 0 , donde p

4. Resuelva las ecuaciones en :

35 x 5 2 x 4 = 15113 x
17 2 = 4913 log x 3 + log 2 x 2 = 1
x2 x

log 2 x 2 log x 2 2 = 1
ln(2 x 3 x ) = 1
2

36

5. Resuelva las siguientes ecuaciones en : log x (1 + x) = 1 log x (1 + x) = 2

37

1.11.- PROBLEMAS ELEMENTALES CON EL ORDEN DE

Hasta ahora hemos trabajado solamente con la estructura de cuerpo de , es decir, usando solo sumas y productos. Pero una caracterstica esencial de las cantidades es el poder compararlas unas con otras, poder establecer que ciertas cantidades son ms grandes o ms pequeas que otras. Un problema prctico, que requiere un anlisis que todava no hemos hecho es el siguiente: Un agricultor necesita aplicar cierto insecticida para controlar cierta peste y sabe que las normas para la comercializacin de su producto exigen como mximo un 0.001% de presencia del pesticida en el producto. Por otro lado tambin sabe que el pesticida se degrada en un 15% diariamente. La pregunta es: cuntos das, como mnimo, antes de la cosecha deber realizar su ltima aplicacin de pesticida? Si llamamos x a este nmero de das, la condicin que debe cumplirse es: 15 x 0.001 (1 ) < 100 100 Se trata, pues, no de una ecuacin, sino de una inecuacin. Para resolverla, aplicamos un logaritmo (por ejemplo, el natural) a ambos lados de la desigualdad: x log(0.85) < log(0.00001) de donde: log(0.00001) x> = 70.8 log(0.85)

Notar que log(0.85) es un nmero negativo, por lo que la desigualdad se invierte. El agricultor deber tomar como mnimo un resguardo de 70.8 das, o sea casi dos meses y medio sin aplicar pesticida antes de la cosecha. Aqu es importante destacar, desde el punto de vista matemtico, que se ha supuesto que el logaritmo respeta el orden. ser siempre as? Todos los logaritmos , de cualquier base, respetan el orden? . Para contestar a esta pregunta, empecemos por demostrar :

0 < a < b a n < b n , para todo n, nmero natural no nulo.

38

Sea 0 < a < b . Multiplicando por a y despus por b a ambos lados de la desigualdad, se obtiene : a 2 < b 2 (este resultado ya lo habamos obtenido antes). Repitiendo este mismo procedimiento con la desigualdad obtenida, se logra: a 3 < b 3 , y si lo volvemos a hacer una y otra vez, se obtiene efectivamente : a n < b n . Este procedimiento se denomina induccin finita y ser discutido en forma ms precisa y detallada ms adelante. Sea ahora a n < b n . La siguiente factorizacin es muy fcil de verificar: n b a n = (b a )(b n 1 + b n 2 a + b n 3 a 2 + ... + ba n 2 + a n 1 ) Se sigue de aqu que, puesto que el miembro izquierdo de la igualdad es positivo y que es segundo factor del miembro derecho de la igualdad tambin es positivo, el primer factor tambin debe serlo, es decir: b a > 0 , o sea a < b .

De lo anterior se sigue tambin que :

0 < a < b n a < n b , para todo n, nmero natural no nulo. En efecto, la implicacin de derecha a izquierda se obtiene simplemente elevando a la potencia n y aplicando el resultado anterior. Para la implicacin de izquierda a derecha, supongamos que n a n b : nuevamente elevando a la potencia n se llega a la contradiccin a b . Con este resultado, podemos generalizar la propiedad a los nmeros racionales positivos :
0<a<ba <b ,
p

p q

p q

p >0 q
p

Sea 0 < a < b , supongamos que a q b q . Basta elevar a la potencia q para llegar a a p b p y aplicando la raz psima, a b , que contradice la hiptesis.

39

Para la implicacin de derecha a izquierda, basta elevar a q y aplicar raz p-sima.

Estos resultados, sin embargo, son todava insuficientes: deseamos extender estas desigualdades a potencias reales cualquiera. Para esto aceptaremos el siguiente resultado:

bx < b y ,b > 1 x, y , x < y x y b > b ,0 < b < 1

Veremos que de este resultado se desprenden las generalizaciones que andamos buscando. Para empezar veamos que : log x < log b y, b > 1 x< y b log b x > log b y, b < 1

En efecto, si suponemos que log b x log b y , con b>1, entonces se tendra, elevando la base b al logaritmo respectivo, segn el resultado que hemos aceptado, x = b logb x b logb y = y , lo que contradice la hiptesis. De modo similar se procede en el caso b<1.

a x < b x , x > 0 0<a<b x x a > b , x < 0

Esto se demuestra de modo similar a la propiedad anterior. En efecto, supongamos que a x b x , con x > 0 . Aplicando logaritmo natural (cuya base es mayor que 1), se tendra x log a x log b , que, simplificando por x que es positivo, conduce a log a log b , y, finalmente, elevando a la potencia de base natural e se obtiene: a = e log a e log b = b , lo que contradice la hiptesis. Del mismo modo se procede para el caso x < 0 .

40

1.12

INECUACIONES EN

Una inecuacin en es un problema, que consiste en hallar todos los nmeros reales, tomados de cierto conjunto, que satisfacen una relacin de desigualdad dada. Las inecuaciones tambin se plantean en mbitos determinados, tal como las ecuaciones. En este caso, sin embargo, es necesario que el espacio donde se plantee la inecuacin posea la estructura de orden apropiada. Nosotros trabajaremos en el conjunto de nmeros reales, cuya estructura de orden es la de un cuerpo ordenado, que adems satisface el axioma del supremo, que es el que nos permitir fundamentar las operaciones y propiedades de potencias, races y logaritmos.

Ejemplos

1.Resolver la inecuacin en :
2 x + 3 < 5x + 1

Sumando a ambos lados 2 x 1 y dividiendo por 3, es decir, 1 2 multiplicando por , resulta: x > , es decir, el conjunto 3 3 solucin es: 2 S = x : x > 3

Aqu conviene establecer el concepto de intervalo :

[a, b] = {x : a x b} : intervalo cerrado ]a, b[ = {x : a < x < b} : intervalo abierto ]a, b] = {x : a < x b} : intervalo semicerrado [a, b[ = {x : a x < b} : intervalo semicerrado

Tambin a estos dos ltimos se les denomina semiabiertos. Los siguientes se llaman intervalos impropios, infinitos o degenerados:

41

]a, [ = {x : a < x} ] , b[ = {x : x < b} [a, [ = {x : a x} ] , b] = {x : x b}

2 En nuestro ejemplo, el conjunto-solucin es el intervalo , 3


2. Resolver la inecuacin en :

x + 5 x2 4 Aqu es necesario observar que las frmulas que aparecen en la inecuacin no estn definidas para cualquier nmero real: existen restricciones implcitas que es necesario explicitar para determinar cul ser nuestro mbito de bsqueda de soluciones: es necesario que se cumpla: x 2 4 0 . Luego es preciso resolver previamente la inecuacin x 2 4 0 para saber dnde buscar soluciones del problema planteado. Factorizando el polinomio cuadrtico, se tiene la condicin: ( x 2)( x + 2) 0 .Hay, entonces dos alternativas: que ambos factores sean positivos (es decir, si x 2 ) o ambos negativos (o sea, si x 2 ). Por lo tanto nuestro mbito de bsqueda ser: ] ,2] [2, [ Ahora, vamos a la inecuacin: aqu es necesario distinguir dos casos: x + 5 0 : aqu la inecuacin se cumple, pues las races cuadradas son siempre positivas, luego x 5 , que se encuentra en el mbito de bsqueda, por lo tanto, el intervalo ] ,5] es ya parte de la solucin del problema. x + 5 0 : aqu podemos elevar al cuadrado, es decir, si la inecuacin se cumple, la desigualdad de los cuadrados debe tambin cumplirse: x 2 + 10 x + 25 x 2 4 , cancelando x 2 , 29 restando 25 y dividiendo por 10, se tiene: x = 2.9 , 10 que tambin se encuentra en el mbito de bsqueda, luego, el intervalo [ 5,2.9] es tambin solucin del problema.

42

La solucin completa de la inecuacin ser la unin de ambas soluciones parciales:

] ,5] [ 5,2.9] = ] ,2.9]


3. Resolver la inecuacin en : x 2 + 2 x <1 Aqu las restricciones implcitas son: x 2 x 2 , luego el mbito de bsqueda se reduce a {2}. Es solucin x=2? Claro que lo es, luego el conjunto solucin de esta inecuacin es simplemente S= {2}. Este ejemplo es una muestra drstica de que, antes de empezar a operar , conviene sencillamente pensar. 4. Resolver la inecuacin en :
2 x + 1 3x + 1

Aqu es necesario dividir la recta real en dos zonas:

1 : aqu la inecuacin es: 2 x 1 3x + 1 , es decir, 5 x 2 , 2 2 o sea x , que no est dentro del intervalo de bsqueda. 5
x
1 x > : donde la inecuacin es : 2 x + 1 3 x + 1 , que nos dice 2 x 0 . Por lo tanto, el conjunto-solucin es S = [0, [

5. Resolver la inecuacin en :
x +1 < x 1 +1

En este caso no hay restricciones implcitas, pues la cantidad subradical es siempre positiva. Pero hay que estudiar la inecuacin en tres zonas:

43

x 1 : aqu la inecuacin se cumple, pues la raz es siempre estrictamente positiva. 1 < x 1 : podemos elevar al cuadrado y la inecuacin queda: x 2 + 2 x + 1 < x + 2 , es decir, x 2 + 3 x 1 < 0 . 3 13 3 + 13 Factorizando, se tiene . Notar que <x< 2 2 el nmero a la derecha es menor que 1 x > 1 : elevando al cuadrado, se tiene x 2 + 2 x + 1 < x , es decir: x 2 + x + 1 < 0 . Pero el discriminante de este polinomio cuadrtico es negativo, luego, se trata de un polinomio irreducible, es decir, sin races reales, por lo tanto tiene siempre un solo signo, que es positivo pues su valor en x = 0 es 1. Luego, en esta zona no hay soluciones. Uniendo las soluciones encontradas se obtiene el conjunto solucin de la inecuacin:

3 13 3 + 13 3 + 13 S= ] ,1] , = , 2 2 2 6. Resolver la inecuacin en :


ex
2

+4 x2

En este caso basta aplicar el logaritmo natural a ambos lados de la desigualdad y recordar que, como la base es mayor que 1, este logaritmo respeta el orden: ( x 2 + 4 x 2) log e log(1) es decir, x 2 + 4 x 2 0 . Factorizando el polinomio cuadrtico, se obtiene: ( x 2 + 6 )( x 2 6 ) 0 , luego, la solucin es: 2 6 x 2 + 6 , es decir S = 2 6 ,2 + 6 .

44

7. Resolver la inecuacin en :
log 3 (log 1 ( x 2 2)) < 0
2 4

Hay aqu dos restricciones: x 2 2 > 0 : por lo tanto: x , 2 2 , log 1 ( x 2 2) > 0 . Como la base del logaritmo es menor que 1,

[ ]

la desigualdad se invierte: x 2 2 < 1 , es decir, 3 < x < 3 Luego, el mbito de bsqueda ser: 3 , 2 2 , 3 . Recin ahora podemos abordar la inecuacin: siendo la base del logaritmo exterior mayor que 1, la desigualdad se mantiene, luego: log 1 ( x 2 2) < 1 y aplicando ahora la potencia respectiva,
4

[ ]

1 9 , o sea x 2 > , por 4 4 3 3 lo tanto, puesto que 3 < < 2 y que 2 < < 3 , se 2 2 tiene finalmente la solucin de la inecuacin: con la base menor que 1, se tiene: x 2 2 > 3 3 S = 3 , , 3 2 2 8. Resolver la ecuacin: x a + a 2 x = 1 Puede parecer extrao que aparezca aqu una ecuacin, ms an, una de apariencia sencilla. En realidad no se trata de una ecuacin, sino de una familia infinita de ecuaciones, una por cada valor que tome el parmetro a . El problema consiste en clasificar todas las posibles soluciones segn sea a . Este problema de clasificaciones nos conducir a ecuaciones e inecuaciones. Un anlisis preliminar, de carcter exploratorio, nos indica que aparecer el factor a 2 1 , y por lo tanto conviene separar el conjunto de valores del parmetro en tres zonas, separando tambin los valores lmites: Zona I : a < 1 . Debemos ahora buscar soluciones de la ecuacin en dos zonas : x a , donde la ecuacin es:

45

1 a . Pero para que la a2 1 solucin est en la zona de bsqueda, se debe cumplir que 1 a x= 2 a , o sea, puesto que, por la hiptesis sobre a: a 1 a 2 1 > 0 , la condicin es 1 a a 3 a , es decir, 1 a 3 , lo que no es posible, pues a es negativo. Luego, en la zona x a la ecuacin no tiene soluciones. Sea ahora x > a : la ecuacin 1+ a que debe ser mayor que ser x a + a 2 x = 1 , o sea x = 1+ a2 1+ a a, o sea: > a , es decir: 1 + a > a + a 3 , lo que se cumple 1+ a2 pues a es negativo. La conclusin es que en la zona I para el 1+ a parmetro a solo hay una solucin y esta es : x1 = 1+ a2 Valor lmite a = 1 . En este caso la ecuacin es x + 1 + x = 1 . Si se busca en la zona x 1 , la ecuacin es

x + a + a 2 x = 1 , es decir : x =

x 1 + x = 1 que no tiene solucines. En la zona x > 1 , la ecuacin es x + 1 + x = 1 , cuya solucin es : x 2 = 0 . Ntese que la frmula dada para x1 tambin sirve para el caso a = 1 Zona II: 1 < a < 1 . Para x a la ecuacin es: 1 a 1 que debe ser x + a + a 2 x = 1 , luego: x = 2 = a +1 a 1 menor o igual que a, es decir, a 2 + a + 1 0 , lo cual siempre 1 se cumple. Por lo tanto x3 = es solucin en esta zona. a +1 Para x > a , la ecuacin es x a + a 2 x = 1 , cuya solucin 1+ a debe ser mayor que a, o sea 1 + a > a + a 3 , x= 2 1+ a condicin que, esta vez, se satisface. Luego, en esta zona hay 1+ a otra solucin que es: x1 = 1+ a2 Valor lmite a = 1 . La ecuacin es: x 1 + x = 1 . Si se busca en x 1 , resulta la ecuacin x + 1 + x = 1 que se cumple siempre, es decir, el conjunto solucin es S = [1, [

46

Si buscamos soluciones en x > 1 , la ecuacin ser x 1 + x = 1 , o sea x = 1 que no cumple la condicin. Por lo tanto, para este valor de parmetro, hay infinitas soluciones y el conjunto solucin es S = [1, [ Zona III : a > 1 . Buscamos primero en x a , donde la ecuacin 1 , que debe ser menor o igual nos d por solucin: x3 = a +1 que a, lo cual se cumple. Buscando en x > a , la ecuacin nos 1+ a que debe ser mayor que a, lo cual d por solucin x = 1+ a2 no se cumple. Por lo tanto, en esta zona del espacio de parmetros tenemos una nica solucin que es x3 La Figura 1.4 muestra un esquema de las soluciones a lo largo de la recta que representa la totalidad de valores de parmetros.

Figura 1.4

1.13

PROBLEMAS

1. Resolver las inecuaciones en :


2x x 2 + 1

x x + x 1+ x +x< 2 1+ x 1+ 1+ x2

47

x x + x 2x
1 x +x>

x+x x

1+ x x+x x

1+ x 2x + 2x 2x x 2 + 1 + 2x 1 + 2x 2x 2 1 + 2 2x 2 1 + 2

x 1 < 2x 2 1 + 2 x 1 < x 1 <

2. Resolver y discutir (segn los valores de los parmetros) las inecuaciones siguientes: x1+ log a x > a 2 x log b (1 x + 2 ) 1 x logb x < x log b (1 ax + 2 ) 1

x2 p + x = 0

x 2 px 1 = 0 3. Resolver las inecuaciones: log 1 (log 4 ( x 2 5) > 0


3

log 3 ( x 2 5 x + 6) < 0 log 1 ( x 2 5 x + 6) < 0


3

log x (1 + x) < 1

4. Un granjero dispone de A metros de un plstico especial de 80cm de ancho para cubrir las paredes de un abrevadero circular (cilndrico) El abrevadero debe tener al menos una capacidad de B

48

litros. Discuta las soluciones posibles. Si A=20 , podr tener 2.500 litros de capacidad?. Ample su estudio considerando otras formas posibles del abrevadero (cuadrada, rectangular, etc.)

5.

La tasa de crecimiento de cierta bacteria en estudio se ha estimado en algo mayor que 23% diario. Un experimento es iniciado con 40 bacterias pero se necesitan al menos 13.000 para llevar a cabo el estudio. Cuntos das de crecimiento de la poblacin aseguran que el experimento puede ser realizado?

1.14 SISTEMAS DE ECUACIONES E INECUACIONES

Los problemas de la vida real rara vez se pueden plantear a travs de una sola condicin y una sola incgnita. En general habr varias incgnitas y varias condiciones que deben cumplirse. Se habla de un sistema de ecuaciones, si todas las condiciones que aparecen son ecuaciones, las cuales deben cumplirse simultneamente, es decir, sern soluciones del sistema aquellos sistemas de nmeros (pares, tros, etc. segn sea el nmero de incgnitas) que satisfacen a la vez todas las igualdades. Tambin pueden plantearse sistemas de inecuaciones, donde las condiciones a satisfacer son inecuaciones y finalmente, sistemas mixtos, donde aparecen tanto ecuaciones como inecuaciones. Estos ltimos aparecen raramente en la literatura, a pesar de ser bastante importantes en la resolucin de problemas prcticos: muchas veces se buscan soluciones de sistemas de ecuaciones que deben adems cumplir otras condiciones , por ejemplo, ser positivas para que tengan sentido en el modelo: el sistema se transforma entonces en un sistema mixto.
Ejemplos

1. Resolver el sistema de dos ecuaciones y dos incgnitas:


2x y = 1 x+ y =0

49

sumando ambas ecuaciones, se elimina la incgnita y y queda 1 una ecuacin muy simple para x cuya solucin es x = , 3 1 reemplazando en la segunda ecuacin, resulta y = . Luego, el 3 1 1 conjunto solucin del sistema es S = , 3 3 2. Resolver el sistema:

2x y = 1 x+ y =0 1 x =0 3 Notar que el sistema tiene dos incgnitas y tres ecuaciones, pero su solucin es exactamente la misma que en el ejemplo anterior.

3. Resolver el sistema: 2x y = 1 Aqu se trata del caso lmite de un sistema de una ecuacin con dos incgnitas. El conjunto solucin es, desde luego infinito : S = {( x, y ) : y = 2 x 1}, que puede ser descrito geomtricamente como el conjunto de puntos en el plano que satisfacen la ecuacin de la recta y = 2 x + 1 Hemos puesto estos ejemplos extremadamente sencillos para enfatizar que un sistema de ecuaciones no tiene porqu tener el mismo nmero de ecuaciones que de incgnitas. Por otro lado, una solucin de un sistema de dos incgnitas ser una pareja de nmeros reales. Si se trata de un sistema de tres incgnitas, una solucin ser un tro de nmeros reales.

50

4.

Resolver el sistema mixto:


x + y2 = 0 x y = 2 x+20 Reemplazando x = y 2 en la primera ecuacin, resulta la ecuacin de segundo grado: y 2 + y 2 = 0 , cuyas soluciones son : -2 y 1, luego los posibles valores de x sern: x = 4; x = 1 , pero solamente x = 4 satisface la condicin de desigualdad. Por lo tanto, el conjunto solucin es: S = {( 4,2)}

5. Resolver el sistema mixto: log a x log a 1 + y 0 2 xy 1 = 1

En primer lugar es conveniente observar las restricciones implcitas de este sistema: a > 0; a 1; x > 0; y 1 La relacin de igualdad se puede resolver aplicando un logaritmo: se tiene: xy = 1 , por lo tanto, en particular x e y deben tener el mismo signo y como x debe ser positivo, y tambin. El conjunto de parejas que satisface esta condicin puede ser dibujado en el plano (se trata de un trozo de hiprbola). Ver Figura 1.5. Para analizar la relacin de desigualdad tenemos que distinguir dos casos: i) a > 1 : En este caso la desigualdad es log a x log a 1 + y por lo tanto, puesto que este logaritmo respeta el orden: x 1 + y = 1 + y , puesto que y > 0

51

Luego, en este caso la solucin es S = {( x, y ) : y x 1 xy = 1}, 1 o bien describindola solo en trminos de x , y = x 1 , de x 1 5 1+ 5 donde x 2 x 1 0 , es decir: , pero como x x 2 2 debe ser estrictamente positivo, la solucin puede ser descrita por: 1 1+ 5 S = ( x, y ) : y = 0 < x 2 x ii) a < 1 : en este caso el logaritmo invierte las desigualdades, luego: x 1 + y = 1 + y , luego, haciendo el mismo clculo anterior, la solucin es: 1 1+ 5 x S = ( x, y ) : y = 2 x

Figura 1.5

6. Resolver el sistema mixto:

52

x+ y +x<2 x y + y =2

Tanto la ecuacin como la inecuacin dependen de los signos de la suma y la diferencia de las incgnitas, por lo tanto es necesario dividir el espacio de bsqueda ( que en este caso tiene la representacin geomtrica de un plano) en cuatro partes (ver Figura 1.6):

Figura 1.6 i) Zona I: x + y 0 x y 0 . En este caso la ecuacin es x y + y = 2 , es decir x = 2 . La inecuacin es x + y + x < 2 , por lo tanto y < 2 , que est fuera de la zona I. Por lo tanto aqu no hay soluciones: S1 = . ii) Zona II : x + y 0 x y 0 . En este caso la ecuacin es x + y + y = 2 , lo que nos d los puntos de la recta de 1 ecuacin y = x + 1 . La inecuacin es x + y + x < 2 , lo 2

53

que nos d, reemplazando el valor de y , la condicin: 2 x < . Luego, en esta zona la solucin es: 5 1 2 2 S 2 = ( x, y ) : y = x + 1, x < 2 3 5 iii) Zona III: x + y 0 x y 0 . Aqu la ecuacin nos da la misma recta que en el caso anterior , pero la inecuacin nos da la condicin x > 6 . Luego, la solucin en esta 2 1 zona es S 2 = ( x, y ) : y = x + 1, 6 < x < 3 2 iv) Zona IV : x + y 0 x y 0 . Finalmente en esta zona se puede demostrar que no hay soluciones: S 4 = . Luego, la solucin del problema es: 1 2 S = S1 S 2 S 3 S 4 = ( x, y ) : y = x + 1,6 < x < 2 5 7. Dos obreros, trabajando juntos, siempre logran terminar el trabajo asignado en las 8 horas del da de trabajo. Pero saben que, el ms joven trabajando solo necesita 12 horas menos que el ms viejo. Un da el viejo se enferm: cuntas horas extraordinarias deber pedir, por lo menos, el joven para hacerlo solo? En este tipo de problemas lo que causa dificultad es identificar aquello que se suma si trabajan ambos obreros juntos: llamemos x al nmero de horas que el trabajador ms joven necesita para completar el trabajo solo , y , al nmero de horas que necesita el ms viejo. Sea T el trabajo total a realizar (puede ser cierta cantidad de metros de muralla, cierta cantidad de tierra a remover etc.) La fraccin del trabajo que realiza el ms joven en una hora T T , mientras que ser la fraccin del trabajo que ser entonces y x el viejo realiza en una hora: estas son las cantidades que se deben sumar. Corresponde al rendimiento de cada trabajador, es decir, al trabajo realizado por hora. En una hora ambos trabajadores juntos T T realizarn la fraccin + del trabajo total. Aqu se est x y

54

suponiendo que el proceso es lineal, es decir, la cantidad de trabajo realizado es simplemente proporcional al tiempo empleado (no hay fatiga, cansancio, baja del rendimiento despus de la colacin etc.) Adems se supone que los rendimientos efectivamente se suman, es decir no se consideran efectos de sinergia ni de estorbo mutuo por trabajar juntos. La hiptesis principal del problema es : T T 8( + ) T x y es decir, ambos trabajadores terminan el trabajo en 8 horas. La segunda hiptesis es: x = y 12 . Desde el punto de vista matemtico se trata de un sistema mixto: una ecuacin con una inecuacin. Introduciendo la y despejada de la ecuacin en la T T ) T , que, simplificando por T inecuacin, resulta : 8( + x x + 12 y tomando en cuenta que x es positivo, es equivalente a la inecuacin cuadrtica: x 2 4 x 96 0 , cuya solucin es 8 x 12 . Por lo tanto, el joven necesita menos de 12 horas para hacer el trabajo solo y necesitar, por lo tanto a lo ms, 4 horas extra.

1.15.

PROBLEMAS

1.

Resolver el sistema y representar grficamente el conjunto solucin:

x2 y2 = 0 2x + y = 2 y0

2. Resolver el sistema y representar grficamente el conjunto solucin:

55

( x + y) = 2 ( x + y )3 x = 279936

1 x

2. Resolver el sistema de ecuaciones y analizar segn los parmetros: xa = yb x log x log( ) = y log y

3. Resolver el sistema mixto: log x y log y x = 0 2 x+ y 2

4. Resolver el sistema mixto: log(2 x 1) log( x 2 1) = 0 x2 2 0 5. Resolver el sistema mixto: x + y + z =1 x+ y < z xz < y . 7. 6. Resolver el sistema y discutir sus soluciones segn los valores de los parmetros :

56

x 2 + y 2 = 0
xy > 0

7. Resolver el sistema de inecuaciones: x y + x 1 x + y + y 1

8. Resolver el sistema mixto y discutir segn los valores de los parmetros: log sen x a + log a (sen x) = 2 log a x < 1

9. Resolver el sistema mixto y discutir segn parmetros

x 2 + y 2 = 1
xy > 1

10. Para cargar un barco standard se emplean 4 gras de alto rendimiento (tipo A) y dos de menor rendimiento (tipo B) y el trabajo se realiza sin problemas en 4 horas y media. Un da las dos gras B llegaron 2 horas atrasadas y despus de 5 horas an el barco no estaba cargado. El encargado de puerto quiere saber, con esos datos, cul es el mnimo de tiempo que necesita una gra sola del tipo A para cargar el barco. 11. Un recipiente cnico para cierto cido altamente txico tiene 500[l] de cido y su nivel est justo a la mitad (el vrtice del cono apunta hacia abajo). Se le agregan poco ms de 100 [l] ms y el

57

nivel sube unos 10 [cm] . Cul debe ser la altura mnima del recipiente para que al llenarse no se derrame una gota de cido? 12. Un bus de lnea parte de A a las 5AM. hacia B, situado a 1080 [Km] de distancia. A las 8AM sale un bus de B hacia A y los choferes han acordado reunirse en una hostera situada justo en la mitad del camino. El chofer que sali atrasado le pone, por lo menos, unos 15 km/hora ms de la velocidad usual de los buses. A qu horas, como mnimo, se encontrarn los choferes?

58

CAPTULO 2: FUNCIONES Y RELACIONES


2.1.- DEFINICIN Y EJEMPLOS. El concepto de funcin es, sin duda, uno de los ms importantes y bsicos en la matemtica. Este concepto se propone modelar matemticamente una serie de fenmenos donde una cierta cantidad depende de otra, o, ms general an, donde cierto objeto depende de otro. Histricamente se habl de dos cantidades variables: una que se llam variable independiente y otra, precisamente por depender de la primera, que se llam variable dependiente. Por ejemplo el volumen de una esfera y su radio: el volumen depende del radio. El nmero que representa al volumen sera la variable dependiente y el que representa al radio, la variable independiente. En el lenguaje coloquial tambin se dice que el volumen es funcin del radio . En fsica muchas veces es el tiempo la variable independiente: la posicin de un punto material en movimiento en el espacio, que ya no se puede describir por un solo nmero sino, al menos, por tres, depende del instante en que se observa, o sea, se dice, es funcin del tiempo. Y aqu surge la primera paradoja del lenguaje: que tal si el punto material est en reposo, es decir, no se mueve: entonces nuestra variable dependiente no es variable, no cambia, es constante. Nuestro modelo matemtico tendr que dar cuenta de estas variables que no varan. Al generalizar un poco este tipo de fenmenos, se debe abarcar tambin el de correspondencia: a cada libro de la biblioteca le corresponde su nmero de pginas, a cada individuo le corresponde su edad. En este caso, la variable independiente es el libro de la biblioteca y la variable dependiente es el nmero de pginas, mientras que en el segundo caso la variable independiente es el individuo y la variable dependiente la edad. Aqu se ha hecho corresponder un nmero a un objeto que no es un nmero. El fenmeno puede ser al revs: supongamos que se rotulan los libros de la biblioteca con nmeros naturales: entonces a cada nmero le corresponder un objeto que no es un nmero, sino, a saber, el libro que tiene ese rtulo. Fue Leibnitz en 1673 quien introdujo por primera vez el concepto de funcin en matemticas, como una frmula algebraica que permite asociar a cada nmero x (tomado de cierto conjunto determinado) otro nmero. Pero fue Leonhard Euler quien, un siglo despus, introdujo la notacin que se conserva hasta el da de hoy: y = f (x) . La letra y

59

denota la variable dependiente, mientras que la x denota la variable independiente. El problema con esta concepcin de funcin es que no permite generalizaciones importantes, asociaciones que no se obtienen mediante frmulas algebraicas. Michael Spivak d un ejemplo divertido: propone la funcin que a cada nmero real x se asocia como f(x) el nmero de sietes que posee el desarrollo decimal de x, si ste es finito, y el nmero si es infinito. Que se sepa, no hay frmula algebraica que permita calcular f(x) para, digamos, x = 2 . Para dar una definicin precisa y general de este concepto, observamos que lo importante es tener bien definida la pareja ( x, f ( x)) , de modo de poder distinguir cul es la variable independiente (el elemento que est al lado izquierdo) y cul la variable dependiente (el elemento que est al lado derecho), y que la variable dependiente est unvocamente determinada por la variable independiente. Vamos, pues a definir formalmente una funcin del siguiente modo:

Definicin: Una funcin f es un conjunto de pares ordenados que satisface la propiedad: ( x, y ), ( x, y ' ) f y = y '

Se llama dominio de la funcin f al conjunto: dom( f ) = {x : y, ( x, y ) f } Se llama recorrido de la funcin f al conjunto: rec( f ) = {y : x, ( x, y ) f } La notacin f : A B significa que A es el dominio de f pero B solamente contiene al recorrido. El conjunto B recibe el nombre de codominio de f . El elemento f(x) se llama imgen de x y a su vez x se llama la pre-imgen del elemento f(x). La grfica de la funcin f es el conjunto de puntos en un plano (afn) cuyas coordenadas son precisamente los pares ( x, f ( x)) Pensamos que no es conveniente definir una funcin partiendo de un dominio dado . De hecho, una buena parte de los problemas que aparecen acerca de este concepto requieren precisamente encontrar el dominio de la funcin . Por otro lado tampoco conviene identificar la grfica de la funcin con el conjunto de los pares ( x, f ( x)) , es decir,

60

con la funcin misma. La grfica de la funcin es un concepto geomtrico que debe ser considerada en otro espacio.

* El concepto mismo de par ordenado debe ser definido de modo que


no dependa de nuestra intuicin espacial. Eso de distinguir entre un elemento a la izquierda de uno a la derecha no es totalmente satisfactorio en matemticas. Lo importante es poder establecer la asimetra que est involucrada en el concepto. La definicin de par ordenado debe satisfacer la siguiente propiedad: (a, b ) = (c, d ) a = c b = d Se define entonces: (a, b ) = {{a}, {a, b}} No es difcil demostrar que, con esta definicin, la propiedad se cumple, si bien no es propiamente trivial: es necesario distinguir dos casos: a = b y a b y razonar en consecuencia.

Ejemplos
1. f : , definida por f ( x) = x . Esta funcin se llama funcin identidad y se denota, a veces, por I . Sin embargo, la notacin popular es simplemente la funcin x . 2. f : , definida por f ( x) = c . Se trata de la funcin constante de valor fijo c. Aqu tambin se suele hacer la confusin entre el nmero c y la funcin constante de valor c 3. f : , definida por f ( x) = a k x k es la funcin polinmica
k =0 n

definida en base a las dos operaciones bsicas de . Esta funcin generaliza las dos anteriores. En la Figura 2.1 se han graficado las funciones y = x 2 y y = x 3 .

61

-2

-1

1 x

-2

-4

Figura 2.1 4. f : , definida por f ( x ) = x . La grfica de esta funcin se presenta en la Figura 2.2

Figura 2.2

1 . Esta funcin tiene por dominio {0}. Su grfica se x presenta en la Figura 2.3.
5. f ( x) =

62

2.5

0 -5 -2.5 0 2.5 x 5

-2.5

-5

Figura 2.3 6. Las funciones trigonomtricas: f ( x) = sen( x); f ( x) = cos( x) . Estas funciones tienen un origen geomtrico pero deben ser fundamentadas como funciones reales. Esto se har ms adelante. Sus grficas se presentan en la Figura 2.4
y 1

0.5

0 -5 -2.5 0 2.5 x 5

-0.5

-1

Figura 2.4

63

7. La funcin de Dirichlet:

1, x Q D( x) = c 0, x Q Esta funcin es difcil de graficar pues, como veremos, tanto los nmeros racionales como los irracionales se encuentran densamente distribudos en la recta real.

0, x < 0 8. La funcin de Heaviside: H ( x) = 1, x 0 Esta funcin est definida en toda la recta real, es constante a pedazos y tendr cierta utilidad cuando veamos las operaciones con funciones. Su grfica se presenta en la Figura 2.5

Figura 2.5 9. La funcin parte entera: [x ] = mayor entero menor o igual a x

Figura 2.6

64

10. La funcin exponencial en base 2: f ( x) = 2 x y en base

1 : 2

1 f ( x) = . Ver Figura 2.7 2


y 8

0 -2.5 -1.25 0 1.25 2.5 x

Figura 2.7 11. La funcin logaritmo: en base e (mayor que 1) y en base 0.5 (menor que 1).
y 4

0 0 1 2 3 x -2 4

-4

Figura 2.8

65

c 0, x Q 12. La funcin de Spivak: , 0 x 1 Sp ( x) = 1, x = 0 p 1 q , x = q donde p y q son primos relativos, es decir, no tienen factores comunes. Esta funcin ser muy interesante por sus aplicaciones, pero no es fcil de dibujar. En la Figura 2.9 se ha esbozado su grfica.

Figura 2.9

2.2 OPERACIONES CON FUNCIONES


Las operaciones algebraicas entre nmeros reales pueden ser traspasadas a las funciones : ( f + g )( x) = f ( x) + g ( x) , esta igualdad define la suma de las funciones f y g ( fg )( x) = f ( x) g ( x) , define el producto de las funciones f y g La resta y la divisin de funciones se define del mismo modo: ( f g )( x) = f ( x) g ( x) f f ( x) ( x) = g g ( x)

66

Pero entre las funciones aparece una operacin nueva , especfica de las funciones : la composicin de dos funciones: ( f g )( x) = f ( g ( x)) Notar que la variable independiente x es asociada primero al elemento g (x) y ste a su vez a f ( g ( x)) . La Figura 2.10 muestra un esquema de la composicin de dos funciones:

Figura 2.10 Es necesario tener cuidado con los dominios de las funciones resultantes de estas operaciones: en general los dominios se restringen: dom( f g ) = dom( f ) dom( g ) f dom( ) = dom( f ) dom( g ) {x : g ( x) = 0} g dom( f g ) = {x dom( g ) : g ( x) dom( f )}
Ejemplos

1.Consideremos la funcin definida por f ( x) = x 2 y la funcin constante g ( x) = 1 . La funcin suma es : ( f + g )( x) = x 2 + 1 , mientras que la funcin producto deja la funcin f inalterada: ( fg )( x) = x 2 . La composicin de ambas funciones resulta ser la misma funcin g : ( f g )( x) = ( g f )( x) = 1 . 2. La composicin, en general, no es una operacin conmutativa, a pesar del resultado del ejemplo anterior. Tomemos ahora las funciones: f ( x) = 3 x 2 + 1, g ( x) = 2 x 3 . Haciendo el clculo

67

correspondiente, resulta: ( f g )( x) = 12 x 2 36 x + 28 , mientras que ( g f )( x) = 6 x 2 1 . 3. Resulta divertido hacer todas las operaciones con las funciones caracterizadas por las siguientes grficas:

Figura 2.11 Se trata de dibujar las grficas de f + g , fg , dejamos para entretencin del lector.

f ,f g

g, g

.Lo

2.3.- PROBLEMAS DE DOMINIO-RECORRIDO-GRFICA


1. Sea f ( x) =

1 . Se trata de encontrar el dominio, el recorrido y x 1 dibujar aproximadamente su grfica:

dom( f ) = { } . Este resultado es muy simple: x 1 debe ser para 1 que el denominador no se anule rec( f ) = {0}. Este resultado es, conceptualmente, mucho ms difcil: se trata del siguiente problema : para qu valores de y tiene alguna solucin (que est en el dominio de la funcin) la ecuacin 1 f ( x) = = y ? La variable y tiene aqu el significado de un x 1 parmetro. Ntese que no se trata simplemente de resolver la ecuacin anterior, sino de analizar la existencia de alguna solucin, dado el nmero y, y que esta solucin est en el dominio de la funcin.. En el caso del ejemplo, multiplicando por x-1 a ambos lados de la ecuacin,

68

se v que se podr despejar x si y solo si y 0 :

1+ y y este y nmero es evidentemente distinto de 1. Por lo tanto el recorrido de la funcin ser el conjunto de los reales no nulos.

x=

La grfica de la funcin se muestra en la Figura 2.12

y 2 .5

1 .25

0 -2 0 2 4 x 6

-1 .2 5

Figure 2.12 2. Encontrar dominio, recorrido y grfica de : f ( x) = 1 + x


El dominio es sencillo de encontrar: el nmero dentro de la raz debe ser positiva o nula, luego : dom( f ) = [ 1, [ Para encontrar el recorrido debemos estudiar la ecuacin: 1 + x = y . La primera condicin para y es que sea positivo o nulo, pues debe ser igual a una raz cuadrada. La segunda condicin se obtiene elevando al cuadrado: x = y 2 1 . Pero esta solucin debe estar en el dominio de la funcin, luego debe cumplirse: y 2 1 1 , lo que efectivamente se cumple. Luego, rec( f ) = [0, ] La grfica se presenta en la Figura 2.13

69

1.5

0.5

0 0 1.25 2.5 3.75 x 5

Figura 2.13 3.Sea f : [2,3] , definida por la frmula: f ( x) = x 1 . En este caso el dominio est dado, pero es conveniente convencerse que es viable, es decir, que la frmula est efectivamente definida en ese dominio. La frmula tiene sentido para todo x 1 , luego, el dominio dado es viable. Aqu el problema es el recorrido: la ecuacin para x :
x 2 1 = y requiere en primer lugar que y 0 . Adems, elevando al cuadrado x = y 2 + 1 , luego, para que la solucin x est en el dominio de la funcin, se necesita: 2 y 2 + 1 3 , es decir 1 y 2 2 y siendo y positivo, 1 y 2 . Luego rec( f ) = 1, 2 . La grfica de esta funcin se presenta en la Figura 2.14

[ ]

1.5

0.5

0 0 1 2 3 x 4

Figura 2.14 4. Encontrar el dominio de : f a ( x ) =


ax 1 1 , donde a .

70

Aqu se trata no de una funcin , sino de una familia infinita de funciones, una por cada valor que tome el parmetro a . Por lo tanto el problema consiste en hacer una clasificacin razonable de los dominios de cada una de las funciones, segn sea el valor del parmetro. En nuestro ejemplo, la funcin estar definida si y solo si se cumple: ax 1 1 0 . Esto no es otra cosa que una inecuacin con parmetro a . Puesto que se est tratando con desigualdades, el signo del parmetro es fundamental. a = 0 . En este caso la condicin se satisface para todo nmero real, luego: dom( f a ) = a > 0 . Para eliminar el valor absoluto, hay que dividir la recta real 1 1 en dos pedazos: A = x : x ; B = x : x < . En la zona A la a a inecuacin es ax + 1 1 0 , es decir: x 0 . En la zona B la 2 inecuacin es ax 1 1 0 , es decir, x . Por lo tanto, para este a 2 caso tenemos: dom( f a ) = ] ,0] , a a < 0 . Dividiendo la recta real en zonas como en el caso anterior, 2 resulta: dom( f a ) = , [0, [ a

5. La compaa Mena arrienda automviles Toyota a $10.500 por da ms $40 por kilmetro recorrido mientras que la compaa Gonzlez arrienda el mismo tipo de automvil por $8.900 por da ms $60 por kilmetro. En cul de las dos compaas conviene arrendar el automvil? Es claro que la decisin va a depender del nmero de kilmetros que proyectamos recorrer cada da. Sea x ese nmero: entonces lo que conviene hacer es determinar dos funciones: la funcin C M (x) que sera el costo diario por arrendar en la compaa Mena y C G (x) que sera el costo diario por arrendar en la compaa Gonzlez. Se tiene: C M ( x) = 10.500 + 40 x , mientras que C G ( x) = 8.900 + 60 x . Conviene, para resolver el problema, dibujar las grficas de estas funciones:

71

Figura 2.15 Directamente de las grficas se obtiene que, si se piensa recorrer no ms de 80Km diarios, conviene arrendar en Gonzlez, mientras que si se espera recorrer ms de 80Km diarios, conviene hacerlo en Mena. 6. Una industria manufacturera produce motonetas y bicicletas, cada una de las cuales debe procesarse en dos centrales de mquinas A y B. La central A tiene un mximo de 120 horas mensuales disponibles y la central B un mximo de 180 horas mensuales disponibles. La manufactura de una bicicleta requiere de 6 horas en la central A y 3 horas en B. La manufactura de una motoneta requiere de 4 horas en la central A y 10 horas en B. Sabiendo que el beneficio por bicicleta es de $45.000 mientras que por motoneta es de $55.000 , cuntas bicicletas y motonetas fabricar para obtener el mximo beneficio mensual? Este es un tpico (pero muy sencillo) problema de programacin lineal. Nuevamente aqu conviene establecer las funciones de ganancia, segn sea la decisin que se tome y hacer las grficas de esas funciones. Sea para esto x el nmero de bicicletas , y el nmero de motonetas mensuales a fabricar. Si llamamos z a la ganancia mensual, se tendr: z = 45.000 x + 55.000 y Pero se deben cumplir las restricciones horarias de ambas centrales: 6 x + 4 y 120 (central A), 3 x + 10 y 180 (central B). Como x e y son nmeros de objetos, deben ser positivos, es decir, debemos aadir las restricciones: x, y 0 . Conviene hacer entonces un grfico donde aparezcan los valores de x e y que satisfacen todas las condiciones. El

72

conjunto de los puntos que satisfacen todas las condiciones se denomina la regin factible. Enseguida se dibujan las grficas de las rectas que representan la ganancia mensual para cada eleccin de x e y. El problema se resuelve encontrando el mximo valor de z cuya recta de ganancias alcanza a tocar la regin factible. Ver Figura 2.16

Figura 2.16 Desplazando paralelamente la recta de ganancia constante (z=cte.) se llega al vrtice que provee la mxima ganancia que satisface las restricciones. El resultado es: x = 10, y = 15 , es decir, se deben fabricar 10 bicicletas y 15 motonetas mensuales. La ganancia que se obtiene es de $1.275.000 mensuales. Es interesante comparar este resultado con el que se obtiene de fabricar solo bicicletas ( y=0, x=20): $900.000; o bien solo motonetas (x=0, y=18) : $990.000.

2.4
1.Sea

PROBLEMAS

f ( x) =

2. Sea

1 , g ( x) = x + 1 . Encuentre los dominios y los x recorridos de las funciones compuestas: f g y g f y haga un esbozo de sus grficas. x 2 ,0 x 1 1,0 x 1 , g ( x) = f ( x) = x 2,1 < x 1,1 < x

73

Grafique f y g indicando dominio y recorrido. Encuentre y grafique tambin: f + g , f g , g f indicando tambin dominio y recorrido. 1 . Indique los dominios de las x +1 funciones f , g , f g , g f y sus respectivos recorridos. 1, x Q 4. Sea f ( x) = x 2 , D(x) la funcin de Dirichlet: D( x) = c 0, x Q Demuestre que f D = D . Encuentre D f . Puede hacer un esbozo razonable de las grficas de estas dos funciones? 3. Sea f ( x) = x + 1, g ( x) =

1 : 1+ x Cul es el dominio de f f ? Para qu nmeros c existe existe un nmero x tal que f (cx) = f ( x) ? Para que nmeros c existen dos nmeros x diferentes que cumplen f (cx) = f ( x) ?
5. Sea f ( x) = 6. Para qu nmeros a,b,c,d la funcin : f ( x) = propiedad f ( f ( x)) = x, x domf ax + d satisface la cx + b

7. Determine si las siguentes afirmaciones son verdaderas o falsas. Justifique su respuesta: Si f y g son funciones tales que dom( f ) dom( g ) , entonces rec( f + g ) = rec( f ) rec( g ) Si rec(h) dom( f + g ) , entonces ( f + g ) h = f h + g h Sea D = dom( g ) dom(h) . Si rec( g + h) dom( f ) , entonces ( f ( g + h))( x) = ( f g )( x) + ( f h)( x), x D Si f y g son funciones decrecientes en , entonces f g es decreciente en Si f es creciente en ] , a ] y es creciente en ]a, [ , entonces f es creciente en .

74

Encontrar el dominio y el recorrido de las funciones definidas por las siguentes frmulas: f ( x) = 1 x 2 f ( x) = 1 1 x 2
f ( x) = 1 x 2 + x 2 1 1 1 f ( x) = + x 1 x 2 8. Un agricultor necesita un fertilizante que proporcione un mnimo de 15 unidades de potasio, 20 unidades de nitrato y 24 unidades de fosfato. Dispone de dos marcas diferentes: la marca 1 proporciona 3 unidades de potasio , 1 de nitrato y 3 de fosfato y cuesta $1200 la unidad. La marca 2 proporciona 1 unidad de potasio, 5 de nitrato y 2 de fosfato y cuesta $600 la unidad. Formule un modelo matemtico que permita obtener la combinacin de fertilizantes de menor costo que satisfaga las especificaciones. 9. Una empresa agrcola dispone de 100 ha. de terreno y 1200 UF de capital para plantar dos variedades de tomate. La variedad 1 requiere una inversin de 10 UF por ha. y deja una ganancia bruta de 90 UF por ha. y la 2 requiere una inversin de 15 UF y deja una ganancia bruta de 122 UF por ha. Cuntas ha. de cada variedad se debe plantar para obtener la mayor renta neta posible? 10. Una editorial planea usar una seccin de su planta para producir dos textos: A y B. La ganancia es de $8 por el texto A y de $5 por el texto B. El texto A requiere 4 horas para imprimir y 6 horas para encuadernar y empastar. El texto B requiere 5 para imprimir y 3 horas para encuadernar y empastar. Si se dispone de 200 horas para imprimir y 210 horas para encuadernar y empastar y si por lo menos se deben producir 20 textos, cuntos textos de cada tipo se deben producir para obtener la mxima ganancia? cuntas horas se usan para imprimir y cuntas para encuadernar y empastar?

75

2.5.-

TIPOS DE FUNCIONES

Es importante clasificar las funciones segn diversos criterios con el objeto de poder resolver problemas que dependen de una propiedad u otra. Para empezar, sea f : A B : f se llama inyectiva , si a elementos diferentes en A le hace corresponder elementos diferentes en B, es decir:

f ( x) = f ( y ) x = y
f se llama epiyectiva (o tambin : sobreyectiva) , si cada elemento de B es imgen de algn elemento de A, es decir, si el co-dominio coincide con el recorrido de la funcin. f se llama biyectiva si es a la vez inyectiva y epiyectiva. Si f es biyectiva, entonces a cada elemento y de B le corresponde un nico elemento x en A tal que y=f(x). Esto define una funcin, llamada funcin inversa de f : f 1 : B A tal que f 1 ( y ) = x . Se tiene entonces que : f ( f 1 ( y )) = y , y que f 1 ( f ( x)) = x , es decir: f f 1 = Id B y que f 1 f = Id A . Es importante no confundir la funcin inversa as definida con el inverso multiplicativo de los valores de la funcin. Por desgracia la notacin empleada, que es una notacin universal y standard, induce a esta confusin.

Ejemplos
1. La funcin f ( x) = x 3 es biyectiva como funcin de en . En efecto, si x 3 = y 3 , entonces , factorizando: x 3 y 3 = ( x y )( x 2 + xy + y 2 ) = 0 pero la funcin x 2 + xy + y 2 nunca se anula ya que el discriminante , considerada como una ecuacin en x con parmetro y , es = 3 y 2 < 0 . Luego: x=y . Por lo tanto f es inyectiva. Por otro lado si y es un nmero real cualquiera, entonces 3 y es una pre-imagen de y . Por lo tanto, esta funcin tiene una funcin inversa. Hay una forma geomtrica

76

prctica para visualizar la inversa de una funcin. En la Figura 2.17 se presentan ambas funciones:
y y 1.5 100

1 50 0.5

0 -5 -2.5 0 2.5 x 5 -5 -2.5

0 0 2.5 x -0.5 5

-50 -1

-100 -1.5

Figura 2.17 a

Figura 2.17 b

La funcin inversa de f ( x) = x 3 (que se presenta en la Figura 2.17a) que es f 1 ( x) = 3 x (que se presenta en la Figura 2.17b) , se puede visualizar intercambiando la x por la y , por lo tanto girando la figura en 90 grados y mirndola por detrs. Esto se puede hacer con un papel donde se dibuja la grfica de f , se gira en 90 grados y se mira por detrs al trasluz. 2. La funcin log b : ]0, [ es tambin biyectiva, segn las propiedades que presentamos ( y que todava no hemos demostrado!) y su inversa es la exponencial de base b. En la figura 2.17 presentamos las grficas de ambas funciones para b=e . Recordar que , si la base es menor que 1, entonces las grficas aparecen decreciendo hacia la derecha.
5
y

1.25

0 0

1.25

2.5

3.75

x 5

3.75

-1.25

2.5

-2.5

1.25

-3.75

0 -5
-5

-3.75

-2.5

-1.25

1.25 x

Figura 2.18a

Figura 2.18b

77

3. La funcin f : definida por f ( x) = x 2 5 , no es ni invectiva ni epiyectiva. En efecto, los nmeros 1 y -1 tienen la misma imagen -4, mientras que el nmero -6 no es imagen de ningn nmero: la ecuacin x 2 5 = 6 , o sea: x 2 = 1 no tiene solucin real. La Figura 2.19 presenta la grfica de esta funcin.
y 20

15

10

0 -5 -2.5 0 2.5 x -5 5

-10

Figura 2.19

4. La funcin f ( x ) =

x2 1 ser inyectiva? En primer lugar el x 2 + 2x 3 dominio de esta funcin ser el conjunto de nmeros reales donde el denominador no se anula. Factorizando segn la frmula de Cardano: x 2 + 2 x 3 = ( x + 3)( x 1) , luego, 1 y -3 estn fuera del dominio de la funcin. Pero el numerador tambin tiene un factor x +1 . Aqu es x 1 , por lo tanto para x 1 la funcin se reduce a x+3 importante enfatizar que la funcin original f no es igual a esta nueva funcin, porque tienen distintos dominios: mientras la original no est definida en 1, la nueva si lo est. Pero para todos los nmeros diferentes de 1, ambas coinciden. Para ver si es x +1 y +1 inyectiva, supongamos que . Entonces, = x+3 y+3 multiplicando por los denominadores: xy + 3 x + y + 3 = xy + x + 3 y + 3 , de donde 2 x = 2 y , luego x = y es decir, la funcin es inyectiva.

78

Esta funcin ser epiyectiva si definimos su co-dominio como su x +1 recorrido: y rec( f ) si acaso la ecuacin: = y tiene x+3 solucin para x . Multiplicando por el denominador, se tiene x + 1 = xy + 3 y , es decir, x(1 y ) = 3 y 1 , luego, si acaso y 1 la 3y 1 . Pero la funcin f no est definida x se puede despejar : x = 1 y en 1, luego el valor tampoco puede estar en su recorrido. Por lo 1 tanto, la funcin f : { ,3} 1, definida por la 1 2 frmula anterior , es biyectiva. La Figura 2.20 muestra la grfica de la funcin y su inversa.
5 y y 2.5

2.5

-5

-2.5

2.5

x 5

0 -2.5 -7.5 -5 -2.5 0 2.5 x

-2.5

-5

-7.5 -5

Figura 2.20a

Figura 2.20b

5. Resolver la ecuacin : x a + bx = 1 . Podr parecer extrao incluir aqu una ecuacin, ms an, una ecuacin de aspecto tan simple. Veremos que no es tan simple y que para su anlisis nos ser de enorme ayuda la representacin grfica de las funciones que van a aparecer. Para empezar, no se trata de una ecuacin, sino de infinitas ecuaciones, una familia bi-paramtrica de ecuaciones , una por cada valor de los dos parmetros involucrados. Lo que se pretende es hacer una clasificacin completa de las soluciones posibles, segn sean los valores de los parmetros: como tenemos dos parmetros reales, el espacio de parmetros se puede representar por los puntos de un plano. Se

79

busca, entonces, una particin del plano, en regiones que producen similares tipos de soluciones. i) Busquemos soluciones en x a : aqu la ecuacin es: x(b 1) = 1 a , luego, si b = 1 no hay soluciones, a menos que a = 1 , en cuyo caso hay infinitas: S1 = ] ,1] . Si 1 a que debe ser b 1 , tendramos una solucin x1 = b 1 menor o igual que a . Debemos distinguir aqu dos casos: b > 1 , donde la condicin es: ab 1 . Esta condicin se cumple 1 1 para b , si a > 0 y para b , si a < 0 . Pero esta ltima a a alternativa es imposible, pues b es mayor que 1 y por lo tanto positivo. b < 1 , donde la condicin es ab 1 . Esta condicin se cumple 1 1 para b , si a > 0 y para b , si a < 0 . La Figura 2.21 a a muestra la zona en el espacio de parmetros donde existe la solucin dada por la frmula x1 .

Figura 2.21 ii) Busquemos ahora soluciones en x > a . La ecuacin es, en este caso x(1 + b) = 1 + a . Luego, si b = 1 no hay soluciones, a menos que a = 1 , en cuyo caso hay infinitas : S 2 = [ 1, [ . Si acaso b 1 1+ a tendramos la solucin x 2 = que debe ser mayor que a . Esta 1+ b condicin se cumple, si , b < 1 para ab > 1 y si b > 1 , para ab < 1 . 1 Luego, si a > 0 , la primera condicin es b > que no se cumple pues a

80

1 . La segunda a 1 condicin, es decir, con b > 1 significa , para a < 0 que b > , y a 1 para a > 0 , que sea b < . Por lo tanto, la solucin x 2 existe en la a zona sombreada del espacio de parmetros (Figura 2.22)

b es negativo. Si a < 0 , la primera condicin es b <

Figura 2.22 Superponiendo las dos figuras obtenemos un esquema completo del comportamiento de la ecuacin: tenemos zonas con una nica solucin, una zona con dos soluciones, dos franjas donde no hay soluciones y dos puntos destacados donde hay infinitas soluciones.

Figura 2.23

81

2.6.- OTROS TIPOS DE FUNCIONES

Segn sea su crecimiento se define: f se llama funcin creciente, si : x y f ( x) f ( y ) f se llama funcin decreciente, si : x y f ( x) f ( y ) f se llama montona si es creciente o decreciente. f se llama creciente estricta, si x < y f ( x) < f ( y ) f se llama decreciente estricta, si x < y f ( x) > f ( y ) f se llama montona estricta si es creciente o decreciente estricta. Estas definiciones son muy intuitivas, de modo que no abundaremos con ejemplos. La distincin entre estricta y no estricta es importante, por ejemplo la funcin logaritmo en base natural es estrictamente creciente, mientras que la funcin parte-entera es creciente no-estricta. Otros criterios de clasificacin definen: f se llama funcin par, si f ( x) = f ( x)x . Un tpico ejemplo de funcin par es f ( x) = x n , donde n es par. De este ejemplo ha salido, sin duda, la denominacin de par. Otro ejemplo importante es la funcin coseno. f se llama funcin impar, si f ( x) = f ( x), x . El ejemplo es en este caso f ( x) = x n , con n impar. Otro ejemplo es la funcin seno. f se llama funcin peridica, si existe un nmero no nulo p tal que f ( x + p ) = f ( x), x . El menor nmero p que satisface esta propiedad, se llama el perodo de la funcin. Es importante tener claro esta nocin de perodo de una funcin. Por ejemplo la funcin seno satisface sen( x + 4 ) = sen( x), x , pero 4 no es el perodo del seno, sino que lo es 2 .

Finalmente vamos a introducir dos importantes conceptos, uno el correlativo del otro:

Sea f : A B una funcin cualquiera, R A, S B . Una funcin g : R S se llama restriccin de f, si acaso se

82

cumple: g ( x) = f ( x) S , x R . Bajo la misma propiedad la funcin f se llama una extensin de la funcin g. Si recordamos nuestra definicin de funcin como conjunto de pares ordenados, la relacin de restriccin-extensin no es ms que la relacin de subconjunto: si g f , la funcin g es una restriccin de f, mientras que f es una extensin de g. Si se restringe solamente el dominio de la funcin, se usa la notacin f R . No hay notacin especial para una restriccin del co-dominio. Finalmente debe notarse que toda funcin inyectiva posee una restriccin (del co-dominio) que es biyectiva. Basta excluir los elementos del co-dominio que sobran, es decir, que no estn en el recorrido de la funcin.

2.7.1.

PROBLEMAS
Analizar la funcin: f ( x) = x 1 + 2 . es creciente estricta? es epiyectiva con como co-dominio? Defina restricciones interesantes de esta funcin que sean funciones biyectivas y encuentre sus inversas. Defina restriciones interesantes de la funcin g ( x) =

2.

x x +5 que sean funciones biyectivas y encuentre sus inversas


2

3. Sea f ( x) = x 1 , g ( x) = x + 5 . Encontrar una funcin h tal que h f = g . En qu dominio existe esta funcin? 4. Investigar si las siguientes funciones son inyectivas y en caso de no serlo, definir restricciones interesantes que lo sean:

f ( x) =

3 x 1 g ( x) = x 2 1

h( x) = x + 2

83

6. Investigar si las siguientes funciones son epiyectivas sobre y en caso de no serlo, definir restricciones interesantes que lo sean: x2 f ( x) = 3 x x g ( x) = 2 x 1 h( x) = 1 x 7. Sea f : [ 1,3[ , definida por f ( x) = 2 x +1 4 . Determine dominio, recorrido y restricciones que sean funciones biyectivas y encuentre sus inversas. 8. Demostrar que :

f par y g par fg es par f par y g impar fg es impar f impar y g impar fg es par

9. Sea f una funcin cualquiera. Encuentre funciones f p , f i tales que f p sea par, f i sea impar y que f = f p + f i Discuta adems la existencia y unicidad de estas funciones . Indicacin: plantee el sistema de ecuaciones

f ( x) = f p ( x) + f i ( x) f ( x) = f p ( x) f i ( x)

y despeje f p y f i (nota: la funcin f p se llama parte par de f y f i se llama parte imparde f . 10. Determine si las siguientes funciones son pares o impares y descomponga en parte par e impar:

x2 x +1 g ( x) = x + x f ( x) =

84

x, x < 1 h( x) = 2 x + 1, x 1 2 x 1, x 1

11. Encuentre los mximos dominios y recorridos para que las siguientes frmulas definan funciones biyectivas y encuentre las respectivas inversas: x +1 f ( x) = x +1 2 g ( x) = x 3x + 1 h( x) =

x 1 ( x 1) 2 ( x + 2)( x + 3) x( x 1)( x + 2)

j ( x) =

12. Demostrar o negar (dando un contraejemplo): f ( g + h) = f g + f h ( g + h) f = g f + h f 1 1 = g f g f 1 1 = f f g g


Agregue Ud. las hiptesis necesarias para obtener 4 hermosos Teoremas, los ms finos posibles. 13. Sea f ( x) = log x a . Para qu valores del parmetro a es esta funcin estrictamente creciente? Cundo es decreciente?. Determine dominio y recorrido en los distintos casos. 14. Resolver la ecuacin
b x a + x = 0,

clasificando

las

soluciones segn sean los valores de los parmetros. 15. Resolver y analizar la ecuacin bi-paramtrica x a + bx 1 = 1

85

2.8.-

RELACIONES

Definicin : Una relacin es un conjunto de pares ordenados

Si A y B son conjuntos cualquiera, se entiende usualmente por relacin entre los elementos de A y de B, un subconjunto R del producto cartesiano: R A B . Se dice que x A est relacionado con y B , en smbolos : xRy , si acaso ( x, y ) R . Debe notarse que el concepto de relacin es una generalizacin del concepto de funcin, ya que se trata simplemente de un conjunto de pares ordenados sin la hiptesis adicional, que caracteriza a las funciones, de que el segundo elemento est determinado por el primero. Del mismo modo que en el caso de las funciones se definen los conceptos de dominio, recorrido y grfica: dom( R) = {x A : y B, ( x, y ) R} rec ( R ) = {y B : x A, ( x, y ) R} gra f ( R ) = {P ( x, y ) : ( x, y ) R} Es claro que el concepto de grfica requiere que la relacin sea entre nmeros reales, donde son las coordenadas de los puntos que estn en la relacin los que forman la grfica. Finalmente, tambin en este caso se habla de restricciones y extensiones: T ser restriccin de la relacin R, si acaso T R , y correlativamente, R ser una extensin de la relacin T .

Ejemplos
1. O , definida por O = {( x, y ) : x < y}. Esta relacin entre de esta relacin como la regin del plano nmeros reales corresponde a la relacin de orden en . Podemos representar la grfica indicada por la Figura 2.21.

86

Figura 2.24 2. C = ( x, y ) : x 2 + y 2 = 1 esta relacin representa las coordenadas de los puntos que estn sobre una circunferencia de centro 0 y radio 1 3. Una relacin R se llama relacin de equivalencia si cumple los tres axiomas siguientes: xRx (reflexividad); xRy yRx (simetra); xRy yRz xRz (transitividad). Cmo ser la grfica de una relacin de equivalencia entre nmeros reales? Desde luego debe contener la diagonal y ser simtrica. Pero eso no basta: la transitividad no es tan fcil de caracterizar geomtricamente. En las siguentes figuras se presentan dos grficas: una es de una relacin de equivalencia (la de la izquierda) y la otra no (la de la derecha:

87

4.

4.

Podemos considerar una restriccin de la relacin anterior: D = ( x, y ) : x 2 + y 2 = 1 y 0 Esta relacin representa la mitad superior de la circunferencia anterior. Y una extensin de esta relacin sera E = ( x, y ) : x 2 + y 2 1 y 0 . La Figura 2.22 muestra esta extensin.

Figura 2.25 La relacin R = ( x, y ) : xy 2 = x + 1 no es una funcin. En efecto, el elemento x = 1 tiene dos segundas componentes diferentes que estn en la relacin: y = 2 e y = 2 . Cul es el dominio de esta relacin? Para empezar, si x = 0 , entonces claramente no hay ningn y tal que (0, y ) R . Para x 0 , la x +1 . Para pareja ( x, y ) R si acaso xy 2 = x + 1 , es decir, si y 2 = x x +1 que exista la y, se necesita que 0 . Esto ocurre si acaso x x > 0 , o bien si x < 0 pero x + 1 0 , es decir, si acaso x 1 . Luego, el dominio de esta relacin es: dom(R ) = ] ,1] ]0, [ Por su parte el recorrido de la relacin es el conjunto de los y tales que la ecuacin xy 2 = x + 1 tiene solucin, es decir, si x( y 2 1) = 1 tiene

5.

solucin. Esto ocurre si acaso y 2 1 , es decir, si y no es 1 no 1. Luego, el recorrido de la relacin es: rec( R ) = { ,1} 1

88

No es tan fcil obtener una grfica aproximada de esta relacin. Ms adelante estudiaremos mtodos que lo permiten hacer. Por el momento presentaremos la grfica realizada por el software Scientific Work

y 2.5

1.25

0 -2.5 -1.25 0 1.25 2.5 x

-1.25

-2.5

Figura 2.26

2.9. -

PROBLEMAS

1. Considere la siguiente relacin: R = ( x, y ) 2 : x = y + 1 y { 3,1,2} Determine dominio, recorrido y grfica .

2. Determine la relacin que define a las coordenadas de una recta (en un plano afn) que pasa por los puntos de coordenadas (-8,3) y (4,0) 3. Identifique y grafique la relacin: T = ( x, y ) 2 : y 2 4 y 8 x 20 = 0

4. Determine el valor del parmetro k de modo que el punto de coordenadas(-1,2) pertenezca a la relacin:

89

S = ( x, y ) 2 : kx + 2 y 7 = 0

5. Determinar dominios y recorridos de las siguientes relaciones reales: x 2 ,0 x 1 ( x, y ) : y = 2 x,1 < x < 2 2, x = 2

{( x, y) : xy = 1 0 < x < 2} {( x, y ) : y = x 2 1 < x < 3}

{( x, y) : x {( x, y) : x

2 2

+ y2 = 4 + y 2 = 4 y 2}
y = 1}

{( x, y ) : x +

6. Encuentre restricciones interesantes de las relaciones dadas en el problema 5 que sean: Funciones Funciones inyectivas Funciones biyectivas. En este caso encuentre tambin las inversas. 7. Grafique las siguientes relaciones K 2 : ( x, y ) K 1 y 1 ( x, y ) K x y 1 ( x, y ) K x = y x 2 = y

8. Defina relaciones reales que tengan los siguientes grficos:

90

9. Sea L = {( x, y ) A ] 2,5[ : y = x 2 + x 3 1} . Encuentre el mayor conjunto A tal que la relacin L sea una funcin

10. Dada la relacin real T = ( x, y ) : y + 2 x 5 = 3 , estudie las restricciones que sean funciones biyectivas y encuentre sus inversas. 11. Sea R la relacin R = ( x, y ) : y 2 2 log x p = 1 . Encuentre los valores del parmetro p para los cuales el par (2,0) pertenece a la relacin. Encuentre adems el dominio y el recorrido de la relacin. Determine restricciones interesantes que sean funciones.

91

CAPTULO 3 :
3.1.- DEFINICIN Y EJEMPLOS

SUCESIONES

Se dice que los babilonios tenan una manera de aproximar el valor de la raz cuadrada de un nmero mediante operaciones de suma y divisin. Repitamos el procedimiento de los babilonios para ver si acaso es cierto que nos podemos aproximar, digamos, a 2 . El procedimiento consiste en comenzar con un nmero mas o menos arbitrario pero no tan alejado, por ejemplo con x0 = 1 . A partir de este valor inicial, construimos el siguiente: 2 x0 + x0 1 + 2 3 x1 = = = = 1,5 y, aplicando la misma frmula, 2 2 2 construmos el siguiente: 2 2 x1 + 1,5 + x1 1,5 = = 1,4166... y el siguiente: x2 = 2 2 2 2 x2 + 1,4166 + x2 1,4166 = = 1,414215..... x3 = 2 2 En general, el nmero siguiente se obtiene del anterior mediante la frmula: 2 xn + xn x n +1 = 2 Es curioso constatar que, efectivamente nos acercamos a 2 y de modo extremadamente rpido: ya en la tercera iteracin tenemos 5 decimales exactos.... al menos a juzgar por lo que nos entrega nuestra calculadora de bolsillo, (la cual hace los clculos de otra manera , adems de garantizar 8 o 9 cifras decimales exactas...pero esto es otro problema, que abordaremos ms adelante). Este proceso de aproximacin lo podemos visualizar geomtricamente del siguiente modo:

92

Figura 3.1 Esta figura es conocida como el grfico de la telaraa, porque, para otros modelos, como veremos, las lneas se entrecruzan formando una verdadera telaraa. En nuestro caso, se ha graficado la funcin que define 2 x+ x . La recta diagonal que atraviesa el el nmero sucesor : f ( x) = 2 dibujo es precisamente la grfica de la identidad g ( x) = x . Si se parte de un valor inicial x 0 , su sucesor estar sobre la curva: x1 = f ( x 0 ) . Si se refleja este punto sobre la diagonal, tendremos el sucesor sobre el eje OX, el cual tendr su sucesor nuevamente sobre la curva y as sucesivamente. Alternando el paso de la diagonal a la curva con el de la curva a la diagonal, obtenemos grficamente toda la secuencia de nmeros que deseamos. Del grfico se observa que la secuencia de nmeros as construidos se acerca a la interseccin de la funcin con la diagonal. Para calcular el valor de este punto tenemos que resolver la ecuacin: 2 x+ x = x , lo que es equivalente a x 2 = 2 . Por lo f ( x) = x , es decir, 2 tanto la abscisa del punto de interseccin es precisamente 2 .

Aqu deben destacarse tres cosas:

93

Todos los nmeros de la secuencia construda son racionales, si se comienza con un x0 racional, como en nuestro caso. El punto de acercamiento no es racional. Los elementos de la secuencia aparentemente se acercan cada vez ms y de modo efectivo al punto de interseccin.

Por otro lado, esta experiencia nos muestra un camino para calcular, de modo aproximado, soluciones a los ms diversos problemas. Mas all de la manera especfica como se ha elaborado la secuencia de nmeros , lo que tenemos es, en realidad, un nmero real asociado a cada ndice n N , o al menos a cada ndice a partir de un cierto ndice inicial. Estas consideraciones nos llevan a la siguiente definicin:

Definicin. Sea N p = {n N : n p} = {p, p + 1, p + 2, p + 3,......} una cola de los


nmeros naturales, empezando por p. Llamaremos sucesin ( o tambin secuencia) de nmeros reales a una funcin f : Np

Para designar una sucesin se utilizan diversas notaciones, unas mejores que otras: para empezar se denota f (n) = x n , y la sucesin entera, es decir, la funcin de dominio natural: f = ( x n )n p , o bien: {x n }n p o bien la sucesin desglosada: x p , x p +1 , x p + 2 ... , cuando es claro el nmero que viene a continuacin. La notacin, muy usada por lo dems: {x n }n p no es muy buena, pues puede confundir la sucesin (que es una funcin) con el conjunto de nmeros , que no es otra cosa que el recorrido de dicha funcin. Con frecuencia se usan otras letras, por ejemplo: f (n) = a n .

Ejemplos

1. a n =

1 . Esta sucesin est definida desde n = 1 y puede ser n graficada, como cualquier funcin, con un sistema de coordenadas en el plano:

94

Figura 3.2 O bien, indicando la ubicacin de los puntos en la recta real:

Figura 3.3 Observar que, en este ejemplo, los valores de la sucesin se van acercando a 0 , a medida que n crece. 2. a n =

(1) n , n 1 . Esta sucesin, similar a la anterior, est definida n explcitamente para cada n a partir de 1. A diferencia del ejemplo anterior, esta sucesin va oscilando alrededor del cero:

Figura 3.4

95

Figura 3.5 Sin embargo, tambin en este caso, los valores de la sucesin se van acercando al cero a medida que n va creciendo. 3. Sea a 0 = 2 , y a n +1 = 2a n . Se trata de una sucesin definida por
recurrencia, tal como lo hicimos en el ejemplo inicial. Los primeros trminos de la sucesin son: 2 , 2 2 , 2 2 2 , ....... Para observar el comportamiento de esta sucesin, podemos hacer el grfico de la telaraa:

Figura 3.6 En este ejemplo tambin observamos que los valores de la sucesin se van acercando a la interseccin de la grfica de la funcin f ( x) = 2 x con la diagonal, es decir, a la solucin no nula de la ecuacin: es decir, a 2. 2x = x ,

4. Finalmente vamos a considerar la sucesin dada por recurrencia:

96

an ))a n , donde 0 < r 3, K > 0 . Esta sucesin K tiene un significado biolgico como modelo de la dinmica de una poblacin y se conoce en la literatura como modelo logstico discreto. Esta sucesin tiene un comportamiento muy desordenado (catico) si el parmetro r es cercano a 3. El grfico de la telaraa que presentamos a continuacin , para el valor del parmetro r = 2.9 , justifica su nombre.

a 0 [0, K ], a n +1 = (1 + r (1

Figura 3.7

Llegado a este punto observamos la necesidad de abordar dos problemas tericos fundamentales: Qu significa exactamente que una sucesin se acerque efectivamente a un nmero real? Cmo asegurar la existencia de un nmero real , por ejemplo 2 en el ejemplo inicial, al cual se acerca la sucesin? En este segundo punto se hace patente la insuficiencia del modelo matemtico construdo con los 15 primeros axiomas de los nmeros reales. Ntese que el conjunto de los nmeros racionales cumple con estos 15 axiomas, es decir, constituye un cuerpo ordenado conmutativo y sin embargo, la sucesin de los babilonios se acerca a un punto inexistente entre los racionales. El axioma 16, llamado del Supremo, se hace ya indispensable.

97

3.2 .-

EL AXIOMA DEL SUPREMO

Un subconjunto A de se llama acotado superiormente, si acaso existe algn nmero real c tal que x c, x A . Un nmero que cumple esta propiedad se llama cota superior del conjunto A. Es claro que, si c es una cota superior, entonces todo nmero mayor que c ser tambin una cota superior de A.
Definicin . Se llama supremo de A a la mnima cota superior de A. Si existe un tal supremo, se denota : sup(A)

Es claro que no todo conjunto de nmeros reales tiene supremo: si un conjunto no es acotado, es decir, si no tiene ninguna cota superior , no puede tener una cota superior mnima. El axioma del supremo expresa precisamente la suficiencia de esta condicin:
Axioma del Supremo: Todo conjunto no vaco y acotado superiormente de nmeros reales posee supremo.

Este axioma tiene consecuencias inmediatas que son fundamentales:


N , el conjunto de los nmeros naturales no es acotado superiormente. En efecto, supongamos que lo fuese: por el axioma del supremo, habra un nmero real = sup(N ) , luego n + 1, n N , por lo tanto 1 n, n N , es decir, 1 es una cota superior de N estrictamente menor que el supremo, lo que contradice la definicin de supremo.
satisface la llamada propiedad arquimedeana : si x > 0 , y un nmero real cualquiera, entonces hay un natural n tal que : x + x + x + .... + x = nx > y , es decir, sumando un nmero real positivo, por mas pequeo que sea, la suficiente cantidad de veces consigo mismo se puede superar cualquier otro nmero real, por grande que este sea. En efecto, por el punto anterior, hay un y natural n tal que n > , de donde multiplicando por x que es x positivo, se obtiene la relacin deseada.

98

N es un conjunto bien-ordenado, es decir cumple la siguiente propiedad: todo subconjunto no vaco de N tiene un primer elemento. En efecto, sea A un subconjunto no vaco de nmeros naturales. Consideremos el conjunto B = { n : n A}. Este conjunto no es vaco y est acotado por 0. Luego posee un supremo: k = sup( B ) . Afirmamos que m = k es el primer elemento de A. Para esto debemos demostrar dos cosas: que m es menor o igual que todos los elementos de A y que m pertenece a A. La primera se sigue directamente del hecho de que k n, n A , por ser supremo, luego efectivamente m = k n, n A . Supongamos ahora que m A . Esto significa que k = m B . Pero, por definicin de supremo, k 1 no puede ser cota superior de B, luego debe existir un elemento b B tal que k 1 < b < k lo cual no es posible pues B es un conjunto de nmeros enteros.

De aqu se puede demostrar el llamado principio de induccin finita.: Sea P una propiedad definida para los nmeros naturales. Si P( n0 ) es verdadera y si P(n) P(n + 1) , entonces P es verdadera para todo n n0 . En efecto, supongamos que no : esto significa que hay algn n n0 para el cual P no es verdadera, es decir, el conjunto de naturales para los cuales no es verdadera no es vaco: luego, este conjunto tiene un menor elemento : n1 , es decir, P es verdadera para n1 1 , luego, por hiptesis de induccin, P es verdadera para (n1 1) + 1 = n1 lo que es una contradiccin.

Entre dos nmeros reales diferentes cualquiera siempre hay un nmero racional. Veamos primero el caso especial en que los nmeros son positivos: 0 x < y . Como y x > 0 , por la propiedad arquimedeana, hay un natural n tal que n( y x) > 1 , es 1 1 decir, < y x , y por lo tanto x + < y . Sea ahora el conjunto n n 1 k N : k > x que no es vaco. Luego este conjunto tiene un n

99

1 x , y por lo n m 1 m tanto x < x + < y . Es decir el racional satisface la n n n propiedad buscada. Sean ahora x < y reales cualesquiera. Basta trasladarlos con un natural M para tener el caso positivo: 0 x + M < y + M . Por lo anterior, hay un racional r tal que x + M < r < y + M , por lo tanto: x < r M < y . Pero r M es tambin un nmero racional. menor elemento: llammoslo m. Luego (m 1)

Entre dos nmeros reales diferentes siempre hay un nmero irracional. Para demostrar esto necesitamos saber la existencia de al menos un nmero irracional. Vamos a demostrar un poco ms adelante que efectivamente existe 2 , es decir, que hay un nmero real cuyo cuadrado es 2. Como sabemos, un tal nmero no es racional, por lo tanto es irracional. Supongamos entonces, por el momento, que existe este nmero irracional 2 . Demostremos primero que entre dos nmeros racionales diferentes hay un irracional: sea entonces r < s , ambos racionales. El nmero sr 2( ) es un nmero irracional estrictamente positivo (Si 2 2 para tener que fuese racional bastara con multiplicarlo por sr 2 es racional, lo que es una contradiccin). Por lo tanto sr x = r + 2( ) es un nmero irracional estrictamente mayor 2 1 1 s s que r . Pero tambin x = r (1 < s (1 = s. )+ )+ 2 2 2 2 Finalmente, si x e y son reales cualquiera con x < y , entonces, por el punto anterior, hay un racional r tal que x < r < y , y tambin hay un racional s tal que r < s < y , luego tendr que haber un irracional i tal que x < r < i < s < y .

En este desarrollo se ha usado el hecho que el conjunto de los nmeros racionales es cerrado respecto a la suma y la multiplicacin y tambin que el inverso multiplicativo y aditivo de un racional es racional. De aqu se desprende que el producto o la suma de un racional con un irracional

100

debe ser irracional: de lo contrario basta con despejar el irracional para llegar a una contradiccin. Veremos a continuacin algunos ejemplos de supremos de conjuntos sencillos.

Ejemplos
1. Sea A = ]0,1[ . Entonces sup( A) = 1 . En efecto, 1 es claramente mayor que todos los elementos del conjunto A, es decir, 1 es una cota superior de A. Adems, cualquier nmero menor estricto que a +1 , se 1, no es cota superior. En efecto, si a < 1 , tomando b = 2 tiene: a a < b < 1 , es decir, a es menor estricto que b que est en A. Debe notarse que 1 no pertenece al conjunto.
2. Sea A = ]0,1] . Entonces claramente sup( A) = 1 . En este caso 1 es un elemento del conjunto, a saber, el mayor de todos. No puede haber una cota superior menor que 1, pues cualquier nmero menor deja de ser cota precisamente de 1 que est en el conjunto. 1 3. Sea A = 1 : n = 1,2,3,4... . Se trata aqu del recorrido de una n sucesin similar a las que vimos en los primeros ejemplos. Se afirma que nuevamente sup( A) = 1 . En este caso 1 no pertenece al conjunto, pero obviamente es una cota superior. Tomemos un nmero estrictamente menor que 1 : a < 1 . Como N no es 1 1 , luego 1 > a , es decir, a no acotado, hay un natural n > 1 a n es cota superior.

Definicin . Un subconjunto A de se llama acotado inferiormente, si acaso existe algn nmero real c tal que c x, x A . Un nmero que cumple esta propiedad se llama cota inferior del conjunto A. Es claro que, si c es una cota inferior, entonces todo nmero menor que c ser tambin una cota inferior de A. Se llama nfimo de A a la mxima cota inferior de A. Si existe un tal nfimo, se denota : inf(A).

101

El concepto de nfimo es completamente anlogo al de supremo, solo hay que invertir el orden. Por lo mismo podemos establecer el anlogo al axioma del supremo, una suerte de axioma del nfimo, que esta vez ser, por supuesto, un teorema:
Todo conjunto no vaco de nmeros reales acotado inferiormente, tiene nfimo.

Para demostrar esta propiedad, dmonos un conjunto no vaco y acotado inferiormente A y sea b una cota inferior de A, es decir: b x, x A . Multiplicando por 1 , se tiene b x, x A , es decir, si llamamos A = { x : x A}, entonces el conjunto A es acotado superiormente y no es vaco. Luego, por el axioma del supremo, tiene supremo s = sup( A) . Afirmamos que el nmero real s es el nfimo del conjunto A. En efecto, para empezar, como s x, x A , se tiene que s x, x A , es decir, s es una cota inferior de A. Esta es la mayor cota inferior posible, pues si hubiese otra mayor, digamos s> s , se tendra que s sera una cota superior de A menor que su supremo s. De pasada hemos demostrado que:

sup( A) = inf( A)

3.3.1.

PROBLEMAS
1. Cules son los supremos y los nfimos de los siguientes conjuntos de nmeros reales? Pertenecen o no al conjunto? A = [0,1] Q
(1) n A = 1 : n N , n 0 n 1 A = : n Z , n 0 n 2 A = x : x < 0 x + x 1 < 0 A = ]0,1]

102

2. Sea A = { f ( x) : x [1,2[} . Encuentre supremos e nfimos conjunto, para las siguientes funciones de A y vea si acaso pertenecen o no al conjunto: f ( x) = sen( x) 1 f ( x) = x f ( x) = log( x) f ( x) = 2 x 2 3. Sea A un conjunto no vaco de nmeros reales. Denotemos por A = { x : x A}. Qu relacin habr entre sup( A) y sup( A) ? Y entre inf( A) y inf( A) ? Tal vez se pueden establecer relaciones cruzadas? 4. Si A y B son conjuntos de nmeros reales vamos a denotar:
A + B = {x + y : x A y B}

Qu relacin puede establecer entre sup(A+B) y sup(A) +sup(B)? sern iguales? Lo mismo para inf(A+B) y inf(A)+inf(B). Qu hiptesis debe Ud. introducir? 5. Sea > 0 , A un conjunto no vaco de nmeros reales. Sern verdaderas las afirmaciones : sup(A) = sup( A) inf(A) = inf( A) No debera Ud. agregar alguna hiptesis? Qu puede Ud. decir si < 0 ? 6. Sean f , g : A dos funciones reales acotadas (tanto superior como.inferiormente).Demuestre: sup( f + g )( x) sup f ( x) + sup g ( x)
x A xA x A

Puede encontrar ejemplos donde la desigualdad sea estricta? Ser tambin cierto que sup( fg )( x) sup f ( x) sup g ( x) ?
x A xA x A

Qu hiptesis adicionales debera Ud. introducir? 7. Si A y B son conjuntos de nmeros reales vamos a denotar:

103

AB = {xy : x A y B}

Qu relacin puede establecer entre sup(AB) y sup(A) sup(B)? sern iguales? Lo mismo para inf(AB) y inf(A)inf(B). Qu hiptesis debe Ud. introducir?

3.4.-

ESTRUCTURA TOPOLGICA DE

Para matematizar el concepto de cercana y el concepto de acercarse de forma efectiva para una sucesin, necesitamos afinar un poco ms nuestro modelo de los nmeros reales. Esto nos conduce a la llamada topologa de los nmeros reales.

Definiciones : Un conjunto U se llama una vecindad del nmero real x , si: ( > 0)(]x , x + [ U . Se acostumbra a denotar: B ( x, ) = {y : y x < } = ]x , x + [

Vamos a denotar: W x = { : U U .es.vecindad .de.x} U Sea A . x se llama punto de adherencia de A, si: U Wx U A

Se denota: A = {x : x.es. punto.de.adherencia.de. A} Sea A . x se llama punto de acumulacin de A, si: U W x U A {x}

Se denota: A' = {x : x.es. punto.de.acumulacin.de. A}

Ejemplos
1. Sea A = ]0,1[ . Entonces es fcil ver, directamente de las definiciones, que A = A' = [0,1]

104

(1) n 2. Sea A = : n N . Entonces A = A {0}, mientras que n +1 A'= {0} Ntese que siempre ocurre que A' A , y que A A , mientras que no siempre ocurre que A' A , ni tampoco que A A' .

Por otro lado, las palabras usadas en la definicin punto de adherencia y punto de acumulacin, estn bien escogidas pues aluden intuitivamente a lo que ocurre con los puntos. Los puntos de adherencia deben estar pegados al conjunto pues toda vecindad tiene puntos del conjunto, es decir, el punto no se puede separar del conjunto por alguna vecindad aunque sea pequea. Los puntos de acumulacin deben efectivamente acumular puntos del conjunto, pues uno puede ir achicando la vecindad y encontrar nuevos puntos del conjunto. Con estos conceptos estamos en condiciones de presentar el concepto fundamental del anlisis que es el de lmite , que es el concepto que matematiza la idea de acercamiento efectivo

Definicin. Sea (a n ) una sucesin real. El nmero real L se llama lmite de la


sucesin, en smbolos:

lim a n = L , si
n

U WL (m N )(n > m a n U ) Una sucesin se dice convergente si tiene un lmite real. En caso contrario, se dice divergente.

La definicin anterior est escrita en lenguaje lgico. Para entenderla mejor, vamos a expresarla de otros modos equivalentes: > 0, m N , tal que a n L < , si acaso n > m . La equivalencia de esta formulacin se debe a la definicin que hemos dado de vecindad. Cualquier vecindad de L , por pequea que sea, contiene una cola completa de la sucesin, es decir, todos los elementos a n a partir de algn ndice apropiado.

105

lim a n L = 0 : directamente de la definicin, pues ambas

expresiones dicen que los trminos de la sucesin se acercan a L.

Ejemplos
1. El ejemplo ms sencillo es : a n =

1 1 . Aqu tenemos lim = 0 . n n n 1 En efecto, si nos damos > 0 basta tomar m para tener

2.

3.

4.

5.

6.

1 1 que , si n > m entonces < . n m La sucesin a n = (1) n , que desglosada es: 1,1,1,1,1,1,.... es claramente divergente pues oscila entre 1 y 1 sin acercarse a ningn nmero real. (1) n Por el contrario, la sucesin a n = tambin es oscilante, n pero se acerca a 0: si nos damos > 0 basta tambin aqu tomar 1 1 m para tener a n 0 = < si n > m . n 2 n , n 10.000 La sucesin : a n = 1 es claramente convergente n , n > 10.000 con lmite 0, pues la convergencia no depende de los primeros trminos, aunque sean muchos: solo depende de las colas de la sucesin. Del mismo modo, una sucesin de la forma: a1 , a 2 , a3 ,...a k , , , ,..... que llamaremos casi-constante es tambin convergente con lmite . 1 Si a > 0 , entonces lim a = 0 . En efecto, si > 0 , tomamos n n 1 1 1 m ( ) a , y si n > m , entonces n a > m a , de donde

1 <. na

106

7. Si 0 < a < 1 , entonces lim a n = 0 . En efecto, observemos que


n

1 1 > 1 , luego = 1 + h , con h > 0 . Elevando a la potencia n y a a 1 recordando el teorema del binomio: n = (1 + h) n > 1 + nh . a Ahora, si > 0 , entonces, por la arquimedianidad de , hay un 1 natural m tal que 1 + mh > , luego, si n > m se tiene

1 1 > 1 + mh > , es decir, a n < . n a Para poder analizar sucesiones ms interesantes necesitamos estudiar las propiedades fundamentales de este concepto de lmite de sucesiones. Agruparemos en un Teorema estas propiedades.

TEOREMA 1. (Propiedades bsicas de los lmites de sucesiones)

1. (unicidad del lmite) Si una sucesin tiene lmite, ste es nico. 2. Si una sucesin es convergente, entonces es acotada, es decir, su recorrido es un conjunto acotado. 3. Si una sucesin es creciente y acotada superiormente, entonces es convergente. Del mismo modo, si es decreciente y acotada inferiormente, entonces es convergente. 4. (cero aniquila) Si la sucesin (a n ) es acotada y la sucesin (bn ) converge a 0, entonces tambin lim a n bn = 0
n

5. (el sandwich) Si para algn m: a n x n bn , n m y lim a n = lim bn = L , entonces tambin lim x n = L .


n n n

6. (el lgebra de lmites) Si lim a n = a lim bn = b , entonces:


n n

(a n + bn ) es convergente y: lim(a n + bn ) = a + b
n

( a n bn ) es convergente y : lim(a n bn ) = ab
n

an a a ) es convergente y : lim n = , si adems b 0 n b bn b n

107

DEMOSTRACIN

1. Si una sucesin tuviese dos lmites distintos, digamos a b , entonces existen vecindades disjuntas de a y b que deberan contener una cola completa de la sucesin , lo que es imposible. 2. Si lim a n = a , entonces la vecindad U = ]a 1, a + 1[ contiene una
n

cola completa de la sucesin y por lo tanto queda afuera de U a lo ms un nmero finito de valores de la sucesin, conjunto que es acotado. 3. Sea (a n ) creciente y acotada superiormente. Por el axioma del supremo existe a = sup{a n : n m}. Afirmamos que este a es precisamente el lmite de la sucesin. Sea > 0 . Puesto que el supremo de un conjunto es la menor cota superior, a no puede ser cota superior, luego existe un ndice k tal que a < a k a pero como la sucesin es creciente a < a k a n a n k , que es la definicin de lmite. De modo anlogo se demuestra que una sucesin decreciente y acotada inferiormente, es convergente. 4. Sea (a n ) acotada, digamos por A > 0 . Sea > 0 . Como la sucesin (bn ) converge a 0, hay un nmero natural m tal que = . A A 5. Sea a n x n bn , n m , lim a n = lim bn = L . Sea > 0 , bn < si acaso n > m . Luego a n bn A bn < A
n n

entonces, por definicin de lmite, existe m1 tal que < a n L para n > m1 y existe un m 2 tal que bn L < para n > m2 . Basta tomar m = min{m1 , m2 } para tener < a n L x n L bn L < para n > m 6. Sea lim a n = a lim bn = b . Debemos dividir esta demostracin
n n

en tres casos: La suma: Sea > 0 , entonces existen nmeros naturales m1 , m2 tales que a n a < , n > m2 . Basta 2 2 tomar m = min{m1 , m2 } para tener que, si n > m , entonces se

, n > m1 , y , bn b <

108

cumplen ambas desigualdades, con lo cual: (a n + bn ) (a + b) a n a + bn b <

= 2 2 El producto: Para esto, consideremos la sucesin diferencia: a n bn ab a n bn a n b + a n b ab a n bn b + a n a b . Aqu podemos aplicar algunas de las propiedades ya demostradas: la sucesin a n es acotada por ser convergente y la sucesin bn b + converge a 0, luego, por cero aniquila el producto a n bn b tiende a 0. Del mismo modo, como a n a tiende a 0, entonces tambin a n a b tiende a 0. Finalmente, la suma a n bn b + a n a b tiende a 0 y, por sandwich, a n bn ab tambin debe tender a 0, es decir, lim a n bn = ab .
n

Para el cuociente, la demostracin es un poquito ms delicada. En primer lugar, como por hiptesis b 0 , existe un nmero natural b m1 tal que bn > , n > m1 : en efecto, basta considerar las 2 b desigualdades: b bn b bn < . Aprovechando esta 2 desigualdad, tenemos: an a ba n abn 2 = ba n abn 2 . bn b bbn b Sumando y restando el producto ab y usando la desigualdad triangular, tenemos que ba n abn ba n ba + ba abn = b a n a + a bn b , y por lo

2a an a 2 a n a + 2 bn b . Finalmente, aplicando bn b b b nuevamente cero aniquila, lmite de la suma y el sandwich, se demuestra la propiedad. Q.E.D. tanto,

109

Ejemplos

1. Sea a > 0 , x0 > 0 y x n +1 =

a 1 ( x n + ) . Esta sucesin, xn 2 definida por recurrencia, es la misma sucesin de los babilonios que nosotros presentamos al principio para a = 2 . Esta sucesin es decreciente a partir de n = 1 : en efecto, a ( x n ) 2 0 , de donde, elevando al cuadrado: xn
x n 2a +
2

a2 xn
2

0 y sumando 4a a ambos lados se tiene

( xn +

a 2 ) 4a , es decir, recordando la definicin de x n +1 : xn 1 a 2 ( ( x n + )) 2 = x n +1 a . Ahora, sumando a ambos lados 2 xn


2 2 2

x n +1 , se tiene x n +1 + a 2 x n +1 y dividiendo por 2 x n +1 se 1 a obtiene finalmente: ( x n +1 + ) x n +1 , o sea x n + 2 x n +1 . 2 x n +1 Aqu debe notarse que , partiendo de un nmero x0 no nulo, todos los siguientes son tambin no nulos. Hemos demostrado que la sucesin es decreciente . Adems es acotada inferiormente por 0. Luego, por nuestro teorema es convergente. cmo calcular su lmite? Para esto observemos que las sucesiones ( x n ) y ( x n +1 ) son esencialmente las mismas, solo estn corridas en un ndice. Directamente de la definicin se deduce que, si una converge, lo hace tambin la otra y al mismo lmite. Tomemos entonces lmite a ambos lados de la igualdad : 1 a x n +1 = ( x n + ) . Para aplicar el lgebra de lmites, se 2 xn necesita lim xn 0 . Pero xn a , n 1 . En efecto,

110

1 a ( xn + ) a xn 2 2 xn a + a = ( xn a ) 2 0 2 xn Aplicando entonces el lgebra de lmites se obtiene una ecuacin para el lmite de la sucesin, que llamaremos x : 1 a ( x + ) = x de donde se obtiene: x 2 = a . Es decir, nuestro 2 x lmite es efectivamente una raz cuadrada de a . Hemos demostrado la existencia de races cuadradas para cualquier nmero real positivo ! xn +1 = 2. Sea a 0 = 2 y a n +1 = 2a n . Ahora estamos en condiciones de

fundamentar el clculo del lmite de esta sucesin. Esta sucesin es creciente : en efecto , a 0 = 2 < 2 2 = a1 , pues elevando al cuadrado resulta 2 < 2 2 que es cierto pues 2 > 1 . Supongamos que vale a n < a n +1 , multiplicando por 2 y sacando raz cuadrada: 2a n < 2a n +1 , es decir, a n +1 < a n + 2 . Luego, por induccin finita , la sucesin es creciente. Tambin por induccin podemos demostrar que es acotada superiormente por 2 : a 0 = 2 < 2 . Si suponemos que a n < 2 , nuevamente multiplicando por 2 y sacando raz cuadrada, se tiene: a n +1 = 2a n < 2 2 = 2 . Luego, por nuestro teorema , la sucesin es convergente. Para calcular el valor del lmite procedemos igual que en el caso anterior : 2. Si a > 1 , entonces lim n a = 1 . Por las reglas bsicas de los
n

exponentes, n a = a > 1 n = 1 , luego n a = 1 + hn , con hn > 0 , por lo tanto, elevando a la potencia n y recordando el teorema del binomio: a 1 . Pero esta a = (1 + hn ) n > 1 + nhn , con lo cual se tiene que hn < n ltima sucesin tiende a 0 con lo cual tambin hn lo hace (ley del
sndwich), por lo que, como
n

1 n

a 1 = hn ,

a debe tender a 1.

111

3. De modo anlogo se tiene que lim n n = 1 . Aqu el argumento es


n

n > 1 , si n 2 , luego n = 1 + hn , con hn > 0 . Nuevamente elevando a la n(n 1) 2 n(n 1) 2 hn > hn , de potencia n: n = (1 + hn ) n > 1 + nhn + 2 2 2 . Pero esta ltima sucesin tiende a 0. donde hn < n 1 similar, pero un poquito ms fino: es claro que
n n

3n 5 + 5n 4 3n + 1 Para calcular este tipo de n 4n 5 6n 3 + 2 lmite se usa un truco general que consiste en dividir el numerador y el denominador por n a la mayor potencia, en este caso 5 : la fraccin resultante es exactamente la misma que la original : 5 3 1 3+ 4 + 5 n n n = 3 por el lgebra de lmites. lim n 6 2 4 4 2 + 5 n n 4. Calcular: lim

5. Calcular : lim( n + 1 n ) Para este tipo de lmites se usa otro truco


n

general consistente en multiplicar y dividir por el conjugado de la diferencia , obtenindose un producto de suma por diferencia: 1 n +1 + n lim( n + 1 n ) = lim =0 n n n +1 + n n +1 + n
6. El lmite : 1 lim(1 + ) n = e , es decir, la sucesin tiende a la base n n natural de los logaritmos . Este resultado, si bien es posible de establecer por mtodos elementales (con bastante dificultad, sin embargo) lo demostraremos mucho ms adelante, utilizando la teora ms desarrollada del anlisis , donde resultar sumamente sencillo.

3.5

PROBLEMAS

112

1. A partir de qu valor de n el elemento a n de la sucesin estar a una distancia menor que 0.001 de a* en los siguientes ejemplos?: 1 ...;...a* = 0 an = n +1 1 an = ...;...a* = 0 n +1 n +1 an = ...;...a* = 1 n n 1 an = ...;...a* = 1 n 2. Conteste la pregunta anterior para un acercamiento arbitrario dodo por un > 0 3. Calcular los lmites (cuando existan) de las sucesiones siguientes: n+3 n3 + 4 n3 + 4 n+3 ( n +1 n) n + 3 1 1 a 0 = 3, a n +1 = (a n ) an 2
n

n2 2n + 1 2n 1 a n +1 es n a n

4. Determine para qu valores de x el lmite : lim estrictamente menor que 1, donde a n = 5. Calcule el lmite: L = lim 1 + 5 + 5 2 + 5 3 + ... + 5 n 1 n 5n + n 1 ( x + 1) n 2 n

113

6. Determinar los valores de a N tales que la sucesin : xn = (n + 1) a ( 2n 2 + a ) 3 sea convergente.

7 . Construya una sucesin convergente (a n ) tal que los trminos de ndice impar sean racionales mientras que los de ndice par sean irracionales . Dnde se encontrar su lmite? 8.(*) Sean P1 < P2 dos puntos en la recta real. Defina P3 como el punto medio entre P1 y P2 , P4 como el punto medio entre P2 y P3 , P5 como el punto medio entre P3 y P4 y as sucesivamente . Converge la sucesin de puntos as definida? Cul ser su lmite?

9. Estudie las siguientes dos sucesiones (de significado ecolgico) dadas inductivamente. Conjeture un lmite (usando el grfico de la telaraa) y fundamntelo usando los teoremas correspondientes: i) 0 x0 K , x n +1 = (1 + r (1 ii) 0 x0 xn )) x n , para 0 r 1 K

rx n r 1 , para a > 0, r 1 , x n +1 = a 1 + ax n

10. Analice la convergencia de la clsica fraccin continua:

1+ 1+

1 1 1+ 1 1 + ...

Cul es la sucesin que la define inductivamente? Puede ayudarse con el grfico de la telaraa 11. Sea (a n ) una sucesin acotada:

114

i)

Demuestre que las sucesiones: , c n = inf {a k : k n}

bn = sup{a k : k n} son convergentes. ii)

Llamando lim sup a n = lim bn ; lim inf a n = lim c n , demuestre: (a n ) es convergente si y solo si: lim sup a n = lim inf a n

12. (*) Sea A . Demuestre: i) x A (x n A)(lim x n = x ) ii) x A' (x n A)(( x n )inyectiva lim x n = x )

3.6

LA RECTA REAL EXTENDIDA

Si comparamos el comportamiento de las sucesiones: a n = n 2 + 1 y


n

bn = ( 1) notaremos que difieren en un punto esencial: la sucesin (bn ) oscila entre 1 y 1 sin acercarse a ninguna parte. La sucesin

(a n ) , en cambio crece y crece alejndose constantemente del 0 , con lo


n n

que podemos decir que se acerca a . Es por eso que se suele escribir: lim(n 2 + 1) = . De la misma manera se escribe lim(1 n 2 ) = , puesto que esta sucesin se aleja hacia la izquierda del 0 de modo constante y persistente . Por esta razn resulta conveniente definir un nuevo espacio, ms amplio que los nmeros reales y que contenga a estos puntos extremos.

115

Definicin: El conjunto = { , } se llama recta real extendida, donde y son dos nuevos objetos diferentes entre si y que no pertenecen al conjunto de los nmeros reales. Para este nuevo conjunto se define la siguiente estructura: Estructura ordinal: < x < , x . Es decir, los i) nuevos elementos incorporados cierran el orden de los nmeros reales. es, con esta definicin, un conjunto totalmente ordenado. Estructura topolgica: las vecindades de los nuevos ii) puntos son : W = U : K , K < 0, [ , K [ U
W

{ } = { : K , K > 0, ]K , ] U } U

Es importante notar que, la definicin para lim a n = es, usando la estructura topolgica recin definida: K > 0, m N , (n > m a n > K ) y anlogamente para lim a n = Las nociones de punto de adherencia y punto de acumulacin se extienden naturalmente a estos nuevos puntos. Agregamos a continuacin algunos problemas que sirven de ejercicio para la mejor asimilacin de esta nocin.

3.7

PROBLEMAS

1. Demuestre que es el nico punto de acumulacin del conjunto N de los nmeros naturales. 2. Sea 0 un punto de acumulacin de A ]0, [ . Demuestre que es 1 punto de acumulacin de B = : x A . x

116

3. Sea 1 un punto de acumulacin del conjunto A ] ,1[ . 1 : x A Demuestre que es punto de acumulacin de B = 1 x 4. Suponga que es un punto de adherencia del conjunto A . x : x A Demuestre que 1 es punto de adherencia de B = 1 x

117

CAPTULO 4 :

EL LMITE CONTINUO

4.1.- DEFINICIN Y EJEMPLOS Consideremos dos curvas en el plano, que se cruzan segn la Figura 4.1 siguiente:

Figura 4.1 Qu condiciones deben cumplir estas curvas para que no solo se crucen sino que se corten , es decir, tengan efectivamente un punto en comn ? Si estas curvas son grficas de funciones reales, el ejemplo siguiente nos muestra que el problema tiene una gran trascendencia:

Figura 4.2 Aqu la curva pretende representar la grfica de la funcin f ( x) = x n , y la recta horizontal representa la grfica de la funcin g ( x) = b . Si estas dos curvas tienen un punto en comn, entonces se tendr:

118

f (a ) = a n = g (a ) = b , es decir: a = n b . O sea, el punto en comn es nada menos que la raz n-sima del nmero b. El estudio de este problema nos conduce a la nocin de continuidad y de lmite continuo. El concepto de lmite de sucesiones corresponde a la idea de un acercamiento pasa a paso de los elementos de la sucesin a su lmite. Esta misma idea de acercamiento puede ser concebida de modo continuo. Aqu debe tenerse una funcin definida, no sobre ndices discretos como las sucesiones , sino sobre un intervalo, o por lo menos sobre un conjunto que tenga al punto de acercamiento como punto de acumulacin . Para visualizarlo mejor, ilustrmoslo con un ejemplo: x2 a2 Sea f ( x) = . Qu ocurre cuando x se acerca a a? se acerca xa el valor de la funcin a algn nmero real? Ntese que a no est en el dominio de la funcin f , es decir, no se puede evaluar la funcin en el punto a. Pero para todos los nmeros x distintos de a , la funcin se x 2 a 2 ( x a )( x + a ) = = x + a , luego, si x se puede calcular: f ( x) = xa xa acerca a a (sin tocarla!) claramente f(x) se acerca a 2a . Las grficas siguientes ilustran distintos tipos de comportamiento:
y 1

0.5

0 -5 -2.5 0 2.5 5 x

-0.5

-1

(a)

(b) Figura 4.3

(c)

En la Figura 4.3 (a), la funcin asume un valor distinto del valor L de acercamiento. En la Figura 4.3 (b) se ha graficado la funcin parte entera (el mayor entero menor o igual a la variable). Aqu el valor de

119

acercamiento es diferente si uno se acerca a los enteros por la izquierda o por la derecha: Si uno se acerca a 1 por la izquierda, la funcin se acerca a cero, mientras que por la derecha lo hace a 1. Finalmente, en 1 la Figura 4.3 (c), se ha graficado la funcin sen( ) , la cual no se x acerca a ninguna parte cuando x se acerca a 0.

La idea de lmite continuo es la de un acercamiento condicionado: el nmero f (x) se acerca a su lmite si acaso x se acerca al punto de acercamiento correspondiente. Ya hemos introducido, cuando vimos los lmites de sucesiones, el concepto que matematiza la idea de acercamiento: se trata de las vecindades . La siguiente definicin no debiera, por lo tanto, ser demasiado sorprendente:
Definicin: Sea f : D , x 0 D ' . Entonces el lmite de la funcin f cuando x tiende a x0 es L, en smbolos:
x x0

lim f ( x) = L

Si acaso:

(U WL )(V W x0 )( x V D {x0 } f ( x) U )

La siguiente figura (abstracta) puede ilustrar esta definicin:

Figura 4.4

120

La definicin formal anterior ha sido escrita en lenguaje lgico: vale la pena hacer algunas observaciones aclaratorias: 1. Utilizando la definicin de subconjunto, la definicin puede ser reescrita del siguiente modo:
(U WL )(V W x0 )( f (V D {x0 }) U ) 2. La estructura lgica de este concepto (la definicin mirada con rayos X) es : p (q (r s )) No es, por lo tanto, una nocin simple. Sin embargo, tampoco es tan compleja: en el lenguaje usual usamos expresiones cuya estructura lgica es similar: Para cada perro hay un collar, tal que , si no se lo pone , correr como loco por todas partes o bien: cada vez que voy a comprar, me sale un perro que, si no le tiro una piedra, me muerde
3. Se ha exigido que el punto de acercamiento x0 sea un punto de acumulacin del dominio de la funcin. Esto es necesario , pues de lo contrario, segn la definicin de punto de acumulacin, se podr encontrar siempre una vecindad V de x0 tal que V D {x0 } = , con lo cual la condicin de lmite se cumple para cualquier punto (hiptesis vaca). Desde el punto de vista intuitivo, esta exigencia significa que nos podemos acercar efectivamente al punto x0 por puntos que estn en el dominio de la funcin. 4. Cuando tanto el punto de acercamiento x0 como el lmite L son nmeros reales, la definicin puede ser escrita usando las vecindades especficas de los nmeros reales:

( > 0)( > 0)(0 < x x0 < x D f ( x) L < ) 5. Si x0 , pero L = , entonces hay que usar las vecindades propias del punto infinito, y se tiene lim f ( x) =
x x0

121

si acaso: (K > 0)( > 0)(0 < x x 0 < f ( x) > K ) 6. Si x0 = , pero L , entonces lim f ( x) = L significa:
x

( > 0)(K > 0)( x > K x D f ( x ) L < )

7. De modo anlogo se traduce la definicin de lmite a los casos:


x

lim f ( x) = L , lim = ,
x x0

lim f ( x) =

8. Los lmites de sucesiones tambin son casos particulares de esta definicin general. En este caso el dominio de la funcin es el conjunto de los nmeros naturales (o una cola de l) y el nico punto de acumulacin de este conjunto es , con lo cual la definicin general anterior coincide con la definicin dada en el captulo 3. De pasada podemos observar que la notacin tradicional lim a n puede ser simplificada omitiendo el smbolo
n

n , ya que n no puede tender a otro lado que a infinito. 9. Finalmente podemos introducir los conceptos de lmites laterales, simplemente restringiendo la funcin al lado izquierdo o derecho del punto de acercamiento (el cual debe ser, por supuesto, un nmero real): a) lim f ( x) = L (lmite por la izquierda), si acaso
x x0

(U WL )( > 0)( x0 < x < x0 x D f ( x) U ) b) lim f ( x) = L (lmite por la derecha) , si acaso:


x x0

(U WL )( > 0)( x0 < x < x0 + x D f ( x) U ) Existen otras notaciones para estos lmites laterales. Nosotros hemos denotado el lmite por la izquierda indicando que el acercamiento hacia x0 es desde la izquierda, es decir, con x

122

subiendo hacia x0 . Otros autores denotan este lmite agregando un signo menos al punto de acercamiento: lim f ( x) . Para el
x x0

lmite por la derecha, hemos indicado que el acercamiento es desde la derecha, es decir, bajando hacia x0 . Otros autores agregan un signo ms al punto de acercamiento: lim+ f ( x) .
x x0

Debido a la existencia de estos lmites laterales, el lmite propiamente tal de una funcin suele recibir el nombre de lmite bilateral.

Ejemplos

1 . El dominio de esta funcin es D = {0}, es x decir, no incluye al 0. Pero el 0 es obviamente un punto de acumulacin del dominio de la funcin, por lo que tiene sentido preguntarnos por los posibles lmites hacia el 0: 1 1 a) lim = : en efecto, sea K > 0 : basta tomar = > 0 . x0 x K 1 1 Si tomamos x tal que 0 < x < , entonces f ( x) = > = K . x 1 b) lim = : en efecto, si nos damos un nmero K < 0 , x0 x 1 basta tomar = > 0 : Si tomamos un x tal que K 1 1 < x < 0 , entonces f ( x) = < =K. x Debe notarse que, en este caso no hay limite bilateral, pero ambos lmites laterales existen, si bien no son nmeros reales. 1. f ( x) =
2. lim( x 2 + 1) = 2 . Este resultado es muy intuitivo, sin
x 1

embargo es preciso fundamentarlo, ya sea con algn teorema (que an no tenemos) o, al menos, directamente con la definicin: sea > 0 .Buscamos una vecindad de 1 que asegure : ( x 2 + 1) 2 = x 2 1 = x 1 x + 1 <

123

para todos los x en esa vecindad. Esto se cumplir si


. Debemos, pues, buscar una condicin de x +1 acercamiento al 1 para x que implique la desigualdad anterior. 1 1 2 Sea = min , . Si | x 1 |< , entonces | x 1 |< , 2 2 5 1 3 luego < x < . Adems: 2 2 2 = < = | x 1 |< 3 5 x +1 | x +1| +1 2 3. lim x 1 = 0 . Debe notarse, antes que nada, que este
x 1

acaso: x 1 <

lmite coincide con el lmite por la derecha, ya que el dominio de la funcin solo tiene elementos a la derecha del 1. Para demostrar nuestra afirmacin, tomemos un acercamiento arbitrario > 0 : buscamos un acercamiento > 0 al 1 que nos asegure: x 1 < . Pero esta desigualdad est implicada por x 1 < 2 , ya que ambos lados son positivos. Por lo tanto basta tomar = 2 . 4. lim x = a , a 0 . Si acaso a = 0 , se trata
xa

esencialmente del mismo ejemplo anterior. Supongamos que a 0 , es decir, a > 0 . Sea > 0 : necesitamos encontrar un > 0 que nos asegure x a < . El siguiente clculo algebraico nos ayudar a encontrarlo:

x a =

x a ( x + a) ( x + a)

xa x+ a

xa a

luego, bastar con tomar un = a . 5. El razonamiento empleado en el ejemplo anterior nos permite una generalizacin interesante: supongamos que hay una funcin tal que lim f ( x) = L 0. Entonces:
xa

124

lim
xa

f ( x) = lim f ( x)
xa

En efecto, si L = 0 , entonces dado > 0 , la desigualdad f (x) < se logra con un > 0 que asegure f ( x) < 2 , si acaso 0 < x a < . Para L > 0 usamos el mismo truco algebraico del punto anterior: f ( x) L f ( x) L f ( x) L = < se lograr con un f ( x) + L L

acercamiento que asegure f ( x) L < L , lo cual ,a su vez, resulta de la hiptesis de que L es efectivamente el lmite de la funcin. 6. lim x n = , si n es un nmero natural no nulo. En efecto,
x

sea K > 0 . Basta tomar M = n K : si x > M , entonces xn > K .

.si.b > 0 7. lim bx = . Esto resulta directamente de las x .si.b < 0 definiciones. Finalmente agreguemos algunas observaciones: lim f ( x) = L lim f ( x) L = 0 , si acaso el lmite L es un
xa xa

nmero real. Esta propiedad resulta directamente de las definiciones. lim f ( x) = L lim f ( x) = lim f ( x) = L . Esto resulta
xa xa xa

tambin directamente de las definiciones. Ntese que en este caso el lmite L no necesita ser un nmero real. Demostrar la existencia de un lmite y, ms an, el clculo de su valor son asuntos extremadamente complicados si la funcin no es tan sencilla como las que se han presentado en los ejemplos. Se necesita una teora. Y esa teora existe! Presentaremos a continuacin sus elementos fundamentales.

TEOREMA 2. (Propiedades bsicas de los lmites de funciones)

125

1. 2. 3.

(unicidad del lmite) Si una funcin tiene lmite, ste es nico. Si f ( x) = g ( x), x a , entonces lim f ( x) = L lim g ( x) = L
xa xa

(cero aniquila) Si lim f ( x) = 0 y g es una funcin


xa

acotada en una vecindad de a, entonces lim( fg )( x) = 0


xa

4. 5.

(el sandwich) Si f ( x) h( x) g ( x), x a y si lim f ( x) = lim g ( x) = L , entonces lim h( x) = L


xa xa xa

(el lgebra de lmites) Si lim f ( x) = A lim g ( x) = B


xa xa

entonces: lim( f + g )( x) = A + B
xa

lim( fg )( x) = AB
xa

Si adems B 0 , lim
xa

f A ( x) = g B

6.

(lema de enlace) lim f ( x) = L


xa

((a n ), a n dom( f ), a n a, a n a, f (a n ) L)

DEMOSTRACIN.
1. Si una funcin tuviese dos lmites distintos, digamos A B , entonces podemos tomar vecindades disjuntas de A y B que debern contener las imgenes de puntos que estn vecindades del mismo punto de acercamiento, lo cual es imposible, pues la interseccin de dos vecindades de un punto es tambin una vecindad del mismo punto. 2. Esta propiedad es consecuencia directa de la definicin pues el punto de acercamiento se excluye de la condicin.

126

3. Sea lim f ( x) = 0 y g ( x) M para todo x en una vecindad V1 de


xa

a. Sea > 0 : existe una vecindad V2 de a tal que , si

. Por lo tanto bastar M con tomar la vecindad V = V1 V2 : si a x V dom( f ) ,

x V2 dom( f ) {a} , entonces f ( x) <

= . M 4. Aqu es preciso distinguir tres casos: L . Sea > 0 : existirn dos vecindades de a , V1 ,V2 tales que : a x V1 dom( f ) L < f ( x) < L + a x V2 dom( g ) L < g ( x) < L + . Bastar con tomar la vecindad V = V1 V2 de a para que ambas desigualdades se cumplan, luego, si a x V dom(h) , se tendr: L < f ( x ) h( x ) g ( x ) < L +
entonces g ( x) f ( x) < M L = . Sea K > 0 : existe una vecindad V de a tal que , si a x V dom( f ) dom(h) , entonces K < f ( x) h( x) , es decir, lim h(x) = . Ntese que la funcin g no se ha usado.
xa

L = . Sea K < 0 : existe una vecindad V de a tal que , si a x V dom( g ) dom(h) , entonces h( x) g ( x) < K , es decir, lim h(x) = .
xa

5. Sea : lim f ( x) = A lim g ( x) = B . Veremos


xa xa

separadamente los tres casos: La suma: Sea > 0 : existirn dos vecindades V1 ,V2 de a tales que:

, 2 a x V2 dom( g ) g ( x) B < 2 Bastar entonces tomar la vecindad V = V1 V2 para tener f ( x) + g ( x) ( A + B) f ( x) A + g ( x) B < + = si acaso 2 2 a x V dom( f ) dom( g )

a x V1 dom( f ) f ( x) A <

127

El producto: puesto que A es un nmero real, la funcin f estar acotada , digamos por M , en una vecindad V1 de a . Por otro lado habr otra vecindad , digamos V2 , tal que g ( x) B < en esa 2M vecindad y, finalmente, habr una tercera vecindad, V3 donde se cumple f ( x) A < . Por lo tanto, si V = V1 V2 V3 y si 2B a x V dom( f ) dom( g ) , entonces tendremos: f ( x) g ( x) AB f ( x) g ( x) f ( x) B + f ( x) B AB = = f ( x) g ( x) B + f ( x) A B < M

2M

2B

B =

El cuociente: demostraremos primero el caso especial en que f ( x) = 1, x . Recordemos que B 0 , por lo tanto existe una vecindad V1 de a tal que si a x V1 dom( g ) , entonces se B tendr: g ( x) B < . Usando la desigualdad triangular al 2 B , por lo tanto revs, se tiene B g ( x) B g ( x) < 2 B . Por otro lado existe una vecindad V2 donde g ( x) > 2 2 B y si tomamos, como antes la interseccin de g ( x) B < 2 estas vecindades, se tendr 2 B g ( x) 1 1 2 1 B = < = g ( x) B g ( x) B B B 2
Para el caso general, en que f es una funcin cualquiera que cumple la hiptesis, basta usar el teorema para el producto.

6. El llamado lema de enlace recibe ese nombre porque enlaza el lmite continuo con el lmite discreto, es decir, de sucesiones. Se trata de una condicin necesaria y suficiente:

128

Sea lim f ( x) = L , sea (a n ), a n dom( f ), a n a , a n a y


xa

sea U W L . Por la hiptesis, para esta vecindad debe existir una vecindad V de a tal que f ( x) U si a x V dom( f ) . Pero para esta vecindad de a existe un nmero natural m tal que a n V , si n>m. Luego f (a n ) U , es decir, puesto que a n a , limf (a n ) = L Sea ahora : para cada sucesin (a n ), a n dom( f ), a n a , a n a , que f (a n ) L . Sea U WL y supongamos que no existe ninguna vecindad V de a que cumpla con f (V dom( f ) {a}) U : debemos llegar a una contradiccin. Es necesario distinguir tres casos: (i) a : para cada nmero 1 1 natural n podemos considerar la vecindad Vn = a , a + . n n Por nuestra suposicin debe existir un elemento a n Vn dom( f ) {a} tal que f (a n ) U . Luego esta sucesin (a n ) tiende a a , pero f (a n ) no tiende a L . (ii) Si a = , basta tomar Vn = ]n, ] y el mismo argumento es vlido. (iii) Si a = , entonces debe tomarse Vn = [ , n[ .

Q.E.D.
Ejemplos

sen x = 1 . Este resultado necesita, en rigor, de una definicin x 0 x analtica de la funcin seno. Pero eso requiere un poco ms de anlisis (Teora de Integracin). Sin embargo, si aceptamos algunas propiedades que resultan de la geometra, podemos obtenerlo: 1.- lim

129

Figura 4.3 De la figura resulta la desigualdad: sen( x) x tg( x) = luego: cos( x) sen( x) , cos( x)

sen( x) 1 y, aceptando que lim cos( x) = 1 se x 0 x obtiene el resultado propuesto por el teorema del sandwich. [x ], x 1 Entonces se afirma : lim f ( x) = 1 . En 2. Sea f ( x) = x 1 2 x 1, x < 1 este caso no podemos evitar el clculo de lmites laterales: lim f ( x) = lim[x ] = 1 y lim f ( x) = lim(2 x 1) = 1
x 1 x 1 x 1 x 1

3. lim

x+ x+ x de lmites pues no es un nmero real. Pero podemos hacer previamente un arreglo algebraico: x x 1 = = x+ x+ x 1 1 1 1 x( 1+ + ) 1+ + x x x x lmite es 1 aplicando el lgebra de lmites. 4. lim

= 1 . En este caso no podemos aplicar el lgebra

cuyo

1+ x2 1 = 0 . Aqu tampoco podemos usar directamente el x 0 x lgebra de lmites. El truco algebraico es, en este caso, similar al que

130

se emple para las sucesiones: 1 + x 2 1 ( 1 + x 2 1)( 1 + x 2 + 1 x2 x = = = 2 2 x x( 1 + x + 1) x( 1 + x + 1) 1+ x2 +1 a esta ltima fraccin podemos aplicar el lgebra de lmites y el resultado es 0. 1 5. lim n sen( ) = 1 . Se trata, en este caso, del lmite de una sucesin. n n cmo usar la teora de lmites continuos para abordar este lmite discreto? Usaremos, evidentemente, el lema de enlace: consideremos sen( x) 1 y la sucesin a n = . Entonces: la funcin real f ( x) = x n 1 sen( ) n = n sen( 1 ) . Como lim f ( x) = 1 , entonces tambin f (a n ) = x 0 1 n n nuestra sucesin tiende a 1. 6.(*) lim f ( x) = lim f (1 2 x) , en el sentido que: la existencia de
x 1 x0

un lado implica la del otro y vale la igualdad. Este resultado es bastante intuitivo, corresponde a una suerte de cambio de variables, pues si x tiende a 0 entonces 1 2 x tiende a 1 y los signos dan la lateralidad correspondiente. Sin embargo vale la pena examinarlo con detalles. En primer lugar hay que entender que hay en juego dos funciones : la funcin f y la funcin compuesta g ( x) = f (1 2 x) . Si queremos analizar este ejemplo en toda su generalidad, debemos examinar los dominios de ambas funciones recordando que los puntos de acercamiento deben ser puntos de acumulacin de dichos dominios. La relacin entre los dominios es claramente la siguiente: 1 x x dom( f ) dom( g ) ; 2 x dom( g ) 1 2 x dom( f ) a) Sea lim f ( x) = L . Entonces 1 es un punto de acumulacin
x 1

del lado derecho del dominio de f , es decir: 1 (dom( f ) ]1, [)' . Debemos demostrar, en primer lugar, que 0 es un punto de acumulacin del lado izquierdo del

131

dominio de g. Para esto, sea > 0 . Pero existe un x en el dominio de f tal que 1 < x < 1 + 2 , por lo tanto 1 x 1 x < < 0 , con dom( g ) , es decir, 0 es punto de 2 2 acumulacin del lado izquierdo del dominio de g. Sea ahora U W L . Por hiptesis existe > 0 tal que, si 1 < x < 1 + y

< y < 0, 2 con y dom(g ) para tener: 1 < 1 2 y < 1 + , con 1 2 y dom( f ) , por lo tanto g ( y ) = f (1 2 y ) U . Es decir, lim f (1 2 x) = L .
x0

x dom( f ) , se tiene f ( x) U . Bastar tomar

b) Sea ahora lim f (1 2 x) = L . En particular,


0 (dom( g ) ] ,0[)' . Debemos demostrar, en primer lugar que 1 es punto de acumulacin del lado derecho del dominio de f Para esto, sea > 0 : debe existir x en el dominio de g tal
x0

< x < 0 , por lo tanto 1 + 2 x < 1 + con 2 1 + 2 x dom( f ) , luego efectivamente 1 (dom( f ) ]1, [)' . Sea ahora U W L : deber existir > 0 tal que , si < x < 0 x dom( g ) , entonces g ( x) U . Pero bastar con tomar ]1,1 + 2 [ como vecindad derecha de 1: si 1 y 1 < y < 1 + 2 y dom( f ) , entonces < < 0 con 2 1 y 1 y dom( g ) , por lo tanto g ( ) = f ( y ) U , es decir 2 2 lim f ( x) = L .
que
x 1

7. (*) Sea lim f ( x) = . Entonces lim

1 = 0 . Este ejemplo es x 1 f ( x ) x 1 similar al anterior, si lo queremos analizar en toda su generalidad. Lo primero ser demostrar que, bajo la hiptesis de que 1 es punto de acumulacin del dominio de f , 1 tambin es punto de 1 acumulacin del dominio de la funcin . Para esto sea V una f vecindad de 1 . Deber existir otra vecindad V1 V tal que

132

f (V1 dom( f ) { }) ] ,1[ Pero el conjunto 1 V1 dom( f ) { } no es vaco , luego existe un x en este conjunto 1 y como f ( x) < 1 , existe el inverso multiplicativo de f (x) , es 1 1 decir, x dom( ) , luego, en particular x V dom( ) { } . Por 1 f f lo tanto 1 es tambin punto de acumulacin del dominio de la 1 funcin . f Sea ahora > 0 : por la hiptesis hay una vecindad V de 1 tal que , 1 1 si: x V dom( f ) { } , entonces f ( x) < . Luego

1 1 1 = < , es decir, lim = 0. x 1 f ( x ) f ( x) f ( x)

4.2

PROBLEMAS

1. En la siguiente pregunta la existencia o no existencia de lmites se refiere a lmites de valores reales: Si no existe lim( f ) ni lim(g), PUEDE existir lim(f+g) ? Si existe lim(f) y lim(f+g) DEBE existir lim(g) ? Si existe lim(f) y no existe lim(g) PUEDE existir lim(f+g)? Si existe lim(f) y lim(fg) DEBE existir lim(g)? 2. Cree Ud. que existen los siguientes lmites?: lim([x ] + x [x ])
x 1

lim
x 8

x 8 x 8

133

3 x 2 ,x <8 lim g ( x) , donde g ( x) = x 8 x8 2 ,x >8 3x 1 cos x ,x < 0 x2 lim f ( x) , donde f ( x) = 3 x0 ( x + 2) 8 , x > 0 x

En caso que su respuesta sea afirmativa cules seran sus valores? 3. Calcule los siguientes lmites (si es que existen) : lim 6 7x (3 + 2 x) 4 xn yn x y

x 2

lim
x y

1+ x + x2 1 x 0 x x 1 2 lim 2 x 5 x 25 sen(6 x) lim x 0 x sen 2 x lim x 0 x tg( x ) z + tg( z ) lim z 0 sen z lim lim
h 0

a+h a h

4(*). Demuestre las siguientes igualdades, en el sentido que la existencia de un lado implica la del otro y vale la igualdad: 1 lim f ( x) = lim f ( ) x x 0 x

134

1 lim f ( x) = lim f ( ) x x 0 x lim f ( x) = lim f ( x)


x0 x0

5. Demostrar que, si lim f ( x) = L , entonces lim f ( x) = L


xa xa

x, x.es.racional 6. Demostrar que , si f ( x) = , entonces x, x.es.irracional lim f (x) no existe si a 0 .


xa

7. Demostrar lim f ( x ) = lim f ( x)


x 0 x0

8. Demostrar lim f ( x ) = lim f ( x)


2

x 0

x 0

9. Escriba detalladamente la definicin de lim f ( x) = y su


x

negacin. 10. Sern correctas todas las siguientes definiciones de limite, a : lim f ( x) = L
xa

Para todo > 0 existe un > 0 tal que: Si 0 < x a < , entonces f ( x ) L < Para todo > 0 existe un > 0 tal que: Si 0 < x a < , entonces f ( x) L Para todo > 0 existe un > 0 tal que: Si 0 < x a < 5 , entonces f ( x) L < Para todo > 0 existe un > 0 tal que: Si 0 < x a < , entonces f ( x ) L < 5

11. Suponga que lim g ( x) = 0 . Ser cierto que lim

f ( x) = ? Si Ud. xa xa g ( x) considera que no es cierto deber demostrarlo apropiadamente. Tal vez podra Ud. obtener un verdadero teorema agregando algunas hiptesis.

135

4.3.- Definicin. Sea f : D , x0 D . La funcin f se dice continua en el punto x0 de su dominio, si acaso:

(U W f ( x0 ) )(V W x0 )( x V D f ( x) U )
Como tanto x0 como f ( x0 ) son nmeros reales, la definicin anterior se traduce:
( > 0)( > 0)( x x0 < f ( x) f ( x 0 < )

La funcin se dice continua en el dominio D, si acaso es continua en cada punto de ese dominio

Observaciones:
1. Es importante notar las semejanzas y las diferencias de esta definicin con la definicin de lmite continuo. En la definicin de continuidad, el punto no necesita ser punto de acumulacin del dominio de la funcin, pero si necesita ser un punto del dominio de la funcin En la definicin de lmite continuo el punto no necesita estar en el dominio de la funcin, pero si necesita ser un punto de acumulacin del dominio de la funcin. Si acaso x0 D D' , entonces f es continua en x0 si y solo si: lim f ( x) = f ( x0 )
x x0

2.

3. Si x0 es un punto aislado del dominio de la funcin, entonces la funcin es continua en x0 4. La continuidad es una propiedad local, es decir, solo involucra al punto de continuidad y a una vecindad arbitrariamente pequea. 5. Utilizando estas observaciones y el lgebra de lmites, vale tambin el algebra de las funciones continuas: la suma, producto y cuociente de funciones continuas (donde no se anule el denominador) es continuo. Aqu puede agregarse tambin la operacin composicin: pero esto requiere de una

136

demostracin, puesto que no aparece en nuestro teorema del lgebra de lmites. 6. Si se restringe la funcin al lado izquierdo del punto, surge en forma natural el concepto de continuidad por la izquierda:

lim f ( x) = f ( x0 )
x x0

y de modo anlogo el de continuidad por la derecha:

lim f ( x) = f ( x0 )
x x0

Ejemplos
1. La funcin f ( x) = sen x no es continua en 0, pues 0 no est en el x dominio de la funcin . Pero posee una extensin continua: la sen x ,x 0 extensin de f definida por f ( x) = x , 1, x = 0 es continua en 0

2.

La funcin parte entera : f ( x) = [x ] obviamente que no es continua en los enteros, pero es continua por la derecha en los enteros. La funcin identidad f ( x) = x es claramente continua, lo que se ve directamente de la definicin. Por lo tanto , usando el lgebra de las funciones continuas, tambin lo sern todas las funciones polinmicas : f ( x) = a 0 + a1 x + .....a n x n y tambin las funciones racionales donde no se anule el denominador: a 0 + a1 x + ...a n x n R ( x) = b0 + b1 x + ...bm x m

3.

137

x 2 , x 0 4. La funcin f ( x) = es discontinua en 0, pues el lmite en 1, x = 0 0 no coincide con el valor de la funcin. Este tipo de discontinuidades se suele llamar reparable, pues la funcin puede dar origen a una funcin continua redefiniendo la funcin en el punto 0. Este concepto de reparabilidad de las funciones es bastante controvertido: sugiere que las funciones discontinuas son anmalas, estn mal definidas, como si la continuidad fuese una condicin de normalidad de las funciones. 1 sen( ), x 0 La funcin f ( x) = es claramente discontinua x 0, x = 0 en el punto 0 sin posibilidad alguna de ser reparada, pues no tiene lmite es ese punto. Este tipo de discontinuidades se denomina de segunda especie, para diferenciarlas de aquellas en que existen ambos lmites laterales, las cuales se llaman de primera especie.

5.

6.(*) Vamos a llamar funcin de Spivak a la funcin Sp : [0,1] , definida por:

0, si.x.es.irracional Sp ( x) = 1, si.x = 0 p 1 q , si.x = q , p, q, primos.relativos Una buena grfica de esta funcin no es fcil de hacer, pero se puede ilustrar dibujando el valor de la funcin en algunos puntos:

138

Figura 4.5 Esta funcin es discontinua sobre los racionales del 1 p intervalo [0,1] . En efecto, si x = , entonces f ( x) = > 0 . q q Basta tomar como vecindad de este punto el intervalo 1 11 1 q , q + con = 2 q . Entonces, para cualquier vecindad de x habr puntos cuyos valores de funcin se salen de esta vecindad de f (x) , a saber, aquellos cuya valor de funcin es 0, o sea, los irracionales. Pero lo interesante es que esta funcin es continua sobre los irracionales: Sea x* un nmero irracional del intervalo [0,1] . 1 Sea > 0 , y sea n > . Para cada denominador

vecindad ]x * , x * + [ solo habr racionales con p 1 1 denominador q > n , por lo tanto Sp ( ) = < < , lo q q n que demuestra la continuidad de esta funcin sobre los irracionales, ya que ella se anula sobre los irracionales.

p [0,1] q , a saber, aquellos donde p = 1,2,3...q . Tomar el racional r ms cercano a x* y definir = r x * > 0 . Entonces en la q = 1,2,3,4...n hay un nmero finito de racionales

139

TEOREMA 3. (Propiedades bsicas de las funciones continuas)


1. Sea lim g ( x) = L , sea f continua en el punto L y sea a un
xa

punto de acumulacin de dom( f g ) . Entonces lim f ( g ( x)) = f (lim g ( x)) = f ( L)


xa xa

2. Sea f continua en a, f (a ) > c . Entonces hay una vecindad U de a tal que f ( x) > c, x U . Anlogamente, si acaso f (a) < c , hay una vecindad U de a tal que f ( x) < c, x U 3. (Teorema del valor intermedio) Sea f : [a, b] continua en [a, b] , y sea f (a) < c < f (b) (o bien f (a) > c > f (b) ). Entonces existe un x0 [a, b] , tal que f ( x0 ) = c . 4. (Teorema de los valores extremos) Sea f : [a, b] continua en [a, b] . Entonces existen puntos x1 , x 2 [a, b ] tales que f ( x1 ) = inf( f [a, b]) y f ( x 2 ) = sup( f [a, b]) 5. (Teorema de la funcin inversa) Sea f : [a, b ] inyectiva y continua. Entonces f es estrictamente montona, el recorrido de la funcin f [a, b] es un intervalo y la funcin inversa f
1

: f [a, b] es continua.

DEMOSTRACIN
1. Sea lim g ( x) = L , sea f continua en el punto L y sea a un g ) . Sea > 0 : por continuidad de f en L , existe > 0 tal que f ( y ) f ( L) < para todo punto de acumulacin de dom( f
x a

y domf que cumpla y L < . Pero para este , por definicin


de lmite, existe una vecindad V de a tal que g ( x) L < ,si acaso x V domg {a}

140

Usando la misma vecindad V , si x V dom( f g ) {a} , entonces se tendr en particular que g ( x) domf , y cumple las hiptesis , luego f ( g ( x )) f ( L) < . 2. Sea f continua en a, f (a) > c . Tomar = f (a) c > 0 . Por continuidad existe una vecindad V de a tal que, si x V dom( f ) , entonces f (a ) f ( x ) f ( x) f (a ) < = f (a ) c , de donde

f ( x) > c . El caso en que f (a ) < c es completamente anlogo.


3. Sea f : [a, b ] continua en [a, b ] , y sea f (a) < c < f (b) . Construyamos el conjunto: A = {x [a, b] : f ( y ) < c, y [a, x ]}. Este conjunto no es vaco pues contiene a a y es acotado superiormente por b. Luego, por el axioma del supremo existe x0 = sup( A) . Adems x0 b por ser b una cota superior y x0 ser la menor. Adems x0 a por ser a elemento de A y x0 una cota superior de A. Por lo tanto x0 [a, b] = dom( f ) . En particular, f es continua en x0 . Demostraremos que este punto satisface la propiedad f ( x0 ) = c . Supongamos que f ( x0 ) < c : por el punto anterior habra una vecindad de a donde esto ocurre, en particular habra un x1 > x0 donde f ( x1 ) < c , con lo

cual x0 no sera cota superior de A. Del mismo modo, si f ( x0 ) > c , habra una vecindad con esa misma propiedad y ninguno de esos puntos estara en A, con lo cual habra cotas menores que x0 , es decir, x0 no sera supremo. El caso f (a) > c > f (b) es completamente anlogo. 4. Sea f : [a, b] continua en [a, b] . Demostraremos primero que el conjunto f [a, b] es acotado. Sea : A = {x [a, b] : f [a, x ].es.a cot ado}. Es claro que A , pues a A , adems A est acotado por b. Por el axioma del supremo existe x0 = sup( A) . Por el punto anterior, la funcin f es acotada en una vecindad de cada punto de continuidad, en particular, x0 > a . Adems x0 b , luego x0 [a, b] . Si suponemos que x0 < b , por ser f acotada en una vecindad de x0 existira un

141

x > x0 donde f [a, x ] es acotado , luego x0 no sera supremo. Luego x0 = b . Finalmente f es acotada en una vecindad de b, con lo que el conjunto f [a, b ] es acotado. Llamemos = inf( f [a, b]) , y = sup( f [a, b ]) . Debemos demostrar que tanto como estn en el recorrido de la funcin. Supongamos que f ( x), x [a, b] . Se tendra que 1 es continua en [a, b] y por lo tanto la funcin f ( x) acotada all. Esto, sin embargo, no es cierto, pues si nos damos 1 y, por definicin de supremo K > 0 bastar tomar = K habra x [a, b] tal que f (x) > , es decir, 1 1 0 < f ( x) < , luego: > = K . Anlogamente f ( x) ocurre con . Esto demuestra que ambos puntos son asumidos por la funcin en el intervalo [a, b ] . 5. Sea f : [a, b] inyectiva y continua. Demostraremos este teorema en varios pasos: Sea x < y < z f ( x) < f ( z ) : entonces f ( x) < f ( y ) < f ( z ) . En efecto, si no es as, por el teorema del valor intermedio ya demostrado, se contradira la inyectividad de la funcin. La Figura 4.5 ilustra este comportamiento.

Figura 4.6

142

Anlogamente, si x < y < z f ( x) > f ( z ) , entonces f ( x) > f ( y ) > f ( z ) . Sea ahora x < y f ( x) < f ( y ) y tomemos un punto z fuera del intervalo z < x < y . Entonces debe ocurrir f ( z ) < f ( x) , de lo contrario se contradira el punto anterior tomando y como punto intermedio. Anlogamente, si y < z , se debe tener f ( y ) < f ( z ) Anlogamente si x < y f ( x) > f ( y ) Aplicando todos los puntos anteriores, si f (a) < f (b) , entonces f es estrictamente creciente. Si en cambio f (a) > f (b) , entonces f es estrictamente decreciente.

Sea ahora f 1 : rec( f ) [a, b] . Demostraremos la continuidad de esta funcin en todo su dominio. Sea y 0 rec( f ) , luego existe un nico x0 [a, b] , tal que f ( x0 ) = y 0 . Sea > 0 : tomemos

Hemos demostrado que rec( f ) = [ f (a), f (b)] , si f es creciente y rec( f ) = [ f (b), f (a )] si f es decreciente.

= min{ f ( x 0 + ) y 0 , y 0 f ( x0 )}

Para el caso creciente (luego f 1 tambin es creciente), si y < y 0 + y 0 + f ( x0 + ) y 0 = f ( x0 + ) , aplicando f

se

tiene: f 1 ( y ) < f 1 f ( x0 + ) = x0 + = f 1 ( y 0 ) + . Si y > y 0 y 0 y 0 + f ( x0 ) = f ( x0 ) , entonces: f


1

( y ) > x0 = f

( y 0 ) . Por lo tanto juntando estas dos


1

ltimas desigualdades: f continuidad.

( y) f

( y 0 ) < , lo que demustra la

El caso decreciente es enteramente anlogo. Q.E.D

Corolarios y observaciones.
1. Si la funcin f no es continua el punto 1 del Teorema puede fallar: 1, x = 0 Sea f ( x) = y g ( x) = x . Entonces lim g ( x) = 0 , luego x 0 0, x 0

143

f (lim g ( x)) = f (0) = 1 . Pero lim f ( g ( x)) = lim f ( x) = 0 .


x 0 x 0 x 0

2. Esta observacin nos debiera poner en alerta respecto al cambio de variables en los lmites. Un ejemplo simple al respecto es el 1, x > 0 siguiente: sea f ( x) = 0, x = 0 . Claramente no existe lim f (u ) . u 0 1, x < 0 Pero si hacemos el cambio de variables x 2 = u tendramos lim f ( x 2 ) = 1 .
x 0

3. Podemos demostrar un verdadero teorema de cambio de variables (Teorema de Substitucin) si agregamos las suficientes hiptesis y utilizamos adecuadamente nuestro Teorema: Sea lim f (u ) = L
u u 0 t t 0

Sea lim u (t ) = u 0 Sea rec(u ) dom( f ) Sea u (t ) u 0 , t V {t 0 }, V .vecindad .de.t 0 Entonces efectivamente lim f (u (t )) = L
t t 0

Para demostrar esto, comenzamos por definir f (u 0 ) = lim f (u ) = L , con lo cual f se extiende continuamente a
u u 0

u 0 . La cuarta hiptesis permite asegurar que t 0 es un punto de acumulacin del dominio de la funcin compuesta f u . Finalmente, aplicando el teorema, obtenemos lim f (u (t )) = f (lim u (t )) = f (u 0 ) = L = lim f (u )
t t 0 t t 0 u u 0

4. De este mismo punto del Teorema podemos extraer el corolario: la compuesta de dos funciones continuas es continua, ms precisamente: si g es continua en a y f es continua en g (a) , entonces f g es continua en a.

144

5. El Teorema del valor intermedio permite finalmente demostrar la existencia de races de cualquier orden de nmeros positivos. En efecto, consideremos la funcin f : [0, [ [0, [ definida por f ( x) = x n . Esta funcin es continua, pues es el producto de la funcin identidad n veces, es estrictamente creciente, por las propiedades ya estudiadas de las desigualdades. Adems lim x n = . Por lo tanto, si a es un nmero real positivo, habr
x

otro nmero c 0 tal que c n > a , luego, tenemos una funcin continua tal que 0 = f (0) a < f (c) , por lo tanto, existe un nmero b 0 , talque f (b) = b n = a , es decir, b = n a . Adems este nmero es nico por ser la funcin estrictamente creciente. La unicidad permite demostrar las propiedades bsicas de las races: n ab = n a n b . En efecto, basta probar que el nmero
n

a n b satisface la condicin de raz n-sima, es decir, es

un buen candidato: ( n a n b ) n = ( n a ) n ( n b ) n = ab , lo que es una simple aplicacin de la conmutatividad del producto. a m = ( n a ) m . Esta es una generalizacin de la propiedad anterior y puede demostrarse por induccin. Pero tambin por la unicidad basta comprobar que ambos nmeros satisfacen la condicin de raz n-sima: si se eleva a la potencia n el lado derecho, se comprueba que resulta a m
n

Finalmente el Teorema de la funcin inversa permite demostrar que la funcin g ( x) = n x , con dominio [0, [ , es continua. 6. Demostrar que la ecuacin: x179 + 163 = 119 tiene al 1 + x + sen 2 x menos dos soluciones en . Esta ecuacin es del tipo trascendente, es decir, mezcla potencias con funciones trascendentes (como la funcin seno). No hay ms que mtodos aproximados para el estudio de este tipo de ecuaciones. Sin embargo, la pregunta por la existencia de soluciones se puede
2

145

responder fcilmente utilizando el Teorema del Valor 163 Intermedio. En efecto, la funcin x179 + es 2 1 + x + sen 2 x claramente continua en todo . Si evaluamos en 0, obtenemos el valor 163 que es mayor que 119. Evaluando en 1, se obtiene un nmero menor que 83, que es menor que 119. Luego, en el intervalo [0,1] debe haber una solucin. Finalmente, si evaluamos en 2, la funcin toma un valor mayor que 2179 3.7 10 53 , que es obviamente mayor que 119, luego, en el intervalo [1,2] debe haber otra solucin.

4.4

PROBLEMAS

1 1 1. Hallar una funcin que sea discontinua en 1, , ,...... pero 2 3 continua en todos los dems puntos. 1 1 2. Hallar una funcin que sea discontinua en 1, , ,...... y en 0, 2 3 pero continua en todos los dems puntos. 3. Suponga que la funcin f satisface la propiedad f ( x + y ) = f ( x) + f ( y ) , x, y y que es continua en 0. Demuestre que entonces es continua en todos los puntos. 4. Para cada una de las siguientes funciones, decida cules estn acotadas superiormente o inferiormente en el intervalo indicado, y cules alcanzan sus valores mximo o mnimo: f ( x) = x 2 en ] 1,1[ f ( x) = x 3 en ] 1,1[ f ( x) = x 2 en f ( x) = x 2 en [0, [

146

x2, x a , en [a 1, a + 1] (aqu ser f ( x) = a + 2, x > a necesario distinguir distintos valores posibles de a ) 0, x.irracional f ( x) = 1, x = 0 en [0,1] p 1 q , x = q . fraccin.irreducible

1, x.irracional f ( x) = 1, x = 0 p 1 q , x = q . fraccin.irreducible

en [0,1]

1, x.irracional en [0,1] f ( x) = 1, x = 0 p 1 q , x = q . fraccin.irreducible x, x.racional f ( x) = 0, x.irracional

5. Suponga que f es continua en [a, b] y que f ( x) es siempre racional. Qu puede decir acerca de f ? 6. Cuntas funciones continuas f existen que satisfacen la relacin ( f ( x)) 2 = x 2 para todo x ? 7. Un conjunto de nmeros reales se dice abierto , si es vecindad de todos sus puntos, es decir, cada elemento admite una vecindad contenida completamente en el conjunto. Suponga que la funcin f es continua en todo y que A es un conjunto abierto en . Demuestre que el conjunto f 1 ( A) =: {x : f ( x) A} es tambin abierto.

147

8. Cree Ud. que la ecuacin trascendente log x 2 cos x = 0 tiene una solucin en el intervalo 0, ? Es nica ? 2 9. Ocurre lo mismo con la ecuacin log((1 + senx) cos x = 0 ? 10. Ser cierto que toda funcin continua f : [0,1] [0,1] posee un punto fijo , es decir un nmero x [0,1] tal que f ( x) = x ? 11. Cree Ud. Que exista una funcin que sea continua en un nico punto a y sea discontinua en todos los dems? 12. Si f y g son dos funciones reales, vamos a definir la envolvente superior de f y g por ( f g )( x) = max{ f ( x), g ( x)} y, anlogamente la envolvente inferior de f y g por ( f g )( x) = min{ f ( x), g ( x)} . Porqu cree Ud. Que se llaman envolventes? (hgase un dibujito: le servir). Si tanto f como g son continuas en un punto x lo sern tambin ambas envolventes? 13. Determinar los valores que deben tomar los parmetros A y B 2senx., x 2 sea para que la funcin f ( x) = Asenx + B, < x < 2 2 cos x, x 2 continua en toda la recta real.
14. Generalice el mtodo empleado en el punto anterior enunciando y demostrando un Teorema de Anudamiento de Funciones Continuas , para funciones que estn definidas por tramos.

148