stringtranslate.com

Límite inferior y límite superior

En matemáticas , el límite inferior y el límite superior de una secuencia pueden considerarse como límites limitantes (es decir, eventuales y extremos) de la secuencia. Pueden considerarse de manera similar para una función (ver límite de una función ). Para un conjunto , son el ínfimo y el supremo de los puntos límite del conjunto , respectivamente. En general, cuando hay múltiples objetos alrededor de los cuales se acumula una secuencia, función o conjunto, los límites inferior y superior extraen el más pequeño y el más grande de ellos; el tipo de objeto y la medida del tamaño dependen del contexto, pero la noción de límites extremos es invariante. El límite inferior también se llama límite ínfimo , límite ínfimo , liminf , límite inferior , límite inferior o límite interno ; el límite superior también se conoce como límite supremo , límite supremum , limsup , límite superior , límite superior o límite externo .

Ilustración de límite superior e inferior. La secuencia x n se muestra en azul. Las dos curvas rojas se aproximan al límite superior e inferior de x n , que se muestran como líneas discontinuas negras. En este caso, la secuencia se acumula alrededor de los dos límites. El límite superior es el mayor de los dos y el límite inferior es el menor. Los límites inferior y superior concuerdan si y solo si la secuencia es convergente (es decir, cuando hay un único límite).

El límite inferior de una secuencia se denota por y el límite superior de una secuencia se denota por

Definición de secuencias

ElEl límite inferior de una secuencia (x n ) se define por o

De manera similar, laEl límite superior de (x n ) está definido por o

Alternativamente, a veces se utilizan las notaciones y .

Los límites superior e inferior pueden definirse de manera equivalente utilizando el concepto de límites subsiguientes de la sucesión . [1] Un elemento de los números reales extendidos es un límite subsiguiente de si existe una sucesión estrictamente creciente de números naturales tal que . Si es el conjunto de todos los límites subsiguientes de , entonces

y

Si los términos de la sucesión son números reales , el límite superior y el límite inferior siempre existen, ya que los números reales junto con ±∞ (es decir, la recta numérica real extendida ) son completos . En términos más generales, estas definiciones tienen sentido en cualquier conjunto parcialmente ordenado , siempre que existan el supremo y el ínfimo , como en un retículo completo .

Siempre que exista el límite ordinario, el límite inferior y el límite superior son ambos iguales a él; por lo tanto, cada uno puede considerarse una generalización del límite ordinario, lo cual es principalmente interesante en los casos en que el límite no existe . Siempre que existan lim inf  x n y lim sup  x n , tenemos

Los límites inferior y superior están relacionados con la notación O mayúscula en el sentido de que limitan una secuencia solo "en el límite"; la secuencia puede exceder el límite. Sin embargo, con la notación O mayúscula la secuencia solo puede exceder el límite en un prefijo finito de la secuencia, mientras que el límite superior de una secuencia como e n puede ser en realidad menor que todos los elementos de la secuencia. La única promesa que se hace es que alguna cola de la secuencia puede estar limitada por arriba por el límite superior más una constante positiva arbitrariamente pequeña, y limitada por abajo por el límite inferior menos una constante positiva arbitrariamente pequeña.

El límite superior y el límite inferior de una secuencia son un caso especial de los de una función (ver más abajo).

El caso de las sucesiones de números reales

En el análisis matemático , el límite superior y el límite inferior son herramientas importantes para estudiar sucesiones de números reales . Dado que el supremo y el ínfimo de un conjunto ilimitado de números reales pueden no existir (los reales no son una red completa), es conveniente considerar sucesiones en el sistema de números reales extendido afínmente : sumamos los infinitos positivos y negativos a la línea real para obtener el conjunto completo totalmente ordenado [−∞,∞], que es una red completa.

Interpretación

Consideremos una sucesión formada por números reales. Supongamos que el límite superior y el límite inferior son números reales (es decir, no infinitos).

Propiedades

En caso de que la secuencia esté acotada, para casi todos los miembros de la secuencia se encuentran en el intervalo abierto

La relación entre el límite inferior y el límite superior para sucesiones de números reales es la siguiente:

Como se mencionó anteriormente, es conveniente extender a Entonces, en converge si y solo si en cuyo caso es igual a su valor común. (Tenga en cuenta que cuando se trabaja solo en convergencia a o no se consideraría como convergencia). Dado que el límite inferior es como máximo el límite superior, se cumplen las siguientes condiciones

Si y , entonces el intervalo no necesita contener ninguno de los números , pero cada pequeña ampliación para índices arbitrariamente pequeños contendrá para todos, excepto un número finito . De hecho, el intervalo es el intervalo cerrado más pequeño con esta propiedad. Podemos formalizar esta propiedad de esta manera: existen subsecuencias y de (donde y son crecientes) para las cuales tenemos

Por otra parte, existe un modo en que para todos

Para recapitular:

Por el contrario, también se puede demostrar que:

En general, liminf y limsup de una secuencia son respectivamente los puntos del grupo más pequeño y más grande . [3]

De manera análoga, el límite inferior satisface la superaditividad : en el caso particular de que una de las secuencias realmente converja, digamos entonces que las desigualdades anteriores se convierten en igualdades (con o siendo reemplazados por ).

mantener siempre que el lado derecho no tenga la forma

Si existe (incluido el caso ) y entonces siempre que no sea de la forma

Ejemplos

Se supone que el valor de este límite inferior es 2 –esta es la conjetura de los primos gemelos– , pero hasta abril de 2014 solo se ha demostrado que es menor o igual a 246. [4] El límite superior correspondiente es , porque hay brechas arbitrariamente grandes entre primos consecutivos .

Funciones de valor real

Supongamos que una función se define a partir de un subconjunto de los números reales a los números reales. Como en el caso de las sucesiones, el límite inferior y el límite superior están siempre bien definidos si permitimos los valores +∞ y −∞; de hecho, si ambos coinciden, entonces el límite existe y es igual a su valor común (de nuevo posiblemente incluyendo los infinitos). Por ejemplo, dado , tenemos y . La diferencia entre los dos es una medida aproximada de cuán "salvajemente" oscila la función, y en observación de este hecho, se llama oscilación de f en 0. Esta idea de oscilación es suficiente para, por ejemplo, caracterizar a las funciones integrables de Riemann como continuas excepto en un conjunto de medida cero . [5] Nótese que los puntos de oscilación distintos de cero (es decir, puntos en los que f se " comporta mal ") son discontinuidades que, a menos que formen un conjunto de cero, están confinadas a un conjunto despreciable.

Funciones desde espacios topológicos hasta redes completas

Funciones de espacios métricos

Existe una noción de limsup y liminf para funciones definidas en un espacio métrico cuya relación con los límites de funciones de valor real refleja la relación entre limsup, liminf y el límite de una secuencia real. Tome un espacio métrico , un subespacio contenido en , y una función . Defina, para cualquier punto límite de ,

y

donde denota la bola métrica de radio aproximadamente .

Nótese que a medida que ε se contrae, el supremo de la función sobre la pelota no es creciente (es estrictamente decreciente o permanece igual), por lo que tenemos

y de manera similar

Funciones de espacios topológicos

Esto finalmente motiva las definiciones de espacios topológicos generales . Tome X , E y a como antes, pero ahora sea X un espacio topológico. En este caso, reemplazamos las bolas métricas con vecindarios :

(Hay una manera de escribir la fórmula usando "lim" usando redes y el filtro de vecindad ). Esta versión es a menudo útil en discusiones de semi-continuidad que surgen en el análisis con bastante frecuencia. Una nota interesante es que esta versión subsume la versión secuencial al considerar las secuencias como funciones de los números naturales como un subespacio topológico de la línea real extendida, en el espacio (la clausura de N en [−∞,∞], la línea de números reales extendida , es  N  ∪ {∞}.)

Sucesiones de conjuntos

El conjunto potencia ℘( X ) de un conjunto X es una red completa que está ordenada por inclusión de conjuntos , y por lo tanto el supremo y el ínfimo de cualquier conjunto de subconjuntos (en términos de inclusión de conjuntos) siempre existen. En particular, cada subconjunto Y de X está acotado superiormente por X e inferiormente por el conjunto vacío ∅ porque ∅ ⊆ YX . Por lo tanto, es posible (y a veces útil) considerar límites superiores e inferiores de sucesiones en ℘( X ) (es decir, sucesiones de subconjuntos de X ).

Existen dos formas comunes de definir el límite de sucesiones de conjuntos. En ambos casos:

La diferencia entre las dos definiciones tiene que ver con la forma en que se define la topología (es decir, cómo cuantificar la separación). De hecho, la segunda definición es idéntica a la primera cuando se utiliza la métrica discreta para inducir la topología en X.

Convergencia de conjuntos generales

Una secuencia de conjuntos en un espacio metrizable se aproxima a un conjunto límite cuando los elementos de cada miembro de la secuencia se aproximan a los elementos del conjunto límite. En particular, si es una secuencia de subconjuntos de entonces:

El límite existe si y sólo si y concuerdan, en cuyo caso [6] Los límites externo e interno no deben confundirse con los límites de la teoría de conjuntos superior e inferior, ya que estos últimos conjuntos no son sensibles a la estructura topológica del espacio.

Caso especial: métrica discreta

Esta es la definición que se utiliza en la teoría de la medida y la probabilidad . En el límite de la teoría de conjuntos se ofrecen más ejemplos y análisis desde el punto de vista de la teoría de conjuntos, a diferencia del punto de vista topológico que se analiza a continuación .

Según esta definición, una secuencia de conjuntos se aproxima a un conjunto límite cuando el conjunto límite incluye elementos que están en todos los conjuntos de la secuencia excepto en un número finito y no incluye elementos que están en todos los complementos de los conjuntos de la secuencia excepto en un número finito. Es decir, este caso especializa la definición general cuando la topología en el conjunto X se induce a partir de la métrica discreta .

Específicamente, para los puntos x , yX , la métrica discreta se define por

bajo la cual una secuencia de puntos ( x k ) converge al punto xX si y solo si x k = x para todos excepto un número finito de k . Por lo tanto, si el conjunto límite existe , contiene los puntos y solo los puntos que están en todos excepto un número finito de los conjuntos de la secuencia. Dado que la convergencia en la métrica discreta es la forma más estricta de convergencia (es decir, la que más requiere), esta definición de un conjunto límite es la más estricta posible.

Si ( X n ) es una secuencia de subconjuntos de X , entonces siempre existe lo siguiente:

Obsérvese que x ∈ lim sup  X n si y sólo si x ∉ lim inf  X n c .

En este sentido, la secuencia tiene un límite siempre que cada punto en X aparezca en todos excepto un número finito de X n o aparezca en todos excepto un número finito de X n c . [7]

Utilizando el lenguaje estándar de la teoría de conjuntos, la inclusión de conjuntos proporciona un ordenamiento parcial en la colección de todos los subconjuntos de X que permite que la intersección de conjuntos genere un límite inferior máximo y la unión de conjuntos genere un límite superior mínimo. Por lo tanto, el ínfimo o encuentro de una colección de subconjuntos es el límite inferior máximo, mientras que el supremo o unión es el límite superior mínimo. En este contexto, el límite interno, lim inf  X n , es el mayor encuentro de colas de la secuencia, y el límite externo, lim sup  X n , es la menor unión de colas de la secuencia. Lo siguiente lo hace preciso.

La secuencia ( I n ) no es decreciente (es decir, I nI n +1 ) porque cada I n +1 es la intersección de menos conjuntos que I n . El límite superior mínimo de esta secuencia de encuentros de colas es
Por lo tanto, el límite ínfimo contiene todos los subconjuntos que son límites inferiores para todos los conjuntos de la secuencia, excepto un número finito.
La secuencia ( J n ) no es creciente (es decir, J nJ n +1 ) porque cada J n +1 es la unión de menos conjuntos que J n . El límite inferior máximo de esta secuencia de uniones de colas es
Por lo tanto, el límite supremo está contenido en todos los subconjuntos que son límites superiores para todos los conjuntos de la secuencia, excepto un número finito.

Ejemplos

A continuación se presentan varios ejemplos de convergencia de conjuntos. Se han dividido en secciones con respecto a la métrica utilizada para inducir la topología en el conjunto X.

Utilizando la métrica discreta
Utilizando la métrica discreta o la métrica euclidiana
Los elementos "pares" e "impares" de esta sucesión forman dos subsecuencias, ({0}, {0}, {0}, ...) y ({1}, {1}, {1}, ...), que tienen puntos límite 0 y 1, respectivamente, por lo que el límite exterior o superior es el conjunto {0,1} de estos dos puntos. Sin embargo, no hay puntos límite que puedan tomarse de la sucesión ( X n ) en su conjunto, por lo que el límite interior o inferior es el conjunto vacío { }. Es decir,
  • límite superior  X n = {0,1}
  • límite inf  X n = { }
Sin embargo, para ( Y n ) = ({0}, {0}, {0}, ...) y ( Z n ) = ({1}, {1}, {1}, ...):
  • lim sup  Y n = lim inf  Y n = lim  Y n = {0}
  • lím sup  Z n = lím inf  Z n = lím  Z n = {1}
Al igual que en los dos ejemplos anteriores,
  • límite superior  X n = {0,1}
  • límite inf  X n = { }
Es decir, los cuatro elementos que no coinciden con el patrón no afectan a lim inf y lim sup porque solo hay un número finito de ellos. De hecho, estos elementos podrían ubicarse en cualquier parte de la secuencia. Mientras se mantengan las colas de la secuencia, los límites externo e interno no cambiarán. Los conceptos relacionados de límites internos y externos esenciales , que utilizan el supremo esencial y el ínfimo esencial , proporcionan una modificación importante que "aplasta" un número contable de adiciones intersticiales (en lugar de un número finito).
Utilizando la métrica euclidiana
Los elementos "pares" e "impares" de esta sucesión forman dos subsecuencias, ({0}, {1/2}, {2/3}, {3/4}, ...) y ({1}, {1/2}, {1/3}, {1/4}, ...), que tienen como puntos límite 1 y 0, respectivamente, por lo que el límite exterior o superior es el conjunto {0,1} de estos dos puntos. Sin embargo, no hay puntos límite que puedan tomarse de la sucesión ( X n ) en su conjunto, por lo que el límite interior o inferior es el conjunto vacío { }. Por lo tanto, como en el ejemplo anterior,
  • límite superior  X n = {0,1}
  • límite inf  X n = { }
Sin embargo, para ( Y n ) = ({0}, {1/2}, {2/3}, {3/4}, ...) y ( Z n ) = ({1}, {1/2}, {1/3}, {1/4}, ...):
  • lim sup  Y n = lim inf  Y n = lim  Y n = {1}
  • lím sup  Z n = lím inf  Z n = lím  Z n = {0}
En cada uno de estos cuatro casos, los elementos de los conjuntos límite no son elementos de ninguno de los conjuntos de la secuencia original.
  • Por ejemplo, un sistema LTI que es la conexión en cascada de varios sistemas estables con un sistema LTI de segundo orden no amortiguado (es decir, relación de amortiguamiento cero ) oscilará sin fin después de ser perturbado (por ejemplo, una campana ideal después de ser golpeada). Por lo tanto, si la posición y la velocidad de este sistema se grafican una contra la otra, las trayectorias se aproximarán a un círculo en el espacio de estados . Este círculo, que es el conjunto límite Ω del sistema, es el límite exterior de las trayectorias de solución del sistema. El círculo representa el lugar geométrico de una trayectoria correspondiente a una salida de tono sinusoidal puro; es decir, la salida del sistema se aproxima a un tono puro.

Definiciones generalizadas

Las definiciones anteriores son inadecuadas para muchas aplicaciones técnicas. De hecho, son especializaciones de las definiciones siguientes.

Definición de un conjunto

El límite inferior de un conjunto X  ⊆  Y es el ínfimo de todos los puntos límites del conjunto. Es decir,

De manera similar, el límite superior de X es el supremo de todos los puntos límites del conjunto. Es decir,

Nótese que el conjunto X debe definirse como un subconjunto de un conjunto parcialmente ordenado Y que también es un espacio topológico para que estas definiciones tengan sentido. Además, tiene que ser una red completa para que el supremo y el ínfimo siempre existan. En ese caso, cada conjunto tiene un límite superior y un límite inferior. Nótese también que el límite inferior y el límite superior de un conjunto no tienen que ser elementos del conjunto.

Definición de bases de filtrado

Tome un espacio topológico X y una base de filtro B en ese espacio. El conjunto de todos los puntos del grupo para esa base de filtro está dado por

donde es el cierre de . Claramente se trata de un conjunto cerrado y es similar al conjunto de puntos límite de un conjunto. Supóngase que X también es un conjunto parcialmente ordenado . El límite superior de la base del filtro B se define como

Cuando existe ese supremo, cuando X tiene un orden total , es una red completa y tiene la topología de orden ,

De manera similar, el límite inferior de la base del filtro B se define como

cuando ese ínfimo existe; si X está totalmente ordenado, es una red completa y tiene la topología de orden, entonces

Si el límite inferior y el límite superior coinciden, entonces debe haber exactamente un punto de agrupamiento y el límite de la base del filtro es igual a este único punto de agrupamiento.

Especialización en secuencias y redes

Nótese que las bases de filtro son generalizaciones de redes , que son generalizaciones de secuencias . Por lo tanto, estas definiciones dan también el límite inferior y el límite superior de cualquier red (y, por lo tanto, de cualquier secuencia). Por ejemplo, tomemos el espacio topológico y la red , donde es un conjunto dirigido y para todos los . La base de filtro ("de colas") generada por esta red se define por

Por lo tanto, el límite inferior y el límite superior de la red son iguales al límite superior y al límite inferior de respectivamente. De manera similar, para el espacio topológico , tomemos la secuencia donde para cualquier . La base de filtro ("de colas") generada por esta secuencia se define por

Por lo tanto, el límite inferior y el límite superior de la secuencia son iguales al límite superior y al límite inferior respectivamente.

Véase también

Referencias

  1. ^ Rudin, W. (1976). Principios del análisis matemático. Nueva York: McGraw-Hill. pág. 56. ISBN 007054235X.
  2. ^ Gleason, Andrew M. (1992). Fundamentos del análisis abstracto . Boca Raton, FL. pp. 176–177. ISBN 978-1-4398-6481-4.OCLC 1074040561  .{{cite book}}: CS1 maint: location missing publisher (link)
  3. ^ Gleason, Andrew M. (1992). Fundamentos del análisis abstracto . Boca Raton, FL. pp. 160–182. ISBN 978-1-4398-6481-4.OCLC 1074040561  .{{cite book}}: CS1 maint: location missing publisher (link)
  4. ^ "Bounded gaps between primes" (Huecos acotados entre primos). Wiki de polímatas . Consultado el 14 de mayo de 2014 .[ ¿ Fuente poco confiable? ]
  5. ^ "Criterio de Lebesgue para la integrabilidad de Riemann (Apuntes de clase de MATH314)" (PDF) . Universidad de Windsor . Archivado desde el original (PDF) el 2007-03-03 . Consultado el 2006-02-24 .
  6. ^ ab Goebel, Rafal; Sanfelice, Ricardo G.; Teel, Andrew R. (2009). "Sistemas dinámicos híbridos". Revista IEEE Control Systems . 29 (2): 28–93. doi :10.1109/MCS.2008.931718.
  7. ^ Halmos, Paul R. (1950). Teoría de la medida . Princeton, Nueva Jersey: D. Van Nostrand Company, Inc.

Enlaces externos