ABSTRACT

A channel with input X and output Y is a triple [X, , Y] or simply v, where v : X × y [0, 1] is a function which satisfies that

(c1) v(x,•) P(Y) for x X;

(c2) v(•, C) is x-measurable for C y.

Let C(X, Y) denote the set of all channels with input X and output Y. A channel v C(X,Y) is said to be strictly stationary if

(c3) v(Sx, C) = v(x, T-1C) for x X and C y.