In mathematics , submanifolds of
(also: submanifolds of Euclidean space ) are a term from analysis and differential geometry . Since the submanifolds are subsets of a Euclidean space , they inherit many properties from it, such as the ability to measure distances. However, every submanifold can also be viewed as an abstract differentiable manifold (without surrounding space). The equivalence of the two perspectives is ensured by Whitney's embedding theorem .
Selected examples in which submanifolds of the play a role are:
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
In all these applications, the amount of the observed points is from the outset to a subset of the restricted, locally by diffeomorphisms of a number of fields with can be mapped. This subset is called the -dimensional submanifold of the . With the help of the diffeomorphisms one can calculate on the submanifold in the differential geometric sense just as in areas of the .
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![\ mathbb {R} ^ {m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a87a024931038d1858dc22e8a194e5978c3412e)
![0 \ leq m \ leq n](https://wikimedia.org/api/rest_v1/media/math/render/svg/697dd51930c94bcdf31d76ab181a7a20fb3823f5)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![\ mathbb {R} ^ {m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a87a024931038d1858dc22e8a194e5978c3412e)
Mostly the amount is described by constraints. That is, contains precisely those points which with a given continuously differentiable function with the equation
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![{\ displaystyle f \ colon \ mathbb {R} ^ {n} \ rightarrow \ mathbb {R} ^ {nm}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfcb9b125f7342c4bab45c35b5b418001e3d60c7)
![0 <m <n](https://wikimedia.org/api/rest_v1/media/math/render/svg/f246c44d5cd673cdd52135ed73387e0bc54c457d)
![f (x) = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf85883d74b75fe35ca8d3f2b44802df078e4fa1)
fulfill. Also, even demanded that a regular value of is, so the Jacobian of all points the maximum rank has.
![{\ displaystyle 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aae8864a3c1fec9585261791a809ddec1489950)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![Df (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9a890517132ee5973bf3fd826c31e1355adf036)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![x \ in M](https://wikimedia.org/api/rest_v1/media/math/render/svg/9df57d73e9532bb93a1439890bcddbc2806f5859)
![\ left.nm \ right.](https://wikimedia.org/api/rest_v1/media/math/render/svg/37afe7acca70df2e5d8095c0b7191833870bdd7a)
The last condition ensures the applicability of the theorem about implicit functions. This means that for each point there is an environment of in which the points are already clearly parameterized by coordinates. The image that projects onto the coordinates required for parameterization is an example of a map image and is the associated map area . Since there is a map image for each point , you can completely cover with the associated map areas. A lot of such maps, with whose map areas one can cover, is an example of an atlas .
![\ bar {x} \ in M](https://wikimedia.org/api/rest_v1/media/math/render/svg/63293cfe5ca039dc3c8febccc9667620e63cb825)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![U _ {\ bar {x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d98a1dd74f2582c29538e0d59a6515602911805)
![{\ bar {x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/466e03e1c9533b4dab1b9949dad393883f385d80)
![x \ in U _ {\ bar {x}} \ cap M](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d5e97bf26f16194b811c7ff50f85349eb9a43bc)
![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
![x \ in U _ {\ bar {x}} \ cap M](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d5e97bf26f16194b811c7ff50f85349eb9a43bc)
![U _ {\ bar {x}} \ cap M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f413933bb8e08c2e69380895f7a09bdbdb293471)
![\ bar {x} \ in M](https://wikimedia.org/api/rest_v1/media/math/render/svg/63293cfe5ca039dc3c8febccc9667620e63cb825)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
With the help of the map images you can calculate locally and in . This motivates that the natural number is called the dimension of and is called the -dimensional submanifold of .
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![\ mathbb {R} ^ {m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a87a024931038d1858dc22e8a194e5978c3412e)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
example
Map areas and projections as map images for the einim. Unity sphere
The unit sphere im is described with the continuously differentiable function by the equation . The Jacobi matrix has one for with its maximum rank. So is
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![f (x): = \ | x \ | ^ 2-1](https://wikimedia.org/api/rest_v1/media/math/render/svg/03a0790e2b092245224c444080a8a29a4491dcda)
![f (x) = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf85883d74b75fe35ca8d3f2b44802df078e4fa1)
![Df (x) = 2x ^ T](https://wikimedia.org/api/rest_v1/media/math/render/svg/855b32caaf5e1236b733dd105e4cf7bf8e52c439)
![x \ in \ R ^ n](https://wikimedia.org/api/rest_v1/media/math/render/svg/c520ee2cb6ccf8a93c89a8c58a8378796bd52e53)
![\ | x \ | = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3060a9705882ba484bebd7ece4b538bbee5bbe6)
![M: = \ {x \ in \ R ^ n \ mid \ | x \ | ^ 2-1 = 0 \}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ca5cb888ac62b4b8d92491fd7eb9a86deef5855)
an (n - 1) - dimensional submanifold of the . At least one coordinate is not equal to zero in each point . For you can with the crowd
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![\ bar {x} \ in M](https://wikimedia.org/api/rest_v1/media/math/render/svg/63293cfe5ca039dc3c8febccc9667620e63cb825)
![\ bar {x} _k](https://wikimedia.org/api/rest_v1/media/math/render/svg/cba1ad5af2e822d692a89c2237c46d5fc9b3a645)
![\ bar {x} _k> 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fd6d91980f5894bfe9f4b0b6ac988041399f487)
![U ^ {k +} _ {\ bar {x}} = \ {x \ in \ R ^ n \ mid x_k> 0 \}](https://wikimedia.org/api/rest_v1/media/math/render/svg/799b3c10b312832143b324f8b46473a81459b25d)
![M \ cap U ^ {k +} _ {\ bar {x}} = \ {x \ in \ R ^ n \ mid \ | x \ | = 1, \, x_k> 0 \}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b67a77dfcb166f7ca57fa08b6393e2063283a6c)
use as map area and for with the crowd
![\ bar {x} _k <0](https://wikimedia.org/api/rest_v1/media/math/render/svg/859a80392328a4caeb244721510f6569cdf0c002)
![U ^ {k -} _ {\ bar {x}} = \ {x \ in \ R ^ n \ mid x_k <0 \}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c6a11fba86dd72353e407476c78e055b493bd5c)
-
.
The illustrations
![\ phi_ {k +} \ colon M \ cap U ^ {k +} _ {\ bar {x}} \ to \ R ^ {n-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cfd022696cbb5fa8989e6c74e822bd4e29a489c)
![\ phi_ {k -} \ colon M \ cap U ^ {k -} _ {\ bar {x}} \ to \ R ^ {n-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa6e76623b5af8af880bbf710b8b9a1693936679)
With
![\ phi_ {k +} (x) = \ phi_ {k -} (x) = (x_1, \ ldots, x_ {k-1}, x_ {k + 1}, \ ldots, x_ {n})](https://wikimedia.org/api/rest_v1/media/math/render/svg/89757e9fa097c822927bdb22c70edb84e818dbd2)
are then suitable as maps for these areas.
This procedure is easiest to illustrate for the one-dimensional unit sphere im . In the picture opposite, the four map areas are shown as thick, solid lines. The union of the map areas covers the entire unit sphere, so these maps together form an atlas. The flatteners belonging to the map areas are indicated by a small arrow. The images of the map areas are dashed in thick lines.
![\ mathbb {R} ^ {2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e150115ab9f63023215109595b76686a1ff890fd)
For the two-dimensional unit sphere in , you already need two coordinates for the unique parameterization of the points in the map areas. For example one chooses for the quantity and as a map image .
![\ mathbb {R} ^ {3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f936ddf584f8f3dd2a0ed08917001b7a404c10b5)
![\ bar {x} _1> 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad5adfee80f9961bb9af4b2d0affa2329c6a1363)
![U _ {\ bar {x}}: = \ {x \ in \ R ^ 3 \ mid x_1> 0 \},](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3768e4a116e890dc407192384725a9c0214f6f4)
![\ phi (x) = (x_2, x_3)](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f9854fb38ed692cd0d1bbd4219cc24b22328be9)
The Möbius strip also has local properties like a region of and should therefore also be able to be described as a two-dimensional differentiable submanifold of . If the Möbius strip could be represented as the archetype of a regular value of a continuously differentiable function , then the continuous gradient of this function standing perpendicular to it would have to point in one direction everywhere (as e.g. pointing away from the front). However, this does not work because the Möbius strip has no front or back. Therefore the definition of the differentiable submanifold of the something has to be made more general.
![\ mathbb {R} ^ {2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e150115ab9f63023215109595b76686a1ff890fd)
![\ mathbb {R} ^ {3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f936ddf584f8f3dd2a0ed08917001b7a404c10b5)
![{\ displaystyle f \ colon \ mathbb {R} ^ {3} \ rightarrow \ mathbb {R}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f9cb8557b91de73cd5b077045734bf0ee0079ad)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
Definition of a submanifold of Euclidean space
A set is a -dimensional -time continuously differentiable submanifold of , if for every point there is a -surrounding and a -time continuously differentiable function with regular value 0, so that .
![M \ subset \ R ^ n](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8e2ebac5aaed569dacf365f3365b1cd07a1b4a7)
![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![\ bar {x} \ in M](https://wikimedia.org/api/rest_v1/media/math/render/svg/63293cfe5ca039dc3c8febccc9667620e63cb825)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![U _ {\ bar {x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d98a1dd74f2582c29538e0d59a6515602911805)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![{\ displaystyle f _ {\ bar {x}} \ colon U _ {\ bar {x}} \ rightarrow \ mathbb {R} ^ {nm}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3959b7d7eaf475360b3667498ed34d7ecff44474)
![f _ {\ bar {x}} ^ {- 1} (\ {0 \}) = M \ cap U _ {\ bar {x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4a776c61ceccc9ba6c4af21dfd9b1b4297ea598)
Important statements
Equivalent to this is: A set is a -time continuously differentiable submanifold of if and only if there is a local flattener for every point , i.e. i.e. to exist an environment and a diffeomorphism such that applies to all : if and only if .
![M \ subset \ R ^ n](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8e2ebac5aaed569dacf365f3365b1cd07a1b4a7)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![\ bar {x} \ in M](https://wikimedia.org/api/rest_v1/media/math/render/svg/63293cfe5ca039dc3c8febccc9667620e63cb825)
![{\ bar {x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/466e03e1c9533b4dab1b9949dad393883f385d80)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![U _ {\ bar {x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d98a1dd74f2582c29538e0d59a6515602911805)
![C ^ {k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/167fdb0cfb5644c4623b5842e1a9141acd83b534)
![{\ displaystyle f \ colon U _ {\ bar {x}} \ rightarrow f (U _ {\ bar {x}}) \ subset \ mathbb {R} ^ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/817fb3b7944467aea377e2ab661b5c83508f201d)
![{\ displaystyle x \ in U _ {\ bar {x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aa40685435cd20cdc7d88d5c0b653f014ff2581)
![f_ {m + 1} (x) = \ ldots = f_ {n} (x) = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec3c311399efd457844cb9ad4d47428e956f30ec)
![{\ displaystyle x \ in M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9df57d73e9532bb93a1439890bcddbc2806f5859)
A regular parametric representation is a continuously differentiable function that maps an area of the and whose Jacobi matrix has the maximum rank for each parameter .
![\Omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/24b0d5ca6f381068d756f6337c08e0af9d1eeb6f)
![\ mathbb {R} ^ {m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a87a024931038d1858dc22e8a194e5978c3412e)
![(n, m \ in \ N, m <n)](https://wikimedia.org/api/rest_v1/media/math/render/svg/89c3dc02ad2d3487dd0eb7f2945e25f179e72cf8)
![Dg (p)](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e7b313736f419a2849f853a95295a4c8720179f)
![p \ in \ Omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/b95162a42654ee4dbb6a20b277c96d8bbaa9cf3e)
![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
If a local flattener is a manifold , then it is
a regular parametric representation that parameterizes at least the part of . In this case, projected with the essential components of the local flat-maker.
![{\ displaystyle f _ {\ bar {x}} \ colon U _ {\ bar {x}} \ rightarrow f (U _ {\ bar {x}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/920717474e6e788a7f2be2d44a07bde8ba4eb24b)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![g: = \ Big (\ mathrm {pr} _ {1: m} f _ {\ bar {x}} | (U _ {\ bar {x}} \ cap M) \ Big) ^ {- 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d76d7e83a37756b72dc9cdee87dcb1271d4e7d9c)
![U _ {\ bar {x}} \ cap M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f413933bb8e08c2e69380895f7a09bdbdb293471)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\ displaystyle \ mathrm {pr} _ {1: m} \ colon \ mathbb {R} ^ {n} \ rightarrow \ mathbb {R} ^ {m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eec731e6c7f252a75ed833e80be0f81a369a4215)
![\ mathrm {pr} _ {1: m} (x) = (x_1, \ ldots, x_m)](https://wikimedia.org/api/rest_v1/media/math/render/svg/853094ebfc26b3a739886abb9c9187f646dfe2eb)
Example of an immersion whose full image no submanifold of is
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
Manifolds can also be defined locally using regular parametric representations: If a regular parametric representation is arbitrary, then there is an environment of , so that the image of under represents a differentiable submanifold of .
![{\ displaystyle g \ colon \ Omega \ rightarrow \ mathbb {R} ^ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c089f7f94dd7ba22c0fd21db3960839f4a1dbe2)
![p \ in \ Omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/b95162a42654ee4dbb6a20b277c96d8bbaa9cf3e)
![U_p \ subset \ Omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/a339a8df9edd0effec213709e6a3fcce6cda0b4e)
![p](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![g (U_p) \ subset \ R ^ n](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cb79bc10ba0f0d7b18d66d404a88b65cba09d76)
![U_p](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fdf01ea5c43d1e338d8b847556322c42a8c65a9)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3556280e66fe2c0d0140df20935a6f057381d77)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
example
The immersion illustrated on the right with is an example that the above statement is not necessarily generalizable to the full picture of an immersion (even if, as in this example, the immersion is injective). The set is locally not diffeomorphic to an interval of the real axis around the point and therefore does not represent a one-dimensional submanifold of the .
![{\ displaystyle g \ colon (- \ pi / 2,3 \ pi / 2) \ rightarrow \ mathbb {R} ^ {2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e160d843bd9aacdfcc66ea76aad51dbbb7b2ce2c)
![g (p): = \ big (2 \ cos (p), \ sin (2p) \ big)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f82fd62ead97a24967235283e794e69494d55bf)
![{\ displaystyle M: = g {\ big (} (- {\ frac {\ pi} {2}}, 3 {\ frac {\ pi} {2}}) {\ big)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f686e12b944bc1be67a85177b1addb0a9663bb78)
![(0.0)](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d630d3e781a53b0a3559ae7e5b45f9479a3141a)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
Tangential vectors / tangent space / tangential bundle
Let be a -dimensional differentiable submanifold of and . A vector is called a tangent vector at at the point if there is a differentiable curve with and .
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![x \ in M](https://wikimedia.org/api/rest_v1/media/math/render/svg/9df57d73e9532bb93a1439890bcddbc2806f5859)
![v \ in \ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37576c57a5c8ee1c052cb82a6b88aaa4b41764f4)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![{\ displaystyle \ gamma \ colon (- \ varepsilon, \ varepsilon) \ rightarrow M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60ec8bf09887b8605b7c9a67cb6be156f09c4cbb)
![\ left. \ gamma (0) = x \ right.](https://wikimedia.org/api/rest_v1/media/math/render/svg/75aa31e86d71e57e611704f4b463ae4db0245c2c)
![\ dot \ gamma (0) = v](https://wikimedia.org/api/rest_v1/media/math/render/svg/91e90daeb0c772cbe4ea7e87f432305457ccaf6f)
If one looks at the trajectory of a particle moving on the submanifold , then this particle is currently passing the point of interest with speed .
![{\ displaystyle t \ in (- \ varepsilon, \ varepsilon) \ mapsto \ gamma (t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/451322ae0cc39a14842a813a587655f29877bc1c)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![t = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/43469ec032d858feae5aa87029e22eaaf0109e9c)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![v](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597)
The set of all tangent vectors an in the point is a -dimensional linear space and is called the tangent space in in the point .
![T_x M](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e9a02a3b6f9a6808be3b99d0b27d1b97b4bb025)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![x \ in M](https://wikimedia.org/api/rest_v1/media/math/render/svg/9df57d73e9532bb93a1439890bcddbc2806f5859)
![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
By definition, the submanifold can be represented in a neighborhood of the point as a regular zero of a function . Let be any continuously differentiable curve with . Since this runs on the manifold, it fulfills the equation . Deriving after at the point gives , from which it follows:
![U _ {\ bar {x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d98a1dd74f2582c29538e0d59a6515602911805)
![\ bar {x} \ in M](https://wikimedia.org/api/rest_v1/media/math/render/svg/63293cfe5ca039dc3c8febccc9667620e63cb825)
![{\ displaystyle f \ colon U _ {\ bar {x}} \ rightarrow \ mathbb {R} ^ {nm}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc10445d76e6c1ca2ed883a7ad8afc020dc1e818)
![{\ displaystyle \ gamma \ colon (- \ varepsilon, \ varepsilon) \ rightarrow U _ {\ bar {x}} \ cap M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1957086db7b5e7b33a81c50298354ada02272a8)
![\ gamma (0) = \ bar {x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7711b2b7c9ba938a7555196eaf4ea3c8d2d4274c)
![f (\ gamma (t)) = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c9e1b9a82457419f07e04937207615eaf56afd9)
![t](https://wikimedia.org/api/rest_v1/media/math/render/svg/65658b7b223af9e1acc877d848888ecdb4466560)
![t = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/43469ec032d858feae5aa87029e22eaaf0109e9c)
![D f (\ gamma (t)) \ dot \ gamma (t) | _ {t = 0} = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/59f0ef661e1dc0019a92c1bb9de0ebe8f5df102a)
The tangential space is the core of the Jacobi matrix that belongs to it , that is, it applies .
![T_x M](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e9a02a3b6f9a6808be3b99d0b27d1b97b4bb025)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![D f (\ bar {x})](https://wikimedia.org/api/rest_v1/media/math/render/svg/52d9f2ca4c714466f2194210a10666c4efc4c036)
![T _ {\ bar {x}} M = \ {v \ in \ R ^ n \ mid D f (\ bar {x}) v = 0 \}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc2f40c28d4d46b24defeccef4b1d4eac622ff6)
If you have given a (local) regular parameter representation that maps a parameter point in , the tangential space an in can also be represented as a full picture of the associated Jacobi matrix :
![{\ displaystyle g \ colon \ Omega \ subset \ mathbb {R} ^ {m} \ rightarrow M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ca92c76ffbd52214766198424e35514615d38c8)
![p \ in \ Omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/b95162a42654ee4dbb6a20b277c96d8bbaa9cf3e)
![x \ in M](https://wikimedia.org/api/rest_v1/media/math/render/svg/9df57d73e9532bb93a1439890bcddbc2806f5859)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![Dg (p)](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e7b313736f419a2849f853a95295a4c8720179f)
![T_x M = \ {Dg (p) u \ mid u \ in \ R ^ m \}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0f7f2e650b0384ef5a3a139459a6e4efb5f92fe)
The relation that assigns all tangent vectors to to each point at this point is called the tangent bundle of .
![TM: = \ {(x, v) \ in M \ times \ R ^ n \ mid v \ in T_x M \}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f02e3d480cd72b292a48e89a09e6b8e3b10f1144)
![x \ in M](https://wikimedia.org/api/rest_v1/media/math/render/svg/9df57d73e9532bb93a1439890bcddbc2806f5859)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
Let be an at least twice continuously differentiable submanifold of and arbitrary. A local representation of can be constructed from a local representation of in an environment of :
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![\ bar {x} \ in M](https://wikimedia.org/api/rest_v1/media/math/render/svg/63293cfe5ca039dc3c8febccc9667620e63cb825)
![M \ cap U _ {\ bar {x}} = \ {x \ in U _ {\ bar {x}} \ mid f (x) = 0 \}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9194f40191c0ea07345644a2b5bec302b5e79199)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![U _ {\ bar {x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d98a1dd74f2582c29538e0d59a6515602911805)
![{\ bar {x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/466e03e1c9533b4dab1b9949dad393883f385d80)
![TM](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea000afb5769206ddd5fd43f458430d04422ddeb)
![TM \ cap (U _ {\ bar {x}} \ times \ R ^ n) = \ {(x, v) \ in U _ {\ bar {x}} \ times \ R ^ n \ mid f (x) = 0 \ text {and} Df (x) v = 0 \}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7147cbda3ef7551e2a96ee6a5a6436a4c0450d6)
This means that there is a -dimensional (at least once) continuously differentiable submanifold of (in the sense of the usual identification of the with the ).
![TM](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea000afb5769206ddd5fd43f458430d04422ddeb)
![2m](https://wikimedia.org/api/rest_v1/media/math/render/svg/70e100f32f96dc84bf0591df4f5c5bd40d71189f)
![\ mathbb {R} ^ {2n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47460f1a92774729807be11cf62b9178b5771b4a)
![\ mathbb {R} ^ {n} \ times \ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/479f6d713cacabcd142676c01726459d02815114)
![\ mathbb {R} ^ {2n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47460f1a92774729807be11cf62b9178b5771b4a)
literature
- Konrad Königsberger: Analysis 2 , Springer-Verlag, Berlin / Heidelberg, 2000, ISBN 3-540-43580-8