右連続左極限

数学における右連続左極限関数（みぎれんぞくひだりきょくげんかんすう、; ）は、実数直線上で（あるいはその部分集合上で）定義された関数で、至る所かつ左極限を持つものを言う。右連続左極限関数は、（連続なパスを持つブラウン運動とは異なり）パスの跳びを許す（あるいは要求する）確率過程の研究において重要である。与えられた定義域上の右連続左極限関数全体の成す集合はスコロホッド空間 (Skorokhod space) と呼ばれる。

これと関連する二つの概念に、左右を入れ替えた左連続右極限関数と、定義域の各点において片側連続片側極限関数がある。

定義 

距離空間  および  に対して、関数  が右連続左極限 (càdlàg) であるとは、任意の  において
 左極限  が存在し、
 右極限  が存在してかつ  に等しい
ときにいう。つまり、càdlàg 函数  は右連続かつ左極限を持つ。

例 
 任意の連続函数は càdlàg である。
 定義により任意の累積分布関数は càdlàg である。例えば点  における累積値は  以下であるような確率  に対応する。言い換えれば、両側分布に対して考える半開区間  は右閉である。
 開区間上定義された任意の凸関数  の右微分  は単調増大 càdlàg 関数である。

スコロホッド空間 
 から  への càdlàg 関数全体の成す空間をしばしば  あるいは単に  と書いて、スコロホッド空間 (Skorokhod space) と呼ぶ（ソヴィエトの数学者に因む）。スコロホッド空間には、直観的に言えば「時間と空間を少し飛び跳ねる」こと ("wiggle space and time a bit") が許されるような位相を入れることができる（旧来的な一様収束の位相では「空間を少し飛び跳ねる」ことしかできない）。簡単のため、 および  ととる（より一般の構成については文献 を見よ）。

まずはに対応する類似の概念  を定義せねばならない。任意の  に対して、
 
とおき、 に対して càdlàg 度 (càdlàg modulus) を
 
なるものと定める。ただし、下限は任意の分割  に亙って取る。この定義は（通常の連続度が不連続関数に対して意味を持つのと同様に）càdlàg でない  に対しても意味を持ち、 が càdlàg であるための必要十分条件は  であることが示せる。

いま、 は  から  への狭義単調増大連続全単射（これらは「時間を飛び跳ねる」）全体の成す集合とする。 上の一様ノルムを
 
と書くとき、 上のスコロホッド距離 (Skorokhod metric)  を
 
と定める。ここで  は恒等写像である。直観的な「飛び跳ね」("wiggle") の言葉で言えば、 は「時間を飛び跳ねる」大きさを測るものであり、 は「空間を飛び跳ねる」大きさを測るものである。

このスコロホッド距離函数  が実際に距離関数となることが示せる。 の生成する位相  を  上のスコロホッド位相と呼ぶ。

スコロホッド空間の性質

一様位相の一般化 
 上の連続関数の空間  は  の部分空間であり、スコロホッド位相を  に相対化したものは、 上の一様位相に一致する。

コンパクト性 
 はスコロホッド距離  に関して完備でない  けれども、位相的に同値な距離  が存在して  が完備となるようにすることができる。

可分性 
 あるいは  の何れに関しても  は可分である。従って、スコロホッド空間はポーランド空間である。

スコロホッド空間の緊密性 
アルツェラ–アスコリの定理を応用して、スコロホッド空間  上の確率測度の列  が緊密であるための必要十分条件は以下の二条件:
 
および
 
を満足することであることが示せる。

代数構造および位相構造 
スコロホッド位相および関数の点ごとの和のもとで、 は位相群を成さない。これは例えば
  を単位区間として、 は指示関数の列とする。スコロホッド位相に関して  という事実にも拘らず、関数列  は 0 に収束しない。
のような例がある。

参考文献 
 
 

実解析
測度論
確率過程
数学に関する記事