Неперервна справа функція з лівосторонніми границями
В математиці, càdlàg (фр.continu à droite, limite à gauche, або англійською RCLL або англ.“right continuous with left limits”) функція або Неперервна справа функція з лівосторонніми границями (НСФзЛГ) — це функція визначена на дійсній осі (або її підмножині), всюди неперервна справа і має лівосторонні границі в кожній точці. Càdlàg функції є дуже важливими у вивченні стохастичних процесів з стрибками, на відміну від Вінерівського процесу який має неперервні траєкторії. Клас неперервних справа функцій з лівосторонніми границями (càdlàg функції) утворюють простір Скорохода.
Нехай (M, d) — метричний простір, і E ⊆ R. Функція ƒ: E → M називається неперервною справа функцією з лівосторонніми границями (або càdlàg функцією) якщо, для всіх t ∈ E,
Права похідна будь-якої опуклої функції f, що визначена на відкритому інтервалі, є зростаючою càdlàg функцією[джерело?].
Простір Скорохода
Множина усіх càdlàg функцій ƒ: E → M часто позначається як D(E; M) (або просто D) і називається Простір Скорохода на честь українського математикаАнатолія Скорохода. Простору Скорохода може бути поставлена у відповідність топологія, яка дозволяє нам інтуітивно "трохи збурювати простір і час" (тоді як традиційна топологія з рівномірною збіжністю дозволяє лише "трохи збурювати простір"). Для спрощення візьмемо E = [0, T] та M = Rn — дивись у Billingsley більш загальну конструкцію.
З початку треба визначити аналог модуля неперервності, ϖ′ƒ(δ). Для будь-якого F ⊆ E визначимо
і для δ > 0 визначимо càdlàg modulus як
де infimum береться по всім розподілам Π = {0 = t0 < t1 < … < tk = T}, k ∈ N з mini (ti − ti−1) > δ. Таке визначення дає сенс для non-càdlàg ƒ (тоді як звичайний модуль неперевності дає сенс для розривних функцій) і можна показати, що ƒ є càdlàg тоді і тільки тодіϖ′ƒ(δ) → 0 коли δ → 0.
Позначимо Λ множину усіх строго зростаючих, неперервних бієкцій з E в себе (це є "збурення часу"). Нехай
позначає однорідну норму функцій на E. Визначимо метрику Скороходаσ на D так
де I: E → E є індикаторною функцією. В термінах інтуітивного "збурення" ||λ − I|| вимірює розмір "збурення в часі", а ||ƒ − g○λ|| вимірює розмір "збурення в просторі".
Можна показати, що метрика Скорохода є дійсно метрикою. Топологія Σ, що генерується σ називається топологією Скорохода на D.
Властивості простору Скорохода
Узагальнення однорідної торології
Простір C неперевних функцій на E є підпросторомD. Топологія Скорохода, яка зв'язується з простором C, збігається з однорідною топологією на ньому.
Застосовуючи теорему Арцела-Асколі, можна показати, що послідовність (μn)n=1,2,…ймовірнісних мір на просторі Скорохода D є щільною тоді і лише тоді, коли виконуються наступні дві умови:
та
Алгебраїчна та топологічна структура
При топології Скорохода та поточковому складанні функцій D не є топологічною групою. Це видно з наступного прикладу:
Нехай одиничний интервал, а послідовність характеристичних функцій.
Не дивлячись на те, що в топології Скорохода, послідовність не збігається до 0.