| • Science | • People | • Locations | • Timeline |
| Contents | ||
Initially and up to the middle of the nineteenth century, differential geometry was studied from the extrinsic point of view: curves, surfaces were considered as lying in a Euclidean space of higher dimension (for example a surface in an ambient space of three dimensions). The simplest results are those in the differential geometry of curves. Starting with the work of Riemann, the intrinsic point of view was developed, in which one cannot speak of moving 'outside' the geometric object because it is considered as given in a free-standing way.
The intrinsic point of view is more flexible, for example it is useful in relativity where space-time cannot naturally be taken as extrinsic. With the intrinsic point of view it is harder to define curvatureCurvature is the amount by which an geometric object deviates from being flat''. The word flat might have very different meaning depending on the object considered (for curves it is a straight line and for surfaces it is a Euclidean plane). In this articl and other structures such as connectionDifferential geometry In differential geometry, a connection (also connexion or covariant derivative is a way of specifying a derivative of a vector field along another vector field on a manifold. That is an application to tangent bundles; there are more, so there is a price to pay.
These two points of view can be reconciled, i.e. the extrinsic geometry can be considered as a structure additional to the intrinsic one (see the Nash embedding theoremThe Nash embedding theorems (or imbedding theorems , named after John Forbes Nash, state that every Riemannian manifold can be isometrically embedded in a Euclidean space R n''. Isometrically" means "preserving lengths of curves". The result therefore mea).
The apparatus of differential geometry is that of calculus on manifolds: this includes the study of manifolds, tangent bundleIn mathematics, the tangent bundle of a manifold is a vector bundle which as a set is the disjoint union of all the tangent spaces at every point in the manifold with natural topology and smooth structure. The tangent bundle of manifold M is usually denots, cotangent bundleIn differential geometry, the cotangent bundle of a manifold is the vector bundle of all the cotangent spaces at every point in the manifold. One-forms Smooth sections of the cotangent bundle are differential one-forms. The cotangent bundle as phase spaces, differential formGentler (and longer) introduction We initially work in an open set in R n''. A 0-form is defined to be a smooth function f''. When we integrate a function f over an m dimensional subspace S of R n we write it as : Consider dx . dx for a moment as formal os, exterior derivativeIn mathematics, the exterior derivative operator of differential topology, extends the concept of the differential of a function to differential forms of higher degree. It is important in the theory of integration on manifolds, and is the differential uses, integralsGentler (and longer) introduction We initially work in an open set in R n''. A 0-form is defined to be a smooth function f''. When we integrate a function f over an m dimensional subspace S of R n we write it as : Consider dx . dx for a moment as formal o of p-forms over p-dimensional submanifolds and Stokes' theoremStokes' theorem in differential geometry is a statement about the integration of differential forms which generalizes several theorems from vector calculus. It is named after Sir George Gabriel Stokes ( 1819- 1903). Let M be an oriented piecewise smooth m, wedge products, and Lie derivatives. These all relate to multivariate calculus; but for the geometric applications must be developed in a way that makes good sense without a preferred coordinate system. The distinctive concepts of differential geometry can be said to be those that embody the geometric nature of the second derivative: the many aspects of curvature.
A differential manifold is a topological space with a collection of homeomorphisms from open sets to the open unit ball in Rn such that the open sets cover the space, and if f, g are homeomorphisms then the function f-1 o g from an open subset of the open unit ball to the open unit ball is infinitely differentiable. We say a function from the manifold to R is infinitely differentiable if its composition with every homemorphism results in an infinitely differentiable function from the open unit ball to R.
At every point of the manifold, there is the tangent space at that point, which consists of every possible velocity (direction and magnitude) with which it is possible to travel away from this point. For an n-dimensional manifold, the tangent space at any point is an n-dimensional vector space, or in other words a copy of Rn. The tangent space has many definitions. One definition of the tangent space is as the dual space to the linear space of all functions which are zero at that point, divided by the space of functions which are zero and have a first derivative of zero at that point. Having a zero derivative can be defined by "composition by every differentiable function to the reals has a zero derivative", so it is defined just by differentiability.
A vector field is a function from a manifold to the disjoint union of its tangent spaces (this union is itself a manifold known as the tangent bundle), such that at each point, the value is an element of the tangent space at that point. Such a mapping is called a section of a bundle. A vector field is differentiable if for every differentiable function, applying the vector field to the function at each point yields a differentiable function. Vector fields can be thought of as time-independent differential equations. A differentiable function from the reals to the manifold is a curve on the manifold. This defines a function from the reals to the tangent spaces: the velocity of the curve at each point it passes through. A curve will be said to be a solution of the vector field if, at every point, the velocity of the curve is equal to the vector field at that point.
An alternating k-dimensional linear form is an element of the antisymmetric k'th tensor power of the dual V* of some vector space V. A differential k-form on a manifold is a choice, at each point of the manifold, of such an alternating k-form -- where V is the tangent space at that point. This will be called differentiable if whenever it operates on k differentiable vector fields, the result is a differentiable function from the manifold to the reals. A space form is a linear form with the dimensionality of the manifold.