example 30.10 Simple shear and pure shear are the same strain
open in the book ·
parts/03-classical-mechanics/13-continuum-elasticity.tex:288
· p. 1010
- example -- no derivation owed by its kind
Rests on
-
depends_on
definition 30.6
Linear strain and infinitesimal rotation
¶
- depends_on definition 13.91 Symmetric and antisymmetric parts ¶
- depends_on equation 30.2 eq:elast-displacement ¶
-
depends_on
proposition 30.9
Principal strains
¶
- depends_on definition 30.6 Linear strain and infinitesimal rotation ¶ ↺
-
depends_on
theorem 5.79
Spectral theorem for a self-adjoint operator
¶
-
depends_on
corollary 5.72
Existence of an eigenvalue over $\C$
¶
-
depends_on
theorem 8.19
Fundamental theorem of algebra
¶
- depends_on theorem 8.18 Liouville ¶
- proves proof ch:06-complex-analysis@proof-13 ¶
-
depends_on
theorem 5.71
The eigenvalues are the roots of the characteristic
polynomial
¶
- depends_on definition 5.70 Characteristic polynomial ¶
- depends_on definition 5.69 Eigenvector, eigenvalue, eigenspace ¶
- depends_on proposition 5.49 Injective, surjective, invertible ¶
- proves proof ch:03-linear-algebra-representations@proof-26 ¶
- proves proof ch:03-linear-algebra-representations@proof-27 ¶
-
depends_on
theorem 8.19
Fundamental theorem of algebra
¶
-
depends_on
definition 5.41
Adjoint
¶
-
depends_on
definition 5.18
Inner product
¶
- depends_on definition 4.33 Vector space ¶
-
depends_on
definition 5.37
Linear transformation
¶
- depends_on definition 4.33 Vector space ¶ ↺
-
depends_on
definition 5.18
Inner product
¶
-
depends_on
theorem 5.40
Rank–nullity
¶
-
depends_on
definition 5.15
Basis
¶
- depends_on definition 5.12 Subspace generated by a set of vectors ¶
- depends_on definition 5.14 Linear independence ¶
-
depends_on
definition 5.39
Kernel, image, nullity, rank
¶
- depends_on definition 5.37 Linear transformation ¶ ↺
- depends_on definition 5.7 Vector subspace ¶
- proves proof ch:03-linear-algebra-representations@proof-12 ¶
-
depends_on
lemma 5.38
Exchange and completion
¶
- depends_on definition 5.15 Basis ¶ ↺
- depends_on definition 5.12 Subspace generated by a set of vectors ¶ ↺
- depends_on definition 5.14 Linear independence ¶ ↺
- proves proof ch:03-linear-algebra-representations@proof-11 ¶
- proves proof ch:03-linear-algebra-representations@proof-13 ¶
-
depends_on
definition 5.15
Basis
¶
- proves proof ch:03-linear-algebra-representations@proof-31 ¶
-
depends_on
corollary 5.72
Existence of an eigenvalue over $\C$
¶
- proves proof ch:13-continuum-elasticity@proof-3 ¶
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 |
→ | Linear strain and infinitesimal rotation | declared | parts/03-classical-mechanics/13-continuum-elasticity.tex:313 |
depends_on |
→ | Principal strains | declared | parts/03-classical-mechanics/13-continuum-elasticity.tex:313 |