Continuidad de funciones

Introduccin "Cuando empez a desarrollarse el Clculo, la mayor parte de las funciones con las que se trabajaba eran continuas, y por lo tanto no se senta la necesidad de penetrar en el significado exacto de continuidad. Fue ya entrado el siglo XVIII que se presentaron algunas funciones discontinuas en conexin con distintas clases de problemas fsicos. En particular, los trabajos de J.B.J. Fourier (1758-1830) sobre la Teora del calor, obligaron a los matemticos de principios de siglo XIX a examinar cuidadosamente el significado de los conceptos de funcin y continuidad. A pesar de que el significado de la palabra "continuo" parece intuitivamente clara a todo el mundo, no es fcil imaginarse cul sera una buena definicin de esta idea. Un diccionario popular da la siguiente definicin de continuidad: Continuidad: Cualidad o condicin de ser continuo. Continuo: Que tiene continuidad entre las partes. Intentar aprender el significado de continuidad nicamente a partir de estas dos definiciones, es lo mismo que intentar aprender chino con slo un diccionario chino. Una definicin matemtica satisfactoria de continuidad, expresada enteramente por medio de las propiedades del sistema de los nmeros reales, fue formulada por primera vez en 1821 por el matemtico francs Agustn-Louis Cauchy (1789-1857)". (Apstol, 1977, 156) Antes de dar la definicin de continuidad de una funcin en un punto, veremos el comportamiento de algunas funciones que no son continuas. a.

Sea f la funcin definida por Su representacin grfica es la siguiente:

En este caso la funcin f est definida en

pues

Sin embargo el

no existe ya que

, y, y se tiene que los lmites laterales son distintos. b. Sea g la funcin definida por Su representacin grfica es la siguiente para ,

Note que la funcin g no est definida en 2 y que adems existe pues c. Consideremos ahora la funcin h definida por: y

no

Su representacin grfica es la siguiente:

En este caso, la funcin h est definida en 1 pues adems existe y es igual a 1, pero

Puede observarse que las grficas de las funciones f, g y h, presentan "saltos bruscos" o discontinuidades en los puntos en los que no est definida la funcin o en los puntos, en los que an cuando la funcin est definida, el lmite de la funcin en ese punto no existe, o su valor es diferente al que toma la funcin en ese punto. Luego, debemos establecer condiciones bajo las cuales se sepa con certeza cundo una funcin es continua. De los ejemplos anteriores podemos deducir intuitivamente lo que se establece en la siguiente definicin.

Definicin de continuidad

Se dice que una funcin f en c si y solo si se cumplen las tres condiciones siguientes: 1. est definida, (o sea, c pertenece al dominio de 2.

existe 3.

La funcin f ser discontinua en c si por lo menos una de las condiciones anteriores no se cumple. Ejemplo Determinar si la funcin Primero Calculemos (de aqu Como entonces f es continua en , ni en por lo que f es discontinua existe) definida por es continua en

por lo que f est definida en 2

Note que f no est definida ni en en esos puntos.

Ejemplo Determine si la funcin definida por

es o no continua en Se tiene que Adems (es decir, 4 pertenece al dominio de )

Pero

por lo que

es discontinua en

La representacin grfica de la funcin es la siguiente:

Ejemplo

Sea f la funcin definida Determinar si f es continua en Segn la definicin de la funcin .

Adems Luego por lo que f es continua en

La representacin grfica de esta funcin es la siguiente:

Ejercicios Determine si la funcin f definida por Similarmente para la funcin h definida por puntos y es o no continua en , en los

Discontinuidades evitables

Si una funcin f es discontinua en

pero se tiene que es diferente de

existe, . Ambas

entonces sucede que no existe o que situaciones se ilustran a continuacin:

no existe

En ambos casos, la discontinuidad de la funcin puede evitarse predefiniendo la funcin de tal forma que Ejemplo sea igual al resultado del

Sea f la funcin definida por Determinemos si f es continua en Se tiene que Se observa que y que existe pero es diferente de

Luego, si le asignamos a el valor de 0 (cero), la funcin es continua. Puede escribirse de nuevo la definicin de f como sigue:

Ambas situaciones se ilustran a continuacin:

La discontinuidad ser inevitable o esencial si el limite de la funcin en el punto de discontinuidad no existe. Ejemplo

Consideremos la funcin definida por Analicemos la continuidad en .

Como f no est definida en 2, automticamente f es discontinua en ese valor. Sin embargo, si el existe puede redefinirse la funcin para que sea .

continua. Calculemos por tanto el

Para ello vamos a analizar los lmites laterales como sigue:

Como los lmites laterales son diferentes entonces no existe y la discontinuidad es inevitable, ya que no podemos redefinir la funcin. La representacin grfica de la funcin f es la siguiente:

Ejercicio Para cada una de las funciones definidas a continuacin, determine si la funcin es o no continua en el valor de especificado.

En caso de discontinuidad, especifique si sta es evitable o no. Si la discontinuidad es evitable, escriba la nueva definicin de la funcin.

1.

2.

3.

Continuidad en un intervalo [a,b] Una funcin f definida en un intervalo

a. es continua para todo b. es continua por la derecha en "a" c. es continua por la izquierda en "b" tal que

, es continua en el intervalo si:

Es decir, f es continua en
a.

si:

b.

c.

Ejemplo

Consideremos la funcin f definida por Esta funcin es continua en el intervalo cerrado tiene que: ; adems , y,

. , ya que si se

La representacin grfica de esta funcin es la siguiente:

Tambin se tiene que una funcin

definida en el intervalo

, es continua y es

en ese intervalo, si y solo si es continua en el intervalo abierto continua por la derecha de "a". Similarmente, para que una funcin definida en el intervalo

sea

continua en ese intervalo, es necesario que abierto Ejemplo

sea continua en el intervalo

y a la vez que sea continua por la izquierda en "b".

Consideremos la funcin definida por

en el intervalo

Para

, se tiene que

Adems derecha en .

, por lo que la funcin es continua por la

Luego f es continua en Ejemplo

Considere la funcin

definida por

en el intervalo

Pare

se tiene que por lo que

y es continua en

Adems,

es continua por la izquierda en 2.

Luego

es continua en el intervalo

Definicin de continuidad utilizando

Segn la definicin de continuidad, una funcin f es continua en un punto c si .

Utilizando la definicin de lmite, la anterior igualdad significa que para cada existe tal que si entonces

Sin embargo ahora la restriccin toma entonces y

no es necesaria, ya que si por lo que y cero

es menor que , lo cual cumple con lo que estipula la definicin de lmite. Luego puede decirse que

es continua en entonces

si y solo si para cada .

Note que si la funcin es continua en c, entonces el punto grfica de f y existen puntos de ella tan cercanos como se desee al punto .

est en la

Segn la definicin dada de continuidad, dada una seleccin de las rectas cuyas ecuaciones son ,

y para cualquier , existen

rectas con ecuaciones , tales que la parte grfica de f que est entre las dos ltimas lneas, queda enteramente contenida en el rectngulo determinado por las cuatro rectas ya mencionadas, como se muestra en la figura siguiente:

Teoremas sobre continuidad de funciones

Si las funciones f y g son continuas sobre los intervalos respectivamente y si entonces:

es continua sobre el intervalo U

es continua sobre U

es continua sobre U (Producto de dos funciones)

es continua sobre U, excepto para al final del captulo.

tal que

definida por continua para todo nmero real.

, donde

es un polinomio real, es

) al final del captulo

Segn el teorema son ejemplos de funciones continuas las siguientes:

Ejemplos 1. La funcin definida por es continua para todo

, ya que el polinomio en el denominador se hace cero 2. cuando se evala en , o

La funcin que
Teorema d

definida por y

es continua para

tal

Sean que

dos funciones tales

Adems

y g es continua en d.

Entonces
Demostracin:

al final del captulo.

Ejemplo: Sean y dos funciones tales que: ,

Como

y g es continua para

pues

, entonces

Teorema e

Si

es una funcin continua en

es una funcin continua en es continua en .

entonces la composicin de funciones

Demostracin:

al final del captulo.

Nota: La continuidad de la composicin de funciones es vlida para cualquier nmero finito de funciones, siempre y cuando se cumpla que cada funcin sea continua en su respectivo argumento. Ejemplo 1. Sean y dos funciones definidas por las siguientes , .

ecuaciones Note que todo

es una funcin polinomial y por lo tanto continua para . La funcin f es continua para

Luego la funcin para los valores de x tales que

ser continua sea mayor o igual que cero. , entonces la

Como y funcin h ser continua para todo valor real. 2.

Consideremos las funciones definidas por

,

. es continua

La funcin es continua para , y la funcin para todo valor real por ser funcin polinomial. Luego la funcin siempre 3. La funcin h definida por que sea mayor que cero. , dada por , es decir, siempre que .

sea continua

es continua siempre

Esta ltima condicin se satisface cuando

Teorema f

La funcin seno definida por o sea. sobre todo

Demostracin:

es continua sobre todo su dominio,

al final del captulo.

Ejemplo La funcin f definida por diferente de cero, pues en

Teorema g

es continua siempre que x sea se tiene que no est definida.

La funcin coseno denotada por

es continua sobre todo su

dominio

. Ejercicio para el estudiante.

Demostracin:

Ejemplo La funcin puede considerarse como la composicin de las , . Como la funcin f es continua , entonces la

funciones con ecuaciones para

y la funcin g es continua para todo x en

funcin h es continua siempre que sucede cuando:

sea mayor o igual a cero, lo que

par.

Algunas propiedades de las funciones continuas

Daremos ahora algunas propiedades de las funciones continuas sobre un intervalo, cuya interpretacin geomtrica parece hacerlas evidentes.

una funcin continua en c tal que Existe entonces un intervalo

. en el que f tiene el mismo signo

al final del Captulo.

Grficamente se tiene:

En este caso

para x cercano a c, pues

Teorema de Bolzano

una funcin continua en cada punto de un intervalo cerrado tiene signos opuestos. Entonces existe por lo menos un en el intervalo abierto al final del captulo. tal que

Geomtricamente puede interpretarse este teorema como sigue: la grfica de la funcin continua con ecuacin , que une los

puntos y , donde y , (o bien , ), corta o interseca el eje X por lo que menos un punto, como se representa en las figuras siguientes:

Note que

En este caso

Ejemplos 1. Consideremos la funcin f con ecuacin intervalo Como un en . , tal que . , . , , entonces existe por lo menos en el

En este caso

Grficamente se tiene:

2. Consideremos ahora la funcin con ecuacin intervalo en el

Como

, entonces existe por lo menos un valor

en el intervalo tal que La representacin grfica de la funcin es la siguiente:

Note que la funcin interseca al eje X en un valor entre -2 y -1 en un valor entre 3 y 4. Resolviendo se obtiene que ,

, y en ,

Teorema del valor intermedio para funciones continuas.

Sea f una funcin definida y continua en cada punto de un intervalo Sin y entre y y son dos puntos cualesquiera de tales que

, entonces la funcin f toma todos los valores comprendidos por lo menos una vez en el intervalo del Captulo. .

Demostracin: al final

Grficamente se tiene lo siguiente:

En otras palabras, si en los extremos del segmento dado la funcin toma valores diferentes comprendido entre y entre los valores A y B. Ejemplo , , tal que , siempre se encontrar un punto , cualquiera que sea el nmero k ,

Consideremos la funcin f con ecuacin , cuya representacin grfica es la siguiente:

definida en el intervalo

En este caso

(obviamente

Entonces, segn el Teorema anterior, siempre se encontrar algn valor entre y 4 cuya imagen est comprendida en y .

Si

existe

tal que

Si

existe

tal que

; en este caso

Es necesario hacer notar que el Teorema del valor intermedio es vlido nicamente cuando la funcin es continua en un intervalo dado. En caso de que la funcin sea discontinua, el Teorema no siempre se cumple.

Por ejemplo, consideremos la funcin siguiente ecuacin:

en el intervalo

definida por la

La representacin grfica es la siguiente:

Note que la funcin es discontinua en el intervalo el no existe. Se tiene que y que

, pues en .

Si se toma un valor k entre entre 0 y 2, tal que

y 1,

, no existe ningn valor C y 1. Si

, pues la funcin nunca toma valores entre

se trazara una recta con ecuacin , sta nunca intersecara a la curva. De aqu que la condicin de continuidad en el intervalo es indispensable para que se cumpla el Teorema.

Continuidad y funciones

Antes de establecer las relaciones entre las funciones inversas y los teoremas sobre continuidad, daremos las siguientes definiciones.
Definicin: Funcin estrictamente creciente

Se dice que una funcin f definida en un intervalo creciente, si para cada , con

es estrictamente se tiene que

Funcin estrictamente decreciente

Similarmente, una funcin f es estrictamente decreciente si

Por ejemplo, la funcin con ecuacin el intervalo de

es estrictamente creciente en

, como se muestra en la grfica siguiente:

La funcin con ecuacin se muestra en la figura siguiente:

es decreciente en el intervalo

como

Consideremos ahora la grfica de una funcin f, denotada por continua y estrictamente creciente en un intervalo

, que es

Segn el Teorema del valor intermedio, si "y" est comprendido entre y , entonces existe por lo menos un tal que . En este caso, , existe un nico

como f es una funcin estrictamente creciente, si

valor tal que Podra establecerse una nueva funcin g que tomara a " y" como la variable independiente, de tal forma que x sea igual a . Esta nueva funcin g recibe .

el nombre de funcin inversa de la funcin f y se denota por

Definicin: Funcin inversa

Sea f una funcin determinada por

Si existe una funcin entonces por

tal que

si y solo si

recibe el nombre de funcin inversa y est determinada

El dominio de

es el rango de , y el rango de

es el dominio de f.

As:

Por ejemplo, la funcin tiene como funcin inversa, la funcin definida por

La representacin grfica de ambas funciones es la siguiente

Note que una funcin y su inversa son simtricas respecto a la grfica de la funcin identidad.

Propiedades de las funciones inversas

Teorema k

Si una funcin f es continua y estrictamente creciente en un intervalo entonces: 1. existe la funcin inversa 2. es estrictamente creciente en 3. es continua en
Demostracin:

en el intervalo

al final del captulo

Ejemplo

Sea f la funcin definida por: Su representacin grfica es la siguiente:

Se observa que f es continua y estrictamente creciente en el teorema existe una funcin inversa estrictamente creciente.

. Luego, segn

que tambin es continua y

Dicha funcin est definida de la manera siguiente:

Su representacin grfica es la siguiente:

Teorema L

Si una funcin intervalo 1.

es continua y estrictamente decreciente en un

entonces:

f posee una funcin inversa denotada 2. es decreciente en 3. es continua en

, definida en

Ejemplo Consideremos la funcin f definida como sigue:

Su representacin grfica es la siguiente:

La funcin f es continua y estrictamente decreciente por lo que posee funcin inversa que tambin es continua y estrictamente decreciente. Dicha funcin est definida por:

Su representacin grfica es la siguiente:

Ejercicios 1.

Sea f la funcin definida por Represente grficamente esta funcin. Si f cumple las condiciones del teorema L o del teorema k, determine y haga la respectiva representacin grfica.

2. Proceda en forma similar a lo enunciado en 1. para

Nota: Los teoremas L y k enunciados anteriormente, sern de gran utilidad cuando estudiamos las funciones trigonomtricas inversas y sus derivadas en el prximo captulo.

Valores mximos y mnimos para funciones continuas

Definicin Mximo absoluto y mnimo absoluto

una funcin real de variable real definida en un conjunto U de nmeros reales. Se dice que la funcin f posee un mximo absoluto en el conjunto U, si existe por lo menos un valor c en U tal que . El nmero recibe el nombre de mximo absoluto en

Se dice que f posee un mnimo absoluto en U si existe un valor d en

U tal que

para todo

Ejemplo Consideremos la funcin f definida por:

en el intervalo Su representacin grfica en este intervalo es la siguiente:

Como funcin es Como funcin es Ejemplo

para todo

entonces el mximo absoluto de la

para todo

entonces el mnimo absoluto de la

Consideremos la funcin f definida por:

Su representacin grfica es la siguiente:

En este caso mximo absoluto de .

para todo

, por lo que

es el

Sin embargo, esta funcin no posee un mnimo absoluto.

Note que
Teorema de acotacin para funciones continuas

es una funcin continua en un intervalo cerrado , es decir, existe un nmero . tal que

entonces

Una demostracin de este teorema aparece en el libro Calculus

Ejemplo Sea f una funcin definida por:

Su representacin grfica es la siguiente:

es continua para todo

Note que

lo que puede escribirse como

, de donde

Luego Ejemplo

para

por lo que

es acotada en

Considere la funcin definida por:

Su representacin grfica es la siguiente

es continua para todo

Se tiene que

para

, por

lo que para . Luego

de donde es acotada en

y por tanto

Si una funcin f es acotada en un intervalo cerrado de todos los valores de

, entonces el conjunto

est acotado tanto superior como inferiormente.

Luego, este conjunto posee un extremo superior y un extremo inferior denotados por e respectivamente. Se escribe entonces:

El El

es el mayor de los es el menor de los

para para para todo

Para cualquier funcin acotada se tiene que

En el ejemplo inmediato anterior se tiene que el

es , y que el

es

Teorema del mximo (mnimo) para funciones continuas

Si una funcin

es continua en un intervalo cerrado

, entonces existe

puntos

en

tales que

Demostracin:

al final del captulo

Segn el teorema, podemos decir que si f es continua en es su mximo absoluto, y el

entonces el

es su mnimo absoluto. Luego, por el estarn en el

teorema del valor medio, los valores que toma intervalo .

Es indispensable que el intervalo sea cerrado, pues de no serlo, puede ocurrir que aunque una funcin sea continua en un intervalo abierto, no alcance en l ni su valor mximo ni su valor mnimo. Ejemplo Sea la funcin definida por:

Su representacin grfica es la siguiente:

Observe que aunque

es continua en ni

no posee ni mximo ni mnimo

absoluto, o sea no tiene ni Ejemplo Sea f la funcin definida por

En la grfica siguiente puede apreciarse que . Sin embargo

para

, por lo que

no posee un valor mximo absoluto.

Note que

Ejemplo
Sea f la funcin definida por

Su representacin grfica es la siguiente:

En este caso, el intervalo en el que est definida la funcin f s es cerrado. Note que que en tal que para . Adems por lo que existe para en tal

, por lo que existe

Se tiene entonces que es el mximo absoluto de la funcin y el corresponde a su mnimo absoluto.