Commit 2024-09-25 13:57 be952f83

View on Github →

feat(Dynamics.TopologicalEntropy): add definition of topological entropy by nets (#16162) Third PR in a sequence to implement the notion of topological entropy for maps using Bowen-Dinaburg's formalism. This file introduces a definition of topological entropy using nets.

  • Dynamical uniformities
  • Topological entropy via covers
  • Topological entropy via nets
  • Behaviour under semiconjugacy
  • Behaviour for subsets and unions
  • Behaviour under products
  • Full shift The main file is Dynamics.TopologicalEntropy.NetEntropy. It is slightly shorter and less technical than the previous one. There are also a few modifications to Dynamics.TopologicalEntropy.CoverEntropy (some golf, and renamed a lemma to enable dot notation -- which is quite convenient here). Paging @pitmonticone @sgouezel

Estimated changes