Example image of eyePlorer eyePlorer map for 'First class constraint': Hamiltonian mechanics Smooth function Symplectic manifold Atlas (topology) Linear independence Poisson bracket Partition of unity Representation theory Connection form Fiber Vector bundle Covariant derivative Linear map Pointed space Tangent bundle Identity map Implicit function theorem Inverse element Submanifold Algebra bundle Graded algebra On shell and off shell Observable Equivalence class Ideal Quotient ring Group action Foliation Frobenius theorem (differential topology) Integrability conditions for differential systems Ergodic (adjective) Differentiable manifold Quotient space Symplectic vector space Well-defined Diffeomorphism constraint Bundle Fiber bundle Section Sheaf (mathematics) Global anomaly Gauge theory Codimension General relativity Tetrads in general relativity Dual space Action (physics) Lagrangian Metric tensor Pseudo-Riemannian manifold