Skip to main content
2 of 3
fixed syntax in title; removed superfluous digression
YCor
  • 63.9k
  • 5
  • 187
  • 286

In a non-compact metric space, topological transitivity need not imply onto

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.$

Mark
  • 343
  • 1
  • 10