Measurable and non-singular equivalence relation in a one-sided Markov Shift
In a one-sided Markov shift where is the sample space, B the -algebra generated by finite cylinder sets, a product measure and T the shift transformation, first, we define a metric where n is the least integer such that . Then, we define the following relation:
Given , iff there exists such that .
One can easily check is an equivalent relation. We set and, for each subset , we set to be the union of equivalent classes of each element in A.
My question is:
1. Is ?
2. For each , is it true that iff ?
The first question is asking if R is measurable and the second is asking if R is non-singular. For the first one, it suffices to show that, for each . However, R(B) could be properly contained in and then I do not know how to proceed. I also try to consider the function . This function is continuous but it may obtain zero outside of R.
For the second question, I suppose whenever , B will contain a finite cylinder set and hence so does R(B). However, I do not how to deal with the other direction.