proposition 32.43 What the shift does
open in the book ·
parts/03-classical-mechanics/15-nonlinear-dynamics-chaos.tex:1100
· p. 1093
Rests on
-
depends_on
theorem 32.42
The horseshoe is a full shift, quoted
¶
-
depends_on
definition 32.41
The horseshoe map
¶
-
depends_on
definition 32.3
Dynamical system, phase space, flow
¶
-
depends_on
definition 13.82
Vector field
¶
- depends_on definition 13.81 Vector on a manifold ¶
- depends_on definition 9.1 Ordinary differential equation ¶
-
depends_on
definition 13.82
Vector field
¶
-
depends_on
definition 32.3
Dynamical system, phase space, flow
¶
-
depends_on
definition 6.9
Compact set
¶
-
depends_on
definition 6.5
Open cover
¶
-
depends_on
definition 6.2
Open set
¶
- depends_on definition 6.1 Topological space ¶
- depends_on equation 3.51 eq:set-indexed ¶
-
depends_on
definition 6.2
Open set
¶
-
depends_on
definition 6.5
Open cover
¶
-
depends_on
definition 32.41
The horseshoe map
¶
- proves proof ch:15-nonlinear-dynamics-chaos@proof-16 ¶
Supports
Nothing declares a dependency on this node yet.
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
→ | The horseshoe is a full shift, quoted | declared | parts/03-classical-mechanics/15-nonlinear-dynamics-chaos.tex:1106 |
proves |
← | ch:15-nonlinear-dynamics-chaos@proof-16 | declared | parts/03-classical-mechanics/15-nonlinear-dynamics-chaos.tex:1109 |