Revision #757 → #1128 · back to history
addedCotangent space57e9fc9d1164
addedCotangent vectorsee94f2bf1860
addedDimension of cotangent spacescf459a725494
addedCotangent bundle3de5f53d4a17
addedNatural isomorphism from metric/symplectic formfb870856c8b6
addedCotangent space as dual of tangent space19eddb7864be
addedCotangent vectors as linear functionalsd5063de4e5f0
addedAlternative definition via equivalence classese4aac75630e9
addedCotangent space as quotient I/I^283475da6bcfb
addedDifferential of a function3477e37953a9
addedDifferential is a tangent covector12cb8ee453d7
addedDifferential mapca9a0044d4ce
addedEquivalence of the two cotangent space definitionsac67b10167e9
addedPullback of a smooth map9ce119271228
addedPullback as dual of pushforward0cdb1afe42e4
addedPullback via equivalence classesa5ea2fbfefe6
addedDifferential k-formsd5f7d63da2fd
addedOne-forms6c723033e84d