Theorems · Definition · dynamical systems

Dynamics.IsDynCoverOf

{X : Type u_1} → (X → X) → Set X → SetRel X X → ℕ → Set X → Prop

Given a subset F, an entourage U and an integer n, a subset s is a (U, n)- dynamical cover of F if any orbit of length n in F is U-shadowed by an orbit of length n of a point in s.

Defined in

Mathlib.Dynamics.TopologicalEntropy.CoverEntropy

Cited by

36 results in Mathlib

Foundations

Depth 8 from the axioms · uses no axioms