Knowledge

Thom's first isotopy lemma

Source đź“ť

2187: 1689: 1862: 1405: 975: 1531: 1452: 471: 665: 1314: 898: 1176: 694:. (The construction of such a system relies on the Whitney conditions or something weaker.) By definition, a controlled vector field is a family of vector fields (smooth of some class) 607: 1222: 1014: 1721: 1278: 259: 1249: 1889: 1542: 773: 83: 719: 341: 302: 1929: 1076: 692: 57: 1100: 846: 384:, which is weaker than Whitney's condition (B). (The significance of this is that the consequences of the first isotopy lemma cannot imply Whitney’s condition (B).) 223: 151: 119: 1124: 1044: 820: 501: 371: 1909: 1726: 1334: 793: 739: 561: 541: 521: 191: 171: 2228: 1339: 2056: 904: 2006: 2114: 1944: 1460: 1939: 380:
but still with the Whitney conditions (or some other conditions). The lemma is also valid for the stratification that satisfies
2247: 2175: 1410: 387: 1998:
Real Analytic and Algebraic Geometry: Proceedings of the International Conference, Trento (Italy), September 21-25th, 1992
405: 346:
The local trivializations that the lemma provide preserve the strata. However, they are generally not smooth (not even
2221: 373:). On the other hand, it is possible that local trivializations are semialgebraic if the input data is semialgebraic. 612: 1283: 854: 1133: 2257: 381: 2021:
Editorial note: in fact, local trivializations can be definable if the input date is definable, according to
2262: 377: 2214: 566: 1192: 20: 1697: 1254: 1684:{\displaystyle H(y,t)=\varphi _{n}(t_{n},\phi _{n-1}(t_{n-1},\cdots ,\varphi _{1}(t_{1},y)\cdots )).} 474: 236: 1227: 1867: 983: 86: 62: 697: 307: 268: 2052: 2002: 1914: 1049: 670: 30: 2022: 1996: 2154: 2129: 2044: 1085: 825: 748: 196: 124: 92: 1109: 1022: 798: 479: 349: 2252: 1857:{\displaystyle G(x)=(\varphi _{1}(-t_{1},\cdots ,\varphi _{n}(-t_{n},x)\cdots ),t),t=f(x)} 2176:
https://mathoverflow.net/questions/23259/thom-first-isotopy-lemma-in-o-minimal-structures
1189:
The lemma now follows in a straightforward fashion. Since the statement is local, assume
2198: 2036: 1894: 1319: 778: 724: 546: 526: 506: 176: 156: 2241: 1949: 2159: 2142: 2133: 230: 2186: 226: 2043:. Lecture Notes in Mathematics. Vol. 1462. Springer. pp. 42–62. 1995:
Broglia, Fabrizio; Galbiati, Margherita; Tognoli, Alberto (11 July 2011).
2194: 262: 1400:{\displaystyle f_{*}({\widetilde {\partial _{i}}})=\partial _{i}\circ f} 1185:
flow (despite the fact that a controlled vector field is discontinuous).
2048: 376:
The lemma is also valid for a more general stratified space such as a
1078:(such a system exists). Then there are two key results due to Thom: 1280:. Then, by the lifting result, we find controlled vector fields 970:{\displaystyle (\pi _{A})_{*}\eta _{B}=\eta _{A}\circ \pi _{A}} 1526:{\displaystyle H:f|_{S}^{-1}(0)\times \mathbb {R} ^{n}\to S} 2023:
https://ncatlab.org/toddtrimble/published/Surface+diagrams
2202: 1447:{\displaystyle \varphi _{i}:\mathbb {R} \times S\to S} 1917: 1897: 1870: 1729: 1700: 1545: 1463: 1413: 1342: 1322: 1286: 1257: 1230: 1195: 1136: 1112: 1088: 1052: 1025: 986: 907: 857: 828: 801: 781: 751: 727: 700: 673: 615: 569: 549: 529: 509: 482: 408: 352: 310: 271: 239: 199: 179: 159: 127: 95: 65: 33: 466:{\displaystyle \{(T_{A},\pi _{A},\rho _{A})\mid A\}} 1923: 1903: 1883: 1856: 1715: 1683: 1525: 1446: 1399: 1328: 1308: 1272: 1243: 1216: 1170: 1118: 1094: 1070: 1038: 1008: 969: 892: 840: 814: 787: 767: 733: 713: 686: 659: 601: 555: 535: 515: 495: 465: 365: 335: 296: 253: 217: 185: 165: 145: 113: 77: 51: 390:is a family version of the first isotopy lemma. 660:{\displaystyle \rho _{A}:T_{A}\to [0,\infty )} 2222: 2147:Bulletin of the American Mathematical Society 2122:Bulletin of the American Mathematical Society 1454:be the flows associated to them. Then define 8: 1309:{\displaystyle {\widetilde {\partial _{i}}}} 460: 409: 893:{\displaystyle \eta _{B}\circ \rho _{A}=0,} 2229: 2215: 1171:{\displaystyle f_{*}(\eta )=\zeta \circ f} 667:given by the square norm on each fiber of 2158: 1916: 1896: 1875: 1869: 1803: 1787: 1768: 1752: 1728: 1707: 1703: 1702: 1699: 1654: 1641: 1616: 1597: 1584: 1571: 1544: 1511: 1507: 1506: 1484: 1479: 1474: 1462: 1428: 1427: 1418: 1412: 1385: 1363: 1357: 1356: 1347: 1341: 1321: 1294: 1288: 1287: 1285: 1264: 1260: 1259: 1256: 1235: 1229: 1208: 1204: 1203: 1194: 1141: 1135: 1111: 1106:, there exists a controlled vector field 1087: 1051: 1030: 1024: 991: 985: 961: 948: 935: 925: 915: 906: 875: 862: 856: 827: 806: 800: 780: 756: 750: 726: 705: 699: 678: 672: 633: 620: 614: 587: 574: 568: 548: 528: 508: 487: 481: 445: 432: 419: 407: 357: 351: 315: 309: 276: 270: 247: 246: 238: 229:. The lemma was originally introduced by 209: 204: 198: 178: 158: 137: 132: 126: 105: 100: 94: 64: 32: 2037:"C-RĂ©gularitĂ© et trivialitĂ© topologique" 1967: 1965: 261:. In that case, the lemma constructs an 2041:Singularity Theory and its Applications 1961: 378:stratified space in the sense of Mather 2095: 2083: 2071: 1971: 398:The proof is based on the notion of a 7: 2183: 2181: 2143:"Ensembles et morphismes stratifiĂ©s" 1983: 602:{\displaystyle \pi _{A}:T_{A}\to A} 343:; whence the name "isotopy lemma". 1382: 1360: 1291: 1232: 1217:{\displaystyle N=\mathbb {R} ^{n}} 651: 14: 609:is the associated projection and 153:is a submersion for each stratum 2185: 2115:"Notes on Topological Stability" 1864:is the inverse. Since the flows 1716:{\displaystyle \mathbb {R} ^{n}} 1273:{\displaystyle \mathbb {R} ^{n}} 1251:the coordinate vector fields on 1181:A controlled vector field has a 2160:10.1090/S0002-9904-1969-12138-5 2134:10.1090/S0273-0979-2012-01383-6 1851: 1845: 1830: 1821: 1815: 1793: 1758: 1745: 1739: 1733: 1675: 1672: 1666: 1647: 1609: 1577: 1561: 1549: 1517: 1499: 1493: 1475: 1438: 1375: 1353: 1153: 1147: 1062: 922: 908: 745:, there exists a neighborhood 654: 642: 639: 593: 451: 412: 330: 324: 291: 285: 254:{\displaystyle N=\mathbb {R} } 205: 133: 101: 43: 19:In mathematics, especially in 1: 1940:Ehresmann's fibration theorem 1723:and is a homeomorphism since 1244:{\displaystyle \partial _{i}} 233:who considered the case when 59:between smooth manifolds and 2201:. You can help Knowledge by 1945:Thom–Mather stratified space 1884:{\displaystyle \varphi _{i}} 1009:{\displaystyle T_{A}'\cap B} 741:such that: for each stratum 1911:also preserves the strata. 1046:is compatible with the map 388:Thom's second isotopy lemma 27:states: given a smooth map 2279: 2180: 78:{\displaystyle S\subset M} 25:Thom's first isotopy lemma 714:{\displaystyle \eta _{A}} 336:{\displaystyle f^{-1}(b)} 297:{\displaystyle f^{-1}(a)} 87:Whitney stratified subset 1924:{\displaystyle \square } 1071:{\displaystyle f:M\to N} 687:{\displaystyle \pi _{A}} 52:{\displaystyle f:M\to N} 400:controlled vector field 1925: 1905: 1885: 1858: 1717: 1685: 1527: 1448: 1401: 1330: 1310: 1274: 1245: 1218: 1172: 1130:that is a lift of it: 1120: 1096: 1095:{\displaystyle \zeta } 1072: 1040: 1010: 971: 894: 842: 841:{\displaystyle B>A} 816: 789: 769: 768:{\displaystyle T'_{A}} 735: 715: 688: 661: 603: 557: 537: 517: 497: 467: 367: 337: 298: 255: 219: 218:{\displaystyle f|_{S}} 187: 167: 147: 146:{\displaystyle f|_{A}} 115: 114:{\displaystyle f|_{S}} 79: 53: 2248:Differential topology 2113:Mather, John (2012). 2001:. Walter de Gruyter. 1926: 1906: 1891:preserve the strata, 1886: 1859: 1718: 1686: 1528: 1449: 1402: 1331: 1311: 1275: 1246: 1219: 1173: 1121: 1119:{\displaystyle \eta } 1097: 1082:Given a vector field 1073: 1041: 1039:{\displaystyle T_{A}} 1011: 972: 895: 843: 817: 815:{\displaystyle T_{A}} 790: 770: 736: 716: 689: 662: 604: 558: 538: 518: 498: 496:{\displaystyle T_{A}} 475:tubular neighborhoods 468: 382:Bekka's condition (C) 368: 366:{\displaystyle C^{1}} 338: 299: 256: 225:is a locally trivial 220: 188: 168: 148: 116: 80: 54: 21:differential topology 1915: 1895: 1868: 1727: 1698: 1543: 1461: 1411: 1340: 1320: 1284: 1255: 1228: 1193: 1134: 1110: 1086: 1050: 1023: 984: 905: 855: 826: 799: 779: 749: 725: 698: 671: 613: 567: 547: 527: 507: 480: 406: 350: 308: 269: 237: 197: 177: 157: 125: 93: 63: 31: 2098:, Proposition 10.1. 1974:, Proposition 11.1. 1492: 999: 764: 2086:, Proposition 9.1. 2049:10.1007/BFb0086373 2035:Bekka, K. (1991). 1921: 1901: 1881: 1854: 1713: 1681: 1523: 1473: 1444: 1397: 1326: 1306: 1270: 1241: 1214: 1168: 1116: 1092: 1068: 1036: 1019:Assume the system 1006: 987: 967: 890: 838: 822:such that for any 812: 785: 765: 752: 731: 711: 684: 657: 599: 553: 533: 513: 493: 463: 363: 333: 294: 251: 215: 183: 163: 143: 111: 75: 49: 2210: 2209: 2141:Thom, R. (1969). 2058:978-3-540-53737-3 1904:{\displaystyle H} 1694:It is a map over 1372: 1329:{\displaystyle S} 1303: 788:{\displaystyle A} 734:{\displaystyle A} 556:{\displaystyle S} 536:{\displaystyle A} 516:{\displaystyle M} 186:{\displaystyle S} 166:{\displaystyle A} 2270: 2231: 2224: 2217: 2195:topology-related 2189: 2182: 2164: 2162: 2137: 2119: 2099: 2093: 2087: 2081: 2075: 2069: 2063: 2062: 2031: 2025: 2019: 2013: 2012: 1992: 1986: 1981: 1975: 1969: 1930: 1928: 1927: 1922: 1910: 1908: 1907: 1902: 1890: 1888: 1887: 1882: 1880: 1879: 1863: 1861: 1860: 1855: 1808: 1807: 1792: 1791: 1773: 1772: 1757: 1756: 1722: 1720: 1719: 1714: 1712: 1711: 1706: 1690: 1688: 1687: 1682: 1659: 1658: 1646: 1645: 1627: 1626: 1608: 1607: 1589: 1588: 1576: 1575: 1532: 1530: 1529: 1524: 1516: 1515: 1510: 1491: 1483: 1478: 1453: 1451: 1450: 1445: 1431: 1423: 1422: 1406: 1404: 1403: 1398: 1390: 1389: 1374: 1373: 1368: 1367: 1358: 1352: 1351: 1335: 1333: 1332: 1327: 1315: 1313: 1312: 1307: 1305: 1304: 1299: 1298: 1289: 1279: 1277: 1276: 1271: 1269: 1268: 1263: 1250: 1248: 1247: 1242: 1240: 1239: 1223: 1221: 1220: 1215: 1213: 1212: 1207: 1177: 1175: 1174: 1169: 1146: 1145: 1125: 1123: 1122: 1117: 1101: 1099: 1098: 1093: 1077: 1075: 1074: 1069: 1045: 1043: 1042: 1037: 1035: 1034: 1015: 1013: 1012: 1007: 995: 976: 974: 973: 968: 966: 965: 953: 952: 940: 939: 930: 929: 920: 919: 899: 897: 896: 891: 880: 879: 867: 866: 847: 845: 844: 839: 821: 819: 818: 813: 811: 810: 794: 792: 791: 786: 774: 772: 771: 766: 760: 740: 738: 737: 732: 720: 718: 717: 712: 710: 709: 693: 691: 690: 685: 683: 682: 666: 664: 663: 658: 638: 637: 625: 624: 608: 606: 605: 600: 592: 591: 579: 578: 562: 560: 559: 554: 542: 540: 539: 534: 522: 520: 519: 514: 502: 500: 499: 494: 492: 491: 472: 470: 469: 464: 450: 449: 437: 436: 424: 423: 372: 370: 369: 364: 362: 361: 342: 340: 339: 334: 323: 322: 303: 301: 300: 295: 284: 283: 260: 258: 257: 252: 250: 224: 222: 221: 216: 214: 213: 208: 192: 190: 189: 184: 172: 170: 169: 164: 152: 150: 149: 144: 142: 141: 136: 120: 118: 117: 112: 110: 109: 104: 84: 82: 81: 76: 58: 56: 55: 50: 2278: 2277: 2273: 2272: 2271: 2269: 2268: 2267: 2258:Stratifications 2238: 2237: 2236: 2235: 2172: 2167: 2140: 2117: 2112: 2108: 2103: 2102: 2094: 2090: 2082: 2078: 2070: 2066: 2059: 2034: 2032: 2028: 2020: 2016: 2009: 1994: 1993: 1989: 1982: 1978: 1970: 1963: 1958: 1936: 1913: 1912: 1893: 1892: 1871: 1866: 1865: 1799: 1783: 1764: 1748: 1725: 1724: 1701: 1696: 1695: 1650: 1637: 1612: 1593: 1580: 1567: 1541: 1540: 1505: 1459: 1458: 1414: 1409: 1408: 1381: 1359: 1343: 1338: 1337: 1318: 1317: 1290: 1282: 1281: 1258: 1253: 1252: 1231: 1226: 1225: 1202: 1191: 1190: 1137: 1132: 1131: 1108: 1107: 1084: 1083: 1048: 1047: 1026: 1021: 1020: 982: 981: 957: 944: 931: 921: 911: 903: 902: 871: 858: 853: 852: 824: 823: 802: 797: 796: 777: 776: 747: 746: 723: 722: 701: 696: 695: 674: 669: 668: 629: 616: 611: 610: 583: 570: 565: 564: 545: 544: 525: 524: 505: 504: 483: 478: 477: 473:be a system of 441: 428: 415: 404: 403: 396: 353: 348: 347: 311: 306: 305: 272: 267: 266: 265:from the fiber 235: 234: 203: 195: 194: 175: 174: 155: 154: 131: 123: 122: 99: 91: 90: 61: 60: 29: 28: 17: 12: 11: 5: 2276: 2274: 2266: 2265: 2263:Topology stubs 2260: 2255: 2250: 2240: 2239: 2234: 2233: 2226: 2219: 2211: 2208: 2207: 2190: 2179: 2178: 2171: 2170:External links 2168: 2166: 2165: 2153:(2): 240–284. 2138: 2128:(4): 475–506. 2109: 2107: 2104: 2101: 2100: 2088: 2076: 2064: 2057: 2026: 2014: 2007: 1987: 1976: 1960: 1959: 1957: 1954: 1953: 1952: 1947: 1942: 1935: 1932: 1920: 1900: 1878: 1874: 1853: 1850: 1847: 1844: 1841: 1838: 1835: 1832: 1829: 1826: 1823: 1820: 1817: 1814: 1811: 1806: 1802: 1798: 1795: 1790: 1786: 1782: 1779: 1776: 1771: 1767: 1763: 1760: 1755: 1751: 1747: 1744: 1741: 1738: 1735: 1732: 1710: 1705: 1692: 1691: 1680: 1677: 1674: 1671: 1668: 1665: 1662: 1657: 1653: 1649: 1644: 1640: 1636: 1633: 1630: 1625: 1622: 1619: 1615: 1611: 1606: 1603: 1600: 1596: 1592: 1587: 1583: 1579: 1574: 1570: 1566: 1563: 1560: 1557: 1554: 1551: 1548: 1534: 1533: 1522: 1519: 1514: 1509: 1504: 1501: 1498: 1495: 1490: 1487: 1482: 1477: 1472: 1469: 1466: 1443: 1440: 1437: 1434: 1430: 1426: 1421: 1417: 1396: 1393: 1388: 1384: 1380: 1377: 1371: 1366: 1362: 1355: 1350: 1346: 1325: 1302: 1297: 1293: 1267: 1262: 1238: 1234: 1211: 1206: 1201: 1198: 1187: 1186: 1179: 1167: 1164: 1161: 1158: 1155: 1152: 1149: 1144: 1140: 1115: 1091: 1067: 1064: 1061: 1058: 1055: 1033: 1029: 1005: 1002: 998: 994: 990: 978: 977: 964: 960: 956: 951: 947: 943: 938: 934: 928: 924: 918: 914: 910: 900: 889: 886: 883: 878: 874: 870: 865: 861: 837: 834: 831: 809: 805: 784: 763: 759: 755: 730: 721:on the strata 708: 704: 681: 677: 656: 653: 650: 647: 644: 641: 636: 632: 628: 623: 619: 598: 595: 590: 586: 582: 577: 573: 552: 532: 512: 490: 486: 462: 459: 456: 453: 448: 444: 440: 435: 431: 427: 422: 418: 414: 411: 395: 392: 360: 356: 332: 329: 326: 321: 318: 314: 293: 290: 287: 282: 279: 275: 249: 245: 242: 212: 207: 202: 182: 162: 140: 135: 130: 121:is proper and 108: 103: 98: 74: 71: 68: 48: 45: 42: 39: 36: 15: 13: 10: 9: 6: 4: 3: 2: 2275: 2264: 2261: 2259: 2256: 2254: 2251: 2249: 2246: 2245: 2243: 2232: 2227: 2225: 2220: 2218: 2213: 2212: 2206: 2204: 2200: 2197:article is a 2196: 2191: 2188: 2184: 2177: 2174: 2173: 2169: 2161: 2156: 2152: 2148: 2144: 2139: 2135: 2131: 2127: 2123: 2116: 2111: 2110: 2105: 2097: 2092: 2089: 2085: 2080: 2077: 2073: 2068: 2065: 2060: 2054: 2050: 2046: 2042: 2038: 2030: 2027: 2024: 2018: 2015: 2010: 2008:9783110881271 2004: 2000: 1999: 1991: 1988: 1985: 1980: 1977: 1973: 1968: 1966: 1962: 1955: 1951: 1950:Tame topology 1948: 1946: 1943: 1941: 1938: 1937: 1933: 1931: 1918: 1898: 1876: 1872: 1848: 1842: 1839: 1836: 1833: 1827: 1824: 1818: 1812: 1809: 1804: 1800: 1796: 1788: 1784: 1780: 1777: 1774: 1769: 1765: 1761: 1753: 1749: 1742: 1736: 1730: 1708: 1678: 1669: 1663: 1660: 1655: 1651: 1642: 1638: 1634: 1631: 1628: 1623: 1620: 1617: 1613: 1604: 1601: 1598: 1594: 1590: 1585: 1581: 1572: 1568: 1564: 1558: 1555: 1552: 1546: 1539: 1538: 1537: 1520: 1512: 1502: 1496: 1488: 1485: 1480: 1470: 1467: 1464: 1457: 1456: 1455: 1441: 1435: 1432: 1424: 1419: 1415: 1394: 1391: 1386: 1378: 1369: 1364: 1348: 1344: 1323: 1300: 1295: 1265: 1236: 1209: 1199: 1196: 1184: 1180: 1165: 1162: 1159: 1156: 1150: 1142: 1138: 1129: 1113: 1105: 1089: 1081: 1080: 1079: 1065: 1059: 1056: 1053: 1031: 1027: 1017: 1003: 1000: 996: 992: 988: 962: 958: 954: 949: 945: 941: 936: 932: 926: 916: 912: 901: 887: 884: 881: 876: 872: 868: 863: 859: 851: 850: 849: 835: 832: 829: 807: 803: 782: 761: 757: 753: 744: 728: 706: 702: 679: 675: 648: 645: 634: 630: 626: 621: 617: 596: 588: 584: 580: 575: 571: 550: 530: 510: 488: 484: 476: 457: 454: 446: 442: 438: 433: 429: 425: 420: 416: 401: 393: 391: 389: 385: 383: 379: 374: 358: 354: 344: 327: 319: 316: 312: 288: 280: 277: 273: 264: 243: 240: 232: 228: 210: 200: 180: 160: 138: 128: 106: 96: 88: 72: 69: 66: 46: 40: 37: 34: 26: 22: 2203:expanding it 2192: 2150: 2146: 2125: 2121: 2091: 2079: 2067: 2040: 2029: 2017: 1997: 1990: 1979: 1693: 1535: 1188: 1182: 1127: 1103: 1018: 979: 742: 399: 397: 386: 375: 345: 24: 18: 2096:Mather 2012 2084:Mather 2012 2072:Mather 2012 1972:Mather 2012 2242:Categories 2106:References 1336:such that 1183:continuous 523:of strata 1984:Thom 1969 1919:◻ 1873:φ 1819:⋯ 1797:− 1785:φ 1778:⋯ 1762:− 1750:φ 1670:⋯ 1639:φ 1632:⋯ 1621:− 1602:− 1595:ϕ 1569:φ 1518:→ 1503:× 1486:− 1439:→ 1433:× 1416:φ 1392:∘ 1383:∂ 1370:~ 1361:∂ 1349:∗ 1301:~ 1292:∂ 1233:∂ 1163:∘ 1160:ζ 1151:η 1143:∗ 1114:η 1090:ζ 1063:→ 1001:∩ 959:π 955:∘ 946:η 933:η 927:∗ 913:π 873:ρ 869:∘ 860:η 703:η 676:π 652:∞ 640:→ 618:ρ 594:→ 572:π 455:∣ 443:ρ 430:π 317:− 278:− 231:RenĂ© Thom 227:fibration 85:a closed 70:⊂ 44:→ 1934:See also 997:′ 762:′ 2074:, $ 9. 2033:§ 3 of 263:isotopy 193:, then 16:Theorem 2253:Lemmas 2055:  2005:  1407:. Let 563:where 402:. Let 2193:This 2118:(PDF) 394:Proof 89:, if 2199:stub 2053:ISBN 2003:ISBN 1956:Note 1224:and 833:> 2155:doi 2130:doi 2045:doi 1536:by 1316:on 1126:on 1102:on 980:on 795:in 775:of 543:in 503:in 304:to 173:of 2244:: 2151:75 2149:. 2145:. 2126:49 2124:. 2120:. 2051:. 2039:. 1964:^ 1016:. 848:, 23:, 2230:e 2223:t 2216:v 2205:. 2163:. 2157:: 2136:. 2132:: 2061:. 2047:: 2011:. 1899:H 1877:i 1852:) 1849:x 1846:( 1843:f 1840:= 1837:t 1834:, 1831:) 1828:t 1825:, 1822:) 1816:) 1813:x 1810:, 1805:n 1801:t 1794:( 1789:n 1781:, 1775:, 1770:1 1766:t 1759:( 1754:1 1746:( 1743:= 1740:) 1737:x 1734:( 1731:G 1709:n 1704:R 1679:. 1676:) 1673:) 1667:) 1664:y 1661:, 1656:1 1652:t 1648:( 1643:1 1635:, 1629:, 1624:1 1618:n 1614:t 1610:( 1605:1 1599:n 1591:, 1586:n 1582:t 1578:( 1573:n 1565:= 1562:) 1559:t 1556:, 1553:y 1550:( 1547:H 1521:S 1513:n 1508:R 1500:) 1497:0 1494:( 1489:1 1481:S 1476:| 1471:f 1468:: 1465:H 1442:S 1436:S 1429:R 1425:: 1420:i 1395:f 1387:i 1379:= 1376:) 1365:i 1354:( 1345:f 1324:S 1296:i 1266:n 1261:R 1237:i 1210:n 1205:R 1200:= 1197:N 1178:. 1166:f 1157:= 1154:) 1148:( 1139:f 1128:S 1104:N 1066:N 1060:M 1057:: 1054:f 1032:A 1028:T 1004:B 993:A 989:T 963:A 950:A 942:= 937:B 923:) 917:A 909:( 888:, 885:0 882:= 877:A 864:B 836:A 830:B 808:A 804:T 783:A 758:A 754:T 743:A 729:A 707:A 680:A 655:) 649:, 646:0 643:[ 635:A 631:T 627:: 622:A 597:A 589:A 585:T 581:: 576:A 551:S 531:A 511:M 489:A 485:T 461:} 458:A 452:) 447:A 439:, 434:A 426:, 421:A 417:T 413:( 410:{ 359:1 355:C 331:) 328:b 325:( 320:1 313:f 292:) 289:a 286:( 281:1 274:f 248:R 244:= 241:N 211:S 206:| 201:f 181:S 161:A 139:A 134:| 129:f 107:S 102:| 97:f 73:M 67:S 47:N 41:M 38:: 35:f

Index

differential topology
Whitney stratified subset
fibration
René Thom
isotopy
stratified space in the sense of Mather
Bekka's condition (C)
Thom's second isotopy lemma
tubular neighborhoods
Ehresmann's fibration theorem
Thom–Mather stratified space
Tame topology


Mather 2012
Thom 1969
Real Analytic and Algebraic Geometry: Proceedings of the International Conference, Trento (Italy), September 21-25th, 1992
ISBN
9783110881271
https://ncatlab.org/toddtrimble/published/Surface+diagrams
"C-Régularité et trivialité topologique"
doi
10.1007/BFb0086373
ISBN
978-3-540-53737-3
Mather 2012
Mather 2012
Mather 2012
"Notes on Topological Stability"
doi

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

↑