Context:(adsbygoogle = window.adsbygoogle || []).push({});

[itex]T : X \rightarrow X[/itex] is a measure preserving ergodic transformation of a probability measure space [itex]X[/itex]. Let [itex]V_n = \{ g | g \circ T^n = g \} [/itex] and [itex]E = span [ \{g | g \circ T = \lambda g, [/itex] for some [itex]\lambda \} ][/itex] be the span of the eigenfunctions of the induced operator [itex]T : L^2 \rightarrow L^2[/itex], [itex]Tf = f \circ T[/itex].

Problem:

I was reading this paper by Fursternberg and Weiss where they implicitly claim if [itex]f \perp E[/itex] then [itex] f \perp V_n[/itex]. However, I don't see how this isso.

Some help would be greatly appreciated. : )

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Projection to Invariant Functions:

Loading...

Similar Threads - Projection Invariant Functions | Date |
---|---|

A Fundamental group of Project Plane with 2 points missing | Oct 12, 2017 |

I Euler Characteristic of the Projective plane and sphere? | Oct 6, 2017 |

I Pole in Stereographic Projection | Sep 2, 2017 |

B Stereographic projection and uneven scaling | May 10, 2017 |

I Is a game situation in chess topologically invariant? | Apr 20, 2017 |

**Physics Forums - The Fusion of Science and Community**