Cylinder function on a product space (source code)

= Cylinder function on a product space

= Cylinder function
{synonym}

A function on a <Cartesian product> is a cylinder function if it depends on only finitely many coordinates. With finite discrete coordinate spaces it is a <continuous function> in the <product topology>. These functions determine finite-dimensional laws and provide a natural domain for local generators of <interacting particle systems>.