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 plane without self-intersections. On each point on the curve draw a line perpendicular 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 the tubular neighborhood.

In general, let $M^{\\prime}$ be a submanifold of a manifold $M$ , and let $N$ be the normal bundle of $M^{\\prime}$ in $M$ ( $M^{\\prime}$ will play the role of the curve, and $M$ will be like the plane containing the curve). Consider the map

$i:N_{0}\\to M^{\\prime}$

which establishes a bijective correspondence between the zero section $N_{0}$ of $N$ and the submanifold $M^{\\prime}$ of $M$ . The mapping $i$ maps the curve (blue in the following diagram) at the bottom to the blue curve on top, and each of the infinite lines on the bottom, to each of the finite lines (they can also be curves) on top.

An extension $j$ of this map to the entire normal bundle $N$ with values in $M$ such that $j(N)$ is an open set in $M$ and $j$ is a homeomorphism between $N$ and $j(N)$ is called a tubular neighbourhood.

Often times one calls the open set $T=j(N)$ , rather than $j$ itself, a tubular neighbourhood of $M^{\\prime}$ , it is assumed implicitly that the homeomorphism $j$ mapping $N$ to $T$ exists.

The following schematic illustration of the normal bundle $N$ , with the zero section $N_{0}$ in blue. The transformation $j$ maps $N_{0}$ to the curve $M^{\\prime}$ , and $N$ to the tubular neighborhood of $M^{\\prime}$ .

References

1 Raoul Bott & Loring W. Tu Differential forms in algebraic topology. Berlin: Springer-Verlag. (1982)
2 Waldyr Muniz Oliva Geometric Mechanics. Berlin: Springer. (1982)

This entry was adapted from the Wikipedia article http://en.wikipedia.org/wiki/Tubular_neighborhoodTubular neighborhood as of June 10, 2007.

These diagrams were created by Oleg Alexandrov and released to the public domain by him.

单词	TubularNeighborhood
释义	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 plane without self-intersections. On each point on the curve draw a line perpendicular 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 the tubular neighborhood. In general, let $M^{\\prime}$ be a submanifold of a manifold $M$ , and let $N$ be the normal bundle of $M^{\\prime}$ in $M$ ( $M^{\\prime}$ will play the role of the curve, and $M$ will be like the plane containing the curve). Consider the map $i:N_{0}\\to M^{\\prime}$ which establishes a bijective correspondence between the zero section $N_{0}$ of $N$ and the submanifold $M^{\\prime}$ of $M$ . The mapping $i$ maps the curve (blue in the following diagram) at the bottom to the blue curve on top, and each of the infinite lines on the bottom, to each of the finite lines (they can also be curves) on top. An extension $j$ of this map to the entire normal bundle $N$ with values in $M$ such that $j(N)$ is an open set in $M$ and $j$ is a homeomorphism between $N$ and $j(N)$ is called a tubular neighbourhood. Often times one calls the open set $T=j(N)$ , rather than $j$ itself, a tubular neighbourhood of $M^{\\prime}$ , it is assumed implicitly that the homeomorphism $j$ mapping $N$ to $T$ exists. The following schematic illustration of the normal bundle $N$ , with the zero section $N_{0}$ in blue. The transformation $j$ maps $N_{0}$ to the curve $M^{\\prime}$ , and $N$ to the tubular neighborhood of $M^{\\prime}$ . References 1 Raoul Bott & Loring W. Tu Differential forms in algebraic topology. Berlin: Springer-Verlag. (1982) 2 Waldyr Muniz Oliva Geometric Mechanics. Berlin: Springer. (1982) This entry was adapted from the Wikipedia article http://en.wikipedia.org/wiki/Tubular_neighborhoodTubular neighborhood as of June 10, 2007. These diagrams were created by Oleg Alexandrov and released to the public domain by him.
随便看	IndiscreteTopology indiscrete topology InducedAlexandroffTopologyOnAPoset induced Alexandroff topology on a poset InducedPartialOrderOnAnAlexandroffSpace induced partial order on an Alexandroff space InducedRepresentation induced representation Induction induction Induction Induction and recursion on Cauchy reals InductionAxiom induction axiom Induction principles and dependent paths InductionProofOfFundamentalTheoremOfArithmetic induction proof of fundamental theorem of arithmetic InductivelyOrdered inductively ordered InductiveProofOfBinomialTheorem inductive proof of binomial theorem InductiveProofOfFermatsLittleTheoremProof inductive proof of Fermat’s little theorem proof InductiveSet inductive set