stringtranslate.com

Secuencia de Cauchy

En matemáticas , una secuencia de Cauchy es una secuencia cuyos elementos se acercan arbitrariamente entre sí a medida que avanza la secuencia. [1] Más precisamente, dada cualquier distancia positiva pequeña, todos los elementos de la secuencia, excluyendo un número finito de ellos, son menores que esa distancia dada entre sí. Las secuencias de Cauchy reciben su nombre de Augustin-Louis Cauchy ; ocasionalmente pueden conocerse como secuencias fundamentales . [2]

No basta con que cada término se acerque arbitrariamente al término precedente . Por ejemplo, en la sucesión de raíces cuadradas de números naturales: los términos consecutivos se aproximan arbitrariamente entre sí – sus diferencias tienden a cero a medida que el índice n crece. Sin embargo, con valores crecientes de n , los términos se vuelven arbitrariamente grandes. Por lo tanto, para cualquier índice n y distancia d , existe un índice m lo suficientemente grande como para que Como resultado, no importa cuán lejos se vaya, los términos restantes de la sucesión nunca se acerquen entre ; por lo tanto, la sucesión no es de Cauchy.

La utilidad de las secuencias de Cauchy reside en el hecho de que en un espacio métrico completo (uno en el que se sabe que todas esas secuencias convergen a un límite ), el criterio de convergencia depende solo de los términos de la secuencia en sí, a diferencia de la definición de convergencia, que utiliza el valor límite además de los términos. Esto se suele explotar en algoritmos , tanto teóricos como aplicados, donde se puede demostrar con relativa facilidad que un proceso iterativo produce una secuencia de Cauchy, que consta de las iteraciones, cumpliendo así una condición lógica, como la terminación.

Existen generalizaciones de secuencias de Cauchy en espacios uniformes más abstractos en forma de filtros de Cauchy y redes de Cauchy .

En números reales

Una secuencia de números reales se denomina secuencia de Cauchy si para cada número real positivo existe un entero positivo N tal que para todos los números naturales donde las barras verticales indican el valor absoluto . De manera similar, se pueden definir secuencias de Cauchy de números racionales o complejos . Cauchy formuló tal condición al exigir que sea infinitesimal para cada par de infinitos m , n .

Para cualquier número real r , la secuencia de expansiones decimales truncadas de r forma una secuencia de Cauchy. Por ejemplo, cuando esta secuencia es (3, 3,1, 3,14, 3,141, ...). Los términos m y n difieren como máximo en cuando m < n , y a medida que m crece, esto se vuelve más pequeño que cualquier número positivo fijo.

Módulo de convergencia de Cauchy

Si es una secuencia en el conjunto , entonces un módulo de convergencia de Cauchy para la secuencia es una función del conjunto de números naturales hacia sí mismo, tal que para todos los números naturales y números naturales

Cualquier secuencia con un módulo de convergencia de Cauchy es una secuencia de Cauchy. La existencia de un módulo para una secuencia de Cauchy se desprende de la propiedad de buen orden de los números naturales (sea el menor posible en la definición de secuencia de Cauchy, tomando como ). La existencia de un módulo también se desprende del principio de elección numerable . Las secuencias regulares de Cauchy son secuencias con un módulo de convergencia de Cauchy dado (normalmente o ). Cualquier secuencia de Cauchy con un módulo de convergencia de Cauchy es equivalente a una secuencia regular de Cauchy; esto se puede demostrar sin utilizar ninguna forma del axioma de elección.

Los matemáticos constructivos que no desean utilizar ninguna forma de elección utilizan módulos de convergencia de Cauchy. El uso de un módulo de convergencia de Cauchy puede simplificar tanto las definiciones como los teoremas en el análisis constructivo. Bishop (2012) y Bridges (1997) utilizaron secuencias regulares de Cauchy en libros de texto de matemáticas constructivas.

En un espacio métrico

Dado que la definición de una secuencia de Cauchy solo implica conceptos métricos, es sencillo generalizarla a cualquier espacio métrico X. Para ello, el valor absoluto se reemplaza por la distancia (donde d denota una métrica ) entre y

Formalmente, dado un espacio métrico una secuencia es de Cauchy, si para cada número real positivo existe un entero positivo tal que para todos los enteros positivos la distancia

En términos generales, los términos de la secuencia se están acercando cada vez más de una manera que sugiere que la secuencia debería tener un límite en X. No obstante, dicho límite no siempre existe dentro de X : la propiedad de un espacio de que cada secuencia de Cauchy converge en el espacio se llama completitud y se detalla a continuación.

Lo completo

Un espacio métrico ( X , d ) en el que cada secuencia de Cauchy converge a un elemento de X se llama completo .

Ejemplos

Los números reales son completos bajo la métrica inducida por el valor absoluto usual, y una de las construcciones estándar de los números reales involucra sucesiones de Cauchy de números racionales . En esta construcción, cada clase de equivalencia de sucesiones de Cauchy de números racionales con un cierto comportamiento de cola —es decir, cada clase de sucesiones que se acercan arbitrariamente entre sí— es un número real.

Un ejemplo bastante diferente lo ofrece un espacio métrico X que tiene métrica discreta (donde dos puntos distintos están a una distancia de 1 entre sí). Cualquier secuencia de Cauchy de elementos de X debe ser constante más allá de un punto fijo y converge al término que eventualmente se repite.

No-ejemplo: números racionales

Los números racionales no son completos (para la distancia usual): Existen sucesiones de racionales que convergen (en ) a números irracionales ; estas son sucesiones de Cauchy que no tienen límite en De hecho, si un número real x es irracional, entonces la sucesión ( x n ), cuyo término n -ésimo es el truncamiento a n decimales de la expansión decimal de x , da una sucesión de Cauchy de números racionales con límite irracional x . Los números irracionales ciertamente existen en por ejemplo:

No-ejemplo: intervalo abierto

El intervalo abierto en el conjunto de números reales con una distancia ordinaria en no es un espacio completo: hay una secuencia en él, que es de Cauchy (para una distancia arbitrariamente pequeña que limita todos los términos de ajuste en el intervalo), sin embargo no converge en — su 'límite', el número 0, no pertenece al espacio

Otras propiedades

y por lo tanto la secuencia es Cauchy, como se deseaba. Estas dos últimas propiedades, junto con el teorema de Bolzano-Weierstrass , producen una prueba estándar de la completitud de los números reales, estrechamente relacionada tanto con el teorema de Bolzano-Weierstrass como con el teorema de Heine-Borel . Toda secuencia de Cauchy de números reales está acotada, por lo tanto por Bolzano-Weierstrass tiene una subsucesión convergente, por lo tanto es ella misma convergente. Esta prueba de la completitud de los números reales hace uso implícito del axioma del mínimo límite superior . El enfoque alternativo, mencionado anteriormente, de construir los números reales como la completitud de los números racionales, hace que la completitud de los números reales sea tautológica.

Una de las ilustraciones estándar de la ventaja de poder trabajar con sucesiones de Cauchy y hacer uso de la completitud la proporciona la consideración de la suma de una serie infinita de números reales (o, más generalmente, de elementos de cualquier espacio lineal normado completo , o espacio de Banach ). Se considera que dicha serie es convergente si y solo si la secuencia de sumas parciales es convergente, donde Es una cuestión rutinaria determinar si la secuencia de sumas parciales es de Cauchy o no, ya que para los números enteros positivos

Si es una función uniformemente continua entre los espacios métricos M y N y ( x n ) es una sucesión de Cauchy en M , entonces es una sucesión de Cauchy en N . Si y son dos sucesiones de Cauchy en los números racionales, reales o complejos, entonces la suma y el producto también son sucesiones de Cauchy.

Generalizaciones

En espacios vectoriales topológicos

También existe un concepto de secuencia de Cauchy para un espacio vectorial topológico : Elija una base local para aproximadamente 0; entonces ( ) es una secuencia de Cauchy si para cada miembro hay algún número tal que siempre que sea un elemento de Si la topología de es compatible con una métrica invariante a la traducción, las dos definiciones concuerdan.

En grupos topológicos

Dado que la definición del espacio vectorial topológico de la secuencia de Cauchy requiere solamente que haya una operación de "resta" continua, también puede enunciarse en el contexto de un grupo topológico : Una secuencia en un grupo topológico es una secuencia de Cauchy si para cada vecindario abierto de la identidad en existe algún número tal que siempre que se siga que Como anteriormente, es suficiente comprobar esto para los vecindarios en cualquier base local de la identidad en

Al igual que en la construcción de la completitud de un espacio métrico , se puede definir además la relación binaria en las sucesiones de Cauchy en que y son equivalentes si para cada entorno abierto de la identidad en existe algún número tal que siempre que se siga que Esta relación es una relación de equivalencia : Es reflexiva ya que las sucesiones son sucesiones de Cauchy. Es simétrica ya que que por continuidad de la inversa es otro entorno abierto de la identidad. Es transitiva ya que donde y son entornos abiertos de la identidad tales que ; tales pares existen por la continuidad de la operación de grupo.

En grupos

También existe un concepto de sucesión de Cauchy en un grupo : Sea una sucesión decreciente de subgrupos normales de de índice finito . Entonces se dice que una sucesión en es de Cauchy (con respecto a ) si y solo si para cualquier hay tal que para todos

Técnicamente, esto es lo mismo que una secuencia de Cauchy de grupo topológico para una elección particular de topología, es decir, aquella para la cual es una base local.

El conjunto de tales secuencias de Cauchy forma un grupo (para el producto componente por componente), y el conjunto de secuencias nulas (secuencias tales que ) es un subgrupo normal de El grupo factorial se denomina completitud de con respecto a

Se puede entonces demostrar que esta completitud es isomorfa al límite inverso de la secuencia.

Un ejemplo de esta construcción familiar en la teoría de números y la geometría algebraica es la construcción de la completitud -ádica de los números enteros con respecto a un primo. En este caso, son los números enteros bajo adición, y es el subgrupo aditivo que consiste en múltiplos enteros de

Si es una sucesión cofinal (es decir, cualquier subgrupo normal de índice finito contiene algún ), entonces esta completitud es canónica en el sentido de que es isomorfa al límite inverso de donde varía en todos los subgrupos normales de índice finito . Para más detalles, véase el capítulo I.10 de "Álgebra" de Lang .

En un continuo hiperreal

Una sucesión real tiene una extensión hiperreal natural , definida para valores hipernaturales H de índice n además del n natural habitual . La sucesión es de Cauchy si y solo si para cada H y K infinitos , los valores y son infinitamente cercanos o iguales , es decir,

donde "st" es la función de la parte estándar .

Completar categorías según Cauchy

Krause (2020) introdujo una noción de completitud de Cauchy de una categoría . Aplicada a (la categoría cuyos objetos son números racionales, y existe un morfismo de x a y si y solo si ), esta completitud de Cauchy produce (interpretada nuevamente como una categoría que utiliza su orden natural).

Véase también

Referencias

  1. ^ Lang 1992.
  2. ^ Ebbinghaus, Heinz-Dieter (1991). Números . Nueva York: Springer. pág. 40.

Lectura adicional

Enlaces externos