MATEMÁTICAS3: ESTÁ CLARO QUE AQUÍ NO HAY CONTINUIDAD MATEMÁTICA. En matemáticas, una función continua es aquella para la cual, intuitivamente, para puntos cercanos del dominio se producen pequeñas variaciones en los valores de la función. Si la función no es continua, se dice que es discontinua. Generalmente una función continua es aquella cuya gráfica puede dibujarse sin levantar el lápiz del papel.

06 de diciembre de 2010 - 20:07 - Matemáticas3

Función continua

De Wikipedia, la enciclopedia libre

(Redirigido desde Continuidad (matemática))

En matemáticas, una función continua es aquella para la cual, intuitivamente, para puntos cercanos del dominio se producen pequeñas variaciones en los valores de la función. Si la función no es continua, se dice que es discontinua. Generalmente una función continua es aquella cuya gráfica puede dibujarse sin levantar el lápiz del papel.

La continuidad de funciones es uno de los conceptos principales de la topología. El artículo describe principalmente la continuidad de funciones reales de una variable real.

Contenido

[ocultar]

[editar] Funciones reales de una variable real

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 un trazo continuo, es decir un trazo que no está roto, ni tiene "hoyos" ni "saltos", como en la figura de la derecha.

El intervalo I de x es el dominio de definición de f, definido como el conjunto de los valores de x para los cuales f(x) existe.

El intervalo J de y es el rango (también conocido como imagen) de f, el conjunto de los valores de y, tomados como y = f(x). Se escribe J = f(I). Notar que en general, no es igual que el codominio (sólo es igual si la función en cuestión es suprayectiva.)

El mayor elemento de J' se llama el máximo absoluto de f en I, y el menor valor de J es su mínimo absoluto en el dominio I.

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

Definición de continuidad en un punto

Una función f es continua en un punto Xo en el dominio de la función

si: $forall varepsilon > 0 quad exists delta> 0 ;$ tal que para toda x en el dominio de la función:

$0<|x-x_0|<delta Rightarrow |f(x)-f(x_0)|<varepsilon$

Otra manera más simple:
Si x_o es punto de acumulación del dominio de la función entonces f es continua en x_o

si y sólo si $lim_{x to x_o} f(x)=f(x_0)$ . Cuando x_o no es de acumulación del dominio, la función es continua en ese 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 x₁ si existe f(x₁), si existe el límite de f(x) cuando x tiende hacia x₁ por la derecha, si existe el límite de f(x) cuando x tiende hacia x₁ por la izquierda, y además ambos coinciden con f(x₁).

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

Existe f(x₁):

$exists f(x_1)$

existe el límite por la izquierda:

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

existe el límite por la derecha:

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

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

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

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(x_1+h) - f(x_1)] = 0$

Si f(x₁)= y₁, la continuidad en x₁ se expresa así:

$lim_{x to x_1} f(x) = y_1$

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

Si f ejecuta un salto en el punto, el teorema cae en falta. En efecto no todo intervalo I alrededor de x₁ tiene su imagen en un intervalo J centrado en y₁, con un radio inferior al salto de f, no importa lo pequeño que este intervalo sea, hay valores de x del intervalo I alrededor de x₁ que tiene su imagen en un intervalo K centrado en y₂, siendo y₁ y y₂ valores distintos, esto es: x tiene imágenes que se salen 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 = x 1$ 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 x_1^-} f(x) = f(x_1)$

como en la figura.

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

$lim_{xto x_1^+ } f(x) = f(x_1)$

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

$lim_{xto x_1^- } f(x) = lim_{xto x_1^+ } f(x) = f(x_1)$

[editar] Continuidad de una función en un intervalo {a;b}

Una función, $f$ es continua en un intervalo $I$ , si y solo 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 solo 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

Funciones seno y coseno.

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] Funciones definidas por intervalos

Artículo principal: Función definida a trozos

Las 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 son:

Función escalón unitario Función signo

[editar] Función racional

Artículo principal: función racional

Las funciones racionales son continuas en un intervalo adecuado. 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 el dominio $left(- infty ,0 right) cup left( 0 , + infty right)$ porque no está definida en x= 0. Si se extiende el dominio de la función a R (dándole un valor arbitrario a f(0)) la función será discontinua.

[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]$ y $f (a) > 0$ y $f (b) < 0$ , entonces $exists c in [a,b]$ tal que $f (c) = 0$
Teorema del valor intermedio: Si f es continua en $[a, b]$ y $f (a) < k < f (b)$ entonces $exists c in [a,b]$ tal que $f (c) = k$

[editar] Derivada y continuidad

Las funciones derivables son continuas. Si una función es derivable en x= a entonces es continua en x= a.

[mostrar]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)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. Incluso hay funciones continuas en todo $mathbb{R}$ pero no derivables en ningún punto (las funciones del movimiento browniano verifican esto con probabilidad 1).

[editar] Clase de continuidad

Una función $f:Omegasubset mathbb{R} longrightarrow mathbb{R}$ , se dice:

de clase $C^k(Omega),$ si está definida en todo el dominio $Ω$ junto con sus derivadas hasta orden $k ge 1$ y todas ellas son continuas.
Una función continua aunque no diferenciable en todo el domino, se dice que es de clase $C^0(Omega),$ .
Una función es de clase $C^infty(Omega),$ si tiene derivadas continuas de cualquier orden. Aunque muchas sí lo son, no toda función de este tipo es analítica.
Una función es de clase $C^{-1}(Omega),$ si es la derivada en el sentido de las distribuciones de una función de clase $C^0(Omega),$ .
Una función generalizada se dice de clase $C^{-k}(Omega),$ si es la derivada k-ésima en el sentido de las distribuciones de una función de clase $C^0(Omega),$ .

[editar] Funciones continuas en espacios topológicos

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 si y solo si es continua en $x in X$ , cualquiera que sea éste, es decir, cuando sea continua en cada uno de los puntos de su dominio.

[editar] Véase también

Obtenido de "http://es.wikipedia.org/wiki/Funci%C3%B3n_continua"

Categorías: Análisis matemático | Topología | Funciones