In this paper we calculate the metric and folding entropies for a family of non-invertible symbolic dynamical systems $(\Sigma_{m_-,m_+}, \sigma_\phi)$ which generalizes the standard bilateral Bernoulli shifts. The space $\Sigma_{m_-,m_+}$ consists of symbolic sequences over two distinct finite alphabets, with dynamics governed by a shift map $\sigma_\phi$ incorporating a non-invertible function $\phi$ that maps one of the alphabets to the other one. These systems are, for instance, particularly useful for encoding the many-to-one baker's transformation endomorphisms, and they can also be seen as a skew product with a unilateral Bernoulli shift on the base.
Our context is Filippov systems defined on two-dimensional manifolds having a finite number of tangency points. We prove that topological transitivity is a necessary and sufficient condition for the occurrence of non-deterministic chaos when the Filippov system has non-empty sliding or escaping regions. A fundamental result for continuous flows is the equivalence of topological transitivity and existence of a dense orbit. We prove in our setting that topological transitivity for Filippov systems is indeed equivalent to the existence of a dense Filippov orbit, although, in contrast to the continuous case, we are not able to guarantee that the dense orbit implies the existence of a residual set of dense orbits. Finally, we prove that, in this context, topological transitivity implies strictly positive topological entropy for the Filippov system. This calculation is made using techniques similar to those from symbolic dynamics.
In this work we develop a well-defined theory of orbit spaces for piecewise smooth vector fields (PSVFs). This approach is inspired by the techniques already used in the study of endomorphisms, namely inverse limit analysis, and has been used before for PSVFs. We then apply the construction of our theory to understanding transitivity in PSVFs. Our results prove that the known examples of transitive PSVFs in the literature, the bean model and the sphere model, are indeed transitive in the orbit space.