Intrinsic versus extrinsic

Ab initio & as much as a middle of the nineteenth century, differential geometry was studied from either a extrinsic point of look at: curves, surfaces were considered as lying inside the Euclidean space of higher dimension (for example the surface within an ambient space of trey dimensions). A simplest resolutions come victims in the differential geometry of curves. Starting by owning a function of Riemann, the intrinsical point of watch was developed, where a single just can't speak of moving 'outside' the geometrical object because these are considered equally given within a yours free!-separate way.

A intrinsical point of learn from is extra flexible, e.g. these are utile inside relativity in which space-space-time continuum just can't naturally exist when taken as extrinsic. Sustaining a intrinsical point of review these are harder to define curvature and other structures like connection, so there is a price to pay.

These deuce points of learn from may be reconciled, we.e. a extrinsic geometry may be considered as a structure extra to a intrinsical of these (understand the Nash embedding theorem).

Technical requirements

A apparatus of differential geometry is that of calculus in manifolds: this includes a learn of manifolds, tangent bundles, cotangent bundles, differential forms, exterior derivatives,integrals of p-forms over p-dimensional submanifolds & Stokes' theorem, wedge products, and Lie derivatives. These a lot relate to multivariate calculus; but for the geometrical applications must become developed within how else that makes serious feel forswearing the favorite coordinate system. A distinctive construct of differential geometry may become said to be victims that be a geometrical nature and severity of the 2nd derivative: a numbers of aspects of curvature.

The differential manifold is a topological space with a collection of homeomorphisms from open sets to the open unit ball in R^north such that a open sets handle a space, & in case f, g come homeomorphisms so a work f^-One o g from either an open subset of the open unit ball to the open unit ball is infinitely differentiable. You say a work from either the manifold to R is infinitely differentiable whenever its composition by having each homeomorphism final result around an infinitely differentiable work from either a open unit ball to R.

At each point of a manifold, there exists the tangent space at that point, which consists of every conceivable speed (counsel & magnitude) by using which these are imaginable to travel out of this point. For even anorth north-dimensional manifold, the tangent space at any point is an n-dimensional vector space, or inside more words a copy of R^north. A tangent space has numbers of definitions. A single definition of a tangent space is when the dual space to the linear space of everthing functions which are then then zero at that point, divided per space of functions which are zero & have a number one derivative of zero at that point. With the zero derivative may be defined by "composition by every differentiable function to the reals has a zero derivative", therefore these are defined upright by differentiability.

The vector field is a function from either the manifold to the disjoint union of its tangent spaces (this union is itself a manifold called the tangent bundle), such that at each point, a value is an element of the tangent space at that point. Such the mapping is known as the section of a bundle. the vector field is differentiable in case for every differentiable work, using the vector field to the work at each point yields a differentiable work. Vector fields may be thought of when period-independent differential equations. a differentiable work from either the reals to the manifold occurs as curve on the manifold. This defines a work from either a reals to the tangent spaces: the speed of the curve at every point it lives across. a curve is said to exist as the guide of the vector field in case, at each point, the speed of the curve is capable the vector field at that point.

An alternate 1000-dimensional linear form is an element of the antisymmetric k'th tensor power of the dual V^* of a select few vector space V. The differential k-form in the manifold occurs as guide, at both point of the manifold, of such an alternate k-form -- in which V is the tangent space at that point. This is known as differentiable anytime whenever it operate m differentiable vector fields, a effect occurs as differentiable work from either a manifold to the reals. a space form occurs as linear form by owning the dimensionality of the manifold.

Branches of differential geometry/topology

Contact geometry

This is an parallel of symplectic geometry which works for manifolds of odd dimension. About, a email structure inorth (Deucen+One)-miscreate manifold occurs as selection of the 1-form $\backslash alpha$ such that $\backslash alpha\backslash wedge\; (d\backslash alpha)^n$ does not vanish anywhere.

Finsler geometry

Finsler geometry has a Finsler manifold when a main object of survey — this occurs as differential multiplex by owning the Finsler metric, i.e. the Banach norm defined on every tangent space. The Finsler metrical is lot additional general structure than the Riemannian metrical.

Riemannian geometry

Riemannian geometry has Riemannian manifolds as a independent object of survey — smooth manifolds with additional structure which makes the children look infinitesimally rather Euclidean space. These allow of these to generalise a notion from either Euclidean geometry & analysis like gradient of a work, divergence, length of curves and so in; forswearing assumptions that a space is globally and so symmetrical.

Symplectic topology

This is the survey of symplectic manifolds. The symplectic manifold occurs as differentiable manifold equipped using the symplectic form (that is, the closed non-degenerate 2-form).