右連続左極限

数学における右連続左極限関数（みぎれんぞくひだりきょくげんかんすう、; ）は、実数直線上で（あるいはその部分集合上で）定義された関数で、至る所かつ左極限を持つものを言う。右連続左極限関数は、（連続なパスを持つブラウン運動とは異なり）パスの跳びを許す（あるいは要求する）確率過程の研究において重要である。与えられた定義域上の右連続左極限関数全体の成す集合はスコロホッド空間 ("Skorokhod space") と呼ばれる。
これと関連する二つの概念に、左右を入れ替えた左連続右極限関数と、定義域の各点において片側連続片側極限関数がある。
定義.
距離空間 および に対して、関数 が右連続左極限 (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") の言葉で言えば、 は「時間を飛び跳ねる」大きさを測るものであり、 は「空間を飛び跳ねる」大きさを測るものである。
このスコロホッド距離函数 が実際に距離関数となることが示せる。 の生成する位相 を 上のスコロホッド位相と呼ぶ。
スコロホッド空間の性質.
一様位相の一般化.
 上の連続関数の空間 は の部分空間であり、スコロホッド位相を に相対化したものは、 上の一様位相に一致する。
コンパクト性.
 はスコロホッド距離 に関して完備でない けれども、位相的に同値な距離 が存在して が完備となるようにすることができる。
可分性.
 あるいは の何れに関しても は可分である。従って、スコロホッド空間はポーランド空間である。
スコロホッド空間の緊密性.
アルツェラ–アスコリの定理を応用して、スコロホッド空間 上の確率測度の列 が緊密であるための必要十分条件は以下の二条件:
および
を満足することであることが示せる。
代数構造および位相構造.
スコロホッド位相および関数の点ごとの和のもとで、 は位相群を成さない。これは例えば
のような例がある。