lemma A.91 Smallness after rescaling

Rests on

• depends_on equation A.219 eq:app-korn-lichtenstein-holder ¶
• depends_on lemma A.90 Affine normalization ¶
  • depends_on proposition A.89 Beltrami form ¶
    • depends_on equation A.218 eq:app-korn-lichtenstein-wirtinger ¶
    • depends_on proposition A.87 The isothermal system ¶
      • depends_on equation 10.11 eq:pde-two-variable-matrix ¶
      • depends_on proposition A.86 The complex characteristic equation ¶
        • depends_on equation 10.8 eq:pde-characteristic-condition ¶
        • depends_on equation 10.12 eq:pde-two-variable-coefficients ¶
        • proves proof app:A-long-proofs@proof-58 ¶
      • proves proof app:A-long-proofs@proof-59 ¶
    • proves proof app:A-long-proofs@proof-60 ¶
  • depends_on theorem 10.8 The type is a coordinate invariant ¶
    • depends_on definition 10.6 Type of a second-order operator ¶
      • depends_on definition 10.4 The second-order operator ¶
        • depends_on definition 10.3 Principal part and principal symbol ¶
        • depends_on proposition 7.105 Clairaut–Schwarz ¶
      • depends_on theorem 5.116 Sylvester's law of inertia ¶
        • depends_on definition 5.110 Bilinear map ¶
        • depends_on definition 5.111 Symmetric and antisymmetric forms ¶
        • depends_on equation 5.139 eq:lin-bilinear-congruence ¶
        • proves proof ch:03-linear-algebra-representations@proof-53 ¶
    • depends_on proposition 7.31 Chain rule ¶
      • depends_on definition 7.13 Composite function ¶
        • depends_on definition 7.9 Real function ¶
      • depends_on proposition 7.27 Differentiable implies continuous ¶
        • depends_on definition 7.20 Continuity at a point ¶
        • depends_on definition 7.26 Derivative of a function at a point ¶
        • depends_on proposition 7.6 Algebra of limits ¶
        • proves proof ch:05-real-analysis@proof-11 ¶
      • depends_on proposition 7.6 Algebra of limits ¶ ↺
      • proves proof ch:05-real-analysis@proof-15 ¶
    • depends_on theorem 5.116 Sylvester's law of inertia ¶ ↺
    • proves proof ch:08-pdes@proof-1 ¶
  • proves proof app:A-long-proofs@proof-61 ¶
• proves proof app:A-long-proofs@proof-62 ¶

Supports

Nothing declares a dependency on this node yet.