Continuidad (matemática)

De Wikipedia, la enciclopedia libre

Conceptos en el Cálculo

Integración

Métodos de integración | Integrales impropias | Lista de integrales

Tabla de contenidos

1 Definición general
2 Funciones reales de una variable real

[editar] Definición general

Sean $(X, T X)$ e $(Y, T Y)$ dos espacios topológicos. Una aplicación $f:X \longrightarrow Y$ se dice que es continua si $f - 1 (G)$ es un abierto de $X$ , cualquiera que sea el abierto $G$ de $Y$ .

Con la misma notación, si $x \in X$ , diremos que $f$ es continua en $x$ cuando se obtiene que $f - 1 (V)$ es un entorno de $x$ , cualquiera que sea el entorno $V$ de $f (x)$ .

Es inmediato entonces comprobar que $f$ es continua cuando y sólo cuando es continua en $x \in X$ , cualquiera que sea éste, es decir, cuando y sólo cuando sea continua en cada uno de los puntos de su dominio.

[editar] Funciones reales de una variable real

[editar] Introducción

Informalmente hablando, una función f definida sobre un intervalo I es continua si la curva que la representa, es decir el conjunto de los puntos (x, f(x)), con x en I, está constituida por una sola pieza, en el sentido de que se puede dibujarla sin levantar el lápiz del papel, como en la figura de la izquierda.

El intervalo I = [-5, 9] (cifras rojas) es el dominio de definición de f, el conjunto de los valores de x para los cuales f(x) tiene sentido.

El intervalo J = [-5, 4] (cifras azules) es el codominio (también conocido como contradominio, rango o imagen) de f, el conjunto de los valores tomados por y = f(x). Se escribe J = f(I).

El mayor elemento de J (aquí 4) se llama el máximo de f, y el menor elemento de J (aquí -5) es su mínimo.

[editar] Continuidad de una función en un punto

En el caso de aplicaciones de $\mathbb{R}$ en $\mathbb{R}$ , y de una manera más rigurosa se dice que una función f es continua en un punto a si existe f(a), si existe el límite de f(x) cuando x tiende hacia a por la derecha, si existe el límite de f(x) cuando x tiende hacia a por la izquierda, y además coinciden con f(a).

Así pues, una función f continua en el punto a implica lo siguiente:

Existe f(a):

$\exists f(a)$

tiene limite por la izquierda:

$\exists \lim_{x \to a^-} f(a) \in \mathbb{R}$

tiene limite por la derecha:

$\exists \lim_{x \to a^+} f(a) \in \mathbb{R}$

El límite por la derecha por la izquierda y el valor de la función coinciden:

$\lim_{x \to a^-} f(a) = \lim_{x \to a^+} f(a) = f(a)$

Es decir: el límite de la tasa de variación es cero cuando el incremento de la variable independiente , h, tiende a cero:

$\lim_{h \to 0} [f(a+h) - f(a)] = 0$

La función dibujada, está definida sobre [-6, 6], continua sobre [-6, 1) ∪ (1, 6], es decir que no es continua en x = 1, porque $f (1) + = 4$ mientras que el límite a la izquierda $f (1) - = 3$ , o sea, al pasar de $1 -$ a $1 +$ , la función efectúa un salto.

[editar] Una definición más exacta es

Si f(a)= b, la continuidad en a se expresa así:

$\lim_{x \to a} f(x) = b$

parafraseando, cuando x se aproxima a a, f(x) se aproxima a b. Por definición de los límites, esto significa que para todo intervalo abierto J centrado en b (en rojo en la figura), existe un intervalo abierto I centrado en a (en azul) tal que $f(I) \in J$ .

Si f ejecuta un salto (en el punto (c, d) de la figura) el teorema cae en falta. En efecto si se toma un intervalo J centrado en d (en amarillo) con un radio inferior al salto de f, todo intervalo I (en verde) alrededor de c, no importa cuan pequeño es, tiene una imagen que sale de J. La ventaja de esta definición es que se generaliza a cualquier espacio topológico.

[editar] Continuidad lateral

Una función f es continua por la izquierda en el punto x = a si el límite lateral por la izquierda y el valor de la función en el punto son iguales. Es decir:

$\lim_{x^- \to a} f(x) = f(a)$

Una función f es continua por la derecha en el punto x = a si su límite lateral por la derecha y el valor de la función en el punto son iguales. Es decir :

$\lim_{x^+ \to a} f(x) = f(a)$

Una función f es continua en un punto si es continua por la izquierda y es continua por la derecha. Esto es:

$\lim_{x^- \to a} f(x) = \lim_{x^+ \to a} f(x) = f(a)$

[editar] Continuidad de una función en un intervalo

Una función, f es continua en un intervalo I, si y sólo si la función es continua en todos los puntos del intervalo, es decir:

f es continua en un intervalo I ⇔ $\forall a \in I, \lim_{x \to a} f(x) = f(a)$

Dado que una función f es continua en un intervalo abierto (a, b) si la función es continua en todos los puntos del intervalo, entonces f es continua en el intervalo cerrado [a, b] si y sólo si es continua en el intervalo (a, b) y además es continua en el punto a por la derecha y en el punto b por la izquierda.

La función anterior es continua tanto en [-6, 1) como en (1, 6].

[editar] Algunas funciones continuas importantes

Función seno

Las funciones polinomiales, trigonométricas: seno y coseno, las exponenciales y los logaritmos son continuas en sus respectivos dominios de definición.

La parábola, como función polinómica, es un ejemplo de función continua a lo largo de todo el dominio real.

En la gráfica se ve la función seno que es periódica, acotada y continua en todo el domino real, dado su carácter periódico, con ver uno solo de los ciclos es suficiente para comprobar la continuidad, porque el resto de los ciclos son exactamente iguales.

[editar] Algunas funciones discontinuas

Los puntos de discontinuidad de una función y= f(x), son los valores de x en los que la función f(x) toma valor infinito, o no existe, según el tipo de función podemos ver:

En las funciones racionales: son discontinuas en los puntos donde el denominador se hace cero. Un ejemplo de esto es la función inverso de x:

$f(x) = \frac {1}{x}$

Esta función es una hipérbola compuesta por dos tramos. x < 0 y x > 0. Como vemos, efectivamente es continua en todo su dominio $\left(- \infty ,0 \right) \cup \left( 0 , + \infty \right)$ pero no esta definida en x= 0 por lo que no es una función continua. Aunque este formada por dos ramas continuas cada una de por si.

La función raíz: para los valores de x, en los que el radicando toma valores negativos:

$f(x) = \sqrt{ \sin{x}}$

La función seno toma valores positivos y negativos, la raíz de números negativos no esta definida para $\mathbb{R}$ , donde la función es discontinua.

La función trigonométrica Tangente es periódica y discontinua para $π / 2$ en cada ciclo.

[editar] Funciones definidas por intervalos

La funciones definidas para distintos intervalos de x, puede ser discontinua en los puntos de cambio de intervalo, como por ejemplo:

La Función parte entera de x, E(x), donde E(x) es el mayor número entero inferior o igual a x, tal que:

E(x) ≤ x < E(x) + 1.

Su curva es una sucesión de segmentos horizontales a distintas alturas. Esta función no es continua en los enteros, pues los límites a la izquierda y a la derecha difieren de uno, pero es continua en los segmentos abiertos (n, n+1) donde es constante.

Otras funciones definidas por intervalos

Función escalón unitario

Función signo

[editar] Funciones que no son continuas en ninguna parte

Existen funciones que no son continuas en ningún punto. La más conocida es la función característica de Q, es decir la función que toma como valor 1 cuando x pertenece al conjunto de los racionales, y 0 si no.

Obviamente, no se puede dibujar su curva, que está constituida por una infinidad de puntos en la recta y= 0 , y una infinidad (menor) de puntos en la recta y= 1.

[editar] Tipos de discontinuidades

Ahora vemos distintos casos de funciones que son continuas en todos los puntos de un intervalo excepto en un número finito de puntos. Con esto queremos decir que, si tomamos un punto en concreto del intervalo en el que la función no es continua, podemos encontrar otro nuevo intervalo más pequeño en el que el punto tomado sea el único punto en el que la función no es continua.

[editar] Discontinuidad evitable

Una función presenta un punto de Discontinuidad evitable (o removible) si en ese punto se cumple que:

$\lim_{x \to a^-} f(a) = \lim_{x \to a^+} f(a)$
$\not\exists f(a)$

Pueden ser transformadas en otra función continua, dándole a f(a) el valor adecuado que la hace continua. Si modificamos una función obtenemos otra función, no la misma, por ello se dice que son evitables.

ejemplo:

La función:

$f(x)= \frac{x^2 - 4}{x - 2}$

Presenta los siguientes limites por la izquierda y por la derecha:

$\lim_{x \to 2^-} \frac{x^2 - 4}{x - 2} = 4$

$\lim_{x \to 2^+} \frac{x^2 - 4}{x - 2} = 4$

pero la función para x= 2 no esta definida:

$f(2)= \frac{x^2 - 4}{x - 2} = \frac{0}{0}$

en este un caso de discontinuidad evitable y además de un modo sencillo:

$f(x)= \frac{x^2 - 2^2}{x - 2}$

lo que es lo mismo:

$f(x)= \frac{(x + 2)(x - 2)}{x - 2}$

simplificando:

$f(x)= (x + 2) \,$

esta función es continua para todo x de valor real y es equivalente a la primera función, excepto en que la primera es discontinua para x= 2.

[editar] Discontinuidad de primera especie

Una función presenta una discontinuidad de primera especie en un punto a, si en este punto a se cumple que:

$\lim_{x \to a^-} f(a) \ne \lim_{x \to a^+} f(a)$

se produce un salto en los extremos.

[editar] Discontinuidad de segunda especie

Son las que tienen puntos para los que existe solo uno o ningún límite. Por ejemplo la función $f(x) = \sqrt{x}$ . Ésta tiene una discontinuidad de segunda especie en 0 pues no existe el límite $\lim_{x \to 0^-} f(x)$

$\not\exists\lim_{x \to a^-}f(a)$ o $\not\exists\lim_{x \to a^+}f(a)$

[editar] Discontinuidad asintótica

La discontinuidad viene marcada por una asíntota vertical. Se cumple lo siguiente:

$\lim_{x \to a^-} f(a) = \pm \infty$

$\lim_{x \to a^+} f(a) = \pm \infty$

Más información en: función discontinua

[editar] Derivabilidad implica continuidad

Si una función es derivable en x= a entonces es continua en x= a.

Hipótesis: Existe f'(a)

Tesis: f(x) es continua en x= a

Demostración:

$f(x) - f(a) = f(x) - {{f(a)}^{}}^{}$

$f(x) - f(a) = \frac {(f(x) - f(a)) (x - a)} {(x - a)}$

$f(x) = \frac {(f(x) - f(a)) (x - a)} {(x - a)} + f(a)$

$\lim_{x \to a}f(x)= \lim_{x \to a} \frac {(f(x) - f(a))} {(x - a)}$

$\lim_{x \to a} (x - a) + \lim_{x \to a} f(a) = f '(a) \cdot 0 + f(a) = f(a)$

Es importante notar que el recíproco no es válido; es decir que nada se puede afirmar sobre la derivabilidad de una función continua. Un ejemplo claro de esta situación es la función valor absoluto f(x)= |x| que si bien es continua en todo su dominio no es derivable en x= 0

[editar] Teoremas sobre funciones continuas

Estos son algunos de los teoremas más importantes sobre funciones continuas.

Teorema de Weierstrass: Si f es continua en ${[a;b]^{}}^{}$ entonces presenta máximos y mínimos absolutos.
Teorema de Bolzano: Si f es continua en $[a;b] \and f(a).f(b) < 0 \rarr \exists c \in (a;b) / f(c) = 0$
Teorema del valor medio: Si f es continua en $[a;b] \and f(a) < k < f(b) \rarr \exists c \in (a;b) / f(c) = k$