Skip to main content
added 6 characters in body
Source Link
Michael Hardy
  • 1
  • 12
  • 85
  • 126

For the edited question:

Let $\{f_k\}$ be a basis of $L^2$ using smooth functions.
Let $V_n = \mathop{span}(f_1, \ldots, f_n)$.
Let $T_m$ cyclically permute the $f_1, \ldots, f_m$ with $f_1 \mapsto f_m$.

Then all the requirements you gave are satisfied. But $$ \cup_{n = m}^\infty T_n(V_m) = \cup_{n = 1}^\infty V_n = \mathop{span}(\{f_k\})$$$$ \bigcup_{n = m}^\infty T_n(V_m) = \bigcup_{n = 1}^\infty V_n = \mathop{span}(\{f_k\})$$ is not finite dimensional.

For the edited question:

Let $\{f_k\}$ be a basis of $L^2$ using smooth functions.
Let $V_n = \mathop{span}(f_1, \ldots, f_n)$.
Let $T_m$ cyclically permute the $f_1, \ldots, f_m$ with $f_1 \mapsto f_m$.

Then all the requirements you gave are satisfied. But $$ \cup_{n = m}^\infty T_n(V_m) = \cup_{n = 1}^\infty V_n = \mathop{span}(\{f_k\})$$ is not finite dimensional.

For the edited question:

Let $\{f_k\}$ be a basis of $L^2$ using smooth functions.
Let $V_n = \mathop{span}(f_1, \ldots, f_n)$.
Let $T_m$ cyclically permute the $f_1, \ldots, f_m$ with $f_1 \mapsto f_m$.

Then all the requirements you gave are satisfied. But $$ \bigcup_{n = m}^\infty T_n(V_m) = \bigcup_{n = 1}^\infty V_n = \mathop{span}(\{f_k\})$$ is not finite dimensional.

Source Link
Willie Wong
  • 39k
  • 4
  • 94
  • 176

For the edited question:

Let $\{f_k\}$ be a basis of $L^2$ using smooth functions.
Let $V_n = \mathop{span}(f_1, \ldots, f_n)$.
Let $T_m$ cyclically permute the $f_1, \ldots, f_m$ with $f_1 \mapsto f_m$.

Then all the requirements you gave are satisfied. But $$ \cup_{n = m}^\infty T_n(V_m) = \cup_{n = 1}^\infty V_n = \mathop{span}(\{f_k\})$$ is not finite dimensional.