تابع 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 .

فرض کنید الگو:Nowrap یک فضای متریک و همچنین الگو:Nowrap باشد. یک تابع الگو:Nowrap، تابع càdlàg نامیده می‌شود اگر برای هر الگو:Nowrap:

• حد چپ (ƒ(t−) := lims↑t ƒ(s وجود داشته باشد، و
• حد راست موجود (ƒ(t+) := lims↓t ƒ(s و برابر (ƒ(t باشد.

که این بدان معناست که ƒ از راست پیوستگی و از چپ حد دارد.

نمونه‌ها

• تمام توابع پیوسته، càdlàg هستند.
• به عنوان یک نتیجه از تعریف توابع càdlàg، تمام توابع توزیع تجمعی càdlàg هستند. برای نمونه احتمال تجمعی در نقطهٔ r میزان احتمالی است که یک متغیر تصادفی کمتر یا بیشتر از r باشد ، $\mathbb{P}[x\le r]$.
• مشتق راست $f_{+}^{\prime }$ هر تابع محدب f که روی یک بازهٔ باز تعریف شده باشد، یک تابع cadlag افزایشی است.

فضای Skorokhod

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

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

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

(ϖ′ƒ(δ. برای هر الگو:Nowrap، قرار دهید:

$w_f(F):=\underset{s,t\in F}{\sup }|f(s)-f(t)|$

و برای الگو:Nowrap ماژول càdlàg را چنین تعریف کنید:

$\varpi {\text{'}}_f(\delta ):=\underset{\mathrm{\Pi }}{\inf }\underset{1\le i\le k}{\max }{w}_f([t_{i-1},t_i)),$

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

فرض کنید Λ مجموعه تمام توابع دوسویه پیوسته و strictly increasing از E به خودش باشد. (اینها "دگرگونی در زمان" هستند) فرض کنید:

$\Vert f\Vert :=\underset{t\in E}{\sup }|f(t)|$

نرم (ریاضی) یکنواخت روی تابع E را مشخص کند. متریک Skorokhod زوی σ در D به صورت زیر تعریف شود:

$\sigma (f,g):=\underset{\lambda \in \mathrm{\Lambda }}{\inf }\max \{\Vert \lambda -I\Vert ,\Vert f-g\circ \lambda \Vert \},$

که در آن الگو:Nowrap تابع همانی است. در بیان "wiggle"، مقدارالگو:Nowrap برابر است با "wiggle در زمان" و الگو:Nowrap ااندازهٔ "wiggle در فضاً را مشخص می‌کند.

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

خواص فضای Skorokhod

تعمیم توپولوژی یکنواخت

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

کامل بودن

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

جدایی‌پذیری

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

تنگی در فضای Skorokhod

به عنوان یک کاربرد از با قضیه Arzelà–Ascoli می‌تواند نشان داد که یک دنباله، … μn)n=۱٬۲) از اندازه‌گیری‌های احتمالاتی روی فضای D سخت است اگر و تنها اگر:_{الگو:سخ}$\underset{a\to \mathrm{\infty }}{\lim }\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}{\mu }_n(\{f\in D|\Vert f\Vert \ge a\})=0,$

و

$\underset{\delta \to 0}{\lim }\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}{\mu }_n(\{f\in D|\varpi {\text{'}}_f(\delta )\ge \epsilon \})=0\text{ for all }\epsilon >0.$

ساختار جبری و توپولوژیکی

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

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

منابع

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