Càdlàg

A Wikipédiából, a szabad enciklopédiából

A matematikában a càdlàg (francia: "continue à droite, limitée à gauche" kifejezés), RCLL (angol: "right continous with left limits") vagy corlol ("continous on (the) right, limit on (the) left") mind az olyan valós számokon (vagy azok egy részhalmazán) értelmezett folytonos függvények jelölésére szolgáló rövidítés, amelyek az értelmezési tartományuk valamennyi pontjában jobbról folytonosak és ugyanitt létezik a bal oldali határértékük. A kifejezés elterjedt a matematikai függvénykalkulus területén és nem szokás magyar megfelelővel helyettesíteni [forrás?]. olykor az egyszerűség kedvéért az eredeti càdlàg írásmód helyett az ékezetek nélküli cadlag kifejezést használják a magyar irodalmakban. A càdlàg függvények az olyan sztochasztikus folyamatok tanulmányozásában töltenek be fontos szerepet, melyekben elfogadott (néha követelmény) ugrások jelenléte, nem úgy mint pl. a Brown-mozgás esetén, amelynek pályái folytonosak. Egy adott tartományon értelmezett càdlàg függvények családját Skorokhod térnek nevezzük.

Definíció[szerkesztés | forrásszöveg szerkesztése]

Az eloszlásfüggvények például càdlàg függvények.

Legyen (M, d) egy metrikus tér és legyen E \subseteq \mathbb{R}. Egy f : E \to M függvényt càdlàg függvénynek nevezünk, ha \forall t\in E esetén

Azaz definíció szerint f jobbról folytonos és rendelkezik bal oldali határértékekkel.

Példák[szerkesztés | forrásszöveg szerkesztése]

  • Minden folytonos függvény càdlàg.
  • Definíciójuk szerint minden eloszlásfüggvény càdlàg függvény.

Skorokhod tér[szerkesztés | forrásszöveg szerkesztése]

Az összes f: E\rightarrow M càdlàg függvények terét gyakran D(E;M) jelöli (vagy egyszerűbben D) és ezt Skorokhod-térnek nevezzük Anatolij Skorokhod ukrán matematikus után. A Skorokhod tereket topológiával láthatjuk el, amellyel intuitíven "csavarhatunk egy kicsit a téren és időn" (míg a hagyományos uniform norma topológiában csak "a téren csavarhatunk egy kicsit". Az egyszerűség kedvéért tekintsük a E = [0,T] és M=\mathbb{R}^n halmazokat — lásd Billingsley általánosabb kontrukcióért.

Először definiálnunk kell a folytonossági modulus megfelelőjét, \varphi'_{f} (\delta). Minden  F\subseteq E halmazra legyen

w_{f} (F) := \sup_{s, t \in F} | f(s) - f(t) |

és \forall \delta>0 legyen a càdlàg modulus

\varpi'_{f} (\delta) := \inf_{\Pi} \max_{1 \leq i \leq k} w_{f} ([t_{i - 1}, t_{i})),

ahol az infimum az összes \Pi = \{ 0=t_{0}<t_{1} <\dots < t_{k} = T\},\quad k\in \mathbb{N} partíción fut úgy, hogy \max_{i} (t_{i} - t_{i - 1}) < \delta. Ez a definíció értelmes nem-càdlàg f függvényekre is (ahogy a hagyományos folytonossági modulus is értelmes nem folytonos függvényekre) és megmutatható hogy f akkor és csak akkor càdlàg, ha \varpi'_{f}(\delta)\to 0 ahogy \delta\to 0.

Jelölje most \Lambda az összes szigorúan monoton növő, folytonos, E\rightarrow E bijekciók halmazát (ezek az "idő csavarásai"). Legyen

\| f \| := \sup_{t \in E} | f(t) |

a függvények uniform normája E-n. Definiáljuk a \sigma Skorokhod-metrikát D-n a következőképpen:

\sigma (f, g) := \inf_{\lambda \in \Lambda} \max \{ \| \lambda - I \|, \| f - g \circ \lambda \| \},

ahol I : E \to E az identitás. A "csavarás" intuícióval élve, \| \lambda - I \| méri az "időcsavarás" mértékét és \|f-g\circ\lambda\| méri a "tércsavarás" mértékét.

Megmutatható, hogy a Skorokhod-metrika valóban metrika. A \Sigma topológiát amit \sigma generál, nevezzük Skorokhod-topológiának D

A Skorokhod-terek tulajdonságai[szerkesztés | forrásszöveg szerkesztése]

Az uniform topológia általánosítása[szerkesztés | forrásszöveg szerkesztése]

Az E-n értelmezett folytonos függvények C tere egy altér D'-n. A C-hez viszonyított Skorokhod topológia érintkezik ezen a halmazon az uniform topológiával.

Teljesség[szerkesztés | forrásszöveg szerkesztése]

Megmutatható, hogy bár D nem teljes tér a \sigma Skorokhod-metrikára nézve, létezik topologikusan ekvivalens metrika \sigma_0 amire nézve D teljes.

Szeparábilitás[szerkesztés | forrásszöveg szerkesztése]

Mind σ-ra, mind σ0-ra nézve D egy szeparábilis tér. Így a Skorokhod-terek Lengyel terek.

Feszesség Skorokhod-terekben[szerkesztés | forrásszöveg szerkesztése]

Az Arzelà-Ascoli-tétel segítségével megmutatható, hogy a D Skorokhod-téren értelmezett valószínűségi mértékek egy (\mu_{n})_{n = 1}^{\infty} sorozata feszes akkor és csak akkor, ha a következő feltételek mindegyike teljesül:

\lim_{a \to \infty} \limsup_{n \to \infty} \mu_{n} \{ f \in D | \| f \| \geq a \} = 0,

és

\lim_{\delta \to 0} \limsup_{n \to \infty} \mu_{n} \{ f \in D | \varpi'_{f} (\delta) \geq \varepsilon \} = 0\text{ for all }\varepsilon > 0.

Algebrai és topológiai struktúra[szerkesztés | forrásszöveg szerkesztése]

A Skorokhod-topológia és a függvények pontonkénti összeadása felett D nem alkot topologikus csoportot.

Hivatkozások[szerkesztés | forrásszöveg szerkesztése]

  • Billingsley, Patrick. Probability and Measure. New York, NY: John Wiley & Sons, Inc. (1995). ISBN 0-471-00710-2 
  • Billingsley, Patrick. Convergence of Probability Measures. New York, NY: John Wiley & Sons, Inc. (1999). ISBN 0-471-19745-9 

Ez a szócikk részben vagy egészben a Càdlàg című angol Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel.