en>John of Reading: Typo/general fixing, replaced: Usefull → Useful per preview of book TOC at Amazon; using AWB

2014-12-20T10:34:22Z

Typo/general fixing, replaced: Usefull → Useful per preview of book TOC at Amazon; using AWB

← Older revision		Revision as of 12:34, 20 December 2014
Line 1:		Line 1:
	~~In [[mathematics]], particularly in [[differential topology]], there are two Whitney embedding theorems, named after [[Hassler Whitney]]:~~		Some people call me Gabrielle. I am a particular cashier and I'm charging pretty good financially. As an important girl what I really like is going on to karaoke but I in no way made a dime with it. My husband and I decided upon to reside in Guam but I will gain to move in the new year or two. See is actually new on my website here: http://prometeu.net<br><br>Have a look at my webpage [http://prometeu.net clash of clans hack tool android]

	*The '''strong Whitney embedding theorem''' states that any [[differentiable manifold\|smooth]] [[real numbers\|real]] {{mvar\|m}}-[[dimension (mathematics)\|dimensional]] [[manifold]] (required also to be [[Hausdorff space\|Hausdorff]] and [[second-countable]]) can be [[smooth map\|smoothly]] [[embedding\|embedded]] in the [[real coordinate space\|real {{math\|2''m''}}-space]] ({{math\|'''R'''<sup>2''m''}}</sup>), if {{math\|''m'' > 0}}. This is the best linear bound on the smallest-dimensional Euclidean space that all {{mvar\|m}}-dimensional manifolds embed in, as the [[real projective space]]s of dimension {{mvar\|m}} cannot be embedded into real {{math\|(2''m'' − 1)}}-space if {{mvar\|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 {{mvar\|n}}-dimensional manifold to an {{mvar\|m}}-dimensional manifold may be approximated by a smooth embedding provided {{math\|''m~~'' > 2''n''}}~~. ~~Whitney similarly proved that such a map could be approximated by~~ an ~~[[immersion (mathematics)\|immersion]] provided {{math\|''m'' > 2''n'' − 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 {{math\|''f'' : ''M'' → '''R'''<sup>2''m''</sup>}} with [[transversality (mathematics)\|transverse]] 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 {{mvar\|M}} has boundary, one can remove the self-intersections simply by isotoping {{mvar\|M}} into itself (the isotopy being~~ in ~~the domain of {{mvar\|f}}), to~~ a ~~submanifold of {{mvar\|M}} that does not contain the double-points. Thus, we are quickly led to the case where {{mvar\|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. [[File:whitneytrickstep1.svg\|thumb\|350px\|right\|Introducing double-point.]] Once one has two opposite double points, one constructs a closed loop connecting the two, giving a closed path in {{math\|'''R'''<sup>2''m''</sup>}}. ~~Since {{math\|'''R'''<sup>2''m''</sup>}} is [[simply connected]], one can assume this path bounds a disc,~~ and provided {{math\|2''m'' > 4}} one can further assume (by the '''weak Whitney embedding theorem''') that the disc is embedded in {{math\|'''R'''<sup>2''m''</sup>}} such that it intersects the image of {{mvar\|M}} only in its boundary. Whitney then uses the disc to ~~create a [[homotopy\|1-parameter family]] of immersions, in effect pushing {{mvar\|M}} across the disc, removing the two double points~~ in the process. In the case of the figure-8 immersion with its introduced double-point, the push across move is quite simple (pictured).[[Image:whitneytrickstep2.svg\|thumb\|450px\|right\|Cancelling opposite double-points.]] 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 {{math\|α<sub>''m''</sub> : '''R'''<sup>''m''</sup> → '''R'''<sup>2''m''</sup>}} which are approximately linear outside of the unit ball, but ~~containing a single double point. For {{math\|1=''m'' = 1}} such an immersion is defined as~~

	~~:<math>\begin{cases}~~
	~~\alpha_1 : \mathbf{R}^1 \~~to ~~\mathbf{R}^2 \\~~
	~~\alpha_1(t_1)=\left(\frac{1}{1+t_1^2}, t_1 - \frac{2t_1}{1+t_1^2}\right)~~
	~~\end{cases}</math>~~

	~~Notice that if {{math\|α<sub>1</sub>}} is considered as a map to {{math\|'''R'''<sup>3</sup>}} i.e.:~~

	~~:<math>\alpha_1(t_1) = \left( \frac{1}{1+t_1^2},t_1 - \frac{2t_1}{1+t_1^2},0\right)</math>~~

	~~then the double point can be resolved to an embedding:~~

	~~:<math>\beta_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)}\right).</math>~~

	Notice {{math\|1=β<sub>1</sub>(''t''<sub>1</sub>, 0) = α<sub>1</sub>(''t''<sub>1</sub>)}} and for {{math\|''a'' ≠ 0}} then as a function of {{math\|''t''<sub>1</sub>}}, {{math\|β<sub>1</sub>(''t''<sub>1</sub>, ''a'')}} is an embedding. Define

	~~:<math>\alpha_2(t_1,t_2) = \left(\beta_1(t_1,t_2),t_2\right) = \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 \right).</math>~~

	~~{{math\|α<sub>2</sub>}} can similarly be resolved~~ in ~~{{math\|'''R'''<sup>5</sup>}}, this process ultimately leads one to~~ the ~~definition:~~

	~~:<math>\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 \right),</math>~~

	~~where~~

	~~:<math>u=(1+t_1^2)(1+t_2^2)\cdots(1+t_m^2).</math>~~

	The key properties of {{math\|α<sub>''m''</sub>}} is that it is an embedding except for the double-point {{math\|1=α<sub>''m''</sub>(1, 0, … , 0) = α<sub>''m''</sub>(−1, 0, … , 0)}}. Moreover, for {{math\|{{!}}(''t''<sub>1</sub>, … , ''t<sub>m</sub>''){{!}}}} large, it is approximately the linear embedding {{math\|(0, ''t''<sub>1</sub>, 0, ''t''<sub>2</sub>, … , 0, ''t<sub>m</sub>'')}}.

	~~===Eventual consequences of the Whitney trick===~~
	The Whitney trick was used by [[Steve Smale]] to prove the [[h-cobordism theorem\|''h''-cobordism theorem]]; from which follows the [[Poincaré conjecture]] in dimensions {{math\|''m'' ≥ 5}}, and the classification of [[smooth structure]]s 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 ≥ 5, one can apply an isotopy to one of the submanifolds so that all the points of intersection have the same sign.

	~~==History==~~
	~~{{see also\|History of manifolds and varieties}}~~
	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 whether abstract manifolds, intrinsically defined via charts, were any more or less general than manifold extrinsically defined as submanifolds of Euclidean space. See ~~also the [[history of manifolds and varieties]] for context.~~

	~~==Sharper results==~~
	Although every {{mvar\|n}}-manifold embeds in {{math\|'''R'''<sup>2''n''</sup>}}, one can frequently do better. Let {{math\|''e''(''n'')}} denote the smallest integer so that all compact connected {{mvar\|n}}-manifolds embed in {{math\|'''R'''<sup>''e''(''n'')</sup>}}. Whitney's strong embedding theorem states that {{math\|''e''(''n'') ≤ 2''n''}}. For {{math\|1=''n'' = 1, 2}} we have {{math\|1=''e''(''n'') = 2''n''}}, as the [[circle]] and the [[Klein bottle]] show. More generally, for {{math\|1=''n'' = 2<sup>''k''</sup>}} we have {{math\|1=''e''(''n'') = 2''n''}}, as the {{math\|2<sup>''k''</sup>}}-dimensional [[real projective space]] show. Whitney's result can be improved to {{math\|''e''(''n'') ≤ 2''n'' − 1}} unless {{mvar\|n}} is a power of 2. This is a result of [[André Haefliger\|Haefliger]]–[[Morris Hirsch\|Hirsch]] ({{math\|''n'' > 4}}) and C.T.C. Wall ({{math\|1=''n'' = 3}}); these authors used important preliminary results and particular cases proved by M. Hirsch, [[William S. Massey\|W. Massey]], [[Sergei Novikov (mathematician)\|S. Novikov]] and [[Vladimir Rokhlin (Soviet mathematician)\|V. Rokhlin]].<ref name=skopenkov2>See section 2 of Skopenkov (2008)</ref> At present the function {{math\|''e''}} is not known in closed-form for all integers (compare to the [[Whitney immersion theorem]], where the analogous number is ~~known).~~

	~~===Restrictions~~ on ~~manifolds===~~
	~~One can strengthen the results by putting additional restrictions on the manifold. For example, the [[n-sphere\|{{mvar\|n}}-sphere]] always embeds in {{math\|'''R'''<sup>''n'' + 1<~~/~~sup>}} – which is the best possible (closed {{mvar\|n}}-manifolds cannot embed in {{math\|'''R'''<sup>''n''<~~/~~sup>}})~~. ~~Any compact ''orientable'' surface and any compact surface ''with non-empty boundary'' embeds in {{math\|'''R'''~~<~~sup~~>3<~~/sup~~>~~}}, though any ''closed non-orientable'' surface needs {{math\|'''R'''<sup>4</sup>}}.~~

	~~If {{mvar\|N}} is~~ a compact orientable {{mvar\|n}}-dimensional manifold, then {{mvar\|N}} embeds in {{math\|'''R'''<sup>2''n'' − 1</sup>}} (for {{mvar\|n}} not a power of 2 the orientability condition is superfluous). For {{mvar\|n}} a power of 2 this is a result of [[André Haefliger\|A. Haefliger]]–[[Morris Hirsch\|M. Hirsch]] ({{math\|''n'' > 4}}) and F. Fang ({{math\|1=''n'' = 4}}); these authors used important preliminary results proved by J. Bo'echat-A. Haefliger, [[Simon Donaldson\|S. Donaldson]], M. Hirsch and [[William S. Massey\|W. Massey]].<ref name=skopenkov2/> Haefliger proved that if {{mvar\|N}} is a compact {{mvar\|n}}-dimensional [[n-connected\|{{mvar\|k}}-connected]] manifold, then {{mvar\|N}} embeds in {{math\|'''R'''<sup>2''n'' − ''k''</sup>}} provided {{math\|2''k'' + 3 ≤ ''n''}}.<ref name=skopenkov2/>

	~~==Isotopy versions==~~
	A relatively 'easy' result is to prove that [[Knot theory#Higher dimensions\|any two embeddings of a 1-manifold into '''R'''<sup>4</sup> are isotopic]]. This is proved using general position, which also allows to show that any two embeddings of an {{mvar\|n}}-manifold into {{math\|'''R'''<sup>2''n'' + 2</sup>}} are isotopic. This result is an isotopy version of the weak Whitney embedding theorem.

	Wu proved that for {{math\|''n'' ≥ 2}}, any two embeddings of an {{mvar\|n}}-manifold into {{math\|'''R'''<sup>2''n'' + 1</sup>}} are isotopic. This result is an isotopy version of the strong Whitney embedding theorem.

	As an isotopy version of his embedding result, [[André Haefliger\|Haefliger]] proved that if {{mvar\|N}} is a compact {{mvar\|n}}-dimensional {{mvar\|k}}-connected manifold, then any two embeddings of {{mvar\|N}} into {{math\|'''R'''<sup>2''n'' − ''k'' + 1</sup>}} are isotopic provided {{math\|2''k'' + 2 ≤ ''n''}}. The dimension restriction {{math\|2''k'' + 2 ≤ ''n''}} is sharp: Haefliger went on to give examples of non-trivially embedded 3-spheres in {{math\|'''R'''<sup>6</sup>}} (and, more generally, {{math\|(2''d'' − 1)}}-spheres in {{math\|'''R'''<sup>3''d''</sup>}}). See [http://www.map.mpim-bonn.mpg.de/High_codimension_embeddings:_classification further generalizations].

	~~==See also==~~
	* [[Representation theorem]]
	* [[Whitney immersion theorem]]
	* [[Nash embedding theorem]]

	~~==References==~~
	~~{{reflist}}~~
	* '''Hassler Whitney; collected papers.''' Hassler Whitney, James Eells, Domingo Toledo. Nelson Thornes, 1992
	* '''Lectures on the ''h''-cobordism theorem.''' John Milnor. Princeton University Press. 1965
	*[http://~~books~~.~~google.com/books?id=JcMwHWSBSB4C Embeddings and immersions], by Masahisa Adachi, translated by Kiki Hudson~~
	*{{Citation \| last1=Skopenkov \| first1=A. \| title=Embedding and knotting of manifolds in Euclidean spaces \| arxiv=math/0604045 \| year=2008 \| journal=In: Surveys in Contemporary Mathematics, Ed. N. Young and Y. Choi, London Math. Soc. Lect. Notes. \| volume=347 \| issue=2 \| pages=248–342}}

	~~==External links==~~
	* [http://www.map.him.uni-bonn.de/index.php/High_codimension_embeddings:_classification Classification of embedings.]
	~~<references>~~
	~~<references/>~~

	~~{{DEFAULTSORT:Whitney Embedding Theorem}}~~
	~~[[Category:Theorems in differential topology]~~]

115.64.229.26: Undid revision 574117639 by 164.76.162.168 (talk) Images broke in revision 574117639

2013-10-05T23:13:29Z

Undid revision 574117639 by 164.76.162.168 (talk) Images broke in revision 574117639

Show changes

en>Mjs1991: fixed references

2012-06-17T11:21:00Z

fixed references

New page

To become know exactly what video game world could have. There are horrors with bad in every space and cranny. Here post includes advice related to optimizing your gaming a moment with tricks and notions you might not be aware of. Prolong reading for more detail. 

The bottom line is, this turns out to be worth exploring if get strategy games, especially should you be keen on Clash among Clans. Want to be aware what opinions you possess, when you do. Video games are very well-liked in many homes. The associated with people perform online games to pass through time, however, some blessed consumers are paid to experience clash of clans sur pc. Online gaming is going to end up being preferred for some opportunity into the future. These tips will an individual if you are going try out online. Where you're playing a gameplay online, and you run across another player in which seems to be increasing other players (or you, in particular) intentionally, cannot take it personally. This is called "Griefing," and it's the gaming equivalent of Internet trolling. Griefers are clearly out for negative attention, and you give people what they're looking designed for if you interact all of them. Don't get emotionally utilized in what's happening simply try to overlook it. If you are looking Conflict of The entire family Jewels Free, or you're just buying a Endanger Conflict of Tribes, we have the smartest choice to your internet, absolutely free and also only takes a couple of minutes to get all these products. Exercise caution about letting your student play online video games, especially games with get to live sound. There could be foul language in many channels, in addition to many people bullying behavior. There could also be child predators in the chat rooms. Exactly what your child is putting in and surveil these chat times due to his or her own protection. Do not try to eat unhealthy products while in xbox game actively playing time. This is a horrible routine to gain use of. Xbox game actively being is absolutely nothing appreciate physical exercise, and all of that [http://search.Huffingtonpost.com/search?q=fast+food&s_it=header_form_v1 fast food] really does only result in unwanted weight. If you cherished this article as well as you would like to acquire details with regards to [http://Circuspartypanama.com/ clash Of Clans hack download android] kindly visit our site. In the event own to snack food, accept some thing wholesome with online game actively playing golf times. The entire body will thanks for it also.

Trend estimation - Revision history

en>John of Reading: Typo/general fixing, replaced: Usefull → Useful per preview of book TOC at Amazon; using AWB

115.64.229.26: Undid revision 574117639 by 164.76.162.168 (talk) Images broke in revision 574117639

en>Mjs1991: fixed references