Definición y concepto

En el ámbito del análisis matemático y la teoría de la medida, el término càdlàg (también conocido por sus siglas en inglés cadlag o las variantes CDLI y cadlai) describe una clase específica de funciones definidas sobre los números reales u otros espacios topológicos. La denominación es un acrónimo del francés continue à droite, limite à gauche, lo que traduce directamente a "continua por la derecha, límite por la izquierda". Esta propiedad define el comportamiento de la función en cada punto de su dominio, estableciendo condiciones precisas sobre la continuidad lateral y la existencia de límites laterales.

Definición formal y propiedades de continuidad

Una función f definida en un intervalo de números reales se considera càdlàg si cumple dos condiciones fundamentales en cada punto t del dominio:

Estas condiciones distinguen a las funciones càdlàg de otras clases de funciones continuas. A diferencia de una función continua clásica, donde los límites por la izquierda y por la derecha coinciden con el valor de la función, las funciones càdlàg permiten discontinuidades de primer tipo (saltos). Sin embargo, a diferencia de las funciones càdlàg opuestas (càdlàg vs clad o càdlàg vs càdlàg inversas), la continuidad se asegura específicamente en la dirección derecha. Esto es crucial en el modelado de procesos donde el estado actual depende del instante presente, pero el pasado inmediato puede presentar una transición discreta.

La formalización de estas funciones es esencial para la estructura del espacio de Skorokhod, nombrado en honor al matemático Anatoliy Skorokhod. Este espacio, que contiene a todas las funciones càdlàg, posee propiedades topológicas importantes, siendo un espacio polaco (completo y separable) bajo una métrica adecuada. Estas características hacen del espacio de Skorokhod una herramienta fundamental en el estudio de procesos estocásticos con saltos, permitiendo el análisis riguroso de trayectorias que no son necesariamente continuas, pero que mantienen un orden estructural predecible mediante las propiedades de continuidad lateral y límites definidos.

¿Qué significan los términos relacionados càglàd y càllàl?

La terminología matemática empleada para describir la continuidad lateral de las funciones permite establecer una clasificación precisa basada en la dirección de la continuidad y la existencia de límites. El término càdlàg (del francés continue à droite, limite à gauche) define funciones continuas por la derecha con límites por la izquierda. Sin embargo, el marco teórico también incluye otros conceptos afines que ofrecen simetrías útiles en el análisis de trayectorias, específicamente càglàd y càllàl. Comprender estas variantes es esencial para el estudio riguroso de los procesos estocásticos y la teoría de la medida, ya que cada una impone condiciones topológicas distintas sobre el comportamiento de las funciones en puntos de discontinuidad.

Definición y características de las funciones càglàd

Las funciones càglàd constituyen el contrapunto directo de las funciones càdlàg. Una función se clasifica como càglàd si cumple dos condiciones fundamentales en cada punto de su dominio:

Esta definición es simétrica a la de càdlàg. Mientras que las funciones càdlàg son fundamentales en la teoría clásica de los procesos estocásticos (como el proceso de Poisson estándar), las funciones càglàd aparecen con frecuencia en el análisis de procesos transformados o en la definición de integrales estocásticas donde la adaptabilidad al filtrado requiere continuidad lateral específica. La distinción es crucial: una función que es continua por la izquierda no es automáticamente continua por la derecha, y la existencia de límites laterales garantiza que las discontinuidadess sean de primer tipo (saltos finitos), evitando así comportamientos oscilatorios infinitos en puntos aislados.

El concepto de funciones càllàl

El término càllàl (del francés continue à gauche, limite à gauche, aunque la nomenclatura estándar a veces varía según el autor, generalmente se refiere a la combinación de continuidad y límites en la misma dirección o en direcciones específicas que difieren de los casos anteriores) representa una clase menos común pero teóricamente significativa. En el contexto de las fuentes proporcionadas, se menciona como un objeto matemático relacionado con la clasificación de continuidad lateral.

A diferencia de càdlàg y càglàd, que combinan continuidad en una dirección con la existencia de límite en la dirección opuesta, las funciones càllàl pueden implicar condiciones donde tanto la continuidad como el límite se evalúan en la misma dirección, o donde se requieren límites en ambas direcciones sin necesariamente imponer continuidad en una de ellas, dependiendo de la formalización específica del espacio funcional. Sin embargo, la literatura estándar se centra predominantemente en càdlàg y càglàd por su utilidad en la construcción del espacio de Skorokhod. Las funciones càllàl son relevantes en análisis más especializados donde la asimetría de la información o la naturaleza del filtrado temporal exige condiciones de límite específicas en la izquierda, complementando así el panorama completo de las trayectorias con saltos.

Comparación conceptual y relevancia en el espacio de Skorokhod

La distinción entre càdlàg, càglàd y càllàl no es meramente semántica, sino topológica. El espacio de Skorokhod, nombrado en honor a Anatoliy Skorokhod, está diseñado específicamente para albergar funciones càdlàg. Este espacio es polaco (completo y separable) bajo una métrica específica que permite medir la distancia entre trayectorias con saltos, teniendo en cuenta tanto la magnitud del salto como el desplazamiento temporal necesario para alinear las discontinuidades.

Si se intentara aplicar la misma métrica a funciones càglàd sin ajustes, las propiedades de convergencia podrían variar debido a la dirección de la continuidad. Por ejemplo, la convergencia de una secuencia de funciones càglàd a una función límite requiere que los saltos se alineen de manera que la continuidad por la izquierda se preserve en el límite. Las funciones càllàl, al tener condiciones de límite distintas, pueden requerir espacios funcionales adaptados o transformaciones simples (como la inversión del tiempo o el desplazamiento de índices) para ser analizadas dentro del marco de Skorokhod estándar. Esta diferenciación es vital para investigadores que trabajan con procesos estocásticos con saltos, ya que la elección del tipo de función afecta directamente a la convergencia débil y a la estructura de la medida inducida en el espacio de trayectorias.

Ejemplos de funciones càdlàg en análisis real

El análisis de las funciones càdlàg requiere examinar casos concretos donde la continuidad lateral por la derecha y la existencia de límites por la izquierda se manifiestan de manera distintiva. Estos ejemplos ilustran la versatilidad del concepto en el análisis real y su aplicación en estructuras más complejas.

Funciones continuas como caso particular

Toda función continua definida sobre los números reales es, por definición, una función càdlàg. En este escenario, la continuidad por la derecha es inherente a la continuidad general, y el límite por la izquierda coincide exactamente con el valor de la función en ese punto. Este caso representa el subconjunto más simple dentro del espacio de Skorokhod, donde los "saltos" son nulos. Sin embargo, la clase de las funciones càdlàg es mucho más amplia que la de las funciones puramente continuas, abarcando aquellas con discontinuidades de primera especie.

Funciones de distribución de probabilidad

En la teoría de la medida y los procesos estocásticos, las funciones de distribución acumulativa son ejemplos fundamentales de funciones càdlàg. Para una variable aleatoria X, la función de distribución F(x)=P(X≤x) presenta continuidad por la derecha. Esta propiedad es crucial para la consistencia de la medida en intervalos semiabiertos. La continuidad a la derecha asegura que, al aproximarse a un punto desde valores mayores, el valor de la función converge al valor en el punto, lo que facilita el manejo de saltos en la medida de probabilidad. La existencia del límite por la izquierda permite cuantificar la masa de probabilidad concentrada en un punto específico, definido como la diferencia entre el valor de la función y su límite izquierdo.

Derivadas de funciones convexas

Las derivadas por la derecha de funciones convexas definidas sobre un intervalo abierto son también funciones càdlàg. La convexidad de una función implica que su derivada derecha existe en cada punto del intervalo y es una función monótona no decreciente. Esta monotonicidad garantiza la existencia de límites laterales en cada punto. La continuidad por la derecha de la derivada derecha es una propiedad técnica esencial en el análisis convexo, permitiendo la caracterización precisa del comportamiento local de la función original. Estos ejemplos demuestran cómo la estructura càdlàg emerge naturalmente en objetos matemáticos fundamentales.

Tipo de función Propiedad càdlàg Característica clave
Funciones continuas Sí Continuidad bilateral, sin saltos
Funciones de distribución Sí Continuidad a la derecha, saltos en masa puntual
Derivada derecha de convexas Sí Monotonía no decreciente, límites existentes

El espacio de Skorokhod: estructura y métrica

El estudio riguroso de las funciones càdlàg requiere un marco topológico adecuado, ya que la continuidad clásica a menudo resulta insuficiente para capturar el comportamiento de procesos con saltos. Este marco es el espacio de Skorokhod, una construcción fundamental en el análisis funcional y la teoría de los procesos estocásticos. El espacio está nombrado en honor al matemático Anatoliy Skorokhod, quien desarrolló las herramientas necesarias para analizar la convergencia de trayectorias discontinuas.

Estructura del espacio D(E; M)

Se denota comúnmente por D(E; M) al conjunto de funciones definidas en un intervalo temporal E con valores en un espacio métrico M, que cumplen la propiedad de ser continuas a la derecha y poseer límites a la izquierda en cada punto. Este conjunto no es solo un subconjunto arbitrario, sino que constituye un espacio polaco, lo que significa que es completo y separable bajo una métrica específica. La naturaleza polaca del espacio es crucial para la aplicación de la teoría de la medida, permitiendo definir medidas de probabilidad sobre el espacio de trayectorias enteras, lo cual es esencial para definir procesos estocásticos como objetos medibles.

Topología y métrica de Skorokhod

La topología de Skorokhod se define mediante una métrica, a menudo denotada como σ, que captura la idea de que dos funciones son cercanas si sus gráficos pueden superponerse mediante pequeñas deformaciones del eje temporal y del eje de los valores. Esta métrica es más flexible que la métrica uniforme clásica, ya que permite que los saltos ocurran en momentos ligeramente diferentes sin que las funciones se consideren lejanas entre sí.

La definición de la métrica σ se basa en el concepto del módulo de continuidad càdlàg. Para medir la distancia entre dos funciones, se consideran homeomorfismos crecientes y continuos del intervalo temporal en sí mismo, llamados deformaciones temporales. La métrica combina dos componentes principales: la ondulación en el tiempo, que mide cuánto debe estirarse o comprimirse el eje temporal para alinear los saltos de ambas funciones, y la ondulación en el espacio, que mide la diferencia máxima entre los valores de las funciones una vez aplicadas las deformaciones temporales. Esta estructura permite que la convergencia en el espacio de Skorokhod refleje la intuición de que los procesos con saltos cercanos deben tener saltos de magnitud similar que ocurran en tiempos cercanos, aunque no necesariamente idénticos.

Propiedades topológicas del espacio de funciones

El espacio de funciones càdlàg, conocido como espacio de Skorokhod, posee una estructura topológica rica que lo distingue de los espacios de funciones continuas clásicas. Este espacio no es simplemente un subespacio topológico trivial de las funciones reales, sino que requiere una métrica específica para capturar la naturaleza de los saltos de las funciones. La métrica estándar utilizada en este contexto permite medir la distancia entre dos funciones considerando tanto la diferencia en sus valores como el desplazamiento temporal necesario para alinear sus discontinuidades.

Completitud y separabilidad

Bajo la métrica adecuada, el espacio de Skorokhod es un espacio polaco. Esto significa que es completo y separable, propiedades fundamentales para el análisis de la convergencia débil de medidas. La completitud asegura que toda sucesión de Cauchy de funciones càdlàg converge a una función càdlàg dentro del mismo espacio. La separabilidad implica que existe un subconjunto numerable denso, lo que facilita la construcción de medidas de probabilidad sobre el espacio.

La relación con el espacio de funciones continuas es estrecha pero sutil. Las funciones continuas forman un subespacio del espacio de Skorokhod, pero la topología inducida no siempre coincide con la topología de la convergencia uniforme. La métrica de Skorokhod es más fina en ciertos aspectos, permitiendo que funciones con saltos pequeños y cercanos converjan a una función con un salto mayor.

Apretamiento y condiciones de límite

El concepto de apretamiento (tightness) es crucial para establecer la convergencia débil en el espacio de Skorokhod. Una familia de medidas de probabilidad sobre el espacio de funciones càdlàg es apretada si cumple ciertas condiciones de límite que controlan el comportamiento de las funciones en los extremos del dominio y la magnitud de sus saltos. Estas condiciones garantizan que la masa de probabilidad no se "escapa" al infinito o se concentra en puntos de discontinuidad arbitrarios.

Las condiciones de apretamiento típicamente involucran límites superiores para la probabilidad de que una función exceda un cierto valor en un intervalo dado, así como límites para el número de saltos mayores que una magnitud específica. Estas condiciones permiten aplicar el teorema de Prokhorov, que establece que toda familia apretada de medidas es relativamente compacta en la topología de la convergencia débil.

¿Por qué el espacio de Skorokhod no es un grupo topológico?

El espacio de funciones càdlàg, denotado habitualmente como D (el espacio de Skorokhod), presenta propiedades topológicas y algebraicas que lo distinguen de otros espacios funcionales clásicos como el espacio de las funciones continuas. Una de las propiedades más notables y a veces contraintuitivas es que, bajo la topología de Skorokhod estándar y la operación de adición puntual, D no constituye un grupo topológico. Esto significa que la operación de adición no es continua en el producto de los espacios, o equivalentemente, que la operación de resta (diferencia) no preserva necesariamente la convergencia de las secuencias de funciones.

La discontinuidad de la operación de resta

Para comprender por qué D falla en ser un grupo topológico, es necesario examinar el comportamiento de la convergencia bajo la métrica de Skorokhod. La topología de Skorokhod permite pequeñas deformaciones en el eje temporal (tiempo) y en el eje de las imágenes (valor), lo que facilita la comparación de funciones con saltos en momentos ligeramente distintos. Sin embargo, esta flexibilidad introduce una complejidad en las operaciones algebraicas.

Considérese el ejemplo clásico que ilustra esta falta de continuidad. Tomemos la función característica del intervalo [1, 2), denotada como f(t). Ahora, definamos una secuencia de funciones fn que convergen a f en el espacio de Skorokhod. Una construcción típica implica desplazar ligeramente el salto de la función. Por ejemplo, sea fn la función característica del intervalo [1 + 1/n, 2). A medida que n tiende a infinito, el salto se acerca a t = 1, y la secuencia fn converge a f en la topología de Skorokhod.

Si D fuera un grupo topológico bajo la adición, la diferencia fn - f debería converger a la función nula 0 (ya que f - f = 0). Sin embargo, analicemos la diferencia gn(t) = fn(t) - f(t). Esta función de diferencia tiene dos saltos: uno positivo en t = 1 (donde f salta pero fn aún no lo ha hecho) y uno negativo en t = 1 + 1/n (donde fn salta). La magnitud de estos saltos es constante (generalmente 1 y -1). En la topología de Skorokhod, para que gn converja a 0, los saltos deberían desvanecerse o alejarse al infinito. En este caso, los saltos permanecen con magnitud 1 y se acercan entre sí, pero no desaparecen. Por lo tanto, la secuencia de diferencias gn no converge a la función cero en la topología de Skorokhod estándar, demostrando que la operación de resta no es continua.

Este resultado es fundamental en la teoría de los procesos estocásticos, ya que implica que la convergencia de dos procesos independientes en el espacio de Skorokhod no garantiza automáticamente la convergencia de su suma o diferencia sin condiciones adicionales sobre la ubicación de los saltos. Esta propiedad subraya la importancia de la estructura específica del espacio polaco de Skorokhod y su métrica para el análisis riguroso de los procesos con saltos, diferenciándolo de espacios más simples donde la continuidad algebraica es más intuitiva.

Aplicaciones en procesos estocásticos

Las funciones càdlàg constituyen la clase estándar de trayectorias en la teoría de procesos estocásticos que presentan discontinuidades. A diferencia del movimiento browniano, cuyas trayectorias son continuas casi seguramente, muchos procesos utilizados en la modelización financiera, física y de colas exhiben saltos. La propiedad de continuidad a la derecha garantiza que el valor del proceso en un instante dado coincida con su límite por la derecha, lo cual es esencial para la definición de la σ-álgebra natural y la adaptación del proceso. La existencia de límites por la izquierda asegura que las discontinuidades sean de primer tipo, evitando comportamientos oscilatorios extremos en cada punto del tiempo.

Modelización de trayectorias con saltos

En el contexto de la modelización, las trayectorias càdlàg permiten describir fenómenos donde los cambios de estado ocurren de manera repentina pero bien definida. Por ejemplo, en los procesos de Poisson y sus generalizaciones, como los procesos de Lévy, las trayectorias son típicamente càdlàg. Esta estructura facilita el análisis de la evolución temporal del proceso, ya que permite definir el tamaño del salto en cada instante como la diferencia entre el valor actual y el límite por la izquierda. La formalización de estas funciones en el espacio de Skorokhod, nombrado en honor a Anatoliy Skorokhod, proporciona un marco topológico adecuado para estudiar la convergencia débil de estos procesos. El espacio de Skorokhod es un espacio polaco, es decir, completo y separable, lo que lo hace particularmente útil para la aplicación de teoremas de convergencia en la teoría de la medida y los procesos estocásticos.

La elección de funciones càdlàg sobre otras clases de funciones, como las continuas a la izquierda con límites a la derecha (càglàd), es convencional pero fundamental. Esta convención asegura que la información disponible hasta un tiempo t esté contenida en el valor del proceso en t, lo cual es coherente con la noción de filtración en la teoría de la medida. Así, las funciones càdlàg no solo son una comodidad técnica, sino una necesidad estructural para el desarrollo riguroso de la teoría de procesos estocásticos con saltos.

Ejercicios resueltos

Verificación de la propiedad càdlàg en funciones de distribución

Para ilustrar la definición de funciones càdlàg (continuas a la derecha, límites a la izquierda), consideremos una función de distribución escalón simple. Sea la función f(t)={0sit<11sit≥1.

Verificamos la continuidad a la derecha en t=1. El límite por la derecha es limt→1+f(t)=1, que coincide con f(1)=1. Por tanto, es continua a la derecha.

Verificamos la existencia del límite por la izquierda. Dado que el límite existe (aunque sea distinto del valor de la función), la condición de "límite a la izquierda" se cumple. Esta función es un ejemplo básico de proceso estocástico con salto, fundamental en el espacio de Skorokhod.

Módulo de continuidad y convergencia en el espacio de Skorokhod

El espacio de Skorokhod, nombrado en honor a Anatoliy Skorokhod, es un espacio polaco (completo y separable) bajo una métrica específica. Para analizar la convergencia, consideremos una secuencia de funciones escalón fn(t) con un salto en t=1+1/n.

En la métrica de Skorokhod, dos funciones están cercanas si sus gráficos pueden superponerse mediante pequeñas deformaciones continuas del eje temporal. A medida que n→∞, el salto de fn se acerca al salto de la función límite f(t) en t=1.

El módulo de continuidad mide la oscilación de la función en intervalos pequeños. Para una función escalón, la oscilación es máxima en el punto de salto. La convergencia en el espacio de Skorokhod permite que los saltos se "deslicen" ligeramente en el tiempo sin romper la convergencia, a diferencia de la convergencia uniforme clásica. Esto hace que el espacio sea ideal para estudiar procesos estocásticos con saltos, donde los tiempos de salto pueden variar ligeramente entre realizaciones.