definition 25.21 First-order action in general coordinates
open in the book ·
parts/03-classical-mechanics/08-poisson-quantum-bridge.tex:827
· p. 882
- ground object -- no derivation owed
Rests on
-
depends_on
definition 13.103
Exterior derivative
¶
-
depends_on
definition 13.98
$k$-form
¶
-
depends_on
definition 13.83
Covector
¶
-
depends_on
definition 13.81
Vector on a manifold
¶
- depends_on definition 13.71 Differentiable curve ¶
- depends_on definition 13.45 Differentiable map on a topological space ¶
- depends_on definition 13.48 Differentiable manifold ¶
-
depends_on
definition 13.81
Vector on a manifold
¶
-
depends_on
definition 13.84
Tensor
¶
- depends_on definition 13.83 Covector ¶ ↺
- depends_on definition 13.81 Vector on a manifold ¶ ↺
-
depends_on
definition 13.83
Covector
¶
-
depends_on
definition 13.102
Wedge product
¶
- depends_on definition 13.98 $k$-form ¶ ↺
- depends_on equation 13.239 eq:mfd-dual-basis ¶
-
depends_on
definition 13.98
$k$-form
¶
- depends_on equation 25.20 eq:pq-phase-space-action ¶
Supports
-
depends_on
theorem 25.22
Faddeev–Jackiw equations and brackets
¶
- depends_on example 25.24 A charged particle in a strong magnetic field ¶
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 |
→ | Exterior derivative | declared | parts/03-classical-mechanics/08-poisson-quantum-bridge.tex:844 |
depends_on |
→ | eq:pq-phase-space-action | declared | parts/03-classical-mechanics/08-poisson-quantum-bridge.tex:844 |
depends_on |
← | Faddeev–Jackiw equations and brackets | declared | parts/03-classical-mechanics/08-poisson-quantum-bridge.tex:863 |