確率過程のタイト性のソースを表示

'''【 かくりつかていのたいとせい (tightness of stochastic process) 】'''

[[確率過程]]<math>\{X(t)\} \,</math>は[[状態空間]]<math>S \,</math>を持ち，
<math>S \,</math>には距離が定義されているとする．
任意の正の数<math>\epsilon \,</math>に対して，
十分大きな<math>S \,</math>の有界な閉部分集合<math>K \,</math>をとると，
任意の時刻<math>t \,</math>について

<center>
<math>
\mbox{P}(X(t) \in K) > 1- \epsilon 
\,</math>
</center>

が成り立つことをいう．
確率過程<math>\{X(t)\} \,</math>が安定であることを表している．