definition A.624 Projector and induced metric

open in the book · appendices/A-long-proofs.tex:30166 · p. 3093

ground object -- no derivation owed

Rests on

depends_on definition 13.145 Affine connection ¶
- depends_on definition 13.90 Mixed tensor ¶
  - depends_on definition 13.89 Contravariant and covariant tensors ¶
    - depends_on definition 13.88 General coordinate transformation ¶
  - depends_on definition 13.88 General coordinate transformation ¶ ↺
- depends_on definition 13.82 Vector field ¶
  - depends_on definition 13.81 Vector on a manifold ¶
    - depends_on definition 13.71 Differentiable curve ¶
      - depends_on definition 13.48 Differentiable manifold ¶
    - depends_on definition 13.45 Differentiable map on a topological space ¶
      - depends_on definition 13.44 Atlas ¶
      - depends_on definition 13.43 Coordinate system ¶
    - depends_on definition 13.48 Differentiable manifold ¶ ↺
depends_on equation A.968 eq:app-adm-gauss-codazzi-normal ¶

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`	→	Affine connection	declared	appendices/A-long-proofs.tex:30182
`depends_on`	→	eq:app-adm-gauss-codazzi-normal	declared	appendices/A-long-proofs.tex:30182