تابع Càdlàg

در ریاضیات یک تابع càdlàg یا corlol تابعی است که روی اعداد حقیقی یا زیرمجموعه‌ای از آن تعریف می‌شود به صورتی که همه جا از راست پیوسته‌است و از چپ دارای حد (ریاضی) است. توابع càdlàg در مطالعهٔ فرایندهای تصادفی اهمیت دارند به گونه‌ای که برخلاف حرکت براونی که مسیر نمونه‌هایی پیوسته دارد، نا پیوستگی را در مسیرهای نمونه‌ای قابل قبول می‌داند. مجموعه توابع càdlàg روی یک دامنه به عنوان فضای Skorokhod شناخته می‌شود.

دو اصطلاح مرتبط عبارتند ازcàglàd برای بیان càdlàg چپ-راست بازگشتی و càllàl برای تابعی که روی هر نقطه‌ای از دامنه به هر دو صورتcàdlàg یا càglàd قابل معاوضه است.

تعریف 

فرض کنید  یک فضای متریک و همچنین  باشد. یک تابع ، تابع càdlàg نامیده می‌شود اگر برای هر :
 حد چپ (ƒ(t−) := lims↑t ƒ(s وجود داشته باشد، و
 حد راست موجود (ƒ(t+) := lims↓t ƒ(s و برابر (ƒ(t باشد.
که این بدان معناست که ƒ از راست پیوستگی و از چپ حد دارد.

نمونه‌ها 
 تمام توابع پیوسته، càdlàg هستند.
 به عنوان یک نتیجه از تعریف توابع càdlàg، تمام توابع توزیع تجمعی càdlàg هستند. برای نمونه احتمال تجمعی در نقطهٔ r میزان احتمالی است که یک متغیر تصادفی کمتر یا بیشتر از r باشد ، .
 مشتق راست  هر تابع محدب f که روی یک بازهٔ باز تعریف شده باشد، یک تابع cadlag افزایشی است.

فضای Skorokhod 
مجموعهٔ تمام توابع càdlàg از E تا M اغلب به صورت (D(E; M (و یا برای سادگی D) نمایش داده می‌شود و فضای Skorokhod نامیده می‌شود. می‌توان به فضای Skorokhod یک توپولوژی نسبت داد که مستقیماً ما را قادر می‌سازد «فضا و زمان را قدری دگرگون سازیم» (درحالی که توپولوژی‌های سنتی مربوط به همگرایی یکنواخت تنها اجازهٔ دگرگونی اندک فضا را می‌دهد)

برای سادگی  و  — برای بررسی بیشتر ساختار به Billingsley مراجعه کنید.

نخست لازم است که یک ماژول پیوستگی مشابه تعریف شود:

(ϖ′ƒ(δ. برای هر ، قرار دهید:

و برای  ماژول càdlàg را چنین تعریف کنید:
 
که در آن مقدار infimum روی تمام اجزای }, , با  محاسبه می‌شود. این شیوهٔ تعریف برای توابع غیر càdlàg شهودا پذیرفتنی است و می‌توان نشان داد که ƒ در اینجا càdlàg است اگر و تنها اگر  جایی که .

فرض کنید Λ مجموعه تمام توابع دوسویه پیوسته و strictly increasing از E به خودش باشد. (اینها "دگرگونی در زمان" هستند) فرض کنید:
 
نرم (ریاضی) یکنواخت روی تابع E را مشخص کند. متریک Skorokhod زوی σ در D به صورت زیر تعریف شود:
 
که در آن  تابع همانی است. در بیان "wiggle"، مقدار برابر است با "wiggle در زمان" و  ااندازهٔ "wiggle در فضاً را مشخص می‌کند.

توپولوژی Σ تولید شده توسط σ توپولوژِی Skorokhod توپولوژی در Dاست.

خواص فضای Skorokhod

تعمیم توپولوژی یکنواخت 
فضای C از توابع پیوسته E یک زیرفضا از D است. توپولوژی Skorokhod با C هم‌زمان با، توپولوژی وجود دارد.

کامل بودن 
می‌توان نشان داد که، اگرچه D با معیار Skorokhod یک فضای کامل نیست، یک  معیار معادل توپولوژیکی σ0 وجود دارد که D با توجه به آن کامل است.

جدایی‌پذیری 
با در نظر گرفتن هر کدام از σ یا σ0 ، فضا ی D یک فضای تفکیک‌پذیر است بنابراین Skorokhod یک فضای polish است.

تنگی در فضای Skorokhod 
به عنوان یک کاربرد از با قضیه Arzelà–Ascoli می‌تواند نشان داد که یک دنباله، … μn)n=۱٬۲) از اندازه‌گیری‌های احتمالاتی روی فضای D سخت است اگر و تنها اگر:

و

ساختار جبری و توپولوژیکی 
تحت توپولوژِی Skorokhod و جمع نقطه‌ای توابع، D یک گروه توپولوژیکال نیست، به عنوان مثال:

فرض کنید بازیهٔ واحد باشد و در نظر بگیرید که یک دنباله از توابع مشخصه باشد. برخلاف این واقعیت که در توپولوژی، دنبالهٔ به ۰ همگرا نمی‌شود.

منابع 

 https://en.wikipedia.org/wiki/Càdlàg

آنالیز حقیقی
فرایندهای تصادفی
ویکی‌سازی رباتیک