Ir al contenido

Càdlàg

De Wikipedia, la enciclopedia libre

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

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

Sea (M, d) un espacio métrico y sea ER. Una función ƒ: EM se denomina función càdlàg si para cada tE,

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

Ejemplos

[editar]
  • 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 corresponde con la probabilidad de tener un valor menor o igual que , es decir, . En otras palabras, la medida del intervalo semiabierto de la forma .
  • 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

[editar]

El conjunto de todas las funciones càdlàg de E a M se denota frecuentemente por D(E; M) (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 D(E; M) 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 E = [0, T] y M = Rn — ver Billingsley para una construcción más general.

Para caracterizar este espacio, se define primeramente un análogo del módulo de continuidad, ϖ′ƒ(δ). Para cualquier FE, se toma:

y para δ > 0, se define el módulo càdlàg como

donde el ínfimo se toma sobre todas las particiones Π = {0 = t0 < t1 < … < tk = T}, kN, con mini (ti − ti−1) > δ. 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 ϖ′ƒ(δ) → 0 como δ → 0. 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:

que permite definir la métrica de Skorokhod σ sobre D mediante la relación:

donde I: EE es la función identidad. En términos intuitivos ||λ − I|| mide el tamaño de la "ondulación con el tiempo" y ||ƒ − g○λ|| 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

[editar]

Generalización de la topología uniforme

[editar]

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

[editar]

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 σ0 con respecto a la cual D es completa.[1]

Separabilidad

[editar]

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

Apretamiento en el espacio de Skorokhod

[editar]

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:

y

Estructura algebraica y topológica

[editar]

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 un intervalo unitario y tómese como una secuencia de funciones características. A pesar del hecho de que en la topología de Skorokhod, la sucesión no converge a 0.

Referencias

[editar]
  1. Billingsley, 1999, Convergence of probability measures

Bibliografía

[editar]