Differentiable Manifolds, Tensors, and Curvature

foundations+67 moreresults+38 moreequations+28 moredepends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)depends_on (declared)notation 13.1: not:mfd-conventions13.1 notationdefinition 13.2: Linear coordinate transformation13.2 Linear coordinat…definition 13.3: Orthogonal coordinate system13.3 Orthogonal coord…definition 13.4: Orthogonal coordinate transformation13.4 Orthogonal coord…definition 13.5: Tensor under orthogonal transformations13.5 Tensor under ort…definition 13.8: Curve13.8 Curvedefinition 13.9: Tangent vector to a curve13.9 Tangent vector t…definition 13.10: Admissible change of parameter13.10 Admissible chang…definition 13.11: Arc length13.11 Arc lengthdefinition 13.12: Unit tangent vector13.12 Unit tangent vec…definition 13.13: Normal curvature vector of a curve13.13 Normal curvature…definition 13.14: Principal unit normal vector13.14 Principal unit n…definition 13.15: Unit binormal vector13.15 Unit binormal ve…proposition 13.6: Levi-Civita identities in three dimensions13.6 Levi-Civita iden…theorem 13.16: Fundamental theorem of the theory of curves13.16 Fundamental theo…theorem 13.30: Theorema Egregium; Gauss, 182713.30 Theorema Egregiu…corollary 13.31: Bending invariance13.31 Bending invarian…proposition 13.38: Geodesics as stationary curves of the arc length13.38 Geodesics as sta…proposition 13.40: Parallel transport is an isometry of the tangent plane13.40 Parallel transpo…theorem 13.41: Holonomy equals the enclosed curvature; local Gauss–Bonnet13.41 Holonomy equals…proposition 13.46: Compatibility of atlases13.46 Compatibility of…proposition 13.56: Product manifold13.56 Product manifoldtheorem 13.59: Regular value theorem13.59 Regular value th…theorem 13.62: Regular value theorem in codimension k13.62 Regular value th…theorem 13.63: Constant rank theorem13.63 Constant rank th…corollary 13.64: The image of a constant-rank map, locally13.64 The image of a c…equation 13.1: eq:mfd-etaeq. (13.1)equation 13.13: eq:mfd-condortoeq. (13.13)equation 13.36: eq:mfd-dsdteq. (13.36)equation 13.38: eq:mfd-tangeq. (13.38)equation 13.43: eq:mfd-freset1eq. (13.43)equation 13.46: eq:mfd-freset3eq. (13.46)equation 13.47: eq:mfd-freset2eq. (13.47)equation 13.67: eq:mfd-Leq. (13.67)equation 13.83: eq:mfd-ecsgausseq. (13.83)equation 13.87: eq:mfd-sc11eq. (13.87)equation 13.88: eq:mfd-sc22eq. (13.88)equation 13.92: eq:mfd-ecscoda1eq. (13.92)equation 13.95: eq:mfd-riemann-surfaceeq. (13.95)
The chain of Differentiable Manifolds, Tensors, and Curvature: 39 of 172 objects, read left to right from what the chapter assumes to what tests it. Solid lines are declared logical edges, dashed ones were inferred from the structure of the source. Click any node to open its own chain.

Open the whole graph · Read this chapter · What is checked, and what is still owed