A topologically transitive dynamical system without dense orbits

Question

By a dynamical system I understand a pair $(K,G)$ consisting a compact Hausdorff space and a subgroup $G$ of the homeomorphism group of $K$.

We say that a dynamical system $(K,G)$

$\bullet$ is topologically transitive if for every non-empty open set $U\subseteq K$ its orbit $GU=\{g(x):g\in G,\;x\in U\}$ is dense in $K$;

$\bullet$ has dense orbit if for some point $x\in K$ its orbit $Gx$ is dense in $K$.

It is easy to see that a dynamical system is topologically transitive if it has a dense orbit. If the space $K$ is metrizable and nonempty, then the converse also is true.

On the other hand, under $\mathrm{non}(\mathcal M)<\mathfrak c$, there exists a subgroup $G\subset S_\omega$ of cardinality $|G|\le\mathrm{non}(\mathcal M)<\mathfrak c$ that induces a topologically transitive action of the Stone-Cech remainder $\omega^*=\beta\omega\setminus\omega$. The dynamical system $(\omega^*,G)$ does not have dense orbits since the space $\omega^*$ has density $\mathfrak c>|G|$. I am interested if such an example can be constructed in ZFC.

Problem. Is there topologically transitive dynamical system without dense orbits?

Answer 1

The answer is yes:

there is a topologically transitive dynamical system without dense orbits.

Indeed,

let X be a topological space that is not separable. Let $\ K=X^{\Bbb Z},\ $ and let $\ G\ $ be the group of homeomorphism of $\ K,\ $ induced by shifts $\ s_n\ (n\in\Bbb Z)\ $ of $\ \Bbb Z:\ $

$$ \forall_{n\in\Bbb Z}\forall_{x\in\Bbb Z}\quad s_n(x):= x+n $$

Let $\ p:=(p_n)\in K\ $ be arbitrary, and let

$$ P:=\{p_n:n\in \Bbb Z\} $$

Then there exists non-empty open $\ U\ $ in $\ X,\ $ disjoint with set $\ P.\ $ Then non-empty open in $\ K\ $ set $\ W,$

$$ W\ :=\ \pi_0^{-1}(U)\ $$

is disjoint with the orbit $\ p.\ $

On the other hand, let $\ \emptyset\ne G\subseteq K, $ where $\ G\ $ is open in $\ K.\ $ Then there exists non-empty $\ H\ $ and integer $ a\ge 0\ $ such that $\ H\ $ is an open subset of $\ X^{(-a)..a}\ $ (Perl notation "s..t") and

$$ \emptyset\ \ne\ \pi_{(-a)..a}^{-1}(H)\ \subseteq G $$

Obviously, the orbit of $\ \pi_{(-a)..a}^{-1}(H)\ $, hence of $\ G,\ $ is dense in $\ K.$

Great!