Revision #795 → #1240 · back to history
addedFrame bundlee2346592e7d6
addedTangent frame bundle (lead)ef04e4857f28
addedFrame at a point0c75ddd30d28
addedRight action of GL on framesd570e269645a
addedGL action is free and transitive5f26601e4349
addedFrame bundle as disjoint unionb57f81e964e5
addedPrincipal bundle structure on F(E)d381f20df481
addedTransition functions agree4d4fc3f8be58
addedSmooth frame bundle368b8147af16
addedVector bundle and frame bundle are associated0b482e9fd1e8
addedAssociated vector bundle from representation4f289e440142
addedE isomorphic to associated bundle of defining rep74858a6879ea
addedDual bundle via dual representation8c98d46b587b
addedTangent frame bundle of a manifolda0df2f12d29d
addedSmooth frame927982a52d14
addedCross-section theorem for principal bundles2965713f4a7a
addedParallelizable iff global framea8ae2bac6389
addedCoordinate vector fields as smooth frame3c400f9149ea
addedSolder form48a2364df394
addedSolder form is horizontal and equivariantb45a44571eac
addedBasic/tensorial form2ea7d67e1329
addedOrthonormal framecc13105c3e7a
addedO(k) acts freely and transitively on orthonormal frames15cdf5c40ca5
addedOrthonormal frame bundlea60fbb17ef5b
addedOriented orthonormal frame bundleb5ebef0fe81a
addedOrthonormal frame bundle of a Riemannian manifold07dac6d37c4b
addedReduction of structure groupbdb547e84b92
addedG-structure9324c863e0b3
addedRiemannian metric gives O(n)-structure0e8826f816e6
addedOriented frame bundle as GL+-structure04f63d58e4c7
addedVolume form gives G-structure6818dfbe3cec
addedSymplectic manifold G-structure705371e2a899
addedComplex/almost complex manifold G-structured57b44c1f58b
addedIntegrability condition for symplectic G-structureba31d6461da1