Knowledge (XXG)

Tangent bundle

Source 📝

6028: 410: 33: 152: 4870: 1522:. The tangent bundle of the unit circle is trivial because it is a Lie group (under multiplication and its natural differential structure). It is not true however that all spaces with trivial tangent bundles are Lie groups; manifolds which have a trivial tangent bundle are called 2094: 405:{\displaystyle {\begin{aligned}TM&=\bigsqcup _{x\in M}T_{x}M\\&=\bigcup _{x\in M}\left\{x\right\}\times T_{x}M\\&=\bigcup _{x\in M}\left\{(x,y)\mid y\in T_{x}M\right\}\\&=\left\{(x,y)\mid x\in M,\,y\in T_{x}M\right\}\end{aligned}}} 1952: 2249: 5227:– the first pair of coordinates do not change because it is the section of a bundle and these are just the point in the base space: the last pair of coordinates are the section itself. This expression for the vector field depends only on 5000: 5354: 5160: 5554:
can be characterized using 4 axioms, and if a manifold has a vector field satisfying these axioms, then the manifold is a tangent bundle and the vector field is the canonical vector field on it. See for example, De León et al.
2822: 4735: 36:
Informally, the tangent bundle of a manifold (which in this case is a circle) is obtained by considering all the tangent spaces (top), and joining them together in a smooth and non-overlapping manner (bottom).
2448: 1749: 1963: 5833: 2740: 157: 3860: 1828: 2657: 4612: 1348: 1644: 3994: 1419: 5789: 689: 3905: 3693: 3809: 2891: 1563: 1512: 1477: 4529:
under this product structure. Applying this product structure to the tangent space at each point and globalizing yields the canonical vector field. Informally, although the manifold
4324: 5450: 5225: 4414: 4186: 5872: 3355: 2696: 6011:
section: all tangents to a circle lie in the plane of the circle. In order to make them disjoint it is necessary to align them in a plane perpendicular to the plane of the circle.
5907: 4262: 3735: 1183: 4460: 3425: 4687: 2484: 2362: 2284: 4221: 3943: 2616: 1861: 1098: 4084: 3160: 3060: 4527: 3508: 3117: 5673: 5379: 2920: 1869: 3460: 3287: 1783: 1671: 733: 3561: 1039: 4908: 2171: 4707: 2307: 5697: 5628: 4489: 4727: 4137: 3761: 3186: 1378: 763: 443: 7131: 5038: 4916: 2977: 2947: 2856: 545: 6322: 5405: 5720: 5608: 5476: 5061: 4635: 4366: 4025: 2385: 2330: 2163: 2120: 1442: 1226: 987: 884: 833: 510: 100: 5740: 5648: 5585: 5552: 5532: 5504: 5276: 5265: 5245: 4655: 4567: 4547: 4107: 3648: 3625: 3601: 3581: 3531: 3255: 3232: 3212: 3019: 2760: 2575: 2555: 2535: 2515: 2140: 1691: 1583: 1301: 1277: 1246: 1138: 1118: 1007: 960: 932: 912: 857: 783: 645: 625: 605: 585: 565: 487: 467: 144: 120: 77: 5069: 7126: 6413: 6437: 1518:. Trivial tangent bundles usually occur for manifolds equipped with a 'compatible group structure'; for instance, in the case where the manifold is a 6632: 4865:{\displaystyle T(TM)\approx T(M\times \mathbb {R} ^{n})\cong TM\times T(\mathbb {R} ^{n})\cong TM\times (\mathbb {R} ^{n}\times \mathbb {R} ^{n})} 2765: 6502: 6164: 6141: 6728: 6781: 6309: 7065: 2390: 1699: 6206: 6185: 6111: 2089:{\displaystyle {\widetilde {\phi }}_{\alpha }\left(x,v^{i}\partial _{i}\right)=\left(\phi _{\alpha }(x),v^{1},\cdots ,v^{n}\right)} 1068:
One of the main roles of the tangent bundle is to provide a domain and range for the derivative of a smooth function. Namely, if
6830: 6422: 6813: 6131: 6045: 2949:, both of which are trivial. For 2-dimensional manifolds the tangent bundle is 4-dimensional and hence difficult to visualize. 2578: 7174: 6092: 6049: 6064: 7025: 6270: 6190: 5794: 2701: 7010: 6733: 6507: 3814: 1788: 1141: 7055: 6265: 6071: 2621: 4572: 1309: 7060: 7030: 6738: 6694: 6675: 6442: 6386: 5918: 5005:
Splitting the first map via the zero section and the second map by the diagonal yields the canonical vector field.
1603: 6038: 3948: 1383: 6597: 6462: 5760: 659: 6078: 6001:
have no common vector. This is graphically illustrated in the accompanying picture for tangent bundle of circle
3865: 3653: 6982: 6847: 6539: 6381: 3766: 651: 2861: 1533: 1482: 1447: 4267: 7179: 6679: 6649: 6573: 6563: 6519: 6349: 6302: 5410: 5168: 4374: 4142: 2984: 1198: 935: 57: 6447: 6060: 5838: 3295: 2662: 7020: 6639: 6534: 6354: 5877: 3190: 963: 809: 4226: 3698: 1147: 6669: 6664: 4427: 4028: 3369: 53: 4660: 2457: 2335: 2257: 4194: 3910: 2592: 1833: 1071: 7000: 6938: 6786: 6490: 6480: 6452: 6427: 6337: 4264:. Similarly, higher-order tangent bundles provide the domain and range for higher-order derivatives 4037: 3463: 3122: 3030: 1947:{\displaystyle {\widetilde {\phi }}_{\alpha }:\pi ^{-1}\left(U_{\alpha }\right)\to \mathbb {R} ^{2n}} 6260: 5285: 4494: 3477: 3068: 7138: 7111: 6820: 6698: 6683: 6612: 6371: 5938: 5923: 3604: 3467: 2894: 5362: 3630:
The above construction applies equally well to the cotangent bundle – the differential 1-forms on
2903: 2454:
of the associated coordinate transformation and are therefore smooth maps between open subsets of
2244:{\displaystyle {\widetilde {\phi }}_{\alpha }\left(A\cap \pi ^{-1}\left(U_{\alpha }\right)\right)} 7080: 7035: 6932: 6803: 6607: 6432: 6295: 6194: 5564: 5479: 4420:
on the tangent space at each point. This is possible because the tangent space of a vector space
3433: 3260: 2980: 1761: 1649: 1280: 697: 6617: 3540: 1015: 4878: 7015: 6995: 6990: 6897: 6808: 6622: 6602: 6457: 6396: 6202: 6181: 6160: 6137: 5743: 5653: 4995:{\displaystyle (TM\to M)\times (\mathbb {R} ^{n}\times \mathbb {R} ^{n}\to \mathbb {R} ^{n}).} 4692: 4334: 2289: 6213: 5682: 5613: 4465: 7153: 6947: 6902: 6825: 6796: 6654: 6587: 6582: 6577: 6567: 6359: 6342: 6241: 6152: 6085: 5928: 5747: 5483: 4712: 4223:
has an induced derivative, for which the tangent bundle is the appropriate domain and range
4112: 3740: 3165: 1597: 1353: 1202: 887: 789: 738: 418: 5011: 2955: 2925: 2834: 518: 7096: 7005: 6835: 6791: 6557: 5349:{\displaystyle {\begin{cases}\mathbb {R} \times TM\to TM\\(t,v)\longmapsto tv\end{cases}}} 2451: 1527: 891: 5384: 5155:{\displaystyle V=\sum _{i}\left.v^{i}{\frac {\partial }{\partial v^{i}}}\right|_{(x,v)}.} 796:). With this topology, the tangent bundle to a manifold is the prototypical example of a 5702: 5590: 5458: 5043: 4617: 4348: 4007: 2858:(see picture above). The tangent bundle of the circle is also trivial and isomorphic to 2367: 2312: 2145: 2102: 1424: 1208: 969: 866: 815: 492: 82: 6887: 6857: 6755: 6688: 6659: 6529: 6524: 6485: 6173: 5725: 5633: 5570: 5537: 5517: 5489: 5250: 5230: 4640: 4552: 4532: 4092: 3633: 3610: 3586: 3566: 3516: 3240: 3217: 3197: 3004: 2745: 2560: 2540: 2520: 2500: 2125: 1755: 1676: 1568: 1523: 1304: 1286: 1262: 1231: 1123: 1103: 992: 945: 939: 917: 897: 842: 768: 630: 610: 590: 570: 550: 472: 452: 129: 123: 105: 62: 6245: 3537:
of the tangent bundle. That is, a local vector field is defined only on some open set
17: 7168: 7148: 6972: 6967: 6952: 6942: 6892: 6869: 6743: 6703: 6644: 6592: 6391: 2490: 797: 446: 45: 6232:
Gudmundsson, Sigmundur; Kappos, Elias (2002). "On the geometry of tangent bundles".
7075: 7070: 6912: 6879: 6852: 6760: 6401: 5933: 4417: 2997: 2900:
The only tangent bundles that can be readily visualized are those of the real line
2494: 836: 805: 801: 513: 6277: 6918: 6907: 6864: 6765: 6366: 6027: 2995:
A smooth assignment of a tangent vector to each point of a manifold is called a
2828: 1010: 860: 7143: 7101: 6927: 6840: 6472: 6376: 6156: 4330: 3022: 6957: 6922: 6627: 6514: 4031:
can be defined via repeated application of the tangent bundle construction:
3583:
a vector in the associated tangent space. The set of local vector fields on
2817:{\displaystyle T\mathbb {R} ^{n}\to \mathbb {R} ^{n}\times \mathbb {R} ^{n}} 1519: 32: 4462:
since the vector space itself is flat, and thus has a natural diagonal map
2952:
A simple example of a nontrivial tangent bundle is that of the unit sphere
7121: 7116: 7106: 6497: 6318: 2489:
The tangent bundle is an example of a more general construction called a
49: 52:, structured in a way that it forms a new manifold itself. Formally, in 6287: 6282: 5676: 6713: 5452:, which is an alternative description of the canonical vector field. 1205:
so as to make it into a manifold in its own right. The dimension of
31: 2099:
We use these maps to define the topology and smooth structure on
4689:
Thus the tangent bundle of the tangent bundle is locally (using
2443:{\displaystyle \pi ^{-1}\left(U_{\alpha }\cap U_{\beta }\right)} 1350:
which restricts to a linear isomorphism from each tangent space
6291: 1744:{\displaystyle \phi _{\alpha }:U_{\alpha }\to \mathbb {R} ^{n}} 6021: 5267:, as only the tangent directions can be naturally identified. 5359:
The derivative of this function with respect to the variable
6212:
León, M. De; Merino, E.; Oubiña, J. A.; Salgado, M. (1994).
5270:
Alternatively, consider the scalar multiplication function:
2979:: this tangent bundle is nontrivial as a consequence of the 5342: 5091: 3188:. In the language of fiber bundles, such a map is called a 1193:
The tangent bundle comes equipped with a natural topology (
6214:"A characterization of tangent and stable tangent bundles" 6134:, vol. 107, Providence: American Mathematical Society 2364:
and therefore serve as charts for the smooth structure on
735:. This projection maps each element of the tangent space 3430:
to get other vector fields. The set of all vector fields
989:
is stably trivial, meaning that for some trivial bundle
5534:
one can characterize the tangent bundle. Essentially,
2309:
These maps are homeomorphisms between open subsets of
1596:-dimensional manifold, then it comes equipped with an 5880: 5841: 5797: 5763: 5728: 5705: 5685: 5656: 5636: 5616: 5593: 5573: 5540: 5520: 5492: 5461: 5413: 5387: 5365: 5279: 5253: 5233: 5171: 5072: 5046: 5014: 4919: 4881: 4738: 4715: 4695: 4663: 4643: 4620: 4575: 4555: 4535: 4497: 4468: 4430: 4377: 4351: 4270: 4229: 4197: 4145: 4115: 4095: 4040: 4010: 3951: 3913: 3868: 3817: 3769: 3743: 3701: 3656: 3636: 3613: 3589: 3569: 3543: 3519: 3480: 3436: 3372: 3298: 3263: 3243: 3220: 3200: 3168: 3125: 3071: 3033: 3007: 2958: 2928: 2906: 2864: 2837: 2768: 2748: 2704: 2665: 2624: 2595: 2563: 2543: 2523: 2503: 2460: 2393: 2370: 2338: 2315: 2292: 2260: 2174: 2148: 2128: 2105: 1966: 1872: 1836: 1791: 1764: 1702: 1679: 1652: 1606: 1571: 1536: 1485: 1450: 1427: 1386: 1356: 1312: 1289: 1265: 1234: 1211: 1150: 1126: 1106: 1074: 1018: 995: 972: 948: 920: 900: 869: 845: 818: 771: 741: 700: 662: 633: 613: 593: 573: 553: 521: 495: 475: 455: 421: 155: 132: 108: 85: 65: 5828:{\displaystyle f^{\vee }:TM\rightarrow \mathbb {R} } 4368:, considered as a manifold itself, one can define a 2735:{\displaystyle \mathbb {R} ^{n}\to \mathbb {R} ^{n}} 1444:
is not always diffeomorphic to the product manifold
7089: 7048: 6981: 6878: 6774: 6721: 6712: 6548: 6471: 6410: 6330: 6052:. Unsourced material may be challenged and removed. 5959:The disjoint union ensures that for any two points 3650:are precisely the sections of the cotangent bundle 2618:. In this case the tangent bundle is trivial: each 5901: 5866: 5827: 5783: 5734: 5714: 5691: 5667: 5642: 5622: 5602: 5579: 5546: 5526: 5498: 5470: 5444: 5399: 5373: 5348: 5259: 5239: 5219: 5154: 5055: 5032: 4994: 4902: 4864: 4721: 4701: 4681: 4649: 4629: 4606: 4561: 4541: 4521: 4483: 4454: 4408: 4360: 4318: 4256: 4215: 4180: 4131: 4101: 4078: 4019: 3988: 3937: 3899: 3855:{\displaystyle \omega _{x}:T_{x}M\to \mathbb {R} } 3854: 3803: 3755: 3729: 3687: 3642: 3619: 3595: 3575: 3555: 3525: 3502: 3454: 3419: 3349: 3281: 3249: 3226: 3206: 3180: 3154: 3111: 3054: 3013: 2971: 2941: 2914: 2885: 2850: 2816: 2754: 2734: 2690: 2651: 2610: 2569: 2549: 2529: 2509: 2478: 2442: 2379: 2356: 2324: 2301: 2278: 2243: 2157: 2134: 2114: 2088: 1946: 1855: 1823:{\displaystyle T_{x}M\rightarrow \mathbb {R} ^{n}} 1822: 1777: 1743: 1685: 1665: 1638: 1577: 1557: 1506: 1471: 1436: 1413: 1372: 1342: 1295: 1271: 1240: 1220: 1177: 1132: 1112: 1092: 1033: 1001: 981: 954: 926: 906: 878: 851: 827: 793: 777: 757: 727: 683: 639: 619: 599: 579: 559: 539: 504: 481: 461: 437: 404: 138: 114: 94: 71: 6151:. Graduate Texts in Mathematics. Vol. 218. 3289:. Vector fields can be added together pointwise 3214:is therefore a section of the tangent bundle of 2652:{\displaystyle T_{x}\mathbf {\mathbb {R} } ^{n}} 4333:on a manifold, which are bundles consisting of 5722:. In contrast, without further assumptions on 4910:is the projection onto the first coordinates: 4607:{\displaystyle T_{x}M\approx \mathbb {R} ^{n}} 3811:, which map tangent vectors to real numbers: 2581:of the associated coordinate transformations. 1343:{\displaystyle TU\to U\times \mathbb {R} ^{n}} 6303: 3001:. Specifically, a vector field on a manifold 2387:. The transition functions on chart overlaps 1639:{\displaystyle (U_{\alpha },\phi _{\alpha })} 8: 4329:A distinct but related construction are the 3989:{\displaystyle \omega (X)\in C^{\infty }(M)} 2577:whose transition functions are given by the 1414:{\displaystyle \{x\}\times \mathbb {R} ^{n}} 1393: 1387: 5784:{\displaystyle f:M\rightarrow \mathbb {R} } 1526:. Just as manifolds are locally modeled on 684:{\displaystyle \pi :TM\twoheadrightarrow M} 102:which assembles all the tangent vectors in 6718: 6310: 6296: 6288: 6178:Riemannian Geometry and Geometric Analysis 5955: 5953: 4614:, is flat, so the tangent bundle manifold 3900:{\displaystyle \omega \in \Gamma (T^{*}M)} 3688:{\displaystyle \omega \in \Gamma (T^{*}M)} 1060:(by results of Bott-Milnor and Kervaire). 6112:Learn how and when to remove this message 5879: 5846: 5840: 5821: 5820: 5802: 5796: 5777: 5776: 5762: 5727: 5704: 5684: 5655: 5635: 5615: 5592: 5572: 5539: 5519: 5491: 5460: 5433: 5412: 5386: 5367: 5366: 5364: 5289: 5288: 5280: 5278: 5252: 5232: 5170: 5131: 5117: 5104: 5098: 5083: 5071: 5045: 5013: 4980: 4976: 4975: 4965: 4961: 4960: 4950: 4946: 4945: 4918: 4880: 4853: 4849: 4848: 4838: 4834: 4833: 4808: 4804: 4803: 4775: 4771: 4770: 4737: 4714: 4694: 4670: 4666: 4665: 4662: 4642: 4619: 4598: 4594: 4593: 4580: 4574: 4554: 4549:is curved, each tangent space at a point 4534: 4496: 4467: 4429: 4397: 4376: 4350: 4307: 4291: 4275: 4269: 4228: 4196: 4158: 4144: 4120: 4114: 4094: 4075: 4045: 4039: 4009: 3971: 3950: 3912: 3885: 3867: 3848: 3847: 3835: 3822: 3816: 3804:{\displaystyle \omega _{x}\in T_{x}^{*}M} 3792: 3787: 3774: 3768: 3742: 3718: 3700: 3673: 3655: 3635: 3612: 3588: 3568: 3542: 3518: 3485: 3479: 3435: 3411: 3386: 3371: 3341: 3328: 3315: 3297: 3262: 3242: 3219: 3199: 3167: 3143: 3130: 3124: 3100: 3070: 3032: 3006: 2963: 2957: 2933: 2927: 2908: 2907: 2905: 2879: 2878: 2869: 2863: 2842: 2836: 2808: 2804: 2803: 2793: 2789: 2788: 2778: 2774: 2773: 2767: 2747: 2726: 2722: 2721: 2711: 2707: 2706: 2703: 2682: 2678: 2677: 2670: 2664: 2643: 2638: 2637: 2636: 2629: 2623: 2602: 2598: 2597: 2594: 2562: 2542: 2522: 2502: 2467: 2463: 2462: 2459: 2429: 2416: 2398: 2392: 2369: 2345: 2341: 2340: 2337: 2314: 2291: 2267: 2263: 2262: 2259: 2226: 2209: 2188: 2177: 2176: 2173: 2147: 2127: 2104: 2075: 2056: 2034: 2011: 2001: 1980: 1969: 1968: 1965: 1935: 1931: 1930: 1916: 1899: 1886: 1875: 1874: 1871: 1847: 1835: 1814: 1810: 1809: 1796: 1790: 1769: 1763: 1735: 1731: 1730: 1720: 1707: 1701: 1678: 1657: 1651: 1627: 1614: 1605: 1570: 1549: 1545: 1544: 1535: 1530:, tangent bundles are locally modeled on 1498: 1494: 1493: 1484: 1463: 1459: 1458: 1449: 1426: 1405: 1401: 1400: 1385: 1361: 1355: 1334: 1330: 1329: 1311: 1288: 1264: 1233: 1210: 1149: 1125: 1105: 1073: 1017: 994: 971: 947: 919: 899: 868: 844: 817: 788:The tangent bundle comes equipped with a 770: 746: 740: 699: 661: 632: 612: 592: 572: 552: 520: 494: 474: 454: 426: 420: 384: 373: 314: 269: 246: 216: 193: 177: 156: 154: 131: 107: 84: 64: 5455:The existence of such a vector field on 4341:Canonical vector field on tangent bundle 2886:{\displaystyle S^{1}\times \mathbb {R} } 2497:). Explicitly, the tangent bundle to an 1558:{\displaystyle U\times \mathbb {R} ^{n}} 1514:, then the tangent bundle is said to be 1507:{\displaystyle M\times \mathbb {R} ^{n}} 1472:{\displaystyle M\times \mathbb {R} ^{n}} 6221:Annales de l'I.H.P.: Physique Théorique 5949: 4319:{\displaystyle D^{k}f:T^{k}M\to T^{k}N} 5445:{\displaystyle V:TM\rightarrow T^{2}M} 5220:{\displaystyle (x,v)\mapsto (x,v,0,v)} 5063:, the vector field has the expression 4409:{\displaystyle V:TM\rightarrow T^{2}M} 4181:{\displaystyle T\left(T^{k-1}M\right)} 3862:. Equivalently, a differential 1-form 3360:and multiplied by smooth functions on 1585:is an open subset of Euclidean space. 5867:{\displaystyle f^{\vee }=f\circ \pi } 5746:), there is no similar lift into the 3350:{\displaystyle (V+W)_{x}=V_{x}+W_{x}} 2691:{\displaystyle T_{0}\mathbb {R} ^{n}} 938:if and only if the tangent bundle is 890:, which is the disjoint union of the 7: 6201:, (1978) Benjamin-Cummings, London. 6050:adding citations to reliable sources 5902:{\displaystyle \pi :TM\rightarrow M} 2493:(which is itself a specific kind of 6128:Manifolds and Differential Geometry 4257:{\displaystyle Df:TM\rightarrow TN} 3730:{\displaystyle \omega :M\to T^{*}M} 1178:{\displaystyle Df:TM\rightarrow TN} 6180:, (2002) Springer-Verlag, Berlin. 5110: 5106: 4455:{\displaystyle TW\cong W\times W,} 3972: 3920: 3875: 3663: 3486: 3437: 3420:{\displaystyle (fV)_{x}=f(x)V_{x}} 3264: 2008: 966:if and only if the tangent bundle 25: 6278:Wolfram MathWorld: Tangent Bundle 4682:{\displaystyle \mathbb {R} ^{n}.} 4637:is locally a product of a curved 4027:is itself a smooth manifold, the 3462:then takes on the structure of a 2479:{\displaystyle \mathbb {R} ^{2n}} 2357:{\displaystyle \mathbb {R} ^{2n}} 2279:{\displaystyle \mathbb {R} ^{2n}} 6149:Introduction to Smooth Manifolds 6026: 4709:for "choice of coordinates" and 4216:{\displaystyle f:M\rightarrow N} 3938:{\displaystyle X\in \Gamma (TM)} 3237:The set of all vector fields on 2611:{\displaystyle \mathbb {R} ^{n}} 2589:The simplest example is that of 1856:{\displaystyle x\in U_{\alpha }} 1093:{\displaystyle f:M\rightarrow N} 44:is the collection of all of the 6132:Graduate Studies in Mathematics 6037:needs additional citations for 4729:for "natural identification"): 4079:{\displaystyle T^{2}M=T(TM).\,} 3155:{\displaystyle V_{x}\in T_{x}M} 3055:{\displaystyle V\colon M\to TM} 2983:. Therefore, the sphere is not 122:. As a set, it is given by the 6350:Differentiable/Smooth manifold 5893: 5817: 5773: 5426: 5330: 5327: 5315: 5302: 5214: 5190: 5187: 5184: 5172: 5144: 5132: 5027: 5015: 4986: 4971: 4941: 4935: 4929: 4920: 4891: 4859: 4829: 4814: 4799: 4781: 4760: 4751: 4742: 4522:{\displaystyle w\mapsto (w,w)} 4516: 4504: 4501: 4472: 4390: 4300: 4245: 4207: 4139:can be defined recursively as 4069: 4060: 3983: 3977: 3961: 3955: 3932: 3923: 3894: 3878: 3844: 3711: 3682: 3666: 3503:{\displaystyle C^{\infty }(M)} 3497: 3491: 3449: 3440: 3404: 3398: 3383: 3373: 3312: 3299: 3276: 3267: 3112:{\displaystyle V(x)=(x,V_{x})} 3106: 3087: 3081: 3075: 3043: 2827:Another simple example is the 2784: 2717: 2046: 2040: 1926: 1805: 1726: 1633: 1607: 1319: 1259:-dimensional vector space. If 1166: 1084: 1053:, but parallelizable only for 1041:is trivial. For example, the 716: 704: 675: 534: 522: 355: 343: 298: 286: 1: 6246:10.1016/S0723-0869(02)80027-5 6008: 5909:is the canonical projection. 3737:that associate to each point 3603:forms a structure known as a 3563:and assigns to each point of 2659:is canonically isomorphic to 1758:. These local coordinates on 1189:Topology and smooth structure 914:. By definition, a manifold 5374:{\displaystyle \mathbb {R} } 4000:Higher-order tangent bundles 2915:{\displaystyle \mathbb {R} } 1785:give rise to an isomorphism 1255:-dimensional manifold is an 942:. By definition, a manifold 27:Tangent spaces of a manifold 7056:Classification of manifolds 6266:Encyclopedia of Mathematics 4029:second-order tangent bundle 3907:maps a smooth vector field 3455:{\displaystyle \Gamma (TM)} 3282:{\displaystyle \Gamma (TM)} 2893:. Geometrically, this is a 1863:. We may then define a map 1778:{\displaystyle U_{\alpha }} 1666:{\displaystyle U_{\alpha }} 1100:is a smooth function, with 728:{\displaystyle \pi (x,v)=x} 7196: 6283:PlanetMath: Tangent Bundle 5919:Pushforward (differential) 5563:There are various ways to 5040:are local coordinates for 3556:{\displaystyle U\subset M} 2762:, giving a diffeomorphism 1421:. As a manifold, however, 1228:is twice the dimension of 1034:{\displaystyle TM\oplus E} 56:, the tangent bundle of a 7132:over commutative algebras 6234:Expositiones Mathematicae 6157:10.1007/978-1-4419-9982-5 4903:{\displaystyle TTM\to TM} 4004:Since the tangent bundle 3607:of real vector spaces on 2537:may be defined as a rank 1479:. When it is of the form 1251:Each tangent space of an 126:of the tangent spaces of 6848:Riemann curvature tensor 6199:Foundations of Mechanics 6126:Lee, Jeffrey M. (2009), 5668:{\displaystyle \gamma '} 4702:{\displaystyle \approx } 4424:is naturally a product, 4345:On every tangent bundle 4109:th order tangent bundle 3513:A local vector field on 2302:{\displaystyle \alpha .} 792:(described in a section 5692:{\displaystyle \gamma } 5623:{\displaystyle \gamma } 4484:{\displaystyle W\to TW} 3470:of smooth functions on 2165:is open if and only if 1199:disjoint union topology 607:is a tangent vector to 512:can be thought of as a 58:differentiable manifold 6640:Manifold with boundary 6355:Differential structure 5903: 5868: 5829: 5785: 5736: 5716: 5693: 5669: 5644: 5624: 5604: 5581: 5548: 5528: 5508:Liouville vector field 5500: 5472: 5446: 5401: 5375: 5350: 5261: 5241: 5221: 5156: 5057: 5034: 4996: 4904: 4866: 4723: 4722:{\displaystyle \cong } 4703: 4683: 4651: 4631: 4608: 4563: 4543: 4523: 4485: 4456: 4410: 4370:canonical vector field 4362: 4320: 4258: 4217: 4182: 4133: 4132:{\displaystyle T^{k}M} 4103: 4080: 4021: 3990: 3939: 3901: 3856: 3805: 3757: 3756:{\displaystyle x\in M} 3731: 3689: 3644: 3621: 3597: 3577: 3557: 3527: 3504: 3456: 3421: 3351: 3283: 3251: 3228: 3208: 3182: 3181:{\displaystyle x\in M} 3156: 3113: 3056: 3015: 2973: 2943: 2916: 2887: 2852: 2818: 2756: 2736: 2692: 2653: 2612: 2571: 2551: 2531: 2517:-dimensional manifold 2511: 2480: 2444: 2381: 2358: 2326: 2303: 2280: 2245: 2159: 2136: 2116: 2090: 1948: 1857: 1824: 1779: 1745: 1687: 1667: 1640: 1579: 1559: 1508: 1473: 1438: 1415: 1374: 1373:{\displaystyle T_{x}U} 1344: 1297: 1273: 1242: 1222: 1179: 1140:smooth manifolds, its 1134: 1114: 1094: 1035: 1003: 983: 956: 928: 908: 880: 853: 829: 779: 759: 758:{\displaystyle T_{x}M} 729: 685: 641: 621: 601: 581: 561: 541: 506: 483: 463: 439: 438:{\displaystyle T_{x}M} 406: 140: 116: 96: 73: 37: 18:Canonical vector field 7175:Differential topology 6147:Lee, John M. (2012). 5904: 5869: 5830: 5786: 5737: 5717: 5694: 5670: 5645: 5625: 5605: 5582: 5549: 5529: 5501: 5473: 5447: 5402: 5376: 5351: 5262: 5242: 5222: 5157: 5058: 5035: 5033:{\displaystyle (x,v)} 4997: 4905: 4867: 4724: 4704: 4684: 4652: 4632: 4609: 4564: 4544: 4524: 4486: 4457: 4411: 4363: 4321: 4259: 4218: 4183: 4134: 4104: 4081: 4022: 3991: 3945:to a smooth function 3940: 3902: 3857: 3806: 3758: 3732: 3690: 3645: 3622: 3598: 3578: 3558: 3528: 3505: 3457: 3422: 3352: 3284: 3252: 3229: 3209: 3183: 3157: 3114: 3057: 3016: 2974: 2972:{\displaystyle S^{2}} 2944: 2942:{\displaystyle S^{1}} 2917: 2888: 2853: 2851:{\displaystyle S^{1}} 2819: 2757: 2737: 2693: 2654: 2613: 2572: 2552: 2532: 2512: 2481: 2445: 2382: 2359: 2327: 2304: 2281: 2246: 2160: 2137: 2117: 2091: 1949: 1858: 1825: 1780: 1746: 1688: 1668: 1641: 1580: 1560: 1509: 1474: 1439: 1416: 1375: 1345: 1298: 1274: 1243: 1223: 1180: 1144:is a smooth function 1135: 1115: 1095: 1036: 1004: 984: 957: 929: 909: 881: 854: 830: 780: 760: 730: 686: 642: 622: 602: 582: 562: 542: 540:{\displaystyle (x,v)} 507: 489:. So, an element of 484: 464: 440: 407: 141: 117: 97: 74: 54:differential geometry 35: 6787:Covariant derivative 6338:Topological manifold 6046:improve this article 5878: 5839: 5795: 5761: 5726: 5703: 5683: 5654: 5634: 5614: 5591: 5571: 5538: 5518: 5490: 5478:is analogous to the 5459: 5411: 5385: 5363: 5277: 5251: 5231: 5169: 5070: 5044: 5012: 4917: 4879: 4736: 4713: 4693: 4661: 4641: 4618: 4573: 4553: 4533: 4495: 4466: 4428: 4375: 4349: 4268: 4227: 4195: 4143: 4113: 4093: 4038: 4008: 3949: 3911: 3866: 3815: 3767: 3741: 3699: 3654: 3634: 3611: 3587: 3567: 3541: 3517: 3478: 3434: 3370: 3296: 3261: 3241: 3218: 3198: 3194:. A vector field on 3166: 3123: 3069: 3031: 3005: 2956: 2926: 2922:and the unit circle 2904: 2897:of infinite height. 2862: 2835: 2766: 2746: 2702: 2663: 2622: 2593: 2561: 2541: 2521: 2501: 2458: 2391: 2368: 2336: 2313: 2290: 2258: 2172: 2146: 2126: 2103: 1964: 1870: 1834: 1789: 1762: 1700: 1677: 1650: 1604: 1569: 1534: 1483: 1448: 1425: 1384: 1354: 1310: 1287: 1263: 1232: 1209: 1148: 1124: 1104: 1072: 1045:-dimensional sphere 1016: 993: 970: 946: 918: 898: 867: 843: 816: 769: 765:to the single point 739: 698: 660: 631: 611: 591: 571: 551: 519: 493: 473: 453: 419: 153: 130: 106: 83: 63: 48:for all points on a 6821:Exterior derivative 6423:Atiyah–Singer index 6372:Riemannian manifold 5983:the tangent spaces 5939:Musical isomorphism 5924:Unit tangent bundle 5610:. For example, if 5512:radial vector field 5506:is also called the 5400:{\displaystyle t=1} 3797: 3468:commutative algebra 2557:vector bundle over 2450:are induced by the 650:There is a natural 7127:Secondary calculus 7081:Singularity theory 7036:Parallel transport 6804:De Rham cohomology 6443:Generalized Stokes 6195:Jerrold E. Marsden 5899: 5864: 5825: 5781: 5732: 5715:{\displaystyle TM} 5712: 5689: 5665: 5640: 5620: 5603:{\displaystyle TM} 5600: 5577: 5544: 5524: 5496: 5480:canonical one-form 5471:{\displaystyle TM} 5468: 5442: 5397: 5371: 5346: 5341: 5257: 5237: 5217: 5152: 5088: 5056:{\displaystyle TM} 5053: 5030: 4992: 4900: 4862: 4719: 4699: 4679: 4647: 4630:{\displaystyle TM} 4627: 4604: 4559: 4539: 4519: 4481: 4452: 4406: 4361:{\displaystyle TM} 4358: 4316: 4254: 4213: 4178: 4129: 4099: 4076: 4020:{\displaystyle TM} 4017: 3986: 3935: 3897: 3852: 3801: 3783: 3753: 3727: 3685: 3640: 3617: 3593: 3573: 3553: 3523: 3500: 3452: 3417: 3347: 3279: 3247: 3224: 3204: 3178: 3152: 3109: 3052: 3011: 2981:hairy ball theorem 2969: 2939: 2912: 2883: 2848: 2814: 2752: 2732: 2688: 2649: 2608: 2567: 2547: 2527: 2507: 2476: 2440: 2380:{\displaystyle TM} 2377: 2354: 2325:{\displaystyle TM} 2322: 2299: 2276: 2241: 2158:{\displaystyle TM} 2155: 2132: 2115:{\displaystyle TM} 2112: 2086: 1944: 1853: 1820: 1775: 1741: 1683: 1673:is an open set in 1663: 1636: 1575: 1555: 1504: 1469: 1437:{\displaystyle TM} 1434: 1411: 1370: 1340: 1303:, then there is a 1293: 1269: 1238: 1221:{\displaystyle TM} 1218: 1175: 1130: 1110: 1090: 1049:is framed for all 1031: 999: 982:{\displaystyle TM} 979: 952: 924: 904: 879:{\displaystyle TM} 876: 849: 828:{\displaystyle TM} 825: 775: 755: 725: 681: 637: 617: 597: 577: 557: 537: 505:{\displaystyle TM} 502: 479: 459: 435: 402: 400: 280: 227: 188: 136: 112: 95:{\displaystyle TM} 92: 69: 38: 7162: 7161: 7044: 7043: 6809:Differential form 6463:Whitney embedding 6397:Differential form 6166:978-1-4419-9981-8 6142:978-0-8218-4815-9 6122: 6121: 6114: 6096: 5744:Riemannian metric 5735:{\displaystyle M} 5699:) is a curve in 5643:{\displaystyle M} 5580:{\displaystyle M} 5547:{\displaystyle V} 5527:{\displaystyle V} 5499:{\displaystyle V} 5260:{\displaystyle x} 5240:{\displaystyle v} 5124: 5079: 4650:{\displaystyle M} 4562:{\displaystyle x} 4542:{\displaystyle M} 4102:{\displaystyle k} 3643:{\displaystyle M} 3620:{\displaystyle M} 3596:{\displaystyle M} 3576:{\displaystyle U} 3526:{\displaystyle M} 3250:{\displaystyle M} 3227:{\displaystyle M} 3207:{\displaystyle M} 3014:{\displaystyle M} 2755:{\displaystyle x} 2570:{\displaystyle M} 2550:{\displaystyle n} 2530:{\displaystyle M} 2510:{\displaystyle n} 2452:Jacobian matrices 2185: 2135:{\displaystyle A} 1977: 1883: 1686:{\displaystyle M} 1578:{\displaystyle U} 1296:{\displaystyle M} 1272:{\displaystyle U} 1241:{\displaystyle M} 1133:{\displaystyle N} 1113:{\displaystyle M} 1002:{\displaystyle E} 955:{\displaystyle M} 927:{\displaystyle M} 907:{\displaystyle M} 852:{\displaystyle M} 804:whose fibers are 778:{\displaystyle x} 640:{\displaystyle x} 620:{\displaystyle M} 600:{\displaystyle v} 580:{\displaystyle M} 560:{\displaystyle x} 482:{\displaystyle x} 462:{\displaystyle M} 265: 212: 173: 139:{\displaystyle M} 115:{\displaystyle M} 72:{\displaystyle M} 16:(Redirected from 7187: 7154:Stratified space 7112:Fréchet manifold 6826:Interior product 6719: 6416: 6312: 6305: 6298: 6289: 6274: 6261:"Tangent bundle" 6249: 6228: 6218: 6170: 6135: 6117: 6110: 6106: 6103: 6097: 6095: 6061:"Tangent bundle" 6054: 6030: 6022: 6012: 6006: 6000: 5991: 5982: 5976: 5967: 5957: 5929:Cotangent bundle 5908: 5906: 5905: 5900: 5873: 5871: 5870: 5865: 5851: 5850: 5834: 5832: 5831: 5826: 5824: 5807: 5806: 5791:is the function 5790: 5788: 5787: 5782: 5780: 5748:cotangent bundle 5741: 5739: 5738: 5733: 5721: 5719: 5718: 5713: 5698: 5696: 5695: 5690: 5674: 5672: 5671: 5666: 5664: 5649: 5647: 5646: 5641: 5629: 5627: 5626: 5621: 5609: 5607: 5606: 5601: 5587:into objects on 5586: 5584: 5583: 5578: 5553: 5551: 5550: 5545: 5533: 5531: 5530: 5525: 5505: 5503: 5502: 5497: 5484:cotangent bundle 5477: 5475: 5474: 5469: 5451: 5449: 5448: 5443: 5438: 5437: 5406: 5404: 5403: 5398: 5380: 5378: 5377: 5372: 5370: 5355: 5353: 5352: 5347: 5345: 5344: 5292: 5266: 5264: 5263: 5258: 5246: 5244: 5243: 5238: 5226: 5224: 5223: 5218: 5165:More concisely, 5161: 5159: 5158: 5153: 5148: 5147: 5130: 5126: 5125: 5123: 5122: 5121: 5105: 5103: 5102: 5087: 5062: 5060: 5059: 5054: 5039: 5037: 5036: 5031: 5001: 4999: 4998: 4993: 4985: 4984: 4979: 4970: 4969: 4964: 4955: 4954: 4949: 4909: 4907: 4906: 4901: 4871: 4869: 4868: 4863: 4858: 4857: 4852: 4843: 4842: 4837: 4813: 4812: 4807: 4780: 4779: 4774: 4728: 4726: 4725: 4720: 4708: 4706: 4705: 4700: 4688: 4686: 4685: 4680: 4675: 4674: 4669: 4656: 4654: 4653: 4648: 4636: 4634: 4633: 4628: 4613: 4611: 4610: 4605: 4603: 4602: 4597: 4585: 4584: 4568: 4566: 4565: 4560: 4548: 4546: 4545: 4540: 4528: 4526: 4525: 4520: 4490: 4488: 4487: 4482: 4461: 4459: 4458: 4453: 4415: 4413: 4412: 4407: 4402: 4401: 4367: 4365: 4364: 4359: 4325: 4323: 4322: 4317: 4312: 4311: 4296: 4295: 4280: 4279: 4263: 4261: 4260: 4255: 4222: 4220: 4219: 4214: 4187: 4185: 4184: 4179: 4177: 4173: 4169: 4168: 4138: 4136: 4135: 4130: 4125: 4124: 4108: 4106: 4105: 4100: 4089:In general, the 4085: 4083: 4082: 4077: 4050: 4049: 4026: 4024: 4023: 4018: 3995: 3993: 3992: 3987: 3976: 3975: 3944: 3942: 3941: 3936: 3906: 3904: 3903: 3898: 3890: 3889: 3861: 3859: 3858: 3853: 3851: 3840: 3839: 3827: 3826: 3810: 3808: 3807: 3802: 3796: 3791: 3779: 3778: 3762: 3760: 3759: 3754: 3736: 3734: 3733: 3728: 3723: 3722: 3694: 3692: 3691: 3686: 3678: 3677: 3649: 3647: 3646: 3641: 3626: 3624: 3623: 3618: 3602: 3600: 3599: 3594: 3582: 3580: 3579: 3574: 3562: 3560: 3559: 3554: 3532: 3530: 3529: 3524: 3509: 3507: 3506: 3501: 3490: 3489: 3461: 3459: 3458: 3453: 3426: 3424: 3423: 3418: 3416: 3415: 3391: 3390: 3356: 3354: 3353: 3348: 3346: 3345: 3333: 3332: 3320: 3319: 3288: 3286: 3285: 3280: 3256: 3254: 3253: 3248: 3233: 3231: 3230: 3225: 3213: 3211: 3210: 3205: 3187: 3185: 3184: 3179: 3161: 3159: 3158: 3153: 3148: 3147: 3135: 3134: 3118: 3116: 3115: 3110: 3105: 3104: 3061: 3059: 3058: 3053: 3020: 3018: 3017: 3012: 2978: 2976: 2975: 2970: 2968: 2967: 2948: 2946: 2945: 2940: 2938: 2937: 2921: 2919: 2918: 2913: 2911: 2892: 2890: 2889: 2884: 2882: 2874: 2873: 2857: 2855: 2854: 2849: 2847: 2846: 2823: 2821: 2820: 2815: 2813: 2812: 2807: 2798: 2797: 2792: 2783: 2782: 2777: 2761: 2759: 2758: 2753: 2742:which subtracts 2741: 2739: 2738: 2733: 2731: 2730: 2725: 2716: 2715: 2710: 2697: 2695: 2694: 2689: 2687: 2686: 2681: 2675: 2674: 2658: 2656: 2655: 2650: 2648: 2647: 2642: 2641: 2634: 2633: 2617: 2615: 2614: 2609: 2607: 2606: 2601: 2576: 2574: 2573: 2568: 2556: 2554: 2553: 2548: 2536: 2534: 2533: 2528: 2516: 2514: 2513: 2508: 2485: 2483: 2482: 2477: 2475: 2474: 2466: 2449: 2447: 2446: 2441: 2439: 2435: 2434: 2433: 2421: 2420: 2406: 2405: 2386: 2384: 2383: 2378: 2363: 2361: 2360: 2355: 2353: 2352: 2344: 2331: 2329: 2328: 2323: 2308: 2306: 2305: 2300: 2285: 2283: 2282: 2277: 2275: 2274: 2266: 2250: 2248: 2247: 2242: 2240: 2236: 2235: 2231: 2230: 2217: 2216: 2193: 2192: 2187: 2186: 2178: 2164: 2162: 2161: 2156: 2141: 2139: 2138: 2133: 2121: 2119: 2118: 2113: 2095: 2093: 2092: 2087: 2085: 2081: 2080: 2079: 2061: 2060: 2039: 2038: 2021: 2017: 2016: 2015: 2006: 2005: 1985: 1984: 1979: 1978: 1970: 1953: 1951: 1950: 1945: 1943: 1942: 1934: 1925: 1921: 1920: 1907: 1906: 1891: 1890: 1885: 1884: 1876: 1862: 1860: 1859: 1854: 1852: 1851: 1829: 1827: 1826: 1821: 1819: 1818: 1813: 1801: 1800: 1784: 1782: 1781: 1776: 1774: 1773: 1750: 1748: 1747: 1742: 1740: 1739: 1734: 1725: 1724: 1712: 1711: 1692: 1690: 1689: 1684: 1672: 1670: 1669: 1664: 1662: 1661: 1645: 1643: 1642: 1637: 1632: 1631: 1619: 1618: 1584: 1582: 1581: 1576: 1564: 1562: 1561: 1556: 1554: 1553: 1548: 1513: 1511: 1510: 1505: 1503: 1502: 1497: 1478: 1476: 1475: 1470: 1468: 1467: 1462: 1443: 1441: 1440: 1435: 1420: 1418: 1417: 1412: 1410: 1409: 1404: 1379: 1377: 1376: 1371: 1366: 1365: 1349: 1347: 1346: 1341: 1339: 1338: 1333: 1302: 1300: 1299: 1294: 1278: 1276: 1275: 1270: 1247: 1245: 1244: 1239: 1227: 1225: 1224: 1219: 1203:smooth structure 1184: 1182: 1181: 1176: 1139: 1137: 1136: 1131: 1119: 1117: 1116: 1111: 1099: 1097: 1096: 1091: 1059: 1040: 1038: 1037: 1032: 1008: 1006: 1005: 1000: 988: 986: 985: 980: 961: 959: 958: 953: 933: 931: 930: 925: 913: 911: 910: 905: 892:cotangent spaces 888:cotangent bundle 885: 883: 882: 877: 858: 856: 855: 850: 834: 832: 831: 826: 790:natural topology 784: 782: 781: 776: 764: 762: 761: 756: 751: 750: 734: 732: 731: 726: 690: 688: 687: 682: 646: 644: 643: 638: 626: 624: 623: 618: 606: 604: 603: 598: 586: 584: 583: 578: 566: 564: 563: 558: 546: 544: 543: 538: 511: 509: 508: 503: 488: 486: 485: 480: 468: 466: 465: 460: 444: 442: 441: 436: 431: 430: 411: 409: 408: 403: 401: 397: 393: 389: 388: 331: 327: 323: 319: 318: 279: 258: 251: 250: 238: 226: 205: 198: 197: 187: 145: 143: 142: 137: 121: 119: 118: 113: 101: 99: 98: 93: 78: 76: 75: 70: 21: 7195: 7194: 7190: 7189: 7188: 7186: 7185: 7184: 7165: 7164: 7163: 7158: 7097:Banach manifold 7090:Generalizations 7085: 7040: 6977: 6874: 6836:Ricci curvature 6792:Cotangent space 6770: 6708: 6550: 6544: 6503:Exponential map 6467: 6412: 6406: 6326: 6316: 6259: 6256: 6231: 6216: 6211: 6167: 6146: 6125: 6118: 6107: 6101: 6098: 6055: 6053: 6043: 6031: 6020: 6015: 6002: 5999: 5993: 5990: 5984: 5978: 5975: 5969: 5966: 5960: 5958: 5951: 5947: 5915: 5876: 5875: 5842: 5837: 5836: 5798: 5793: 5792: 5759: 5758: 5724: 5723: 5701: 5700: 5681: 5680: 5657: 5652: 5651: 5632: 5631: 5612: 5611: 5589: 5588: 5569: 5568: 5561: 5536: 5535: 5516: 5515: 5488: 5487: 5457: 5456: 5429: 5409: 5408: 5383: 5382: 5361: 5360: 5340: 5339: 5312: 5311: 5281: 5275: 5274: 5249: 5248: 5229: 5228: 5167: 5166: 5113: 5109: 5094: 5093: 5090: 5089: 5068: 5067: 5042: 5041: 5010: 5009: 4974: 4959: 4944: 4915: 4914: 4877: 4876: 4847: 4832: 4802: 4769: 4734: 4733: 4711: 4710: 4691: 4690: 4664: 4659: 4658: 4639: 4638: 4616: 4615: 4592: 4576: 4571: 4570: 4551: 4550: 4531: 4530: 4493: 4492: 4464: 4463: 4426: 4425: 4393: 4373: 4372: 4347: 4346: 4343: 4303: 4287: 4271: 4266: 4265: 4225: 4224: 4193: 4192: 4154: 4153: 4149: 4141: 4140: 4116: 4111: 4110: 4091: 4090: 4041: 4036: 4035: 4006: 4005: 4002: 3967: 3947: 3946: 3909: 3908: 3881: 3864: 3863: 3831: 3818: 3813: 3812: 3770: 3765: 3764: 3739: 3738: 3714: 3697: 3696: 3669: 3652: 3651: 3632: 3631: 3609: 3608: 3585: 3584: 3565: 3564: 3539: 3538: 3515: 3514: 3481: 3476: 3475: 3432: 3431: 3407: 3382: 3368: 3367: 3337: 3324: 3311: 3294: 3293: 3259: 3258: 3239: 3238: 3216: 3215: 3196: 3195: 3164: 3163: 3139: 3126: 3121: 3120: 3096: 3067: 3066: 3029: 3028: 3003: 3002: 2993: 2959: 2954: 2953: 2929: 2924: 2923: 2902: 2901: 2865: 2860: 2859: 2838: 2833: 2832: 2802: 2787: 2772: 2764: 2763: 2744: 2743: 2720: 2705: 2700: 2699: 2676: 2666: 2661: 2660: 2635: 2625: 2620: 2619: 2596: 2591: 2590: 2587: 2559: 2558: 2539: 2538: 2519: 2518: 2499: 2498: 2461: 2456: 2455: 2425: 2412: 2411: 2407: 2394: 2389: 2388: 2366: 2365: 2339: 2334: 2333: 2311: 2310: 2288: 2287: 2261: 2256: 2255: 2222: 2218: 2205: 2198: 2194: 2175: 2170: 2169: 2144: 2143: 2124: 2123: 2101: 2100: 2071: 2052: 2030: 2029: 2025: 2007: 1997: 1990: 1986: 1967: 1962: 1961: 1929: 1912: 1908: 1895: 1873: 1868: 1867: 1843: 1832: 1831: 1808: 1792: 1787: 1786: 1765: 1760: 1759: 1729: 1716: 1703: 1698: 1697: 1675: 1674: 1653: 1648: 1647: 1623: 1610: 1602: 1601: 1567: 1566: 1543: 1532: 1531: 1528:Euclidean space 1492: 1481: 1480: 1457: 1446: 1445: 1423: 1422: 1399: 1382: 1381: 1357: 1352: 1351: 1328: 1308: 1307: 1285: 1284: 1261: 1260: 1230: 1229: 1207: 1206: 1191: 1146: 1145: 1122: 1121: 1102: 1101: 1070: 1069: 1066: 1054: 1014: 1013: 991: 990: 968: 967: 944: 943: 916: 915: 896: 895: 865: 864: 841: 840: 814: 813: 767: 766: 742: 737: 736: 696: 695: 658: 657: 629: 628: 609: 608: 589: 588: 569: 568: 549: 548: 517: 516: 491: 490: 471: 470: 451: 450: 422: 417: 416: 399: 398: 380: 342: 338: 329: 328: 310: 285: 281: 256: 255: 242: 228: 203: 202: 189: 166: 151: 150: 128: 127: 104: 103: 81: 80: 61: 60: 28: 23: 22: 15: 12: 11: 5: 7193: 7191: 7183: 7182: 7180:Vector bundles 7177: 7167: 7166: 7160: 7159: 7157: 7156: 7151: 7146: 7141: 7136: 7135: 7134: 7124: 7119: 7114: 7109: 7104: 7099: 7093: 7091: 7087: 7086: 7084: 7083: 7078: 7073: 7068: 7063: 7058: 7052: 7050: 7046: 7045: 7042: 7041: 7039: 7038: 7033: 7028: 7023: 7018: 7013: 7008: 7003: 6998: 6993: 6987: 6985: 6979: 6978: 6976: 6975: 6970: 6965: 6960: 6955: 6950: 6945: 6935: 6930: 6925: 6915: 6910: 6905: 6900: 6895: 6890: 6884: 6882: 6876: 6875: 6873: 6872: 6867: 6862: 6861: 6860: 6850: 6845: 6844: 6843: 6833: 6828: 6823: 6818: 6817: 6816: 6806: 6801: 6800: 6799: 6789: 6784: 6778: 6776: 6772: 6771: 6769: 6768: 6763: 6758: 6753: 6752: 6751: 6741: 6736: 6731: 6725: 6723: 6716: 6710: 6709: 6707: 6706: 6701: 6691: 6686: 6672: 6667: 6662: 6657: 6652: 6650:Parallelizable 6647: 6642: 6637: 6636: 6635: 6625: 6620: 6615: 6610: 6605: 6600: 6595: 6590: 6585: 6580: 6570: 6560: 6554: 6552: 6546: 6545: 6543: 6542: 6537: 6532: 6530:Lie derivative 6527: 6525:Integral curve 6522: 6517: 6512: 6511: 6510: 6500: 6495: 6494: 6493: 6486:Diffeomorphism 6483: 6477: 6475: 6469: 6468: 6466: 6465: 6460: 6455: 6450: 6445: 6440: 6435: 6430: 6425: 6419: 6417: 6408: 6407: 6405: 6404: 6399: 6394: 6389: 6384: 6379: 6374: 6369: 6364: 6363: 6362: 6357: 6347: 6346: 6345: 6334: 6332: 6331:Basic concepts 6328: 6327: 6317: 6315: 6314: 6307: 6300: 6292: 6286: 6285: 6280: 6275: 6255: 6254:External links 6252: 6251: 6250: 6229: 6209: 6188: 6171: 6165: 6144: 6120: 6119: 6034: 6032: 6025: 6019: 6016: 6014: 6013: 5997: 5988: 5973: 5964: 5948: 5946: 5943: 5942: 5941: 5936: 5931: 5926: 5921: 5914: 5911: 5898: 5895: 5892: 5889: 5886: 5883: 5863: 5860: 5857: 5854: 5849: 5845: 5823: 5819: 5816: 5813: 5810: 5805: 5801: 5779: 5775: 5772: 5769: 5766: 5757:of a function 5731: 5711: 5708: 5688: 5663: 5660: 5639: 5630:is a curve in 5619: 5599: 5596: 5576: 5560: 5557: 5543: 5523: 5495: 5467: 5464: 5441: 5436: 5432: 5428: 5425: 5422: 5419: 5416: 5407:is a function 5396: 5393: 5390: 5369: 5357: 5356: 5343: 5338: 5335: 5332: 5329: 5326: 5323: 5320: 5317: 5314: 5313: 5310: 5307: 5304: 5301: 5298: 5295: 5291: 5287: 5286: 5284: 5256: 5236: 5216: 5213: 5210: 5207: 5204: 5201: 5198: 5195: 5192: 5189: 5186: 5183: 5180: 5177: 5174: 5163: 5162: 5151: 5146: 5143: 5140: 5137: 5134: 5129: 5120: 5116: 5112: 5108: 5101: 5097: 5092: 5086: 5082: 5078: 5075: 5052: 5049: 5029: 5026: 5023: 5020: 5017: 5003: 5002: 4991: 4988: 4983: 4978: 4973: 4968: 4963: 4958: 4953: 4948: 4943: 4940: 4937: 4934: 4931: 4928: 4925: 4922: 4899: 4896: 4893: 4890: 4887: 4884: 4873: 4872: 4861: 4856: 4851: 4846: 4841: 4836: 4831: 4828: 4825: 4822: 4819: 4816: 4811: 4806: 4801: 4798: 4795: 4792: 4789: 4786: 4783: 4778: 4773: 4768: 4765: 4762: 4759: 4756: 4753: 4750: 4747: 4744: 4741: 4718: 4698: 4678: 4673: 4668: 4646: 4626: 4623: 4601: 4596: 4591: 4588: 4583: 4579: 4558: 4538: 4518: 4515: 4512: 4509: 4506: 4503: 4500: 4480: 4477: 4474: 4471: 4451: 4448: 4445: 4442: 4439: 4436: 4433: 4405: 4400: 4396: 4392: 4389: 4386: 4383: 4380: 4357: 4354: 4342: 4339: 4315: 4310: 4306: 4302: 4299: 4294: 4290: 4286: 4283: 4278: 4274: 4253: 4250: 4247: 4244: 4241: 4238: 4235: 4232: 4212: 4209: 4206: 4203: 4200: 4176: 4172: 4167: 4164: 4161: 4157: 4152: 4148: 4128: 4123: 4119: 4098: 4087: 4086: 4074: 4071: 4068: 4065: 4062: 4059: 4056: 4053: 4048: 4044: 4016: 4013: 4001: 3998: 3985: 3982: 3979: 3974: 3970: 3966: 3963: 3960: 3957: 3954: 3934: 3931: 3928: 3925: 3922: 3919: 3916: 3896: 3893: 3888: 3884: 3880: 3877: 3874: 3871: 3850: 3846: 3843: 3838: 3834: 3830: 3825: 3821: 3800: 3795: 3790: 3786: 3782: 3777: 3773: 3752: 3749: 3746: 3726: 3721: 3717: 3713: 3710: 3707: 3704: 3684: 3681: 3676: 3672: 3668: 3665: 3662: 3659: 3639: 3616: 3592: 3572: 3552: 3549: 3546: 3522: 3499: 3496: 3493: 3488: 3484: 3451: 3448: 3445: 3442: 3439: 3428: 3427: 3414: 3410: 3406: 3403: 3400: 3397: 3394: 3389: 3385: 3381: 3378: 3375: 3358: 3357: 3344: 3340: 3336: 3331: 3327: 3323: 3318: 3314: 3310: 3307: 3304: 3301: 3278: 3275: 3272: 3269: 3266: 3257:is denoted by 3246: 3223: 3203: 3177: 3174: 3171: 3151: 3146: 3142: 3138: 3133: 3129: 3108: 3103: 3099: 3095: 3092: 3089: 3086: 3083: 3080: 3077: 3074: 3063: 3062: 3051: 3048: 3045: 3042: 3039: 3036: 3010: 2992: 2989: 2985:parallelizable 2966: 2962: 2936: 2932: 2910: 2881: 2877: 2872: 2868: 2845: 2841: 2811: 2806: 2801: 2796: 2791: 2786: 2781: 2776: 2771: 2751: 2729: 2724: 2719: 2714: 2709: 2685: 2680: 2673: 2669: 2646: 2640: 2632: 2628: 2605: 2600: 2586: 2583: 2566: 2546: 2526: 2506: 2473: 2470: 2465: 2438: 2432: 2428: 2424: 2419: 2415: 2410: 2404: 2401: 2397: 2376: 2373: 2351: 2348: 2343: 2321: 2318: 2298: 2295: 2273: 2270: 2265: 2252: 2251: 2239: 2234: 2229: 2225: 2221: 2215: 2212: 2208: 2204: 2201: 2197: 2191: 2184: 2181: 2154: 2151: 2131: 2111: 2108: 2097: 2096: 2084: 2078: 2074: 2070: 2067: 2064: 2059: 2055: 2051: 2048: 2045: 2042: 2037: 2033: 2028: 2024: 2020: 2014: 2010: 2004: 2000: 1996: 1993: 1989: 1983: 1976: 1973: 1955: 1954: 1941: 1938: 1933: 1928: 1924: 1919: 1915: 1911: 1905: 1902: 1898: 1894: 1889: 1882: 1879: 1850: 1846: 1842: 1839: 1817: 1812: 1807: 1804: 1799: 1795: 1772: 1768: 1756:diffeomorphism 1752: 1751: 1738: 1733: 1728: 1723: 1719: 1715: 1710: 1706: 1682: 1660: 1656: 1635: 1630: 1626: 1622: 1617: 1613: 1609: 1574: 1552: 1547: 1542: 1539: 1524:parallelizable 1501: 1496: 1491: 1488: 1466: 1461: 1456: 1453: 1433: 1430: 1408: 1403: 1398: 1395: 1392: 1389: 1369: 1364: 1360: 1337: 1332: 1327: 1324: 1321: 1318: 1315: 1305:diffeomorphism 1292: 1268: 1237: 1217: 1214: 1190: 1187: 1174: 1171: 1168: 1165: 1162: 1159: 1156: 1153: 1129: 1109: 1089: 1086: 1083: 1080: 1077: 1065: 1062: 1030: 1027: 1024: 1021: 998: 978: 975: 951: 936:parallelizable 923: 903: 875: 872: 848: 824: 821: 774: 754: 749: 745: 724: 721: 718: 715: 712: 709: 706: 703: 692: 691: 680: 677: 674: 671: 668: 665: 636: 616: 596: 576: 567:is a point in 556: 536: 533: 530: 527: 524: 501: 498: 478: 458: 434: 429: 425: 413: 412: 396: 392: 387: 383: 379: 376: 372: 369: 366: 363: 360: 357: 354: 351: 348: 345: 341: 337: 334: 332: 330: 326: 322: 317: 313: 309: 306: 303: 300: 297: 294: 291: 288: 284: 278: 275: 272: 268: 264: 261: 259: 257: 254: 249: 245: 241: 237: 234: 231: 225: 222: 219: 215: 211: 208: 206: 204: 201: 196: 192: 186: 183: 180: 176: 172: 169: 167: 165: 162: 159: 158: 135: 124:disjoint union 111: 91: 88: 79:is a manifold 68: 46:tangent spaces 42:tangent bundle 26: 24: 14: 13: 10: 9: 6: 4: 3: 2: 7192: 7181: 7178: 7176: 7173: 7172: 7170: 7155: 7152: 7150: 7149:Supermanifold 7147: 7145: 7142: 7140: 7137: 7133: 7130: 7129: 7128: 7125: 7123: 7120: 7118: 7115: 7113: 7110: 7108: 7105: 7103: 7100: 7098: 7095: 7094: 7092: 7088: 7082: 7079: 7077: 7074: 7072: 7069: 7067: 7064: 7062: 7059: 7057: 7054: 7053: 7051: 7047: 7037: 7034: 7032: 7029: 7027: 7024: 7022: 7019: 7017: 7014: 7012: 7009: 7007: 7004: 7002: 6999: 6997: 6994: 6992: 6989: 6988: 6986: 6984: 6980: 6974: 6971: 6969: 6966: 6964: 6961: 6959: 6956: 6954: 6951: 6949: 6946: 6944: 6940: 6936: 6934: 6931: 6929: 6926: 6924: 6920: 6916: 6914: 6911: 6909: 6906: 6904: 6901: 6899: 6896: 6894: 6891: 6889: 6886: 6885: 6883: 6881: 6877: 6871: 6870:Wedge product 6868: 6866: 6863: 6859: 6856: 6855: 6854: 6851: 6849: 6846: 6842: 6839: 6838: 6837: 6834: 6832: 6829: 6827: 6824: 6822: 6819: 6815: 6814:Vector-valued 6812: 6811: 6810: 6807: 6805: 6802: 6798: 6795: 6794: 6793: 6790: 6788: 6785: 6783: 6780: 6779: 6777: 6773: 6767: 6764: 6762: 6759: 6757: 6754: 6750: 6747: 6746: 6745: 6744:Tangent space 6742: 6740: 6737: 6735: 6732: 6730: 6727: 6726: 6724: 6720: 6717: 6715: 6711: 6705: 6702: 6700: 6696: 6692: 6690: 6687: 6685: 6681: 6677: 6673: 6671: 6668: 6666: 6663: 6661: 6658: 6656: 6653: 6651: 6648: 6646: 6643: 6641: 6638: 6634: 6631: 6630: 6629: 6626: 6624: 6621: 6619: 6616: 6614: 6611: 6609: 6606: 6604: 6601: 6599: 6596: 6594: 6591: 6589: 6586: 6584: 6581: 6579: 6575: 6571: 6569: 6565: 6561: 6559: 6556: 6555: 6553: 6547: 6541: 6538: 6536: 6533: 6531: 6528: 6526: 6523: 6521: 6518: 6516: 6513: 6509: 6508:in Lie theory 6506: 6505: 6504: 6501: 6499: 6496: 6492: 6489: 6488: 6487: 6484: 6482: 6479: 6478: 6476: 6474: 6470: 6464: 6461: 6459: 6456: 6454: 6451: 6449: 6446: 6444: 6441: 6439: 6436: 6434: 6431: 6429: 6426: 6424: 6421: 6420: 6418: 6415: 6411:Main results 6409: 6403: 6400: 6398: 6395: 6393: 6392:Tangent space 6390: 6388: 6385: 6383: 6380: 6378: 6375: 6373: 6370: 6368: 6365: 6361: 6358: 6356: 6353: 6352: 6351: 6348: 6344: 6341: 6340: 6339: 6336: 6335: 6333: 6329: 6324: 6320: 6313: 6308: 6306: 6301: 6299: 6294: 6293: 6290: 6284: 6281: 6279: 6276: 6272: 6268: 6267: 6262: 6258: 6257: 6253: 6247: 6243: 6239: 6235: 6230: 6226: 6222: 6215: 6210: 6208: 6207:0-8053-0102-X 6204: 6200: 6196: 6192: 6191:Ralph Abraham 6189: 6187: 6186:3-540-42627-2 6183: 6179: 6175: 6172: 6168: 6162: 6158: 6154: 6150: 6145: 6143: 6139: 6133: 6129: 6124: 6123: 6116: 6113: 6105: 6094: 6091: 6087: 6084: 6080: 6077: 6073: 6070: 6066: 6063: –  6062: 6058: 6057:Find sources: 6051: 6047: 6041: 6040: 6035:This article 6033: 6029: 6024: 6023: 6017: 6010: 6005: 5996: 5987: 5981: 5972: 5963: 5956: 5954: 5950: 5944: 5940: 5937: 5935: 5932: 5930: 5927: 5925: 5922: 5920: 5917: 5916: 5912: 5910: 5896: 5890: 5887: 5884: 5881: 5861: 5858: 5855: 5852: 5847: 5843: 5814: 5811: 5808: 5803: 5799: 5770: 5767: 5764: 5756: 5755:vertical lift 5751: 5749: 5745: 5729: 5709: 5706: 5686: 5678: 5661: 5658: 5637: 5617: 5597: 5594: 5574: 5566: 5558: 5556: 5541: 5521: 5513: 5509: 5493: 5485: 5481: 5465: 5462: 5453: 5439: 5434: 5430: 5423: 5420: 5417: 5414: 5394: 5391: 5388: 5336: 5333: 5324: 5321: 5318: 5308: 5305: 5299: 5296: 5293: 5282: 5273: 5272: 5271: 5268: 5254: 5234: 5211: 5208: 5205: 5202: 5199: 5196: 5193: 5181: 5178: 5175: 5149: 5141: 5138: 5135: 5127: 5118: 5114: 5099: 5095: 5084: 5080: 5076: 5073: 5066: 5065: 5064: 5050: 5047: 5024: 5021: 5018: 5006: 4989: 4981: 4966: 4956: 4951: 4938: 4932: 4926: 4923: 4913: 4912: 4911: 4897: 4894: 4888: 4885: 4882: 4854: 4844: 4839: 4826: 4823: 4820: 4817: 4809: 4796: 4793: 4790: 4787: 4784: 4776: 4766: 4763: 4757: 4754: 4748: 4745: 4739: 4732: 4731: 4730: 4716: 4696: 4676: 4671: 4644: 4624: 4621: 4599: 4589: 4586: 4581: 4577: 4556: 4536: 4513: 4510: 4507: 4498: 4478: 4475: 4469: 4449: 4446: 4443: 4440: 4437: 4434: 4431: 4423: 4419: 4403: 4398: 4394: 4387: 4384: 4381: 4378: 4371: 4355: 4352: 4340: 4338: 4336: 4332: 4327: 4313: 4308: 4304: 4297: 4292: 4288: 4284: 4281: 4276: 4272: 4251: 4248: 4242: 4239: 4236: 4233: 4230: 4210: 4204: 4201: 4198: 4191:A smooth map 4189: 4174: 4170: 4165: 4162: 4159: 4155: 4150: 4146: 4126: 4121: 4117: 4096: 4072: 4066: 4063: 4057: 4054: 4051: 4046: 4042: 4034: 4033: 4032: 4030: 4014: 4011: 3999: 3997: 3980: 3968: 3964: 3958: 3952: 3929: 3926: 3917: 3914: 3891: 3886: 3882: 3872: 3869: 3841: 3836: 3832: 3828: 3823: 3819: 3798: 3793: 3788: 3784: 3780: 3775: 3771: 3763:a 1-covector 3750: 3747: 3744: 3724: 3719: 3715: 3708: 3705: 3702: 3679: 3674: 3670: 3660: 3657: 3637: 3628: 3614: 3606: 3590: 3570: 3550: 3547: 3544: 3536: 3535:local section 3520: 3511: 3494: 3482: 3473: 3469: 3465: 3446: 3443: 3412: 3408: 3401: 3395: 3392: 3387: 3379: 3376: 3366: 3365: 3364: 3363: 3342: 3338: 3334: 3329: 3325: 3321: 3316: 3308: 3305: 3302: 3292: 3291: 3290: 3273: 3270: 3244: 3235: 3221: 3201: 3193: 3192: 3175: 3172: 3169: 3149: 3144: 3140: 3136: 3131: 3127: 3101: 3097: 3093: 3090: 3084: 3078: 3072: 3049: 3046: 3040: 3037: 3034: 3027: 3026: 3025: 3024: 3008: 3000: 2999: 2991:Vector fields 2990: 2988: 2986: 2982: 2964: 2960: 2950: 2934: 2930: 2898: 2896: 2875: 2870: 2866: 2843: 2839: 2830: 2825: 2809: 2799: 2794: 2779: 2769: 2749: 2727: 2712: 2683: 2671: 2667: 2644: 2630: 2626: 2603: 2584: 2582: 2580: 2564: 2544: 2524: 2504: 2496: 2492: 2491:vector bundle 2487: 2471: 2468: 2453: 2436: 2430: 2426: 2422: 2417: 2413: 2408: 2402: 2399: 2395: 2374: 2371: 2349: 2346: 2319: 2316: 2296: 2293: 2271: 2268: 2237: 2232: 2227: 2223: 2219: 2213: 2210: 2206: 2202: 2199: 2195: 2189: 2182: 2179: 2168: 2167: 2166: 2152: 2149: 2129: 2109: 2106: 2082: 2076: 2072: 2068: 2065: 2062: 2057: 2053: 2049: 2043: 2035: 2031: 2026: 2022: 2018: 2012: 2002: 1998: 1994: 1991: 1987: 1981: 1974: 1971: 1960: 1959: 1958: 1939: 1936: 1922: 1917: 1913: 1909: 1903: 1900: 1896: 1892: 1887: 1880: 1877: 1866: 1865: 1864: 1848: 1844: 1840: 1837: 1815: 1802: 1797: 1793: 1770: 1766: 1757: 1736: 1721: 1717: 1713: 1708: 1704: 1696: 1695: 1694: 1680: 1658: 1654: 1628: 1624: 1620: 1615: 1611: 1599: 1595: 1591: 1586: 1572: 1550: 1540: 1537: 1529: 1525: 1521: 1517: 1499: 1489: 1486: 1464: 1454: 1451: 1431: 1428: 1406: 1396: 1390: 1367: 1362: 1358: 1335: 1325: 1322: 1316: 1313: 1306: 1290: 1282: 1266: 1258: 1254: 1249: 1235: 1215: 1212: 1204: 1200: 1196: 1188: 1186: 1172: 1169: 1163: 1160: 1157: 1154: 1151: 1143: 1127: 1107: 1087: 1081: 1078: 1075: 1063: 1061: 1057: 1052: 1048: 1044: 1028: 1025: 1022: 1019: 1012: 996: 976: 973: 965: 949: 941: 937: 921: 901: 893: 889: 873: 870: 862: 846: 838: 822: 819: 811: 807: 806:vector spaces 803: 799: 798:vector bundle 795: 791: 786: 772: 752: 747: 743: 722: 719: 713: 710: 707: 701: 678: 672: 669: 666: 663: 656: 655: 654: 653: 648: 634: 614: 594: 574: 554: 531: 528: 525: 515: 499: 496: 476: 469:at the point 456: 448: 447:tangent space 432: 427: 423: 394: 390: 385: 381: 377: 374: 370: 367: 364: 361: 358: 352: 349: 346: 339: 335: 333: 324: 320: 315: 311: 307: 304: 301: 295: 292: 289: 282: 276: 273: 270: 266: 262: 260: 252: 247: 243: 239: 235: 232: 229: 223: 220: 217: 213: 209: 207: 199: 194: 190: 184: 181: 178: 174: 170: 168: 163: 160: 149: 148: 147: 133: 125: 109: 89: 86: 66: 59: 55: 51: 47: 43: 34: 30: 19: 7076:Moving frame 7071:Morse theory 7061:Gauge theory 6962: 6853:Tensor field 6782:Closed/Exact 6761:Vector field 6748: 6729:Distribution 6670:Hypercomplex 6665:Quaternionic 6402:Vector field 6360:Smooth atlas 6264: 6237: 6233: 6224: 6220: 6198: 6177: 6148: 6127: 6108: 6099: 6089: 6082: 6075: 6068: 6056: 6044:Please help 6039:verification 6036: 6003: 5994: 5985: 5979: 5977:of manifold 5970: 5961: 5934:Frame bundle 5754: 5752: 5562: 5511: 5507: 5486:. Sometimes 5454: 5358: 5269: 5164: 5007: 5004: 4875:and the map 4874: 4421: 4418:diagonal map 4369: 4344: 4328: 4190: 4088: 4003: 3629: 3534: 3512: 3471: 3429: 3361: 3359: 3236: 3189: 3064: 2998:vector field 2996: 2994: 2951: 2899: 2826: 2698:via the map 2588: 2495:fiber bundle 2488: 2253: 2098: 1956: 1753: 1593: 1592:is a smooth 1589: 1587: 1515: 1281:contractible 1256: 1252: 1250: 1194: 1192: 1067: 1055: 1050: 1046: 1042: 837:vector field 802:fiber bundle 800:(which is a 787: 693: 649: 445:denotes the 414: 146:. That is, 41: 39: 29: 7021:Levi-Civita 7011:Generalized 6983:Connections 6933:Lie algebra 6865:Volume form 6766:Vector flow 6739:Pushforward 6734:Lie bracket 6633:Lie algebra 6598:G-structure 6387:Pushforward 6367:Submanifold 6174:Jürgen Jost 5835:defined by 5567:objects on 4657:and a flat 4331:jet bundles 2829:unit circle 2254:is open in 2122:. A subset 1283:subset of 1279:is an open 1011:Whitney sum 861:dual bundle 694:defined by 7169:Categories 7144:Stratifold 7102:Diffeology 6898:Associated 6699:Symplectic 6684:Riemannian 6613:Hyperbolic 6540:Submersion 6448:Hopf–Rinow 6382:Submersion 6377:Smooth map 6227:(1): 1–15. 6072:newspapers 6018:References 3474:, denoted 3162:for every 3065:such that 3023:smooth map 1600:of charts 1142:derivative 859:, and the 652:projection 7026:Principal 7001:Ehresmann 6958:Subbundle 6948:Principal 6923:Fibration 6903:Cotangent 6775:Covectors 6628:Lie group 6608:Hermitian 6551:manifolds 6520:Immersion 6515:Foliation 6453:Noether's 6438:Frobenius 6433:De Rham's 6428:Darboux's 6319:Manifolds 6271:EMS Press 6102:July 2009 5894:→ 5882:π 5862:π 5859:∘ 5848:∨ 5818:→ 5804:∨ 5774:→ 5687:γ 5659:γ 5618:γ 5427:→ 5331:⟼ 5303:→ 5294:× 5247:, not on 5188:↦ 5111:∂ 5107:∂ 5081:∑ 4972:→ 4957:× 4939:× 4930:→ 4892:→ 4845:× 4827:× 4818:≅ 4794:× 4785:≅ 4767:× 4755:≈ 4717:≅ 4697:≈ 4590:≈ 4502:↦ 4491:given by 4473:→ 4444:× 4438:≅ 4391:→ 4301:→ 4246:→ 4208:→ 4163:− 3973:∞ 3965:∈ 3953:ω 3921:Γ 3918:∈ 3887:∗ 3876:Γ 3873:∈ 3870:ω 3845:→ 3820:ω 3794:∗ 3781:∈ 3772:ω 3748:∈ 3720:∗ 3712:→ 3703:ω 3675:∗ 3664:Γ 3661:∈ 3658:ω 3548:⊂ 3487:∞ 3466:over the 3438:Γ 3265:Γ 3173:∈ 3137:∈ 3044:→ 3038:: 2876:× 2800:× 2785:→ 2718:→ 2431:β 2423:∩ 2418:α 2400:− 2396:π 2294:α 2286:for each 2228:α 2211:− 2207:π 2203:∩ 2190:α 2183:~ 2180:ϕ 2066:⋯ 2036:α 2032:ϕ 2009:∂ 1982:α 1975:~ 1972:ϕ 1927:→ 1918:α 1901:− 1897:π 1888:α 1881:~ 1878:ϕ 1849:α 1841:∈ 1806:→ 1771:α 1727:→ 1722:α 1709:α 1705:ϕ 1659:α 1629:α 1625:ϕ 1616:α 1541:× 1520:Lie group 1490:× 1455:× 1397:× 1326:× 1320:→ 1167:→ 1085:→ 1058:= 1, 3, 7 1026:⊕ 702:π 676:↠ 664:π 378:∈ 365:∈ 359:∣ 308:∈ 302:∣ 274:∈ 267:⋃ 240:× 221:∈ 214:⋃ 182:∈ 175:⨆ 7122:Orbifold 7117:K-theory 7107:Diffiety 6831:Pullback 6645:Oriented 6623:Kenmotsu 6603:Hadamard 6549:Types of 6498:Geodesic 6323:Glossary 6240:: 1–41. 6009:Examples 5913:See also 5874:, where 5742:(say, a 5662:′ 5514:. Using 5381:at time 2895:cylinder 2585:Examples 2579:Jacobian 1830:for all 1646:, where 1565:, where 547:, where 50:manifold 7066:History 7049:Related 6963:Tangent 6941:)  6921:)  6888:Adjoint 6880:Bundles 6858:density 6756:Torsion 6722:Vectors 6714:Tensors 6697:)  6682:)  6678:,  6676:Pseudo− 6655:Poisson 6588:Finsler 6583:Fibered 6578:Contact 6576:)  6568:Complex 6566:)  6535:Section 6273:, 2001 6086:scholar 5677:tangent 5650:, then 5482:on the 4416:as the 3191:section 1516:trivial 940:trivial 886:is the 810:section 7031:Vector 7016:Koszul 6996:Cartan 6991:Affine 6973:Vector 6968:Tensor 6953:Spinor 6943:Normal 6939:Stable 6893:Affine 6797:bundle 6749:bundle 6695:Almost 6618:Kähler 6574:Almost 6564:Almost 6558:Closed 6458:Sard's 6414:(list) 6205:  6184:  6163:  6140:  6088:  6081:  6074:  6067:  6059:  6007:, see 3464:module 1201:) and 964:framed 808:). A 415:where 7139:Sheaf 6913:Fiber 6689:Rizza 6660:Prime 6491:Local 6481:Curve 6343:Atlas 6217:(PDF) 6093:JSTOR 6079:books 5945:Notes 5675:(the 5559:Lifts 5510:, or 3605:sheaf 3533:is a 3119:with 3021:is a 1754:is a 1598:atlas 835:is a 794:below 7006:Form 6908:Dual 6841:flow 6704:Tame 6680:Sub− 6593:Flat 6473:Maps 6203:ISBN 6193:and 6182:ISBN 6161:ISBN 6138:ISBN 6065:news 5992:and 5968:and 5753:The 5565:lift 4335:jets 2332:and 1693:and 1588:If 1197:the 1120:and 1064:Role 1009:the 587:and 514:pair 6928:Jet 6242:doi 6153:doi 6048:by 5679:of 5008:If 2142:of 1957:by 1380:to 1195:not 962:is 934:is 894:of 863:to 839:on 812:of 627:at 449:to 7171:: 6919:Co 6269:, 6263:, 6238:20 6236:. 6225:61 6223:. 6219:. 6197:, 6176:, 6159:. 6136:. 6130:, 5952:^ 5750:. 4569:, 4337:. 4326:. 4188:. 3996:. 3695:, 3627:. 3510:. 3234:. 2987:. 2831:, 2824:. 2486:. 1248:. 1185:. 785:. 647:. 40:A 6937:( 6917:( 6693:( 6674:( 6572:( 6562:( 6325:) 6321:( 6311:e 6304:t 6297:v 6248:. 6244:: 6169:. 6155:: 6115:) 6109:( 6104:) 6100:( 6090:· 6083:· 6076:· 6069:· 6042:. 6004:S 5998:2 5995:T 5989:1 5986:T 5980:M 5974:2 5971:x 5965:1 5962:x 5897:M 5891:M 5888:T 5885:: 5856:f 5853:= 5844:f 5822:R 5815:M 5812:T 5809:: 5800:f 5778:R 5771:M 5768:: 5765:f 5730:M 5710:M 5707:T 5638:M 5598:M 5595:T 5575:M 5542:V 5522:V 5494:V 5466:M 5463:T 5440:M 5435:2 5431:T 5424:M 5421:T 5418:: 5415:V 5395:1 5392:= 5389:t 5368:R 5337:v 5334:t 5328:) 5325:v 5322:, 5319:t 5316:( 5309:M 5306:T 5300:M 5297:T 5290:R 5283:{ 5255:x 5235:v 5215:) 5212:v 5209:, 5206:0 5203:, 5200:v 5197:, 5194:x 5191:( 5185:) 5182:v 5179:, 5176:x 5173:( 5150:. 5145:) 5142:v 5139:, 5136:x 5133:( 5128:| 5119:i 5115:v 5100:i 5096:v 5085:i 5077:= 5074:V 5051:M 5048:T 5028:) 5025:v 5022:, 5019:x 5016:( 4990:. 4987:) 4982:n 4977:R 4967:n 4962:R 4952:n 4947:R 4942:( 4936:) 4933:M 4927:M 4924:T 4921:( 4898:M 4895:T 4889:M 4886:T 4883:T 4860:) 4855:n 4850:R 4840:n 4835:R 4830:( 4824:M 4821:T 4815:) 4810:n 4805:R 4800:( 4797:T 4791:M 4788:T 4782:) 4777:n 4772:R 4764:M 4761:( 4758:T 4752:) 4749:M 4746:T 4743:( 4740:T 4677:. 4672:n 4667:R 4645:M 4625:M 4622:T 4600:n 4595:R 4587:M 4582:x 4578:T 4557:x 4537:M 4517:) 4514:w 4511:, 4508:w 4505:( 4499:w 4479:W 4476:T 4470:W 4450:, 4447:W 4441:W 4435:W 4432:T 4422:W 4404:M 4399:2 4395:T 4388:M 4385:T 4382:: 4379:V 4356:M 4353:T 4314:N 4309:k 4305:T 4298:M 4293:k 4289:T 4285:: 4282:f 4277:k 4273:D 4252:N 4249:T 4243:M 4240:T 4237:: 4234:f 4231:D 4211:N 4205:M 4202:: 4199:f 4175:) 4171:M 4166:1 4160:k 4156:T 4151:( 4147:T 4127:M 4122:k 4118:T 4097:k 4073:. 4070:) 4067:M 4064:T 4061:( 4058:T 4055:= 4052:M 4047:2 4043:T 4015:M 4012:T 3984:) 3981:M 3978:( 3969:C 3962:) 3959:X 3956:( 3933:) 3930:M 3927:T 3924:( 3915:X 3895:) 3892:M 3883:T 3879:( 3849:R 3842:M 3837:x 3833:T 3829:: 3824:x 3799:M 3789:x 3785:T 3776:x 3751:M 3745:x 3725:M 3716:T 3709:M 3706:: 3683:) 3680:M 3671:T 3667:( 3638:M 3615:M 3591:M 3571:U 3551:M 3545:U 3521:M 3498:) 3495:M 3492:( 3483:C 3472:M 3450:) 3447:M 3444:T 3441:( 3413:x 3409:V 3405:) 3402:x 3399:( 3396:f 3393:= 3388:x 3384:) 3380:V 3377:f 3374:( 3362:M 3343:x 3339:W 3335:+ 3330:x 3326:V 3322:= 3317:x 3313:) 3309:W 3306:+ 3303:V 3300:( 3277:) 3274:M 3271:T 3268:( 3245:M 3222:M 3202:M 3176:M 3170:x 3150:M 3145:x 3141:T 3132:x 3128:V 3107:) 3102:x 3098:V 3094:, 3091:x 3088:( 3085:= 3082:) 3079:x 3076:( 3073:V 3050:M 3047:T 3041:M 3035:V 3009:M 2965:2 2961:S 2935:1 2931:S 2909:R 2880:R 2871:1 2867:S 2844:1 2840:S 2810:n 2805:R 2795:n 2790:R 2780:n 2775:R 2770:T 2750:x 2728:n 2723:R 2713:n 2708:R 2684:n 2679:R 2672:0 2668:T 2645:n 2639:R 2631:x 2627:T 2604:n 2599:R 2565:M 2545:n 2525:M 2505:n 2472:n 2469:2 2464:R 2437:) 2427:U 2414:U 2409:( 2403:1 2375:M 2372:T 2350:n 2347:2 2342:R 2320:M 2317:T 2297:. 2272:n 2269:2 2264:R 2238:) 2233:) 2224:U 2220:( 2214:1 2200:A 2196:( 2153:M 2150:T 2130:A 2110:M 2107:T 2083:) 2077:n 2073:v 2069:, 2063:, 2058:1 2054:v 2050:, 2047:) 2044:x 2041:( 2027:( 2023:= 2019:) 2013:i 2003:i 1999:v 1995:, 1992:x 1988:( 1940:n 1937:2 1932:R 1923:) 1914:U 1910:( 1904:1 1893:: 1845:U 1838:x 1816:n 1811:R 1803:M 1798:x 1794:T 1767:U 1737:n 1732:R 1718:U 1714:: 1681:M 1655:U 1634:) 1621:, 1612:U 1608:( 1594:n 1590:M 1573:U 1551:n 1546:R 1538:U 1500:n 1495:R 1487:M 1465:n 1460:R 1452:M 1432:M 1429:T 1407:n 1402:R 1394:} 1391:x 1388:{ 1368:U 1363:x 1359:T 1336:n 1331:R 1323:U 1317:U 1314:T 1291:M 1267:U 1257:n 1253:n 1236:M 1216:M 1213:T 1173:N 1170:T 1164:M 1161:T 1158:: 1155:f 1152:D 1128:N 1108:M 1088:N 1082:M 1079:: 1076:f 1056:n 1051:n 1047:S 1043:n 1029:E 1023:M 1020:T 997:E 977:M 974:T 950:M 922:M 902:M 874:M 871:T 847:M 823:M 820:T 773:x 753:M 748:x 744:T 723:x 720:= 717:) 714:v 711:, 708:x 705:( 679:M 673:M 670:T 667:: 635:x 615:M 595:v 575:M 555:x 535:) 532:v 529:, 526:x 523:( 500:M 497:T 477:x 457:M 433:M 428:x 424:T 395:} 391:M 386:x 382:T 375:y 371:, 368:M 362:x 356:) 353:y 350:, 347:x 344:( 340:{ 336:= 325:} 321:M 316:x 312:T 305:y 299:) 296:y 293:, 290:x 287:( 283:{ 277:M 271:x 263:= 253:M 248:x 244:T 236:} 233:x 230:{ 224:M 218:x 210:= 200:M 195:x 191:T 185:M 179:x 171:= 164:M 161:T 134:M 110:M 90:M 87:T 67:M 20:)

Index

Canonical vector field

tangent spaces
manifold
differential geometry
differentiable manifold
disjoint union
tangent space
pair
projection
natural topology
below
vector bundle
fiber bundle
vector spaces
section
vector field
dual bundle
cotangent bundle
cotangent spaces
parallelizable
trivial
framed
Whitney sum
derivative
disjoint union topology
smooth structure
contractible
diffeomorphism
Lie group

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.