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.
随便看	AnotherProofOfBernoullisInequality another proof of Bernoulli’s inequality AnotherProofOfCardinalityOfTheRationals another proof of cardinality of the rationals AnotherProofOfDinisTheorem another proof of Dini’s theorem AnotherProofOfJensensInequality another proof of Jensen’s inequality AnotherProofOfPigeonholePrinciple another proof of pigeonhole principle AnotherProofOfRanknullityTheorem another proof of rank-nullity theorem AnotherProofOfTheNonexistenceOfAContinuousFunctionThatSwitchesTheRationalAndTheIrrationalNumbers another proof of the non-existence of a continuous function that switches the rational and the irrational numbers AnotherProofOfYoungInequality another proof of Young inequality AnotherProofThatANumberIsPoliteIffItIsPositiveAndNotAPositivePowerOf2 another proof that a number is polite iff it is positive and not a positive power of 2 AnOutlineOfHilbertsProgramme an outline of Hilbert’s programme AnOverViewOfAhmesPapyrus An over view of Ahmes Papyrus Antichain antichain Anticommutative