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 ''
'' with respect to an element ''
'' 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 ...
(e.g., complex of ''differential forms'' on a manifold) that is closed:
and the contraction of ''
'' by ''
'' 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 ...
''
'' and ''
'', a
bijective map from ''
'' to ''
'' is called a diffeomorphism – if both
and its inverse
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 ''
'' with boundary, doubling is taking two copies of ''
'' 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 .
F
* Fiber – In a fiber bundle, ''
'' the
preimage ''
'' of a point ''
'' in the base ''
'' is called the fiber over ''
'', often denoted ''
''.
*
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,
or
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 ''
'' together with an
action on ''
'' 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 ...
''
'' that preserves the fibers of ''
'' 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 ''
'' and ''
'' intersect transversally if at each point of intersection ''p'' their tangent spaces
and
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 ''
'' and ''
'' over the same base ''
'' 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
. The diagonal map
induces a vector bundle over ''
'' called the Whitney sum of these vector bundles and denoted by ''
''.
*
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