HOME

TheInfoList



OR:

This is a
glossary A glossary (from , ''glossa''; language, speech, wording), also known as a vocabulary or clavis, is an alphabetical list of Term (language), terms in a particular domain of knowledge with the definitions for those terms. Traditionally, a gloss ...
of terms specific to
differential geometry Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of Calculus, single variable calculus, vector calculus, lin ...
and differential topology. The following three glossaries are closely related: * Glossary of general topology * Glossary of algebraic topology * Glossary of Riemannian and metric geometry. See also: * List of differential geometry topics Words in ''italics'' denote a self-reference to this glossary. __NOTOC__


A

*
Atlas An atlas is a collection of maps; it is typically a bundle of world map, maps of Earth or of a continent or region of Earth. Advances in astronomy have also resulted in atlases of the celestial sphere or of other planets. Atlases have traditio ...


B

* Bundle – see ''fiber bundle''. * Basic element – A basic element ''x'' with respect to an element ''y'' is an element of a
cochain complex In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or modules) and a sequence of homomorphisms between consecutive groups such that the image of each homomorphism is contained in the kernel ...
(C^*, d) (e.g., complex of ''differential forms'' on a manifold) that is closed: dx = 0 and the contraction of ''x'' by ''y'' is zero.


C

* Characteristic class *
Chart A chart (sometimes known as a graph) is a graphics, graphical representation for data visualization, in which "the data is represented by symbols, such as bars in a bar chart, lines in a line chart, or slices in a pie chart". A chart can repres ...
* Cobordism *
Codimension In mathematics, codimension is a basic geometric idea that applies to subspaces in vector spaces, to submanifolds in manifolds, and suitable subsets of algebraic varieties. For affine and projective algebraic varieties, the codimension equals ...
– The codimension of a submanifold is the dimension of the ambient space minus the dimension of the submanifold. * Connected sum * Connection * Cotangent bundle – the vector bundle of cotangent spaces on a manifold. * Cotangent space * Covering *
Cusp A cusp is the most pointed end of a curve. It often refers to cusp (anatomy), a pointed structure on a tooth. Cusp or CUSP may also refer to: Mathematics * Cusp (singularity), a singular point of a curve * Cusp catastrophe, a branch of bifu ...
* CW-complex


D

* Dehn twist *
Diffeomorphism In mathematics, a diffeomorphism is an isomorphism of differentiable manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are continuously differentiable. Definit ...
– Given two
differentiable manifolds In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may ...
''M'' and ''N'', a bijective map f from ''M'' to ''N'' is called a diffeomorphism – if both f:M\to N and its inverse f^:N\to M are
smooth function In mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives (''differentiability class)'' it has over its domain. A function of class C^k is a function of smoothness at least ; t ...
s. *
Differential form In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications ...
* Domain invariance * Doubling – Given a manifold ''M'' with boundary, doubling is taking two copies of ''M'' and identifying their boundaries. As the result we get a manifold without boundary.


E

*
Embedding In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group (mathematics), group that is a subgroup. When some object X is said to be embedded in another object Y ...
* Exotic structure – See exotic sphere and exotic \R^4.


F

* Fiber – In a fiber bundle, ''\pi:E \to B'' the preimage ''\pi^(x)'' of a point ''x'' in the base ''B'' is called the fiber over ''x'', often denoted ''E_x''. * Fiber bundle * Frame – A frame at a point of a
differentiable manifold In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One ...
''M'' is a basis of the tangent space at the point. *
Frame bundle In mathematics, a frame bundle is a principal fiber bundle F(E) associated with any vector bundle ''E''. The fiber of F(E) over a point ''x'' is the set of all ordered bases, or ''frames'', for ''E_x''. The general linear group acts naturally on ...
– the principal bundle of frames on a smooth manifold. * Flow


G

*
Genus Genus (; : genera ) is a taxonomic rank above species and below family (taxonomy), family as used in the biological classification of extant taxon, living and fossil organisms as well as Virus classification#ICTV classification, viruses. In bino ...
* Germ * Grassmannian bundle * Grassmannian manifold


H

* Handle decomposition * Hypersurface – A hypersurface is a submanifold of ''codimension'' one.


I

* Immersion * Integration along fibers * Irreducible manifold * Isotopy


J

* Jet * Jordan curve theorem


L

* Lens space – A lens space is a quotient of the 3-sphere (or (2''n'' + 1)-sphere) by a free isometric action of Z – k. * Local diffeomorphism


M

*
Manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a N ...
– A topological manifold is a locally Euclidean
Hausdorff space In topology and related branches of mathematics, a Hausdorff space ( , ), T2 space or separated space, is a topological space where distinct points have disjoint neighbourhoods. Of the many separation axioms that can be imposed on a topologi ...
(usually also required to be
second-countable In topology, a second-countable space, also called a completely separable space, is a topological space whose topology has a countable base. More explicitly, a topological space T is second-countable if there exists some countable collection \mat ...
). For a given regularity (e.g. piecewise-linear, C^k or C^\infty differentiable, real or complex analytic, Lipschitz, Hölder, quasi-conformal...), a manifold of that regularity is a topological manifold whose charts transitions have the prescribed regularity. * Manifold with boundary * Manifold with corners *
Mapping class group In mathematics, in the subfield of geometric topology, the mapping class group is an important algebraic invariant of a topological space. Briefly, the mapping class group is a certain discrete group corresponding to symmetries of the space. Mo ...
*
Morse function In mathematics, specifically in differential topology, Morse theory enables one to analyze the topology of a manifold by studying differentiable functions on that manifold. According to the basic insights of Marston Morse, a typical differenti ...


N

* Neat submanifold – A submanifold whose boundary equals its intersection with the boundary of the manifold into which it is embedded.


O

* Orbifold * Orientation of a vector bundle


P

* Pair of pants – An orientable compact surface with 3 boundary components. All compact orientable surfaces can be reconstructed by gluing pairs of pants along their boundary components. * Parallelizable – A smooth manifold is parallelizable if it admits a smooth global frame. This is equivalent to the tangent bundle being trivial. *
Partition of unity In mathematics, a partition of unity on a topological space is a Set (mathematics), set of continuous function (topology), continuous functions from to the unit interval ,1such that for every point x\in X: * there is a neighbourhood (mathem ...
* PL-map *
Poincaré lemma In mathematics, the Poincaré lemma gives a sufficient condition for a closed differential form to be exact (while an exact form is necessarily closed). Precisely, it states that every closed ''p''-form on an open ball in R''n'' is exact for ''p'' ...
*
Principal bundle In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product X \times G of a space X with a group G. In the same way as with the Cartesian product, a principal bundle P is equ ...
– A principal bundle is a fiber bundle ''P \to B'' together with an action on ''P'' by a
Lie group In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Eucli ...
''G'' that preserves the fibers of ''P'' and acts simply transitively on those fibers. * Pullback


R

* Rham cohomology


S

* Section * Seifert fiber space *
Submanifold In mathematics, a submanifold of a manifold M is a subset S which itself has the structure of a manifold, and for which the inclusion map S \rightarrow M satisfies certain properties. There are different types of submanifolds depending on exactly ...
– the image of a smooth embedding of a manifold. * Submersion * Surface – a two-dimensional manifold or submanifold. *
Systole Systole ( ) is the part of the cardiac cycle during which some chambers of the heart contract after refilling with blood. Its contrasting phase is diastole, the relaxed phase of the cardiac cycle when the chambers of the heart are refilling ...
– least length of a noncontractible loop.


T

*
Tangent bundle A tangent bundle is the collection of all of the tangent spaces for all points on a manifold, structured in a way that it forms a new manifold itself. Formally, in differential geometry, the tangent bundle of a differentiable manifold M is ...
– the vector bundle of tangent spaces on a differentiable manifold. * Tangent field – a ''section'' of the tangent bundle. Also called a ''vector field''. * Tangent space * Thom space *
Torus In geometry, a torus (: tori or toruses) is a surface of revolution generated by revolving a circle in three-dimensional space one full revolution about an axis that is coplanarity, coplanar with the circle. The main types of toruses inclu ...
* Transversality – Two submanifolds ''M'' and ''N'' intersect transversally if at each point of intersection ''p'' their tangent spaces T_p(M) and T_p(N) generate the whole tangent space at ''p'' of the total manifold. * Triangulation * Trivialization *
Tubular neighborhood In mathematics, a tubular neighborhood of a submanifold of a smooth manifold is an open set around it resembling the normal bundle. The idea behind a tubular neighborhood can be explained in a simple example. Consider a smooth curve in the p ...


V

*
Vector bundle In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to eve ...
– a fiber bundle whose fibers are vector spaces and whose transition functions are linear maps. * Vector field – a section of a vector bundle. More specifically, a vector field can mean a section of the tangent bundle.


W

*
Whitney sum In mathematics, a vector bundle is a topological construction that makes precise the idea of a Family of sets, family of vector spaces parameterized by another space (mathematics), space X (for example X could be a topological space, a manifold, ...
– A Whitney sum is an analog of the direct product for vector bundles. Given two vector bundles ''\alpha'' and ''\beta'' over the same base ''B'' their
cartesian product In mathematics, specifically set theory, the Cartesian product of two sets and , denoted , is the set of all ordered pairs where is an element of and is an element of . In terms of set-builder notation, that is A\times B = \. A table c ...
is a vector bundle over B\times B. The diagonal map B\to B\times B induces a vector bundle over ''B'' called the Whitney sum of these vector bundles and denoted by ''\alpha \oplus \beta''. * Whitney topologies {{DEFAULTSORT:Glossary Of Differential Geometry And Topology
Geometry Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...
* Wikipedia glossaries using unordered lists