In
mathematics, a tubular neighborhood of a
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 satisfies certain properties. There are different types of submanifolds depending on exactly which ...
of a
smooth 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 ma ...
is an
open set
In mathematics, open sets are a generalization of open intervals in the real line.
In a metric space (a set along with a distance defined between any two points), open sets are the sets that, with every point , contain all points that are su ...
around it resembling the
normal bundle
In differential geometry, a field of mathematics, a normal bundle is a particular kind of vector bundle, complementary to the tangent bundle, and coming from an embedding (or immersion).
Definition
Riemannian manifold
Let (M,g) be a Riemannian m ...
.
The idea behind a tubular neighborhood can be explained in a simple example. Consider a
smooth
Smooth may refer to:
Mathematics
* Smooth function, a function that is infinitely differentiable; used in calculus and topology
* Smooth manifold, a differentiable manifold for which all the transition maps are smooth functions
* Smooth algebrai ...
curve
In mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight.
Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that ...
in the plane without self-intersections. On each point on the curve draw a line
perpendicular
In elementary geometry, two geometric objects are perpendicular if they intersect at a right angle (90 degrees or π/2 radians). The condition of perpendicularity may be represented graphically using the ''perpendicular symbol'', ⟂. It ca ...
to the curve. Unless the curve is straight, these lines will intersect among themselves in a rather complicated fashion. However, if one looks only in a narrow band around the curve, the portions of the lines in that band will not intersect, and will cover the entire band without gaps. This band is a tubular neighborhood.
In general, let ''S'' be a
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 satisfies certain properties. There are different types of submanifolds depending on exactly which ...
of a
manifold ''M'', and let ''N'' be the
normal bundle
In differential geometry, a field of mathematics, a normal bundle is a particular kind of vector bundle, complementary to the tangent bundle, and coming from an embedding (or immersion).
Definition
Riemannian manifold
Let (M,g) be a Riemannian m ...
of ''S'' in ''M''. Here ''S'' plays the role of the curve and ''M'' the role of the plane containing the curve. Consider the natural map
:
which establishes a
bijective
In mathematics, a bijection, also known as a bijective function, one-to-one correspondence, or invertible function, is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other ...
correspondence between the
zero section
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 every po ...
of ''N'' and the submanifold ''S'' of ''M''. An extension ''j'' of this map to the entire normal bundle ''N'' with values in ''M'' such that
is an open set in ''M'' and ''j'' is a
homeomorphism
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomor ...
between ''N'' and
is called a tubular neighbourhood.
Often one calls the open set
rather than ''j'' itself, a tubular neighbourhood of ''S'', it is assumed implicitly that the homeomorphism ''j'' mapping ''N'' to ''T'' exists.
Normal tube
A normal tube to a
smooth
Smooth may refer to:
Mathematics
* Smooth function, a function that is infinitely differentiable; used in calculus and topology
* Smooth manifold, a differentiable manifold for which all the transition maps are smooth functions
* Smooth algebrai ...
curve
In mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight.
Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that ...
is a
manifold defined as the
union
Union commonly refers to:
* Trade union, an organization of workers
* Union (set theory), in mathematics, a fundamental operation on sets
Union may also refer to:
Arts and entertainment
Music
* Union (band), an American rock group
** ''Un ...
of all discs such that
* all the discs have the same fixed radius;
* the center of each disc lies on the curve; and
* each disc lies in a plane
normal Normal(s) or The Normal(s) may refer to:
Film and television
* ''Normal'' (2003 film), starring Jessica Lange and Tom Wilkinson
* ''Normal'' (2007 film), starring Carrie-Anne Moss, Kevin Zegers, Callum Keith Rennie, and Andrew Airlie
* ''Norma ...
to the curve where the curve passes through that disc's center.
Formal definition
Let
be smooth manifolds. A tubular neighborhood of
in
is a
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 every p ...
together with a smooth map
such that
*
where
is the embedding
and
the zero section
* there exists some
and some
with
and
such that
is a
diffeomorphism
In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are differentiable.
Definition
Given two ...
.
The normal bundle is a tubular neighborhood and because of the diffeomorphism condition in the second point, all tubular neighborhood have the same dimension, namely (the dimension of the vector bundle considered as a manifold is) that of
Generalizations
Generalizations of smooth manifolds yield generalizations of tubular neighborhoods, such as regular neighborhoods, or
spherical fibrations for
Poincaré space In algebraic topology, a Poincaré space is an ''n''-dimensional topological space with a distinguished element ''µ'' of its ''n''th homology group such that taking the cap product with an element of the ''k''th cohomology group yields an isomorphi ...
s.
These generalizations are used to produce analogs to the normal bundle, or rather to the
stable normal bundle
In surgery theory, a branch of mathematics, the stable normal bundle of a differentiable manifold is an invariant which encodes the stable normal (dually, tangential) data. There are analogs for generalizations of manifold, notably PL-manifolds a ...
, which are replacements for the tangent bundle (which does not admit a direct description for these spaces).
See also
* (aka offset curve)
*
References
*
*
*
{{commons category, Tubular neighborhood
Manifolds
Geometric topology
Smooth manifolds