Càdlàg
Na matemática, uma função càdlàg (do francês "continue à droite, limite à gauche"), corlol (do inglês “continuous on (the) right, limit on (the) left”), ou càdlàe (continua à direita, limite à esquerda, tradução literal para português) é uma definida nos números reais (ou um sub-conjunto dos mesmos) que é, em qualquer localização, contínua à direita e com limite à esquerda. Funções cádlag são importantes no estudo de processos estocásticos que admitem (ou mesmo exigem) saltos, ao contrário do movimento browniano que se mantém em caminhos contínuos. O conjunto de funções cádlág num dado domínio é conhecido como o espaço de Skorokhod.
Dois termos relacionados são cáglád, do frânces "continue à gauche, limite à droite", ou càelàd (o oposto do cádlág, contínua à esquerda, limite à direita), e càllàl de "continue à l'un, limite à l’autre" (contínua de um lado e limite do outro), para uma função que permanece càdlàg ou càglàd a cada ponto do seu domínio.
Definição
[editar | editar código-fonte]Sendo (M, d) um espaço métrico, e E ⊆ R. Uma função é chamada de càdlàg se, por cada t ∈ E,
- O limite à esquerda ƒ(t−) := lims↑t ƒ(s) existe; e
- O limite à direita ƒ(t+) := lims↓t ƒ(s) existe e é igual a ƒ(t).
Isto é, ƒ é contínua à direita com os seus limites à esquerda.
Exemplos
[editar | editar código-fonte]- Todas as funções contínuas são funções càdlàg.
- Como consequência da sua definição, todas as funções de distribuição cumuladas são funções càdlàg.
- A derivada à direita f+' de qualquer função convexa, f definido num intervalo aberto, é uma função càdlàg.
Espaço Skorokhod
[editar | editar código-fonte]O conjunto de todas as funções de E a M é vulgarmente descrita como D(E; M) (ou simplesmente D) e é chamada espaço Skorokhod, cujo nome advém do matemático Ucrâniano Anatoliy Skorokhod. Ao espaço Skorokhod pode ser anexado uma topologia que intuitivamente permite mexer um pouco no espaço tempo (ao contrário da tradicional topologia da convergência uniforme que apenas nos permite mexer no espaço. Para simplicidade considere E = [0, T] e M = Rn.
Primeiro definimos um análogo do módulo de contínuidade, ϖ′ƒ(
e, por
onde o ínfimo corre todas as partições
Agora deixe-se
note-se a norma uniforme em funções em E. Defini-se a métrica Skorokhod
onde I: E → E é a função identidade. Em termos de movimento intuitivo, ||
Pode ser mostrado que o a métrica Skorokhod é, de facto, métrica. A topologia
Propriedades do espaço Skorokhod
[editar | editar código-fonte]Generalização da topologia uniforme
[editar | editar código-fonte]O espaço C de funções contínuas em E é um subespaço topológico de D. A topologia Skorokhod relativizada a C coincide com a topologia uniforme na mesma.
Completude
[editar | editar código-fonte]Pode ser mostrado que, apesar de D não ser um espaço completo com respeito à métric de Skorokhod
Separabilidade
[editar | editar código-fonte]Com respeito a quer
Estreitamento no espaço Skorokhod
[editar | editar código-fonte]Por aplicação do teorema de Arzelà-Ascoli, podemos mostrar que uma sequência (
e
Estrutura álgebrica e toplógica
[editar | editar código-fonte]Sobre a topologia de Skorokhod e pontual adição de funções, D não é um grupo topológico, tal como pode ser visto no exemplo seguinte:
Seja o intervalo da unidade e uma sequência de funções características. Apesar de na topologia Skorokhod, a sequência não converge para 0.
Referências Blibliográficas
[editar | editar código-fonte]- Billingsley, Patrick (1995). Probability and Measure. New York, NY: John Wiley & Sons, Inc. ISBN 0-471-00710-2
- Billingsley, Patrick (1999). Convergence of Probability Measures. New York, NY: John Wiley & Sons, Inc. ISBN 0-471-19745-9