Knowledge

Microbundle

Source 📝

851:
of a vector bundle, while the second mimics the local triviality condition on a bundle. An important distinction here is that "local triviality" for microbundles only holds near a neighborhood of the zero section. The space
714: 1539: 781: 2644: 1755: 2729: 1666: 1058: 563: 1280: 2275: 2199: 1962: 2135: 2076: 1988: 650: 606: 2673: 2594: 2354: 504: 469: 2405: 1119: 2507: 1903: 405: 359: 2538: 1239: 2982: 2311: 2235: 1788: 1443: 931: 276: 240: 206: 1855: 1389: 817: 151: 2479: 329: 434: 2798: 2776: 2754: 2452: 2428: 2155: 2017: 1876: 1816: 1605: 1581: 1560: 1410: 1350: 1326: 1301: 1213: 1186: 1166: 1141: 1079: 1019: 995: 973: 951: 871: 844: 524: 379: 298: 172: 112: 85: 874:
could look very wild away from that neighborhood. Also, the maps gluing together locally trivial patches of the microbundle may only overlap the fibers.
3026: 41:
in 1964. It allows the creation of bundle-like objects in situations where they would not ordinarily be thought to exist. For example, the
660: 2954: 2801:
over each point in the chart, and gluing these trivial bundles together by overlapping the fibers according to the transition maps.
1790:
is a vector bundle, the pullback microbundle of its underlying microbundle is precisely the underlying microbundle of the standard
1448: 721: 2602: 1673: 2685: 3072: 3067: 1611: 333: 2946: 2454:. The local triviality condition in the definition of microbundle can therefore be restated as follows: for every 886: 1028: 533: 2544: 1247: 2240: 2164: 1912: 878: 848: 2081: 2022: 2933: 2886: 2809: 1967: 882: 613: 569: 2649: 2570: 2319: 1192: 474: 439: 50: 2370: 1086: 653: 2486: 1882: 384: 338: 2903: 2845: 2364: 2679:. Thus every microbundle can be refined to an actual fiber bundle in an essentially unique way. 2513: 1218: 3022: 2950: 2280: 2204: 1761: 1416: 1023: 904: 255: 213: 179: 91: 1822: 1356: 825:
or the fibre dimension of the microbundle. Similarly, note that the first condition suggests
796: 118: 2991: 2895: 2854: 2813: 2458: 308: 3036: 3005: 2964: 2915: 2866: 3032: 3018: 3001: 2960: 2911: 2862: 2597: 1791: 410: 244: 46: 889:, by replacing topological spaces and continuous maps by suitable objects and morphisms. 2783: 2761: 2739: 2437: 2413: 2140: 2002: 1861: 1801: 1590: 1566: 1545: 1395: 1335: 1311: 1286: 1198: 1171: 1151: 1126: 1064: 1004: 980: 958: 936: 856: 829: 509: 364: 283: 157: 97: 70: 42: 1168:. Equivalently, it is the underlying microbundle of the trivial vector bundle of rank 3061: 2858: 2314: 899: 527: 35: 32: 28: 2929: 2817: 2805: 2564: 1242: 2996: 2977: 2881: 2840: 2560: 38: 20: 2937: 3051: 2735:. Intuitively, this bundle is obtained by taking a system of small charts for 2939:
Foundational essays on topological manifolds, smoothings, and triangulations
2821: 2563:
states that there is a neighborhood of the zero section which is actually a
2676: 2907: 789: 247:(respectively, the "zero section" and the "projection map") such that: 2899: 2945:. Annals of Mathematics Studies. Vol. 88. Princeton, N.J.: 2434:
if it is isomorphic to the standard trivial microbundle of rank
709:{\displaystyle \mathrm {pr} _{1}:U\times \mathbb {R} ^{n}\to U} 2682:
Taking the fiber bundle contained in the tangent microbundle
1964:, is the pullback microbundle with respect to the inclusion 1534:{\displaystyle f^{*}E:=\{(a,e)\in A\times E\mid f(a)=p(e)\}} 1241:
together with the projection on the first component and the
776:{\displaystyle U\to U\times \mathbb {R} ^{n},x\mapsto (x,0)} 2639:{\displaystyle \operatorname {Homeo} (\mathbb {R} ^{n},0)} 1750:{\displaystyle i:A\to f^{*}E,x\mapsto (x,(i\circ f)(x))} 2407:
between neighbourhoods of the zero sections as above.
2804:
Microbundle theory is an integral part of the work of
2356:
commuting with the projections and the zero sections.
877:
The definition of microbundle can be adapted to other
2786: 2764: 2742: 2688: 2675:
fixing the origin. This neighborhood is unique up to
2652: 2605: 2573: 2516: 2489: 2461: 2440: 2416: 2373: 2322: 2283: 2243: 2207: 2167: 2143: 2084: 2025: 2005: 1970: 1915: 1885: 1864: 1825: 1804: 1764: 1676: 1614: 1593: 1569: 1548: 1451: 1419: 1398: 1359: 1338: 1314: 1289: 1250: 1221: 1201: 1174: 1154: 1129: 1089: 1067: 1031: 1007: 983: 961: 939: 907: 859: 832: 799: 724: 663: 616: 572: 536: 512: 477: 442: 413: 387: 367: 341: 311: 286: 258: 216: 182: 160: 121: 100: 73: 2792: 2770: 2748: 2723: 2667: 2638: 2588: 2532: 2501: 2473: 2446: 2422: 2399: 2348: 2305: 2269: 2229: 2193: 2149: 2129: 2070: 2011: 1982: 1956: 1897: 1870: 1849: 1810: 1782: 1749: 1660: 1599: 1575: 1554: 1533: 1437: 1404: 1383: 1344: 1320: 1295: 1274: 1233: 1207: 1180: 1160: 1135: 1113: 1073: 1052: 1013: 989: 967: 945: 925: 865: 838: 811: 775: 708: 644: 600: 557: 518: 498: 463: 428: 399: 373: 353: 323: 292: 270: 234: 200: 166: 145: 106: 79: 2724:{\displaystyle (M\times M,\Delta ,\mathrm {pr} )} 53:; use of microbundles allows the definition of a 2983:Proceedings of the American Mathematical Society 1661:{\displaystyle p:=\mathrm {pr} _{1}:f^{*}E\to A} 2161:(or equivalent) if there exist a neighborhood 16:Generalization of the concept of vector bundle 3017:. Classics in Mathematics. Berlin, New York: 8: 1528: 1468: 175:is a topological space (the "total space"), 2978:"Microbundles, manifolds and metrisability" 2995: 2785: 2763: 2741: 2710: 2687: 2659: 2655: 2654: 2651: 2621: 2617: 2616: 2604: 2580: 2576: 2575: 2572: 2521: 2515: 2488: 2460: 2439: 2415: 2391: 2378: 2372: 2340: 2327: 2321: 2288: 2282: 2261: 2248: 2242: 2212: 2206: 2185: 2172: 2166: 2142: 2118: 2105: 2092: 2083: 2059: 2046: 2033: 2024: 2004: 1969: 1936: 1920: 1914: 1884: 1863: 1824: 1803: 1763: 1693: 1675: 1643: 1630: 1622: 1613: 1592: 1568: 1547: 1456: 1450: 1418: 1397: 1358: 1337: 1313: 1288: 1249: 1220: 1200: 1173: 1153: 1128: 1088: 1066: 1044: 1040: 1039: 1030: 1006: 982: 960: 938: 906: 858: 831: 798: 743: 739: 738: 723: 694: 690: 689: 673: 665: 662: 621: 615: 577: 571: 549: 545: 544: 535: 511: 476: 441: 412: 386: 366: 340: 310: 285: 257: 215: 181: 159: 120: 99: 72: 3015:Algebraic topology—homotopy and homology 1053:{\displaystyle B\times \mathbb {R} ^{n}} 558:{\displaystyle U\times \mathbb {R} ^{n}} 115:(the "base space") consists of a triple 2832: 2551:if its tangent microbundle is trivial. 2976:Gauld, David; Greenwood, Sina (2000). 1275:{\displaystyle \Delta :M\to M\times M} 27:is a generalization of the concept of 7: 2270:{\displaystyle V_{2}\subseteq E_{2}} 2194:{\displaystyle V_{1}\subseteq E_{1}} 1957:{\displaystyle E_{\mid A}=p^{-1}(A)} 788:In analogy with vector bundles, the 2547:, a topological manifold is called 2363:between microbundles consists of a 2130:{\displaystyle (E_{2},i_{2},p_{2})} 2071:{\displaystyle (E_{1},i_{1},p_{1})} 2714: 2711: 2704: 1983:{\displaystyle A\hookrightarrow B} 1626: 1623: 1251: 669: 666: 14: 2646:, the group of homeomorphisms of 1585:pullback (or induced) microbundle 1060:(together with the projection on 847:should be thought of as the zero 645:{\displaystyle i_{\mid U}:U\to V} 601:{\displaystyle p_{\mid V}:V\to U} 2882:"Microbundles are fibre bundles" 2668:{\displaystyle \mathbb {R} ^{n}} 2589:{\displaystyle \mathbb {R} ^{n}} 2349:{\displaystyle V_{1}\cong V_{2}} 2545:parallelisable smooth manifolds 1607:, together with the projection 499:{\displaystyle p(V)\subseteq U} 464:{\displaystyle i(U)\subseteq V} 2718: 2689: 2633: 2612: 2559:A theorem of James Kister and 2522: 2400:{\displaystyle V_{1}\to V_{2}} 2384: 2300: 2294: 2224: 2218: 2124: 2085: 2065: 2026: 1974: 1951: 1945: 1921: 1844: 1826: 1774: 1744: 1741: 1735: 1732: 1720: 1711: 1708: 1686: 1652: 1525: 1519: 1510: 1504: 1483: 1471: 1429: 1378: 1360: 1260: 1114:{\displaystyle x\mapsto (x,0)} 1108: 1096: 1093: 917: 770: 758: 755: 728: 700: 636: 622: 592: 578: 487: 481: 452: 446: 423: 417: 226: 192: 140: 122: 1: 2997:10.1090/s0002-9939-00-05343-0 2859:10.1016/0040-9383(64)90005-9 2549:topologically parallelisable 2502:{\displaystyle U\subseteq B} 1898:{\displaystyle A\subseteq B} 1146:standard trivial microbundle 1000:Given any topological space 400:{\displaystyle V\subseteq E} 354:{\displaystyle U\subseteq B} 3013:Switzer, Robert M. (2002). 2843:(1964). "Microbundles. I". 3089: 2947:Princeton University Press 2733:topological tangent bundle 2533:{\displaystyle E_{\mid U}} 2510:such that the restriction 887:piecewise linear manifolds 2880:Kister, James M. (1964). 2482:there is a neighbourhood 1304:-microbundle, called the 1234:{\displaystyle M\times M} 1144:-microbundle, called the 2306:{\displaystyle i_{2}(B)} 2230:{\displaystyle i_{1}(B)} 1783:{\displaystyle p:E\to B} 1438:{\displaystyle f:A\to B} 1215:, the cartesian product 926:{\displaystyle p:E\to B} 271:{\displaystyle p\circ i} 235:{\displaystyle p:E\to B} 201:{\displaystyle i:B\to E} 2430:-microbundle is called 1850:{\displaystyle (E,i,p)} 1384:{\displaystyle (E,i,p)} 812:{\displaystyle n\geq 0} 146:{\displaystyle (E,i,p)} 3054:at the Manifold Atlas. 2934:Siebenmann, Laurent C. 2794: 2772: 2750: 2725: 2669: 2640: 2590: 2534: 2503: 2475: 2474:{\displaystyle b\in B} 2448: 2424: 2401: 2350: 2307: 2271: 2231: 2195: 2151: 2131: 2072: 2013: 1984: 1958: 1907:restricted microbundle 1899: 1872: 1851: 1812: 1784: 1751: 1662: 1601: 1577: 1556: 1535: 1439: 1406: 1385: 1346: 1322: 1297: 1276: 1235: 1209: 1182: 1162: 1137: 1115: 1075: 1054: 1015: 991: 969: 947: 927: 881:more general than the 867: 840: 813: 777: 710: 646: 602: 559: 520: 500: 465: 430: 401: 375: 355: 325: 324:{\displaystyle b\in B} 294: 272: 236: 202: 168: 147: 108: 81: 2887:Annals of Mathematics 2810:Laurent C. Siebenmann 2795: 2773: 2757:, letting each chart 2751: 2726: 2670: 2641: 2591: 2535: 2504: 2476: 2449: 2425: 2402: 2351: 2308: 2272: 2232: 2196: 2152: 2132: 2073: 2014: 1985: 1959: 1900: 1873: 1852: 1813: 1785: 1752: 1669:and the zero section 1663: 1602: 1578: 1557: 1536: 1440: 1413:and a continuous map 1407: 1386: 1347: 1323: 1298: 1277: 1236: 1210: 1183: 1163: 1138: 1116: 1076: 1055: 1016: 992: 970: 948: 928: 868: 841: 814: 778: 711: 647: 603: 560: 521: 501: 466: 431: 402: 376: 356: 326: 295: 273: 237: 203: 169: 148: 109: 82: 2841:Milnor, John Willard 2784: 2762: 2740: 2686: 2650: 2603: 2571: 2514: 2487: 2459: 2438: 2414: 2371: 2320: 2281: 2241: 2205: 2165: 2141: 2137:over the same space 2082: 2023: 2003: 1968: 1913: 1883: 1862: 1823: 1802: 1762: 1674: 1612: 1591: 1567: 1546: 1449: 1417: 1396: 1357: 1336: 1312: 1287: 1248: 1219: 1199: 1193:topological manifold 1172: 1152: 1127: 1087: 1065: 1029: 1005: 997:is the zero section. 981: 959: 937: 905: 857: 830: 797: 722: 661: 614: 570: 534: 510: 475: 440: 429:{\displaystyle i(b)} 411: 385: 381:and a neighbourhood 365: 339: 309: 284: 256: 214: 180: 158: 119: 98: 71: 51:topological manifold 31:, introduced by the 2367:of continuous maps 2237:and a neighborhood 1306:tangent microbundle 821:is also called the 279:is the identity of 3073:Algebraic topology 3068:Geometric topology 2822:higher dimensional 2790: 2768: 2746: 2721: 2665: 2636: 2586: 2530: 2499: 2471: 2444: 2420: 2397: 2359:More generally, a 2346: 2313:, together with a 2303: 2267: 2227: 2191: 2147: 2127: 2068: 2009: 1980: 1954: 1909:, also denoted by 1895: 1868: 1847: 1808: 1780: 1747: 1658: 1597: 1573: 1563:-microbundle over 1552: 1531: 1435: 1402: 1381: 1342: 1318: 1293: 1272: 1231: 1205: 1178: 1158: 1133: 1111: 1071: 1050: 1011: 987: 965: 943: 923: 885:, such as that of 863: 836: 809: 773: 706: 642: 598: 555: 516: 496: 461: 426: 397: 371: 351: 321: 290: 268: 232: 198: 164: 143: 104: 77: 3028:978-3-540-42750-6 2814:smooth structures 2793:{\displaystyle U} 2771:{\displaystyle U} 2749:{\displaystyle M} 2447:{\displaystyle n} 2423:{\displaystyle n} 2150:{\displaystyle B} 2012:{\displaystyle n} 1871:{\displaystyle B} 1811:{\displaystyle n} 1600:{\displaystyle f} 1576:{\displaystyle A} 1555:{\displaystyle n} 1405:{\displaystyle B} 1345:{\displaystyle n} 1321:{\displaystyle M} 1296:{\displaystyle n} 1208:{\displaystyle n} 1181:{\displaystyle n} 1161:{\displaystyle n} 1136:{\displaystyle n} 1074:{\displaystyle B} 1024:cartesian product 1014:{\displaystyle B} 990:{\displaystyle i} 968:{\displaystyle n} 946:{\displaystyle n} 866:{\displaystyle E} 839:{\displaystyle i} 519:{\displaystyle V} 374:{\displaystyle b} 293:{\displaystyle B} 167:{\displaystyle E} 107:{\displaystyle B} 92:topological space 80:{\displaystyle n} 45:is defined for a 3080: 3040: 3009: 2999: 2990:(9): 2801–2808. 2969: 2968: 2944: 2930:Kirby, Robion C. 2926: 2920: 2919: 2877: 2871: 2870: 2837: 2799: 2797: 2796: 2791: 2777: 2775: 2774: 2769: 2755: 2753: 2752: 2747: 2730: 2728: 2727: 2722: 2717: 2674: 2672: 2671: 2666: 2664: 2663: 2658: 2645: 2643: 2642: 2637: 2626: 2625: 2620: 2595: 2593: 2592: 2587: 2585: 2584: 2579: 2539: 2537: 2536: 2531: 2529: 2528: 2508: 2506: 2505: 2500: 2480: 2478: 2477: 2472: 2453: 2451: 2450: 2445: 2429: 2427: 2426: 2421: 2406: 2404: 2403: 2398: 2396: 2395: 2383: 2382: 2355: 2353: 2352: 2347: 2345: 2344: 2332: 2331: 2312: 2310: 2309: 2304: 2293: 2292: 2276: 2274: 2273: 2268: 2266: 2265: 2253: 2252: 2236: 2234: 2233: 2228: 2217: 2216: 2200: 2198: 2197: 2192: 2190: 2189: 2177: 2176: 2156: 2154: 2153: 2148: 2136: 2134: 2133: 2128: 2123: 2122: 2110: 2109: 2097: 2096: 2077: 2075: 2074: 2069: 2064: 2063: 2051: 2050: 2038: 2037: 2018: 2016: 2015: 2010: 1989: 1987: 1986: 1981: 1963: 1961: 1960: 1955: 1944: 1943: 1928: 1927: 1904: 1902: 1901: 1896: 1877: 1875: 1874: 1869: 1856: 1854: 1853: 1848: 1817: 1815: 1814: 1809: 1789: 1787: 1786: 1781: 1756: 1754: 1753: 1748: 1698: 1697: 1667: 1665: 1664: 1659: 1648: 1647: 1635: 1634: 1629: 1606: 1604: 1603: 1598: 1582: 1580: 1579: 1574: 1561: 1559: 1558: 1553: 1540: 1538: 1537: 1532: 1461: 1460: 1444: 1442: 1441: 1436: 1411: 1409: 1408: 1403: 1390: 1388: 1387: 1382: 1351: 1349: 1348: 1343: 1327: 1325: 1324: 1319: 1302: 1300: 1299: 1294: 1281: 1279: 1278: 1273: 1240: 1238: 1237: 1232: 1214: 1212: 1211: 1206: 1187: 1185: 1184: 1179: 1167: 1165: 1164: 1159: 1142: 1140: 1139: 1134: 1120: 1118: 1117: 1112: 1080: 1078: 1077: 1072: 1059: 1057: 1056: 1051: 1049: 1048: 1043: 1020: 1018: 1017: 1012: 996: 994: 993: 988: 974: 972: 971: 966: 952: 950: 949: 944: 932: 930: 929: 924: 872: 870: 869: 864: 845: 843: 842: 837: 818: 816: 815: 810: 782: 780: 779: 774: 748: 747: 742: 715: 713: 712: 707: 699: 698: 693: 678: 677: 672: 651: 649: 648: 643: 629: 628: 607: 605: 604: 599: 585: 584: 564: 562: 561: 556: 554: 553: 548: 525: 523: 522: 517: 505: 503: 502: 497: 470: 468: 467: 462: 435: 433: 432: 427: 406: 404: 403: 398: 380: 378: 377: 372: 360: 358: 357: 352: 330: 328: 327: 322: 299: 297: 296: 291: 277: 275: 274: 269: 251:the composition 241: 239: 238: 233: 207: 205: 204: 199: 173: 171: 170: 165: 152: 150: 149: 144: 113: 111: 110: 105: 86: 84: 83: 78: 65:A (topological) 57:tangent bundle. 3088: 3087: 3083: 3082: 3081: 3079: 3078: 3077: 3058: 3057: 3048: 3041:See Chapter 14. 3029: 3019:Springer-Verlag 3012: 2975: 2972: 2957: 2942: 2928: 2927: 2923: 2900:10.2307/1970498 2879: 2878: 2874: 2839: 2838: 2834: 2830: 2782: 2781: 2760: 2759: 2738: 2737: 2684: 2683: 2653: 2648: 2647: 2615: 2601: 2600: 2598:structure group 2574: 2569: 2568: 2557: 2543:Analogously to 2517: 2512: 2511: 2485: 2484: 2457: 2456: 2436: 2435: 2412: 2411: 2387: 2374: 2369: 2368: 2336: 2323: 2318: 2317: 2284: 2279: 2278: 2257: 2244: 2239: 2238: 2208: 2203: 2202: 2181: 2168: 2163: 2162: 2139: 2138: 2114: 2101: 2088: 2080: 2079: 2055: 2042: 2029: 2021: 2020: 2001: 2000: 1997: 1966: 1965: 1932: 1916: 1911: 1910: 1881: 1880: 1879:and a subspace 1860: 1859: 1821: 1820: 1800: 1799: 1792:pullback bundle 1760: 1759: 1689: 1672: 1671: 1639: 1621: 1610: 1609: 1589: 1588: 1565: 1564: 1544: 1543: 1452: 1447: 1446: 1415: 1414: 1394: 1393: 1355: 1354: 1334: 1333: 1310: 1309: 1285: 1284: 1246: 1245: 1217: 1216: 1197: 1196: 1170: 1169: 1150: 1149: 1125: 1124: 1085: 1084: 1063: 1062: 1038: 1027: 1026: 1003: 1002: 979: 978: 957: 956: 953:has an obvious 935: 934: 903: 902: 895: 855: 854: 828: 827: 795: 794: 737: 720: 719: 688: 664: 659: 658: 617: 612: 611: 573: 568: 567: 543: 532: 531: 508: 507: 473: 472: 438: 437: 409: 408: 383: 382: 363: 362: 337: 336: 307: 306: 282: 281: 254: 253: 245:continuous maps 212: 211: 178: 177: 156: 155: 117: 116: 96: 95: 69: 68: 63: 47:smooth manifold 17: 12: 11: 5: 3086: 3084: 3076: 3075: 3070: 3060: 3059: 3056: 3055: 3047: 3046:External links 3044: 3043: 3042: 3027: 3010: 2971: 2970: 2955: 2921: 2894:(1): 190–199. 2872: 2831: 2829: 2826: 2789: 2767: 2745: 2720: 2716: 2713: 2709: 2706: 2703: 2700: 2697: 2694: 2691: 2662: 2657: 2635: 2632: 2629: 2624: 2619: 2614: 2611: 2608: 2583: 2578: 2556: 2553: 2527: 2524: 2520: 2498: 2495: 2492: 2470: 2467: 2464: 2443: 2419: 2394: 2390: 2386: 2381: 2377: 2343: 2339: 2335: 2330: 2326: 2302: 2299: 2296: 2291: 2287: 2264: 2260: 2256: 2251: 2247: 2226: 2223: 2220: 2215: 2211: 2188: 2184: 2180: 2175: 2171: 2146: 2126: 2121: 2117: 2113: 2108: 2104: 2100: 2095: 2091: 2087: 2067: 2062: 2058: 2054: 2049: 2045: 2041: 2036: 2032: 2028: 2019:-microbundles 2008: 1996: 1993: 1992: 1991: 1979: 1976: 1973: 1953: 1950: 1947: 1942: 1939: 1935: 1931: 1926: 1923: 1919: 1894: 1891: 1888: 1867: 1846: 1843: 1840: 1837: 1834: 1831: 1828: 1807: 1795: 1779: 1776: 1773: 1770: 1767: 1746: 1743: 1740: 1737: 1734: 1731: 1728: 1725: 1722: 1719: 1716: 1713: 1710: 1707: 1704: 1701: 1696: 1692: 1688: 1685: 1682: 1679: 1657: 1654: 1651: 1646: 1642: 1638: 1633: 1628: 1625: 1620: 1617: 1596: 1572: 1551: 1530: 1527: 1524: 1521: 1518: 1515: 1512: 1509: 1506: 1503: 1500: 1497: 1494: 1491: 1488: 1485: 1482: 1479: 1476: 1473: 1470: 1467: 1464: 1459: 1455: 1434: 1431: 1428: 1425: 1422: 1401: 1380: 1377: 1374: 1371: 1368: 1365: 1362: 1341: 1329: 1317: 1292: 1271: 1268: 1265: 1262: 1259: 1256: 1253: 1230: 1227: 1224: 1204: 1189: 1177: 1157: 1132: 1110: 1107: 1104: 1101: 1098: 1095: 1092: 1070: 1047: 1042: 1037: 1034: 1010: 998: 986: 964: 942: 922: 919: 916: 913: 910: 894: 891: 862: 835: 808: 805: 802: 786: 785: 772: 769: 766: 763: 760: 757: 754: 751: 746: 741: 736: 733: 730: 727: 705: 702: 697: 692: 687: 684: 681: 676: 671: 668: 641: 638: 635: 632: 627: 624: 620: 597: 594: 591: 588: 583: 580: 576: 552: 547: 542: 539: 515: 495: 492: 489: 486: 483: 480: 460: 457: 454: 451: 448: 445: 425: 422: 419: 416: 396: 393: 390: 370: 350: 347: 344: 332:, there are a 320: 317: 314: 302: 289: 267: 264: 261: 231: 228: 225: 222: 219: 197: 194: 191: 188: 185: 163: 142: 139: 136: 133: 130: 127: 124: 103: 76: 62: 59: 43:tangent bundle 15: 13: 10: 9: 6: 4: 3: 2: 3085: 3074: 3071: 3069: 3066: 3065: 3063: 3053: 3050: 3049: 3045: 3038: 3034: 3030: 3024: 3020: 3016: 3011: 3007: 3003: 2998: 2993: 2989: 2985: 2984: 2979: 2974: 2973: 2966: 2962: 2958: 2956:0-691-08191-3 2952: 2948: 2941: 2940: 2935: 2931: 2925: 2922: 2917: 2913: 2909: 2905: 2901: 2897: 2893: 2889: 2888: 2883: 2876: 2873: 2868: 2864: 2860: 2856: 2852: 2848: 2847: 2842: 2836: 2833: 2827: 2825: 2823: 2819: 2818:PL structures 2815: 2811: 2807: 2802: 2800: 2787: 2779:have a fiber 2778: 2765: 2756: 2743: 2734: 2707: 2701: 2698: 2695: 2692: 2680: 2678: 2660: 2630: 2627: 2622: 2609: 2606: 2599: 2581: 2566: 2562: 2554: 2552: 2550: 2546: 2541: 2525: 2518: 2509: 2496: 2493: 2490: 2481: 2468: 2465: 2462: 2441: 2433: 2417: 2408: 2392: 2388: 2379: 2375: 2366: 2362: 2357: 2341: 2337: 2333: 2328: 2324: 2316: 2315:homeomorphism 2297: 2289: 2285: 2262: 2258: 2254: 2249: 2245: 2221: 2213: 2209: 2186: 2182: 2178: 2173: 2169: 2160: 2144: 2119: 2115: 2111: 2106: 2102: 2098: 2093: 2089: 2060: 2056: 2052: 2047: 2043: 2039: 2034: 2030: 2006: 1994: 1977: 1971: 1948: 1940: 1937: 1933: 1929: 1924: 1917: 1908: 1892: 1889: 1886: 1878: 1865: 1841: 1838: 1835: 1832: 1829: 1819:-microbundle 1818: 1805: 1796: 1793: 1777: 1771: 1768: 1765: 1757: 1738: 1729: 1726: 1723: 1717: 1714: 1705: 1702: 1699: 1694: 1690: 1683: 1680: 1677: 1668: 1655: 1649: 1644: 1640: 1636: 1631: 1618: 1615: 1594: 1586: 1583:, called the 1570: 1562: 1549: 1522: 1516: 1513: 1507: 1501: 1498: 1495: 1492: 1489: 1486: 1480: 1477: 1474: 1465: 1462: 1457: 1453: 1432: 1426: 1423: 1420: 1412: 1399: 1375: 1372: 1369: 1366: 1363: 1353:-microbundle 1352: 1339: 1330: 1315: 1307: 1303: 1290: 1269: 1266: 1263: 1257: 1254: 1244: 1228: 1225: 1222: 1202: 1195:of dimension 1194: 1190: 1175: 1155: 1147: 1143: 1130: 1122:) defines an 1121: 1105: 1102: 1099: 1090: 1081: 1068: 1045: 1035: 1032: 1025: 1021: 1008: 999: 984: 976: 962: 940: 920: 914: 911: 908: 901: 900:vector bundle 897: 896: 892: 890: 888: 884: 880: 875: 873: 860: 850: 846: 833: 824: 820: 819: 806: 803: 800: 791: 783: 767: 764: 761: 752: 749: 744: 734: 731: 725: 716: 703: 695: 685: 682: 679: 674: 655: 652: 639: 633: 630: 625: 618: 608: 595: 589: 586: 581: 574: 565:and the maps 550: 540: 537: 529: 513: 493: 490: 484: 478: 458: 455: 449: 443: 420: 414: 394: 391: 388: 368: 348: 345: 342: 335: 331: 318: 315: 312: 303: 300: 287: 278: 265: 262: 259: 250: 249: 248: 246: 242: 229: 223: 220: 217: 208: 195: 189: 186: 183: 174: 161: 137: 134: 131: 128: 125: 114: 101: 93: 89: 87: 74: 60: 58: 56: 52: 48: 44: 40: 37: 36:mathematician 34: 30: 29:vector bundle 26: 22: 3014: 2987: 2981: 2938: 2924: 2891: 2885: 2875: 2850: 2844: 2835: 2806:Robion Kirby 2803: 2780: 2758: 2736: 2732: 2681: 2565:fiber bundle 2558: 2548: 2542: 2540:is trivial. 2483: 2455: 2431: 2409: 2360: 2358: 2158: 1998: 1906: 1858: 1798: 1670: 1608: 1584: 1542: 1445:, the space 1392: 1332: 1305: 1283: 1243:diagonal map 1145: 1123: 1083: 1082:and the map 1061: 1001: 975:-microbundle 954: 876: 853: 826: 822: 793: 792: 787: 718: 657: 610: 566: 528:homeomorphic 334:neighborhood 305: 280: 252: 210: 176: 154: 94: 88:-microbundle 67: 66: 64: 54: 24: 18: 3052:Microbundle 2824:manifolds. 2567:with fiber 2561:Barry Mazur 1541:defines an 1282:defines an 955:underlying 55:topological 39:John Milnor 25:microbundle 21:mathematics 3062:Categories 2828:References 2731:gives the 2555:Properties 2159:isomorphic 883:smooth one 879:categories 436:such that 304:for every 61:Definition 49:but not a 2853:: 53–80. 2705:Δ 2696:× 2610:⁡ 2523:∣ 2494:⊆ 2466:∈ 2385:→ 2334:≅ 2255:⊆ 2179:⊆ 1995:Morphisms 1975:↪ 1938:− 1922:∣ 1890:⊆ 1797:Given an 1775:→ 1727:∘ 1709:↦ 1695:∗ 1687:→ 1653:→ 1645:∗ 1499:∣ 1493:× 1487:∈ 1458:∗ 1430:→ 1331:Given an 1267:× 1261:→ 1252:Δ 1226:× 1094:↦ 1036:× 918:→ 804:≥ 756:↦ 735:× 729:→ 701:→ 686:× 637:→ 623:∣ 593:→ 579:∣ 541:× 491:⊆ 456:⊆ 392:⊆ 346:⊆ 316:∈ 263:∘ 227:→ 193:→ 2936:(1977). 2846:Topology 2361:morphism 1191:Given a 1148:of rank 977:, where 933:of rank 893:Examples 153:, where 33:American 3037:1886843 3006:1664358 2965:0645390 2916:0180986 2908:1970498 2867:0161346 2677:isotopy 2432:trivial 849:section 790:integer 654:commute 90:over a 3035:  3025:  3004:  2963:  2953:  2914:  2906:  2865:  1905:, the 1022:, the 2943:(PDF) 2904:JSTOR 2607:Homeo 1857:over 1758:. If 1391:over 656:with 3023:ISBN 2951:ISBN 2816:and 2808:and 2596:and 2365:germ 2157:are 2078:and 1999:Two 898:Any 823:rank 717:and 609:and 243:are 209:and 23:, a 2992:doi 2988:128 2896:doi 2855:doi 2820:on 2812:on 2410:An 2277:of 2201:of 1587:by 1308:of 530:to 526:is 407:of 361:of 19:In 3064:: 3033:MR 3031:. 3021:. 3002:MR 3000:. 2986:. 2980:. 2961:MR 2959:. 2949:. 2932:; 2912:MR 2910:. 2902:. 2892:80 2890:. 2884:. 2863:MR 2861:. 2849:. 1619::= 1466::= 506:, 471:, 3039:. 3008:. 2994:: 2967:. 2918:. 2898:: 2869:. 2857:: 2851:3 2788:U 2766:U 2744:M 2719:) 2715:r 2712:p 2708:, 2702:, 2699:M 2693:M 2690:( 2661:n 2656:R 2634:) 2631:0 2628:, 2623:n 2618:R 2613:( 2582:n 2577:R 2526:U 2519:E 2497:B 2491:U 2469:B 2463:b 2442:n 2418:n 2393:2 2389:V 2380:1 2376:V 2342:2 2338:V 2329:1 2325:V 2301:) 2298:B 2295:( 2290:2 2286:i 2263:2 2259:E 2250:2 2246:V 2225:) 2222:B 2219:( 2214:1 2210:i 2187:1 2183:E 2174:1 2170:V 2145:B 2125:) 2120:2 2116:p 2112:, 2107:2 2103:i 2099:, 2094:2 2090:E 2086:( 2066:) 2061:1 2057:p 2053:, 2048:1 2044:i 2040:, 2035:1 2031:E 2027:( 2007:n 1990:. 1978:B 1972:A 1952:) 1949:A 1946:( 1941:1 1934:p 1930:= 1925:A 1918:E 1893:B 1887:A 1866:B 1845:) 1842:p 1839:, 1836:i 1833:, 1830:E 1827:( 1806:n 1794:. 1778:B 1772:E 1769:: 1766:p 1745:) 1742:) 1739:x 1736:( 1733:) 1730:f 1724:i 1721:( 1718:, 1715:x 1712:( 1706:x 1703:, 1700:E 1691:f 1684:A 1681:: 1678:i 1656:A 1650:E 1641:f 1637:: 1632:1 1627:r 1624:p 1616:p 1595:f 1571:A 1550:n 1529:} 1526:) 1523:e 1520:( 1517:p 1514:= 1511:) 1508:a 1505:( 1502:f 1496:E 1490:A 1484:) 1481:e 1478:, 1475:a 1472:( 1469:{ 1463:E 1454:f 1433:B 1427:A 1424:: 1421:f 1400:B 1379:) 1376:p 1373:, 1370:i 1367:, 1364:E 1361:( 1340:n 1328:. 1316:M 1291:n 1270:M 1264:M 1258:M 1255:: 1229:M 1223:M 1203:n 1188:. 1176:n 1156:n 1131:n 1109:) 1106:0 1103:, 1100:x 1097:( 1091:x 1069:B 1046:n 1041:R 1033:B 1009:B 985:i 963:n 941:n 921:B 915:E 912:: 909:p 861:E 834:i 807:0 801:n 784:. 771:) 768:0 765:, 762:x 759:( 753:x 750:, 745:n 740:R 732:U 726:U 704:U 696:n 691:R 683:U 680:: 675:1 670:r 667:p 640:V 634:U 631:: 626:U 619:i 596:U 590:V 587:: 582:V 575:p 551:n 546:R 538:U 514:V 494:U 488:) 485:V 482:( 479:p 459:V 453:) 450:U 447:( 444:i 424:) 421:b 418:( 415:i 395:E 389:V 369:b 349:B 343:U 319:B 313:b 301:; 288:B 266:i 260:p 230:B 224:E 221:: 218:p 196:E 190:B 187:: 184:i 162:E 141:) 138:p 135:, 132:i 129:, 126:E 123:( 102:B 75:n

Index

mathematics
vector bundle
American
mathematician
John Milnor
tangent bundle
smooth manifold
topological manifold
topological space
continuous maps
neighborhood
homeomorphic
commute
integer
section
categories
smooth one
piecewise linear manifolds
vector bundle
cartesian product
topological manifold
diagonal map
pullback bundle
homeomorphism
germ
parallelisable smooth manifolds
Barry Mazur
fiber bundle
structure group
isotopy

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