Càdlàg

En matemáticas, càdlàg (del francés "continue à droite, limite à gauche" 'continuo a la derecha, límite a la izquierda'), CDLI (“continuo/a a la derecha con límites izquierdos”) o cadlai ("continuo/a a (la) derecha, límite a (la) izquierda") es una denominación que se aplica tanto a funciones definidas sobre los números reales, como a otro tipo de objetos. Se refiere a una clase de objetos para los que se tiene continuidad lateral por la derecha y para los cuales se tiene simultáneamente que existen sus límites por la izquierda en todos sus puntos.

Las funciones càdlàg son importantes en el estudio de los procesos estocásticos donde se admite (o incluso se requiere) la existencia de saltos, a diferencia de lo que sucede con el movimiento browniano, que exhibe realizaciones que son trayectorias continuas. La colección de todas las funciones càdlàg sobre un dominio dado se conoce como espacio de Skorokhod.

Dos términos relacionados con càdlàg son càglàd ("continue à gauche, limite à droite") y càllàl ("continue à l'un, limite à l’autre"), para una función que es intercambiablemente càdlàg o càglàd en cada punto del dominio.

Definición

Las distribuciones acumulativas de probabilidad son ejemplos de funciones càdlàg.

Sea Plantilla:Nowrap un espacio métrico y sea Plantilla:Nowrap. Una función Plantilla:Nowrap se denomina función càdlàg si para cada Plantilla:Nowrap,

• el límite por la izquierda Plantilla:Nowrap existe; y
• el límite por la derecha Plantilla:Nowrap existe y es igual a ƒ(t).

Es decir, ƒ es continua por la derecha con límite por la izquierda.

Ejemplos

• Todas las funciones continuas son funciones càdlàg.
• Como consecuencia de su definición, todas las funciones de distribución son funciones càdlàg. Por ejemplo, la probabilidad acumulada en un punto $r$ corresponde con la probabilidad de tener un valor menor o igual que $r$, es decir, $\mathbb{P}[x\le r]$. En otras palabras, la medida del intervalo semiabierto de la forma $(-\mathrm{\infty },r]$.
• La derivada por la derecha f₊' de cualquier función convexa f definida en un intervalo abierto, es una función càdlàg creciente.

Espacio de Skorokhod

El conjunto de todas las funciones càdlàg de E a M se denota frecuentemente por Plantilla:Nowrap (o simplemente D) y se denomina espacio de Skorokhod en honor al matemático ucraniano Anatoliy Skorokhod [si M es un espacio vectorial entonces el espacio de Skorohod Plantilla:Nowrap también será un espacio vectorial]. En todos los casos al espacio de Skorokhod se le puede asignar una topología más flexible que la asociada a la convergencia uniforme. Por simplicidad, se considerará en lo sucesivo Plantilla:Nowrap y Plantilla:Nowrap — ver Billingsley para una construcción más general.

Para caracterizar este espacio, se define primeramente un análogo del módulo de continuidad, Plantilla:Nowrap. Para cualquier Plantilla:Nowrap, se toma: Plantilla:Ecuación y para Plantilla:Nowrap, se define el módulo càdlàg como Plantilla:Ecuación donde el ínfimo se toma sobre todas las particiones Plantilla:Nowrap}, Plantilla:Nowrap, con Plantilla:Nowrap. Esta definición tiene sentido para cualquier función non-càdlàg ƒ (al igual que el módulo de continuidad usual está bien definido para funciones discontinuas) y puede demostrarse que ƒ es càdlàg si y sólo si Plantilla:Nowrap como Plantilla:Nowrap. Ahora sea Λ denota el conjunto de todas las funciones estrictamente crecientes, continuas y biyectivas de E en sí mismo. Se define la norma uniforme de funciones sobre E como: Plantilla:Ecuación que permite definir la métrica de Skorokhod σ sobre D mediante la relación: Plantilla:Ecuación donde Plantilla:Nowrap es la función identidad. En términos intuitivos Plantilla:Nowrap mide el tamaño de la "ondulación con el tiempo" y Plantilla:Nowrap mide el tamaño de la "ondulación en el espacio".

Puede demostrarse que la métrica de Skorohod es de hecho una métrica en el sentido usual. La topología Σ generada por σ se llama topología de Skorokhod sobre D.

Propiedades del espacio de Skorokhod

Generalización de la topología uniforme

El espacio C de funciones continuas sobre E es un subespacio topológico de D. La topología de Skorokhod relativizada a C coincide con la topología uniforme.

Completitud

Puede demostrarse que, aunque D no es un espacio completo respecto a la métrica de Skorokhod metric σ, existe una métrica topológicamente equivalente σ₀ con respecto a la cual D es completa.

Separabilidad

Con respecto a σ o σ₀, D es un espacio separable. Así, el espacio de Skorokhod es un espacio polaco.

Apretamiento en el espacio de Skorokhod

Aplicando el teorema de Arzelà-Ascoli, puede demostrarse que la sucesión (μ_n)_n=1,2,… de mediadas de probabilidades en el espacio de Skorokhod D es apretada si y sólo si se dan las dos condiciones: Plantilla:Ecuación y Plantilla:Ecuación

Estructura algebraica y topológica

Bajo la topología de Skorokhod y la adición de funciones, D no es un grupo topológico, como puede verse en el siguiente ejemplo:

Sea $E=[1,2)$ un intervalo unitario y tómese $f_n={\chi }_{[1-1/n,2)}\in D$ como una secuencia de funciones características. A pesar del hecho de que $f_n\to {\chi }_{[1,2)}$ en la topología de Skorokhod, la sucesión $f_n-{\chi }_{[1,2)}$ no converge a 0.

Referencias

Bibliografía

• Plantilla:Cita libro
• Plantilla:Cita libro