theorem 5.77 Criterion for diagonalizability
open in the book ·
parts/02-mathematical-methods/03-linear-algebra-representations.tex:3364
· p. 136
Rests on
-
depends_on
definition 5.76
Diagonalizable operator
¶
-
depends_on
definition 5.56
Endomorphism
¶
-
depends_on
definition 5.37
Linear transformation
¶
- depends_on definition 4.33 Vector space ¶
-
depends_on
definition 5.37
Linear transformation
¶
- depends_on equation 5.74 eq:lin-matrix-rep ¶
-
depends_on
definition 5.56
Endomorphism
¶
-
depends_on
definition 5.69
Eigenvector, eigenvalue, eigenspace
¶
- depends_on definition 5.56 Endomorphism ¶ ↺
-
depends_on
definition 5.39
Kernel, image, nullity, rank
¶
- depends_on definition 5.37 Linear transformation ¶ ↺
-
depends_on
definition 5.7
Vector subspace
¶
-
depends_on
definition 5.5
Linear combination
¶
- depends_on definition 4.33 Vector space ¶ ↺
-
depends_on
definition 5.5
Linear combination
¶
- proves proof ch:03-linear-algebra-representations@proof-12 ¶
-
depends_on
proposition 5.75
Eigenvectors for distinct eigenvalues are
independent
¶
- depends_on definition 5.69 Eigenvector, eigenvalue, eigenspace ¶ ↺
-
depends_on
definition 5.14
Linear independence
¶
- depends_on definition 5.5 Linear combination ¶ ↺
- proves proof ch:03-linear-algebra-representations@proof-29 ¶
- proves proof ch:03-linear-algebra-representations@proof-30 ¶
Supports
-
depends_on
proposition 32.39
Stability of a periodic orbit
¶
- depends_on phenomenon 32.87 Universal period doubling ¶
-
depends_on
proposition 32.84
Fixed points and the first period doubling
¶
- depends_on phenomenon 32.87 Universal period doubling ¶ ↺
-
depends_on
theorem 32.13
Linear stability
¶
- depends_on proposition 32.65 Fixed points of the Lorenz system and their stability ¶
-
depends_on
proposition 32.23
Saddle-node bifurcation
¶
- depends_on proposition 32.95 Intermittency: the scaling of the laminar phase ¶
- depends_on proposition 32.24 Transcritical and pitchfork bifurcations ¶
- depends_on proposition 28.69 Which branch is stable, and where it ends ¶
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 |
→ | Diagonalizable operator | declared | parts/02-mathematical-methods/03-linear-algebra-representations.tex:3370 |
depends_on |
→ | Eigenvector, eigenvalue, eigenspace | declared | parts/02-mathematical-methods/03-linear-algebra-representations.tex:3370 |
depends_on |
→ | Eigenvectors for distinct eigenvalues are independent | declared | parts/02-mathematical-methods/03-linear-algebra-representations.tex:3370 |
depends_on |
← | Stability of a periodic orbit | declared | parts/03-classical-mechanics/15-nonlinear-dynamics-chaos.tex:1015 |
depends_on |
← | Linear stability | declared | parts/03-classical-mechanics/15-nonlinear-dynamics-chaos.tex:291 |
proves |
← | ch:03-linear-algebra-representations@proof-30 | declared | parts/02-mathematical-methods/03-linear-algebra-representations.tex:3374 |