Nothing Special   »   [go: up one dir, main page]

Ir al contenido

Continuidad uniforme

De Wikipedia, la enciclopedia libre
Gráfica de una función continua uniforme
A medida que el centro de la ventana azul, de alto y ancho , se mueve a lo largo de la gráfica de hacia llega un momento en el que la gráfica de corta la parte superior y/o la parte inferior de la ventana. Esto significa que toma un valor con un error mayor que respecto de aunque se restrinja a puntos a una distancia menor que del punto . Si para cualquier altura de la ventana existiera un ancho de forma que el gráfico nunca penetrara su parte superior y/o inferior, significaría que la función es uniformemente continua. Por eso la función no lo es. En cambio, podemos observar que para la función roja la ventana de la figura sirve para lo que queríamos. Para cualquier otra altura de la ventana podemos hacer algo parecido. Esto significa que es uniformemente continua.

En análisis matemático una función se dice que es uniformemente continua si pequeños cambios en el valor de producen pequeños cambios en el valor de la función (continuidad) y el tamaño de los cambios de depende sólo del tamaño de los cambios en x pero no del valor de x donde se midan esos cambios (uniforme). Concretamente, significa que para cualquier error deseado para los valores que toma la función, por pequeño que sea, existe una distancia de forma que nos centremos en el punto del dominio donde nos centremos, si sólo consideramos puntos separados de tanto como , sus imágenes tendrán un error respecto de menor que .

La diferencia con la continuidad (no uniforme) es que en esta última la distancia a cada punto necesaria para asegurar que las imágenes tengan un error menor que puede depender del punto del dominio considerado, mientras que para la continuidad uniforme debe existir un que valga simultáneamente para todos los puntos del dominio.

Por ejemplo, la función definida para de la imagen de abajo a la derecha no es uniformemente continua (aunque sí que es continua). Para ver esto, nótese que para conseguir un mismo error en las imágenes de la función, para puntos cercanos a 0 debemos restringir los puntos considerados a distancias infinitamente pequeñas; no existe pues una misma distancia que sirva para todos: para cualquier supuesta distancia que sirviera, podríamos encontrar puntos (cercanos a 0) para los cuales los valores de la función en un entorno de diámetro alrededor del punto variaran tanto como queramos.

Definición

[editar]

Dados dos espacios métricos y , y entonces una función se llama uniformemente continua en M si para cualquier número real existe tal que , implica que para todo , es decir, usando cuantificadores, si

.

En particular, una función es uniformemente continua en un intervalo si para todo existe algún tal que para todo se cumple que si , entonces .[1]

A diferencia de la continuidad, donde el valor de puede depender del punto x, en las funciones uniformemente continuas no depende del punto considerado. Concretamente, esto se ve en el orden de los cuantificadores de las definiciones de continuidad uniforme y de continuidad. Esta última se define como sigue:

.

Es decir, para la continuidad uno primero toma un punto arbitrario y luego debe encontrar un que valga para ese punto (luego puntos distintos pueden usar deltas distintos):

mientras que para la continuidad uniforme uno primero debe encontrar un que luego le sirva para cualquier punto en el que quiera comprobar la condición:

Ejemplos

[editar]
  • La función f(x)=1/x con x>0 es continua pero no uniformemente continua
  • La función f(x)=x es uniformemente continua en el intervalo [0,1].
  • Todo polinomio cuyo grado sea mayor o igual que uno es uniformemente continuo en cualquier intervalo cerrado.

Resultados

[editar]
  • De la definición se deduce que toda función uniformemente continua es continua. Lo contrario (toda función continua es uniformemente continua) no siempre es cierto. Ejemplo: Si y . es continua y no es uniformemente continua. Sin embargo, se verifica que:

Si M es un espacio métrico compacto e Y un espacio métrico, entonces toda función continua f : M → Y es uniformemente continua. En particular, toda función continua sobre un intervalo cerrado y acotado es uniformemente continua en dicho intervalo (Teorema de Heine-Cantor).

Notas y referencias

[editar]
  1. Spivak, Michael (1992). Cálculo infinitesimal (2 edición). Reverté. ISBN 968-6708-18-9.