Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories accessible adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-geometry differential-topology digraphs duality education elliptic-cohomology enriched fibration finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity group-theory higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration-theory k-theory lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological topology topos topos-theory tqft type type-theory universal

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeOct 6th 2009

    Added to tangent bundle the discussion in the context of synthetic differential geometry.

    In that context I also restructured a bit and expanded the introduction slightly.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMay 14th 2017
    • (edited May 14th 2017)

    (…almost 8 years later…)

    I have started to fill in at Definitions in ordinary differential geometry – Geometric definition details of the classical construction.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJun 7th 2017
    • (edited Jun 7th 2017)

    Continued to spell out traditional elementary detail at Geometric definition. In particular more of a proof now that the tangent bundle of a differentiable manifold is itself a manifold.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJun 7th 2017
    • (edited Jun 7th 2017)

    I have re-arranged the sections at tangent bundle:

    • made all the various sections that existed subsections of the “Definition”-section (because all discuss alternative definitions)

    • merged what used to be three sections for “algebraic”, “geometric” and “physics” definition (this was not my idea) into a single section “Traditional definition

      (the “algebraic definition” via derivations is one of vector fields, not of the tangent bundle itself, hence hardly an alternative definition; and the “physics” definition via gluing is really the only definition there is: even if one describes the topology on TXT X in a way that it does not explicitly mention the gluing construction, it is the corresponding quotient topology and the gluing construction is arguably the most transparent way to understand that topology )