I had asked this question on Mathematics Stack Exchange yesterday but it got no response so I'm asking here.

Let $X$ be a compact metric space and $f:X \to X$ be continuous. If $f$ is topologically transitive. Then $f$ is onto.

I'm trying to show that the compactness hypothesis cannot be removed.

I couldn't find any example of a non-compact metric space and a continuous function which is topologically transitive but not onto.

Any hints will be appreciated.

Note: If $(X,f)$ is a dynamical system. Then $f$ is said to be topologically transitive if for every pair of non-empty open sets $U$ and $V$ in $X$ there exists $n \geq 1$ such that $f^n(U) \cap V\neq \emptyset.$

  • $\begingroup$ It's now answered on MathSE. $\endgroup$ – YCor Jan 12 '18 at 11:27

By Birkhoff's theorem, a bounded linear operator on a Banach space is topologically transitive if and only if it is hypercyclic. Charles Read has developed a whole machinery for constructing non-surjective, hypercyclic operators on spaces of the form $\ell_1(X)$:

C.J. Read, The invariant subspace problem for a class of Banach spaces, II. Hypercyclic operators. Israel J. Math., 63 (1) (1988), 1-40.

Of course, possibly these are not the easiest counter-examples for your purposes, although I find them quite instructive.

  • $\begingroup$ Your counter-example, while is interesrting, lacks compactness. $\endgroup$ – Leandro Jan 12 '18 at 13:02
  • 2
    $\begingroup$ @Leandro this was precisely the question, since there's no compact counterexample $\endgroup$ – YCor Jan 12 '18 at 13:24
  • $\begingroup$ You right @Ycor. $\endgroup$ – Leandro Jan 12 '18 at 16:57
  • $\begingroup$ @TomekKania That's a very interesting example. Thank you. $\endgroup$ – Mark Jan 12 '18 at 17:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.