Limite
En matemática, el concepto de límite es una noción
topológica que formaliza la noción intuitiva de
aproximación hacia un punto concreto de una sucesión o
una función, a medida que los parámetros de esa sucesión
o función se acercan a determinado valor.
En cálculo infinitesimal (especialmente en análisis
real y matemático) este concepto se utiliza para definir los
conceptos fundamentales
de convergencia, continuidad, derivación, integración,
entre otros. Si bien, el concepto de límite parece
intuitivamente relacionado con el concepto de distancia, en
un espacio euclídeo, es la clase de conjuntos
abiertosinducidos por dicha métrica, lo que permite definir
rigurosamente la noción de límite.
El concepto se puede generalizar a otros espacios
topológicos, como pueden ser las redes topológicas; de la
misma manera, es definido y utilizado en otras ramas de la
matemática, como puede ser la teoría de categorías.
Para fórmulas, el límite se utiliza usualmente de forma
abreviada mediante lim como en lim(an) = a o se
representa mediante la flecha (→) como en an → a.
Limite de una sucesión
La sucesión para converge al valor 0, como
se puede prever en la ilustración.
La definición de límite matemático para el caso de
una sucesión nos indica intuitivamente que los términos de
la sucesión se aproximan arbitrariamente a un único
número o punto , si existe, para valores grandes de .
Esta definición es muy parecida a la definición del límite de
una función cuando tiende a .
Formalmente, se dice que la sucesión tiende hasta
su límite , o queconverge o es convergente (a ), y se
denota como:
si y solo si para todo valor real ε>0 se puede encontrar
un número natural tal que todos los términos de la
sucesión, a partir de un cierto valor natural mayor que
converjan a cuando crezca ilimitadamente. Escrito en
unlenguaje formal, y de manera compacta:
límite, si existe, se puede demostrar que es único. Si
los términos de la sucesión no convergen a ningún punto
específico, entonces se dice que la sucesión es divergente.
Limite de una función
Visualización en un sistema de coordenadas
cartesianas de los parámetros utilizados en la definición de
límite.
En análisis real para funciones de una variable, se
puede hacer una definición de límite similar a la de límite
de una sucesión, en la cual, los valores que toma la función
dentro de un intervalo o radio de convergencia se van
aproximando a un punto fijado punto de acumulación ,
independientemente de que éste pertenezca al dominio de
la función1 . Esto se puede generalizar aún más a funciones
de varias variables o funciones en distintos espacios
métricos.
Informalmente, se dice que el límite de la función
f(x) es L cuando x tiende a c, y se escribe:
si se puede encontrar para cada ocasión
un x suficientemente cerca de c tal que el valor de f(x) sea
tan próximo a L como se desee.
Para un mayor rigor matemático se utiliza
la definición épsilon-delta de límite, que es más estricta y
convierte al límite en una gran herramienta del análisis
real. Su definición es la siguiente:
"El límite de f(x) cuando x tiende a c es igual a L si y
sólo si para todo número real ε mayor que cero existe un
número real δ mayor que cero tal que si la distancia
entre x y c es menor que δ, entonces la distancia entre
laimagen de x y L es menor que ε unidades".
Esta definición, se puede escribir utilizando
términos lógico-matemáticos y de manera compacta:
Esta definición es equivalente al límite de una sucesión,
una función es continua si:
Limite de una sucesión de con junto
En teoría de conjuntos también se utiliza el concepto
de límite, que se puede calcular sobre una sucesión de
conjuntos. Para ello, los conjuntos deben de cumplir una
serie de condiciones, como puede ser
la monotonía (creciente o decreciente). De manera más
general, y utilizando la definición de límite superior y
límite inferior para una sucesión de conjuntos
cualquiera , se dice que el límite de esta sucesión existe
si el límite superior y límite inferior existen y son iguales.
En general se tiene:
Si el límite primer término y el penúltimo son iguales
entonces se verifican todas las igualdades. Estos conceptos
son muy útiles en disciplinas de las matemáticas como
la teoría de la medida, especialmente en espacios de
probabilidad. No es difícil construir sucesiones no
convergentes donde se verifica que:
Limite en espacios topológicos
Redes
Todas las nociones anteriores de límite pueden ser
unificadas y generalizadas a espacios
topológicos arbitrarios mediante la introducción
de redes topológicas y la definición de sus límites.
Sea un espacio topológico y una red en . Se
dice que es un punto límite de la red si la
red está eventualmente en cada entorno de , es decir, si
cualquiera que sea el entorno de (esto es, cualquiera
que sea el conjunto de forma que exista un abierto tal
que ) existe un de tal forma que para
cada con se cumple que .
Filtros
En el caso de filtros, por ser objetos matemáticos
similares a redes topológicas, también es posible la
definición de límite. En efecto, sea X un espacio topológico
y x un punto de X. Se dice que un filtro base B converge
a x, denotado como B → xo , si para
todo entorno U de x, existe un B0 ∈ B tal que B0 ⊆ U. En
este caso, x se llama límite de B y B se denomina filtro base
convergente.
De igual manera, se puede aplicar a funciones,
extendiendo la definición de continuidad a éstas.
Si X, Y son dos espacios topológicos y f: X → Y es una
función, siendo B un filtro entorno en X de un
punto a perteneciente a X, entonces el límite con respecto
al filtro B de f es y, denotado como
si B converge a a, luego f converge a y; dicho de otra
forma, y es el límite de f en el punto a.
Limite de Banach
En análisis funcional, un límite de Banach es
un funcional lineal continuo definido sobre
el espacio de Banach para toda sucesión acotada
de números complejos, donde se cumplen una serie de
condiciones entre las que se encuentra que si es
una sucesión convergente, entonces ,
generalizando el concepto de límite. Por lo tanto, es una
4
extensión del funcional continuo
En particular, la existencia del límite de Banach no es
única.
Limites en teoría de categorías
En teoría de categorías, una rama de la matemática,
se define el concepto abstracto de límite, el cual usa
propiedades esenciales de construcciones universales tales
como productos y límites inversos.
Derivadas
En matemática, la derivada de una función es una
medida de la rapidez con la que cambia el valor de dicha
función matemática, según cambie el valor de su variable
independiente. La derivada de una función es un concepto
local, es decir, se calcula como el límite de la rapidez de
cambio media de la función en un cierto intervalo, cuando
el intervalo considerado para la variable independiente se
torna cada vez más pequeño. Por ello se habla del valor de
la derivada de una cierta función en un punto dado.
Un ejemplo habitual aparece al estudiar
el movimiento: si una función representa la posición de un
objeto con respecto al tiempo, su derivada es
la velocidad de dicho objeto. Un avión que realice un vuelo
transatlántico de 4500 km entre las 12:00 y las 18:00, viaja
a una velocidad media de 750 km/h. Sin embargo, puede
estar viajando a velocidades mayores o menores en
distintos tramos de la ruta.
En particular, si entre las 15:00 y las 15:30 recorre
400 km, su velocidad media en ese tramo es de 800 km/h.
Para conocer su velocidad instantánea a las 15:20, por
ejemplo, es necesario calcular la velocidad media en
intervalos de tiempo cada vez menores alrededor de esta
hora: entre las 15:15 y las 15:25, entre las 15:19 y las
15:21, etc.
Historia
Los problemas típicos que dieron origen al cálculo
infinitesimal, comenzaron a plantearse en la época clásica
de la antigua Grecia (siglo III a. C.), pero no se
encontraron métodos sistemáticos de resolución hasta
veinte siglos después (en el siglo XVII por obra de Isaac
Newton y Gottfried Leibniz).
En lo que atañe a las derivadas existen dos conceptos de
tipo geométrico que le dieron origen:
El problema de la tangente a una curva (Apolonio de
Perge)
El Teorema de los extremos: máximos y mínimos
(Pierre de Fermat)
En su conjunto dieron origen a lo que modernamente se
conoce como cálculo diferencial.
Siglo XVII
Los matemáticos perdieron el miedo que los griegos le
habían tenido a los infinitos: Johannes
Kepler y Bonaventura Cavalieri fueron los primeros en
usarlos, empezaron a andar un camino que llevaría en
medio siglo al descubrimiento del cálculo infinitesimal.
A mediados del siglo XVII las cantidades
infinitesimales fueron cada vez más usadas para resolver
problemas de cálculos de tangentes, áreas, volúmenes; los
primeros darían origen al cálculo diferencial, los otros al
integral.
Newton y Leibniz
A finales del siglo XVII se sintetizaron en dos
conceptos los algoritmos usados por sus predecesores, en
lo que hoy llamamos «derivada» e «integral». La historia
de la matemática reconoce que Isaac Newton y Gottfried
Leibnitz son los creadores del cálculo diferencial e
integral. Ellos desarrollaron reglas para manipular las
derivadas (reglas de derivación) eIsaac Barrow demostró
que la derivación y la integración son operadores inversos.
Newton desarrolló en Cambridge su propio método
para el cálculo de tangentes. En 1665 encontró un
algoritmo para derivar funciones algebraicas que coincidía
con el descubierto por Fermat. A finales de 1665 se dedicó
a reestructurar las bases de su cálculo, intentando
desligarse de los infinitesimales, e introdujo el concepto de
fluxión, que para él era la velocidad con la que una
variable «fluye» (varía) con el tiempo.
Gottfried Leibniz, por su parte, formuló y desarrolló el
cálculo diferencial en 1675. Fue el primero en publicar los
mismos resultados que Isaac Newton descubriera 10 años
antes. En su investigación conservó un carácter
geométrico y trató a la derivada como un cociente
incremental y no como una velocidad, viendo el sentido de
su correspondencia con la pendiente de la recta tangente a
la curva en dicho punto.
Leibniz es el inventor de diversos símbolos
matemáticos. A él se deben los nombres de: cálculo
diferencial y cálculo integral, así como los símbolos de
derivada y el símbolo de la integral ∫.
En terminología clásica, la diferenciación manifiesta
el coeficiente en que una cantidad cambia a consecuencia
de un cambio en otra cantidad .
En
matemáticas, coeficiente es
un factor multiplicativo que
pertenece a cierto objeto
como una variable, un
vector unitario, una función
base, etc.
En física, coeficiente es una
expresión numérica que
mediante alguna fórmula determina las características o
propiedades de un cuerpo.
En nuestro caso, observando la gráfica de la derecha,
el coeficiente del que hablamos vendría representado en el
punto de la función por el resultado de la división
representada por la relación , que como puede
comprobarse en la gráfica, es un valor que se mantiene
constante a lo largo de la línea recta azul que representa la
tangente en el punto de la función. Esto es fácil de
entender puesto que el triángulo rectángulo formado en la
gráfica con vértice en el punto , por mucho que lo
dibujemos más grande, al ser una figura proporcional el
resultado de es siempre el mismo.
Esta noción constituye la aproximación más veloz a la
derivada, puesto que el acercamiento a la pendiente de la
recta tangente es tanto por la derecha como por la
izquierda de manera simultánea.
Límite como cociente de diferencias
Recta secante entre f(x) y f(x+h).
La derivada de una función es la pendiente
geométrica de la recta tangente del gráfico de en . Sin
el concepto que se va a definir, no es posible encontrar
directamente la pendiente de la línea tangente a una
función dada, porque solamente se conoce un punto en la
línea tangente: . La idea es aproximar la línea
tangente con múltiples líneas secantes que tienen
distancias progresivamente más pequeñas entre los dos
puntos que cruzan.
Cuando se toma el límite de las pendientes de las
líneas secantes de esta progresión, se consigue la
pendiente de la línea tangente. Se define, pues, la derivada
tomando el límite de la pendiente de las líneas secantes, al
acercarlas a la línea tangente. Para encontrar las
pendientes de las líneas secantes próximas, se elige un
número relativamente pequeño. representa un cambio
relativamente pequeño en , el cual puede ser positivo o
negativo. La pendiente de la recta que pasa por los dos
puntos y es:
Inclinación de la secante de la curva y=f(x).
expresión denominada «cociente de Newton».1
La derivada de en es entonces el límite del valor
del cociente diferencial, conforme las líneas secantes se
aproximan a la línea tangente:
.
Si la derivada de existe en todos los puntos , se
puede definir la derivada de como la función cuyo valor
en cada punto es la derivada de en .
Puesto que sustituir por 0 produce una división por
cero, calcular directamente la derivada puede no ser
intuitivo. Una técnica posible consiste en operar en el
numerador, de manera que se pueda cancelar la del
denominador. Y eso es posible fácilmente en
los polinomios. Pero para muchas otras funciones el
resultado es incierto. Afortunadamente, hay reglas
generales que facilitan diferenciar la mayoría de
las funciones simples.
Continuidad y diferenciabilidad
Una condición necesaria pero no suficiente para que
una función sea derivable en un punto es que esta sea
continua. Intuitivamente, una función continua es aquella
en la cual pequeños incrementos en los elementos del
dominio de la variable dependiente produce pequeños
incrementos en el valor de dicha función, de manera que
.
Haciendo estos incrementos cada vez más pequeños,
las variaciones se hacen más pequeñas; cuando estos se
aproximan a cero, en el límite,
con lo que se obtiene, f(x)=y. Para un punto particular a,
quiere decir que , y si este último límite existe
significa en consecuencia por un teorema de límites (un
límite existe si y sólo si los dos límites laterales existen y
son iguales) que toda función f(x) que cumpla con
es continua en el punto a. Como consecuencia lógica, toda
función derivable en el intervalo abierto I, es continua en I.
Condición necesaria
La función valor absoluto no tiene derivada
en el punto (0,0).
La relación no funciona a la inversa: el que una
función sea continua no garantiza su derivabilidad. Es
posible que los límites laterales sean iguales pero las
derivadas laterales no; en este caso concreto, la función
presenta un punto anguloso en dicho punto.
Un ejemplo — recurrente en la literatura usual —
puede ser la función valor absoluto (también llamada
módulo) en el punto . Dicha función se expresa:
Para valores infinitamente cercanos a 0, por ambas ramas,
el resultado tiende a 0. Y el resultado en el punto 0 es
también 0, por lo tanto es continua. Sin embargo, las
derivadas resultan:
Cuando vale 0, las derivadas laterales dan
resultados diferentes. Por lo tanto, no existe derivada en el
punto, a pesar de que sea continuo.
De manera informal, si el gráfico de la función tiene
puntas agudas, se interrumpe o tiene saltos, no es
derivable. Sin embargo, la función y=x|x| es diferenciable
para todo x. Hállese su función derivada. En otros
términos, que una función sea continua es una condición
necesaria para que dicha función sea diferenciable. (Ver
"Análisis matemático" de Apóstol.)
Derivada de una función
Considerando la función f definida en
el intervalo abierto I y un punto a fijo en I, se tiene que
la derivada de la función f en el punto se define como
sigue:
,
si este límite existe, de lo contrario, , la derivada, no está
definida. Esta última expresión coincide con la velocidad
instantánea del movimiento continuo uniforme acelerado
en cinemática.
Aunque podrían calcularse todas las derivadas
empleando la definición de derivada como un límite,
existen reglas bien establecidas, conocidas como teoremas
para el cálculo de derivadas, las cuales permiten calcular
la derivada de muchas funciones de acuerdo a su forma sin
tener que calcular forzosamente el límite. Tales reglas son
consecuencia directa de la definición de derivada y de
reglas previas, como puede apreciarse en todo buen texto
de cálculo infinitesimal.
También puede definirse alternativamente la derivada
de una función en cualquier punto de su dominio de la
siguiente manera:
,
La cual representa un acercamiento de la pendiente
de la secante a la pendiente de la tangente ya sea por la
derecha o por la izquierda según el signo de . El aspecto
de este límite está relacionado más con la velocidad
instantánea del movimiento uniformemente acelerado que
con la pendiente de la recta tangente a una curva.
No obstante su aparente diferencia, el cálculo de la
derivada por definición con cualquiera de los límites
anteriormente expresados, proporciona siempre el mismo
resultado.
Ejemplo
Sea la función cuadrática f(x)= x2 definida para
todo x perteneciente a los reales. Se trata de calcular la
derivada de esta función para todo punto x ∈ R — puesto
que es continua en todos los puntos de su dominio —,
mediante el límite de su cociente de diferencias de
Newton. Así,
