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 toDynamics.TopologicalEntropy.CoverEntropy
(some golf, and renamed a lemma to enable dot notation -- which is quite convenient here). Paging @pitmonticone @sgouezel