In mathematics, differential topology is the field dealing with differentiable functions on differentiable manifolds. It is closely related to differential geometry and together they make up the geometric theory of differentiable manifolds.
Differential topology considers the properties and structures that require only a smooth structure on a manifold to be defined. Smooth manifolds are 'softer' than manifolds with extra geometric structures, which can act as obstructions to certain types of equivalences and deformations that exist in differential topology. For instance, volume and Riemannian curvature are invariants that can distinguish different geometric structures on the same smooth manifold—that is, one can smoothly "flatten out" certain manifolds, but it might require distorting the space and affecting the curvature or volume.
On the other hand, smooth manifolds are more rigid than the topological manifolds. John Milnor discovered that some spheres have more than one smooth structure—see exotic sphere and Donaldson's theorem. Kervaire exhibited topological manifolds with no smooth structure at all. Some constructions of smooth manifold theory, such as the existence of tangent bundles, can be done in the topological setting with much more work, and others cannot.
One of the main topics in differential topology is the study of special kinds of smooth mappings between manifolds, namely immersions and submersions, and the intersections of submanifolds via transversality. More generally one is interested in properties and invariants of smooth manifolds which are carried over by diffeomorphisms, another special kind of smooth mapping. Morse theory is another branch of differential topology, in which topological information about a manifold is deduced from changes in the rank of the Jacobian of a function.
For a list of differential topology topics, see the following reference: List of differential geometry topics.
Differential topology versus differential geometry
Differential topology and differential geometry are first characterized by their similarity. They both study primarily the properties of differentiable manifolds, sometimes with a variety of structures imposed on them.
One major difference lies in the nature of the problems that each subject tries to address. In one view, differential topology distinguishes itself from differential geometry by studying primarily those problems which are inherently global. Consider the example of a coffee cup and a donut (see ). From the point of view of differential topology, the donut and the coffee cup are the same (in a sense). This is an inherently global view, though, because there is no way for the differential topologist to tell whether the two objects are the same (in this sense) by looking at just a tiny (local) piece of either of them. He must have access to each entire (global) object.
From the point of view of differential geometry, the coffee cup and the donut are different because it is impossible to rotate the coffee cup in such a way that its configuration matches that of the donut. This is also a global way of thinking about the problem. But an important distinction is that the geometer does not need the entire object to decide this. By looking, for instance, at just a tiny piece of the handle, he can decide that the coffee cup is different from the donut because the handle is thinner (or more curved) than any piece of the donut.
To put it succinctly, differential topology studies structures on manifolds which, in a sense, have no interesting local structure. Differential geometry studies structures on manifolds which do have an interesting local (or sometimes even infinitesimal) structure.
More mathematically, for example, the problem of constructing a diffeomorphism between two manifolds of the same dimension is inherently global since locally two such manifolds are always diffeomorphic. Likewise, the problem of computing a quantity on a manifold which is invariant under differentiable mappings is inherently global, since any local invariant will be trivial in the sense that it is already exhibited in the topology of Rn. Moreover, differential topology does not restrict itself necessarily to the study of diffeomorphism. For example, symplectic topology — a subbranch of differential topology — studies global properties of symplectic manifolds. Differential geometry concerns itself with problems — which may be local or global — that always have some non-trivial local properties. Thus differential geometry may study differentiable manifolds equipped with a connection, a metric (which may be Riemannian, pseudo-Riemannian, or Finsler), a special sort of distribution (such as a CR structure), and so on.
This distinction between differential geometry and differential topology is blurred, however, in questions specifically pertaining to local diffeomorphism invariants such as the tangent space at a point. Differential topology also deals with questions like these, which specifically pertain to the properties of differentiable mappings on Rn (for example the tangent bundle, jet bundles, the Whitney extension theorem, and so forth).
Nevertheless, the distinction becomes clearer in abstract terms. Differential topology is the study of the (infinitesimal, local, and global) properties of structures on manifolds having no non-trivial local moduli, whereas differential geometry is the study of the (infinitesimal, local, and global) properties of structures on manifolds having non-trivial local moduli.
- List of differential geometry topics
- Glossary of differential geometry and topology
- Important publications in differential geometry
- Important publications in differential topology
- Basic introduction to the mathematics of curved spacetime
- ^ Hirsch (1997)
- Bloch, Ethan D. (1996). A First Course in Geometric Topology and Differential Geometry.
- Hirsch, Morris (1997). Differential Topology. Springer-Verlag. ISBN 0-387-90148-5.
Areas of mathematics Areas
Arithmetic · Algebra (elementary – linear – multilinear – abstract) · Geometry (Discrete geometry – Algebraic geometry – Differential geometry) · Calculus/Analysis · Set theory · Logic · Category theory · Number theory · Combinatorics · Graph theory · Topology · Lie theory · Differential equations/Dynamical systems · Mathematical physics · Numerical analysis · Computation · Information theory · Probability · Statistics · Optimization · Control theory · Game theory
Wikimedia Foundation. 2010.
Look at other dictionaries:
differential topology — Math. the branch of topology that studies the properties of differentiable manifolds that remain invariant under diffeomorphisms. * * * … Universalium
differential topology — Math. the branch of topology that studies the properties of differentiable manifolds that remain invariant under diffeomorphisms … Useful english dictionary
differential topology — noun Field dealing with differentiable functions on differentiable manifolds … Wiktionary
Frobenius theorem (differential topology) — In mathematics, Frobenius theorem gives necessary and sufficient conditions for finding a maximal set of independent solutions of an overdetermined system of first order homogeneous linear partial differential equations. In modern geometric terms … Wikipedia
Rank (differential topology) — In mathematics, the rank of a differentiable map f : M → N between differentiable manifolds at a point p ∈ M is the rank of the derivative of f at p. Recall that the derivative of f at p is a linear map from the tangent space at p to the… … Wikipedia
Differential — may refer to: Contents 1 Mathematics 2 Natural sciences and engineering 3 Social sciences 4 Medicine 5 … Wikipedia
Topology — (Greek topos , place, and logos , study ) is the branch of mathematics that studies the properties of a space that are preserved under continuous deformations. Topology grew out of geometry, but unlike geometry, topology is not concerned with… … Wikipedia
Differential geometry — A triangle immersed in a saddle shape plane (a hyperbolic paraboloid), as well as two diverging ultraparallel lines. Differential geometry is a mathematical discipline that uses the techniques of differential and integral calculus, as well as… … Wikipedia
topology — topologic /top euh loj ik/, topological, adj. topologically, adv. topologist, n. /teuh pol euh jee/, n., pl. topologies for 3. Math. 1. the study of those properties of geometric forms that remain invariant under c … Universalium
Differential structure — In mathematics, an n dimensional differential structure (or differentiable structure) on a set M makes M into an n dimensional differential manifold, which is a topological manifold with some additional structure that allows us to do differential … Wikipedia