Whitney embedding theorem

Whitney embedding theorem

In mathematics, particularly in differential topology,there are two Whitney embedding theorems:

*The strong Whitney embedding theorem states that any connected smooth "m"-dimensional manifold (required also to be Hausdorff and second-countable) can be smoothly embedded in Euclidean 2m-space, if m>0. This is the best linear bound on the smallest-dimensional Euclidean space that all m-dimensional manifolds embed in, as the real projective spaces of even dimension m cannot be embedded into Euclidean (2m-1)-space if m is a power of two (as can be seen from a characteristic class argument, also due to Whitney).

*The weak Whitney embedding theorem states that any continuous function from an n-dimensional manifold to an m-dimensional manifold may be approximated by a smooth embedding provided m>2n. Whitney similarly proved that such a map could be approximated by an immersion provided m>2n-1. This last result is sometimes called the weak Whitney immersion theorem.

A little about the proof

The general outline of the proof is to start with an immersion f:M omathbb R^{2m} with transversal self-intersections. These are known to exist from Whitney's earlier work on the weak immersion theorem. Transversality of the double points follows from a general-position argument. The idea is to then somehow remove all the self-intersections. If M has boundary, one can remove the self-intersections simply by isotoping M into itself (the isotopy being in the domain of f), to a submanifold of M that does not contain the double-points. Thus, we are quickly led to the case where M has no boundary. Sometimes it is impossible to remove the double-points via an isotopy -- consider for example the figure-8 immersion of the circle in the plane. In this case, one needs to introduce a local double point. This process of eliminating opposite sign double-points by pushing the manifold along a disc is called the Whitney Trick.

To introduce a local double point, Whitney created a family of immersions alpha_m of R^m into R^{2m} which are approximately linear outside of the unit ball, but containing a single double point. For m=1 such an immersion is defined as alpha_1 : R^1 o R^2 with alpha_1(t_1)=left(frac{1}{1+t_1^2}, t_1 - frac{2t_1}{1+t_1^2} ight). Notice that if alpha_1 is considered as a map to R^3 ie: alpha_1(t_1) = left( frac{1}{1+t_1^2},t_1 - frac{2t_1}{1+t_1^2},0 ight) then the double point can be resolved to an embedding: eta_1(t_1,a) = left(frac{1}{(1+t_1^2)(1+a^2)},t_1 - frac{2t_1}{(1+t_1^2)(1+a^2)},frac{t_1a}{(1+t_1^2)(1+a^2)} ight) . Notice eta_1(t_1,0)=alpha_1(t_1) and for a eq 0 then as a function of t_1, eta_1(t_1,a) is an embedding. Define alpha_2(t_1,t_2) = left(eta_1(t_1,t_2),t_2 ight) = left(frac{1}{(1+t_1^2)(1+t_2^2)},t_1 - frac{2t_1}{(1+t_1^2)(1+t_2^2)},frac{t_1t_2}{(1+t_1^2)(1+t_2^2)}, t_2 ight). alpha_2 can similarly be resolved in R^5, this process ultimately lead one to the definition: alpha_m(t_1,t_2,cdots,t_m) = left(frac{1}{u},t_1 - frac{2t_1}{u}, frac{t_1t_2}{u}, t_2, frac{t_1t_3}{u}, t_3, cdots, frac{t_1t_m}{u}, t_m ight) with u=(1+t_1^2)(1+t_2^2)cdots(1+t_m^2) for all m geq 1. The key properties of alpha_m is that it is an embedding except for the double-point alpha_m(1,0,cdots,0)=alpha_m(-1,0,cdots,0). Moreoever, for |(t_1,cdots,t_m)| large, it is approximately the linear embedding (0,t_1,0,t_2,cdots,0,t_m).

Eventual Consequences of the Whitney trick

The Whitney trick was used by Steve Smale to prove the "h"-cobordism theorem; from which follows the Poincaré conjecture in dimensions m geq 5, and the classification of smooth structures on discs (also in dimensions 5 and up).This provides the foundation for surgery theory, which classifies manifolds in dimension 5 and above.

Given two oriented submanifolds of complementary dimensions in a simply connected manifold of dimension geq 5, one can apply an isotopy to one of the submanifolds so that all the points of intersection have the same sign.

History

The occasion of the proof by Hassler Whitney of the embedding theorem for smooth manifolds is said (rather surprisingly) to have been the first complete exposition of the "manifold concept" precisely because it brought together and unified the differing concepts of manifolds at the time: no longer was there any confusion as to if abstract manifolds (defined via charts) were any more or less general than submanifolds of Euclidean space. See Manifold.

harper results

Although every n-manifold embeds in R^{2n}, one can frequently do better. Let e(n) denote the smallest integer so that all compact connected n-manifolds embed in R^{e(n)}. Whitney's strong embedding theorem states that e(n) leq 2n. For n=1,2 this inequality is the best possible, as the circle and the Klein bottle show. C.T.C. Wall improved on Whitney's result by showing that e(3)=5. At present the function e(n) is not known in closed-form for all integers (compare to the Whitney immersion theorem, where the analogous number is known).

Wu proved that for n geq 2, any two embeddings of an n-manifold into R^{2n+1} are isotopic. A relatively `easy' result to prove is that any two embeddings of a 1-manifold into R^4 are isotopic.

Haefliger proved that if N is a compact n-dimensional k-connected manifold, then N embeds in R^{2n-k} provided 2k+3 leq n. Moreover, any two embeddings of N into R^{2n-k+1} are isotopic provided 2k+2 leq n. Haefliger went on to give examples of non-trivially embedded 3-spheres in R^6.

ee also

*Whitney immersion theorem
*Nash embedding theorem


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Whitney immersion theorem — In differential topology, the Whitney immersion theorem states that for m > 1, any smooth m dimensional manifold can be immersed in Euclidean 2m − 1 space. Equivalently, every smooth m dimensional manifold can be immersed in the 2m − 1… …   Wikipedia

  • Nash embedding theorem — The Nash embedding theorems (or imbedding theorems), named after John Forbes Nash, state that every Riemannian manifold can be isometrically embedded into some Euclidean space. Isometric means preserving the length of every path. For instance,… …   Wikipedia

  • Embedding — In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup.When some object X is said to be embedded in another object Y , the embedding is… …   Wikipedia

  • Hassler Whitney — Infobox Scientist name = Hassler Whitney image width = caption = birth date = birth date|1907|3|23 birth place = death date = death date and age|1989|5|10|1907|3|23 death place = field = Mathematics work institutions = Harvard University… …   Wikipedia

  • Poincaré–Hopf theorem — In mathematics, the Poincaré–Hopf theorem (also known as the Poincaré–Hopf index formula, Poincaré–Hopf index theorem, or Hopf index theorem) is an important theorem in differential topology. It is named after Henri Poincaré and Heinz Hopf.The… …   Wikipedia

  • Takens' theorem — In mathematics, a delay embedding theorem gives the conditions under which a chaotic dynamical system can be reconstructed from a sequence of observations of the state of a dynamical system. The reconstruction preserves the properties of the… …   Wikipedia

  • Classification of manifolds — In mathematics, specifically geometry and topology, the classification of manifolds is a basic question, about which much is known, and many open questions remain. Contents 1 Main themes 1.1 Overview 1.2 Different categories and additional… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • Manifold — For other uses, see Manifold (disambiguation). The sphere (surface of a ball) is a two dimensional manifold since it can be represented by a collection of two dimensional maps. In mathematics (specifically in differential geometry and topology),… …   Wikipedia

  • List of mathematics articles (W) — NOTOC Wad Wadge hierarchy Wagstaff prime Wald test Wald Wolfowitz runs test Wald s equation Waldhausen category Wall Sun Sun prime Wallenius noncentral hypergeometric distribution Wallis product Wallman compactification Wallpaper group Walrasian… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”