確率解析(連続確率過程)を勉強していると序盤の設定のところでシリンダー集合(柱状集合)が突然現れ，離散確率過程とのギャップにモヤモヤすることがあったので，シリンダー集合について調べることにしました． 上の連続関数の集合 を考え，距離 を導入します…