Knowledge

Homotopy

Source 📝

5864: 5647: 5885: 5853: 3870: 5922: 5895: 5875: 3861: 2084: 1682: 4090:
of a one-dimensional space, the "loop of string" (or the circle), into this space, and this embedding gives a homeomorphism between the circle and its image in the embedding space. The intuitive idea behind the notion of knot equivalence is that one can
3154: 2590: 1834: 2971: 2404: 1746: 1329: 1424: 2861: 2440: 2728: 1152: 1971: 1544: 3047: 2259:
A solid disk is homotopy-equivalent to a single point, since you can deform the disk along radial lines continuously to a single point. However, they are not homeomorphic, since there is no
2348: 1966: 1539: 1955: 1894: 1462: 1210: 224: 1268: 2665: 743: 2893: 27: 4581: 4416: 2496: 2307: 4656: 4532: 2207:
are homotopy equivalent if they can be transformed into one another by bending, shrinking and expanding operations. Spaces that are homotopy-equivalent to a point are called
858: 317: 3003: 582: 3946:
Requiring that two embeddings be isotopic is a stronger requirement than that they be homotopic. For example, the map from the interval into the real numbers defined by
2768: 433: 383: 5082: 543: 4152:
Similar language is used for the equivalent concept in contexts where one has a stronger notion of equivalence. For example, a path between two smooth embeddings is a
1520: 894: 781: 686: 653: 5032: 4473: 3052: 459: 4608: 3415: 3365: 2795: 2620: 2467: 620: 4689: 3231: 3498: 3478: 3455: 3435: 3385: 3335: 3311: 3287: 3251: 3200: 3177: 2501: 801: 4990: 5925: 4719:
is the category whose objects are topological spaces, and whose morphisms are homotopy equivalence classes of continuous maps. Two topological spaces
4068:—the idea of isotopy is used to construct equivalence relations. For example, when should two knots be considered the same? We take two knots, 4362:, which characterizes the extension of a homotopy between two functions from a subset of some set to the set itself. It is useful when dealing with 2270:
and an untwisted (closed) strip are homotopy equivalent, since you can deform both strips continuously to a circle. But they are not homeomorphic.
3886:
since one cannot be deformed into the other through a continuous path of homeomorphisms of the ambient space. Thus they are not ambient-isotopic.
5281: 1763: 4184:(CTC) on a Lorentzian manifold is timelike homotopic to a point (that is, null timelike homotopic); such a manifold is therefore said to be 267: 4017:
Two homeomorphisms (which are special cases of embeddings) of the unit ball which agree on the boundary can be shown to be isotopic using
2907: 3978:
to the identity would have to exchange the endpoints, which would mean that they would have to 'pass through' each other. Moreover,
2353: 4121:, studied in this context, is an isotopy of the larger space, considered in light of its action on the embedded submanifold. Knots 943:
is some continuous function that takes the torus to the embedded surface-of-a-coffee-mug shape. The animation shows the image of
5956: 1691: 2797:
homotopy equivalent to a point has homotopy equivalent total and base spaces. This generalizes the previous two examples since
1273: 5528: 5473: 1334: 2800: 2409: 4731:
on the category of topological spaces is homotopy invariant if it can be expressed as a functor on the homotopy category.
2673: 1108: 2255:. Therefore, if X and Y are homeomorphic then they are homotopy-equivalent, but the opposite is not true. Some examples: 203:
In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with
5559: 4117:
embedding, with all intermediate values corresponding to embeddings. This corresponds to the definition of isotopy. An
3008: 4180:
is a homotopy such that the curve remains timelike during the continuous transformation from one curve to another. No
5913: 5908: 5437: 5316: 5253: 2079:{\displaystyle {\begin{aligned}H:B^{n}\times &\longrightarrow B^{n}\\(x,t)&\longmapsto (1-t)x.\end{aligned}}} 1677:{\displaystyle {\begin{aligned}H:\times &\longrightarrow C\\(s,t)&\longmapsto (1-t)f(s)+tg(s).\end{aligned}}} 176: 125: 2312: 5903: 4661:
We can define the action of one equivalence class on another, and so we get a group. These groups are called the
1902: 1839: 1432: 1157: 3673: 1215: 248: 47: 5805: 5511: 5493: 496:. We can also think of the second parameter as a "slider control" that allows us to smoothly transition from 2629: 5501: 3669: 694: 2866: 5506: 5488: 4997: 4359: 4197: 960:
varies with time from 0 to 1 over each cycle of the animation loop. It pauses, then shows the image as
5951: 5813: 5109: 4537: 212: 4383: 2472: 2283: 239:: as "the surface of a doughnut" and as "the surface of a coffee mug". This is also an example of an 34:
shown above are homotopic relative to their endpoints. The animation represents one possible homotopy.
4613: 4489: 4214: 3203: 806: 272: 204: 3912:, one can ask whether they can be connected 'through embeddings'. This gives rise to the concept of 5946: 5612: 4915: 4172:(representing something that only goes forwards, not backwards, in time, in every local frame). A 3986:
has not, which is impossible under an isotopy. However, the maps are homotopic; one homotopy from
2976: 939:
that takes the torus to the embedded surface-of-a-doughnut shape with which the animation starts;
548: 5898: 5884: 5277: 2741: 388: 338: 193: 82:"place") if one can be "continuously deformed" into the other, such a deformation being called a 5045: 4937:
into an appropriate fixed space, up to homotopy equivalence. For example, for any abelian group
510: 5833: 5754: 5631: 5619: 5592: 5552: 4922: 4911: 4903: 3557: 3257: 3149:{\displaystyle \mathbb {R} ^{k}\times (\mathbb {R} ^{n-k}-\{0\})\to (\mathbb {R} ^{n-k}-\{0\})} 1475: 59: 5828: 5483: 5130: 3668:
An example of an algebraic invariant of topological spaces which is not homotopy-invariant is
863: 748: 5675: 5602: 4926: 4907: 4181: 3812: 658: 625: 5002: 4433: 438: 5823: 5775: 5749: 5597: 5384: 5120: 4586: 4018: 3393: 3343: 2773: 2598: 2445: 1958: 1005: 993: 587: 2585:{\displaystyle H(t,\cdot )=t\cdot p_{0}+(1-t)\cdot \operatorname {id} _{\mathbb {R} ^{n}}} 8: 5670: 5125: 5089: 5039: 4899: 4668: 4484: 4165: 4095:
one embedding to another through a path of embeddings: a continuous function starting at
3828: 3208: 5874: 5388: 5868: 5838: 5818: 5739: 5729: 5607: 5587: 5408: 5374: 5093: 4755: 4302: 4185: 4061: 3509: 3483: 3463: 3440: 3420: 3370: 3320: 3296: 3272: 3236: 3185: 3162: 1757: 899:
The animation that is looped above right provides an example of a homotopy between two
786: 197: 4948: 4418:
being homotopic relative to a subspace is an equivalence relation, we can look at the
5863: 5856: 5722: 5680: 5545: 5524: 5469: 5443: 5433: 5412: 5400: 5341: 5322: 5312: 5259: 5249: 4895: 4727:
are isomorphic in this category if and only if they are homotopy-equivalent. Then a
4715: 4704: 4692: 4476: 4419: 4173: 3690: 3588: 3573: 2158: 2117: 1897: 1749: 689: 189: 51: 5888: 5636: 5582: 5392: 5135: 4193: 3697:. These are homotopies which keep the elements of the subspace fixed. Formally: if 3561: 3546: 3387:
is null-homotopic precisely when it can be continuously extended to a map from the
507:
An alternative notation is to say that a homotopy between two continuous functions
320: 137: 89: 20: 5695: 5690: 4710: 4118: 3940: 3532: 1523: 1469: 185: 31: 5878: 3500:
to itself—which is always a homotopy equivalence—is null-homotopic.
2267: 5785: 5717: 4843: 4767: 4662: 4375: 4177: 3600: 3516:, that is, they respect the relation of homotopy equivalence. For example, if 5396: 5287: 5202: 5175: 5940: 5795: 5705: 5685: 5404: 5344: 5154: 4823: 2899: 2220: 328: 5447: 5326: 5263: 184:) between the two functions. A notable use of homotopy is the definition of 5780: 5700: 5646: 3883: 2736: 2208: 5226: 5790: 5427: 4363: 4065: 3338: 43: 5227:"algebraic topology - Path homotopy and separately continuous functions" 5734: 5665: 5624: 4135:
are considered equivalent when there is an ambient isotopy which moves
3180: 2263:
between them (since one is an infinite set, while the other is finite).
1829:{\displaystyle B^{n}:=\left\{x\in \mathbb {R} ^{n}:\|x\|\leq 1\right\}} 1465: 208: 5379: 5365:
Monroe, Hunter (2008-11-01). "Are Causality Violations Undesirable?".
223: 5759: 5349: 5115: 4906:
have been developed. The methods for algebraic equations include the
4352: 4087: 4083: 4022: 3909: 3388: 2260: 900: 465: 228: 77: 66: 3869: 5744: 5661: 5568: 4189: 4169: 4050: 2623: 2350:. The part that needs to be checked is the existence of a homotopy 39: 4534:
as a subspace, then the equivalence classes form a group, denoted
4149:. This is the appropriate definition in the topological category. 5292: 5180: 4728: 2966:{\displaystyle \mathbb {R} ^{n}-\mathbb {R} ^{k}\simeq S^{n-k-1}} 26: 3879: 3718: 3293:
if it is homotopic to a constant function. (The homotopy from
3860: 2902:
is a fiber bundle with a fiber homotopy equivalent to a point.
2399:{\displaystyle H:I\times \mathbb {R} ^{n}\to \mathbb {R} ^{n}} 167: 116: 4709:
The idea of homotopy can be turned into a formal category of
232: 72: 980:
are said to be homotopic if and only if there is a homotopy
5537: 161: 152: 146: 110: 95: 1741:{\displaystyle \operatorname {id} _{B^{n}}:B^{n}\to B^{n}} 104: 4057:
are isotopic because they can be connected by rotations.
2214: 1324:{\displaystyle H:\mathbb {R} \times \to \mathbb {R} ^{2}} 964:
varies back from 1 to 0, pauses, and repeats this cycle.
3920:, in the notation used before, such that for each fixed 3603:. (Without the path-connectedness assumption, one has π 1419:{\displaystyle H(x,t)=\left(x,(1-t)x^{3}+te^{x}\right)} 16:
Continuous deformation between two continuous functions
5248:. Cambridge: Cambridge University Press. p. 185. 4914:). The methods for differential equations include the 4351:
The homotopy lifting property is used to characterize
2856:{\displaystyle \pi :\mathbb {R} ^{n}-\{0\}\to S^{n-1}} 2435:{\displaystyle \operatorname {id} _{\mathbb {R} ^{n}}} 2223:
is a special case of a homotopy equivalence, in which
5311:. Cambridge: Cambridge University Press. p. 11. 5048: 5005: 4951: 4671: 4616: 4589: 4540: 4492: 4436: 4386: 3486: 3480:
is contractible if and only if the identity map from
3466: 3443: 3423: 3396: 3373: 3346: 3323: 3299: 3275: 3239: 3211: 3188: 3165: 3055: 3011: 2979: 2910: 2869: 2803: 2776: 2744: 2676: 2632: 2601: 2504: 2475: 2448: 2412: 2356: 2315: 2286: 1969: 1905: 1842: 1766: 1694: 1542: 1478: 1435: 1337: 1276: 1218: 1160: 1111: 866: 809: 789: 751: 697: 661: 628: 590: 551: 513: 441: 391: 341: 275: 177: 155: 126: 4834:
is pointed, then the group homomorphisms induced by
2723:{\displaystyle \mathbb {R} ^{n}-\{0\}\simeq S^{n-1}} 1147:{\displaystyle f,g:\mathbb {R} \to \mathbb {R} ^{2}} 164: 158: 113: 107: 4208: 3676:, and compactification is not homotopy-invariant). 149: 143: 140: 101: 98: 92: 19:This article is about topology. For chemistry, see 5076: 5026: 4984: 4683: 4650: 4602: 4575: 4526: 4467: 4410: 4358:Another useful property involving homotopy is the 3492: 3472: 3449: 3429: 3409: 3379: 3359: 3329: 3313:to a constant function is then sometimes called a 3305: 3281: 3245: 3225: 3194: 3171: 3148: 3041: 2997: 2965: 2887: 2855: 2789: 2762: 2722: 2659: 2614: 2584: 2490: 2461: 2434: 2398: 2342: 2301: 2078: 1949: 1888: 1828: 1740: 1676: 1514: 1456: 1418: 1323: 1262: 1204: 1146: 888: 852: 795: 775: 737: 680: 647: 614: 576: 537: 453: 427: 377: 311: 3672:(which is, roughly speaking, the homology of the 3042:{\displaystyle \mathbb {R} ^{n}-\mathbb {R} ^{k}} 1961:. Then the following is a homotopy between them: 504:as the slider moves from 0 to 1, and vice versa. 5938: 5339: 5176:"Homotopy Type Theory Discussed - Computerphile" 4921:Homotopy theory can be used as a foundation for 3994::  ×  →  given by 3982:has changed the orientation of the interval and 3156:, then applying the homotopy equivalences above. 4053:around the origin, and so the identity map and 3827:is the identity map, this is known as a strong 3460:It follows from these definitions that a space 2280:The first example of a homotopy equivalence is 5429:Introduction to numerical continuation methods 935:is some continuous function from the torus to 5553: 5096:for singular cohomology with coefficients in 4992:of based homotopy classes of based maps from 3939:A related, but different, concept is that of 3508:Homotopy equivalence is important because in 1004:. This homotopy relation is compatible with 5112:(relative version of a homotopy equivalence) 3140: 3134: 3101: 3095: 2831: 2825: 2698: 2692: 2654: 2648: 2343:{\displaystyle \mathbb {R} ^{n}\simeq \{0\}} 2337: 2331: 1812: 1806: 996:on the set of all continuous functions from 4188:by timelike curves. A manifold such as the 1950:{\displaystyle c_{\vec {0}}(x):={\vec {0}}} 1889:{\displaystyle c_{\vec {0}}:B^{n}\to B^{n}} 1457:{\displaystyle C\subseteq \mathbb {R} ^{n}} 860:. It is not sufficient to require each map 5921: 5894: 5560: 5546: 2498:onto the origin. This can be described as 1205:{\displaystyle f(x):=\left(x,x^{3}\right)} 992:as described above. Being homotopic is an 5463: 5378: 3115: 3076: 3058: 3029: 3014: 2928: 2913: 2872: 2812: 2679: 2635: 2570: 2478: 2420: 2386: 2371: 2318: 2289: 1793: 1526:with the same endpoints, then there is a 1444: 1311: 1284: 1263:{\displaystyle g(x)=\left(x,e^{x}\right)} 1134: 1125: 5425: 4910:method and the continuation method (see 2595:There is a homotopy equivalence between 222: 25: 5518: 4738:homotopy invariant: this means that if 3049:as the total space of the fiber bundle 2091: 1056:are homotopic, then their compositions 803:. The two versions coincide by setting 5939: 5364: 5306: 5243: 4894:Based on the concept of the homotopy, 4168:, certain curves are distinguished as 3599:are isomorphic, and so are the higher 3524:are homotopy equivalent spaces, then: 2660:{\displaystyle \mathbb {R} ^{2}-\{0\}} 2215:Homotopy equivalence vs. homeomorphism 5541: 5340: 5285: 5092:of Eilenberg-MacLane spaces are 738:{\displaystyle (x,t)\mapsto h_{t}(x)} 4698: 4380:Since the relation of two functions 4159: 3892:When two given continuous functions 3684: 2888:{\displaystyle \mathbb {R} _{>0}} 545:is a family of continuous functions 218: 5155:"Homotopy Definition & Meaning" 4734:For example, homology groups are a 4196:(by any type of curve), and yet be 952:(X) as a function of the parameter 492:and at time 1 we have the function 13: 5432:. Kurt Georg. Philadelphia: SIAM. 4617: 4493: 4021:. For this reason, the map of the 14: 5968: 5034:is in natural bijection with the 4576:{\displaystyle \pi _{n}(Y,y_{0})} 488:: at time 0 we have the function 247:Formally, a homotopy between two 5920: 5893: 5883: 5873: 5862: 5852: 5851: 5645: 5519:Spanier, Edwin (December 1994). 4929:a cohomology functor on a space 4610:is in the image of the subspace 4411:{\displaystyle f,g\colon X\to Y} 4209:Lifting and extension properties 3868: 3859: 3264: 2491:{\displaystyle \mathbb {R} ^{n}} 2302:{\displaystyle \mathbb {R} ^{n}} 2239:(not only homotopic to it), and 136: 88: 5419: 5288:"History of algebraic topology" 4889: 4651:{\displaystyle \partial (^{n})} 4527:{\displaystyle \partial (^{n})} 4203: 3695:homotopy relative to a subspace 2233:is equal to the identity map id 1957:which sends every point to the 853:{\displaystyle h_{t}(x)=H(x,t)} 312:{\displaystyle H:X\times \to Y} 5957:Theory of continuous functions 5358: 5333: 5300: 5270: 5237: 5219: 5195: 5168: 5147: 5071: 5059: 5021: 5009: 4979: 4976: 4964: 4952: 4645: 4636: 4623: 4620: 4570: 4551: 4521: 4512: 4499: 4496: 4456: 4443: 4402: 4049:) is isotopic to a 180-degree 3651:is a homotopy equivalence and 3143: 3110: 3107: 3104: 3071: 2834: 2754: 2557: 2545: 2520: 2508: 2381: 2183:. If such a pair exists, then 2063: 2051: 2048: 2041: 2029: 2012: 2005: 1993: 1941: 1929: 1923: 1916: 1873: 1853: 1725: 1664: 1658: 1646: 1640: 1634: 1622: 1619: 1612: 1600: 1590: 1583: 1571: 1565: 1553: 1506: 1503: 1491: 1382: 1370: 1353: 1341: 1306: 1303: 1291: 1228: 1222: 1170: 1164: 1129: 883: 877: 847: 835: 826: 820: 770: 758: 732: 726: 713: 710: 698: 609: 597: 568: 529: 422: 416: 407: 395: 372: 366: 357: 345: 303: 300: 288: 1: 5141: 3587:are path-connected, then the 3503: 2863:is a fiber bundle with fiber 2274: 2096:Given two topological spaces 967: 5567: 3670:compactly supported homology 2998:{\displaystyle 0\leq k<n} 577:{\displaystyle h_{t}:X\to Y} 240: 78: 67: 7: 5507:Encyclopedia of Mathematics 5489:Encyclopedia of Mathematics 5103: 4941:, and any based CW-complex 4826:, and the homotopy between 4360:homotopy extension property 4198:timelike multiply connected 4110: = 1 giving the 3900:from the topological space 3737:if there exists a homotopy 3679: 2763:{\displaystyle \pi :E\to B} 1426:is a homotopy between them. 1099: 1008:in the following sense: if 428:{\displaystyle H(x,1)=g(x)} 378:{\displaystyle H(x,0)=f(x)} 10: 5973: 5814:Banach fixed-point theorem 5457: 5231:Mathematics Stack Exchange 5110:Fiber-homotopy equivalence 5077:{\displaystyle H^{n}(X,G)} 4702: 4373: 4212: 4099: = 0 giving the 3850: 3733:are homotopic relative to 3693:, one needs the notion of 3260:is a homotopy equivalence. 3233:is homotopy equivalent to 3202:is contractible, then the 2199:. Intuitively, two spaces 538:{\displaystyle f,g:X\to Y} 464:If we think of the second 258:from a topological space 205:compactly generated spaces 73: 63: 18: 5847: 5804: 5768: 5654: 5643: 5575: 5397:10.1007/s10701-008-9254-9 4369: 4215:Homotopy lifting property 3962:isotopic to the identity 3904:to the topological space 3882:is not equivalent to the 3705:are continuous maps from 1515:{\displaystyle f,g:\to C} 5464:Armstrong, M.A. (1979). 5426:Allgower, E. L. (2003). 5307:Allen., Hatcher (2002). 5244:Allen., Hatcher (2002). 5203:"Homotopy | mathematics" 4916:homotopy analysis method 4754:are homotopic, then the 4691:, it is also called the 4422:of maps between a fixed 4312:), then we can lift all 2116:is a pair of continuous 889:{\displaystyle h_{t}(x)} 776:{\displaystyle X\times } 5502:"Isotopy (in topology)" 5207:Encyclopedia Britannica 4998:Eilenberg–MacLane space 4483:times, and we take its 4249:and we are given a map 3916:, which is a homotopy, 3689:In order to define the 3317:.) For example, a map 681:{\displaystyle h_{1}=g} 648:{\displaystyle h_{0}=f} 262:to a topological space 227:A homotopy between two 5869:Mathematics portal 5769:Metrics and properties 5755:Second-countable space 5367:Foundations of Physics 5286:Albin, Pierre (2019). 5078: 5028: 5027:{\displaystyle K(G,n)} 4986: 4912:numerical continuation 4904:differential equations 4685: 4652: 4604: 4577: 4528: 4469: 4468:{\displaystyle X=^{n}} 4412: 4219:If we have a homotopy 4064:—for example in 3936:) gives an embedding. 3494: 3474: 3451: 3431: 3411: 3381: 3361: 3331: 3307: 3283: 3258:deformation retraction 3247: 3227: 3196: 3173: 3150: 3043: 2999: 2967: 2889: 2857: 2791: 2764: 2724: 2661: 2616: 2586: 2492: 2463: 2436: 2400: 2344: 2309:with a point, denoted 2303: 2080: 1951: 1890: 1830: 1742: 1678: 1532:straight-line homotopy 1516: 1458: 1420: 1325: 1264: 1206: 1148: 890: 854: 797: 777: 739: 682: 649: 616: 578: 539: 478:continuous deformation 455: 454:{\displaystyle x\in X} 429: 379: 313: 244: 54:to another are called 35: 5079: 5029: 4987: 4908:homotopy continuation 4686: 4653: 4605: 4603:{\displaystyle y_{0}} 4578: 4529: 4475:, the unit interval 4470: 4413: 4182:closed timelike curve 4106:embedding, ending at 3974:. Any homotopy from 3843:is a point, the term 3495: 3475: 3452: 3432: 3412: 3410:{\displaystyle D^{2}} 3382: 3362: 3360:{\displaystyle S^{1}} 3332: 3308: 3284: 3248: 3228: 3197: 3174: 3151: 3044: 3000: 2968: 2890: 2858: 2792: 2790:{\displaystyle F_{b}} 2765: 2725: 2662: 2617: 2615:{\displaystyle S^{1}} 2587: 2493: 2464: 2462:{\displaystyle p_{0}} 2437: 2401: 2345: 2304: 2081: 1952: 1891: 1831: 1743: 1679: 1517: 1459: 1421: 1326: 1265: 1207: 1149: 972:Continuous functions 891: 855: 798: 778: 740: 683: 650: 617: 615:{\displaystyle t\in } 579: 540: 456: 430: 380: 314: 226: 29: 5824:Invariance of domain 5776:Euler characteristic 5750:Bundle (mathematics) 5121:Homotopy type theory 5088:. One says that the 5046: 5003: 4949: 4846:are also the same: π 4669: 4614: 4587: 4538: 4490: 4434: 4384: 4086:space. A knot is an 3484: 3464: 3441: 3421: 3394: 3371: 3344: 3321: 3297: 3273: 3237: 3209: 3186: 3163: 3053: 3009: 2977: 2908: 2867: 2801: 2774: 2742: 2674: 2630: 2599: 2502: 2473: 2469:, the projection of 2446: 2410: 2354: 2313: 2284: 2157:is homotopic to the 2106:homotopy equivalence 2092:Homotopy equivalence 1967: 1903: 1840: 1764: 1692: 1540: 1476: 1433: 1335: 1274: 1216: 1158: 1109: 1096:are also homotopic. 1006:function composition 994:equivalence relation 911:, of the torus into 864: 807: 787: 749: 695: 659: 626: 588: 549: 511: 439: 389: 339: 273: 249:continuous functions 71:"same, similar" and 48:continuous functions 5834:Tychonoff's theorem 5829:Poincaré conjecture 5583:General (point-set) 5389:2008FoPh...38.1065M 5131:Poincaré conjecture 5126:Mapping class group 5094:representing spaces 5084: of the space 5040:singular cohomology 4896:computation methods 4756:group homomorphisms 4684:{\displaystyle n=1} 4420:equivalence classes 4166:Lorentzian manifold 3990:to the identity is 3829:deformation retract 3725:, then we say that 3226:{\displaystyle X/A} 2193:homotopy equivalent 1429:More generally, if 1032:are homotopic, and 745:is continuous from 268:continuous function 266:is defined to be a 5819:De Rham cohomology 5740:Polyhedral complex 5730:Simplicial complex 5521:Algebraic Topology 5342:Weisstein, Eric W. 5309:Algebraic topology 5246:Algebraic topology 5074: 5024: 4982: 4681: 4648: 4600: 4573: 4524: 4465: 4408: 4186:multiply connected 4062:geometric topology 3589:fundamental groups 3514:homotopy invariant 3512:many concepts are 3510:algebraic topology 3490: 3470: 3447: 3427: 3407: 3377: 3357: 3327: 3303: 3279: 3243: 3223: 3192: 3169: 3146: 3039: 2995: 2963: 2885: 2853: 2787: 2760: 2720: 2657: 2612: 2582: 2488: 2459: 2432: 2396: 2340: 2299: 2177:is homotopic to id 2076: 2074: 1947: 1886: 1826: 1738: 1674: 1672: 1512: 1454: 1416: 1321: 1260: 1202: 1144: 896:to be continuous. 886: 850: 793: 773: 735: 678: 645: 612: 574: 535: 451: 425: 375: 309: 245: 198:algebraic topology 36: 5952:Maps of manifolds 5934: 5933: 5723:fundamental group 5530:978-0-387-94426-5 5475:978-0-387-90839-7 5373:(11): 1065–1069. 4716:homotopy category 4705:Homotopy category 4699:Homotopy category 4693:fundamental group 4174:timelike homotopy 4160:Timelike homotopy 4019:Alexander's trick 3691:fundamental group 3685:Relative homotopy 3618:) isomorphic to π 3562:cohomology groups 3493:{\displaystyle X} 3473:{\displaystyle X} 3457:on the boundary. 3450:{\displaystyle f} 3437:that agrees with 3430:{\displaystyle X} 3380:{\displaystyle X} 3330:{\displaystyle f} 3306:{\displaystyle f} 3282:{\displaystyle f} 3246:{\displaystyle X} 3195:{\displaystyle X} 3172:{\displaystyle A} 2195:, or of the same 1944: 1919: 1898:constant function 1856: 1750:identity function 796:{\displaystyle Y} 219:Formal definition 190:cohomotopy groups 52:topological space 5964: 5924: 5923: 5897: 5896: 5887: 5877: 5867: 5866: 5855: 5854: 5649: 5562: 5555: 5548: 5539: 5538: 5534: 5515: 5497: 5479: 5452: 5451: 5423: 5417: 5416: 5382: 5362: 5356: 5355: 5354: 5337: 5331: 5330: 5304: 5298: 5297: 5274: 5268: 5267: 5241: 5235: 5234: 5223: 5217: 5216: 5214: 5213: 5199: 5193: 5192: 5190: 5188: 5172: 5166: 5165: 5163: 5161: 5151: 5136:Regular homotopy 5083: 5081: 5080: 5075: 5058: 5057: 5033: 5031: 5030: 5025: 4991: 4989: 4988: 4985:{\displaystyle } 4983: 4842:on the level of 4822:are in addition 4814:. Likewise, if 4766:on the level of 4690: 4688: 4687: 4682: 4657: 4655: 4654: 4649: 4644: 4643: 4609: 4607: 4606: 4601: 4599: 4598: 4582: 4580: 4579: 4574: 4569: 4568: 4550: 4549: 4533: 4531: 4530: 4525: 4520: 4519: 4474: 4472: 4471: 4466: 4464: 4463: 4417: 4415: 4414: 4409: 4350: 4344: 4333: 4332: 4327:× → 4322: 4297: 4291: 4287: 4269: 4268: 4255: 4248: 4243: 4232: 4228:× → 4194:simply connected 3872: 3863: 3845:pointed homotopy 3806: 3799: 3789: 3750: 3674:compactification 3664: 3650: 3547:simply connected 3499: 3497: 3496: 3491: 3479: 3477: 3476: 3471: 3456: 3454: 3453: 3448: 3436: 3434: 3433: 3428: 3416: 3414: 3413: 3408: 3406: 3405: 3386: 3384: 3383: 3378: 3366: 3364: 3363: 3358: 3356: 3355: 3336: 3334: 3333: 3328: 3312: 3310: 3309: 3304: 3288: 3286: 3285: 3280: 3252: 3250: 3249: 3244: 3232: 3230: 3229: 3224: 3219: 3201: 3199: 3198: 3193: 3178: 3176: 3175: 3170: 3159:If a subcomplex 3155: 3153: 3152: 3147: 3130: 3129: 3118: 3091: 3090: 3079: 3067: 3066: 3061: 3048: 3046: 3045: 3040: 3038: 3037: 3032: 3023: 3022: 3017: 3004: 3002: 3001: 2996: 2972: 2970: 2969: 2964: 2962: 2961: 2937: 2936: 2931: 2922: 2921: 2916: 2894: 2892: 2891: 2886: 2884: 2883: 2875: 2862: 2860: 2859: 2854: 2852: 2851: 2821: 2820: 2815: 2796: 2794: 2793: 2788: 2786: 2785: 2769: 2767: 2766: 2761: 2729: 2727: 2726: 2721: 2719: 2718: 2688: 2687: 2682: 2670:More generally, 2666: 2664: 2663: 2658: 2644: 2643: 2638: 2621: 2619: 2618: 2613: 2611: 2610: 2591: 2589: 2588: 2583: 2581: 2580: 2579: 2578: 2573: 2541: 2540: 2497: 2495: 2494: 2489: 2487: 2486: 2481: 2468: 2466: 2465: 2460: 2458: 2457: 2441: 2439: 2438: 2433: 2431: 2430: 2429: 2428: 2423: 2405: 2403: 2402: 2397: 2395: 2394: 2389: 2380: 2379: 2374: 2349: 2347: 2346: 2341: 2327: 2326: 2321: 2308: 2306: 2305: 2300: 2298: 2297: 2292: 2248: 2232: 2176: 2156: 2146: 2132: 2085: 2083: 2082: 2077: 2075: 2024: 2023: 1989: 1988: 1956: 1954: 1953: 1948: 1946: 1945: 1937: 1922: 1921: 1920: 1912: 1895: 1893: 1892: 1887: 1885: 1884: 1872: 1871: 1859: 1858: 1857: 1849: 1835: 1833: 1832: 1827: 1825: 1821: 1802: 1801: 1796: 1776: 1775: 1747: 1745: 1744: 1739: 1737: 1736: 1724: 1723: 1711: 1710: 1709: 1708: 1683: 1681: 1680: 1675: 1673: 1521: 1519: 1518: 1513: 1463: 1461: 1460: 1455: 1453: 1452: 1447: 1425: 1423: 1422: 1417: 1415: 1411: 1410: 1409: 1394: 1393: 1330: 1328: 1327: 1322: 1320: 1319: 1314: 1287: 1269: 1267: 1266: 1261: 1259: 1255: 1254: 1253: 1211: 1209: 1208: 1203: 1201: 1197: 1196: 1195: 1153: 1151: 1150: 1145: 1143: 1142: 1137: 1128: 1095: 1071: 1055: 1031: 930: 916: 895: 893: 892: 887: 876: 875: 859: 857: 856: 851: 819: 818: 802: 800: 799: 794: 782: 780: 779: 774: 744: 742: 741: 736: 725: 724: 687: 685: 684: 679: 671: 670: 654: 652: 651: 646: 638: 637: 621: 619: 618: 613: 583: 581: 580: 575: 561: 560: 544: 542: 541: 536: 460: 458: 457: 452: 434: 432: 431: 426: 384: 382: 381: 376: 318: 316: 315: 310: 180: 174: 173: 170: 169: 166: 163: 160: 157: 154: 151: 148: 145: 142: 130: 123: 122: 119: 118: 115: 112: 109: 106: 103: 100: 97: 94: 81: 76: 75: 70: 65: 21:Homotopic groups 5972: 5971: 5967: 5966: 5965: 5963: 5962: 5961: 5947:Homotopy theory 5937: 5936: 5935: 5930: 5861: 5843: 5839:Urysohn's lemma 5800: 5764: 5650: 5641: 5613:low-dimensional 5571: 5566: 5531: 5500: 5482: 5476: 5460: 5455: 5440: 5424: 5420: 5363: 5359: 5338: 5334: 5319: 5305: 5301: 5282:Wayback Machine 5275: 5271: 5256: 5242: 5238: 5225: 5224: 5220: 5211: 5209: 5201: 5200: 5196: 5186: 5184: 5174: 5173: 5169: 5159: 5157: 5153: 5152: 5148: 5144: 5106: 5053: 5049: 5047: 5044: 5043: 5004: 5001: 5000: 4950: 4947: 4946: 4933:by mappings of 4923:homology theory 4892: 4881: 4871: 4861: 4851: 4844:homotopy groups 4805: 4795: 4785: 4775: 4770:are the same: H 4768:homology groups 4711:category theory 4707: 4701: 4670: 4667: 4666: 4663:homotopy groups 4639: 4635: 4615: 4612: 4611: 4594: 4590: 4588: 4585: 4584: 4564: 4560: 4545: 4541: 4539: 4536: 4535: 4515: 4511: 4491: 4488: 4487: 4459: 4455: 4435: 4432: 4431: 4385: 4382: 4381: 4378: 4372: 4340: 4335: 4328: 4318: 4317: 4311: 4300: 4293: 4290: 4283: 4277: 4271: 4264: 4258: 4251: 4250: 4239: 4234: 4220: 4217: 4211: 4206: 4178:timelike curves 4162: 4148: 4141: 4134: 4127: 4119:ambient isotopy 4116: 4105: 4081: 4074: 4006:) = 2 3941:ambient isotopy 3890: 3889: 3888: 3887: 3875: 3874: 3873: 3865: 3864: 3853: 3801: 3791: 3760: 3738: 3687: 3682: 3658: 3652: 3638: 3636: 3621: 3617: 3606: 3601:homotopy groups 3556:The (singular) 3549:if and only if 3535:if and only if 3506: 3485: 3482: 3481: 3465: 3462: 3461: 3442: 3439: 3438: 3422: 3419: 3418: 3401: 3397: 3395: 3392: 3391: 3372: 3369: 3368: 3351: 3347: 3345: 3342: 3341: 3322: 3319: 3318: 3298: 3295: 3294: 3274: 3271: 3270: 3267: 3238: 3235: 3234: 3215: 3210: 3207: 3206: 3187: 3184: 3183: 3164: 3161: 3160: 3119: 3114: 3113: 3080: 3075: 3074: 3062: 3057: 3056: 3054: 3051: 3050: 3033: 3028: 3027: 3018: 3013: 3012: 3010: 3007: 3006: 2978: 2975: 2974: 2945: 2941: 2932: 2927: 2926: 2917: 2912: 2911: 2909: 2906: 2905: 2876: 2871: 2870: 2868: 2865: 2864: 2841: 2837: 2816: 2811: 2810: 2802: 2799: 2798: 2781: 2777: 2775: 2772: 2771: 2743: 2740: 2739: 2708: 2704: 2683: 2678: 2677: 2675: 2672: 2671: 2639: 2634: 2633: 2631: 2628: 2627: 2606: 2602: 2600: 2597: 2596: 2574: 2569: 2568: 2567: 2563: 2536: 2532: 2503: 2500: 2499: 2482: 2477: 2476: 2474: 2471: 2470: 2453: 2449: 2447: 2444: 2443: 2424: 2419: 2418: 2417: 2413: 2411: 2408: 2407: 2390: 2385: 2384: 2375: 2370: 2369: 2355: 2352: 2351: 2322: 2317: 2316: 2314: 2311: 2310: 2293: 2288: 2287: 2285: 2282: 2281: 2277: 2254: 2244: ∘  2240: 2238: 2228: ∘  2224: 2217: 2191:are said to be 2182: 2172: ∘  2168: 2166: 2152: ∘  2148: 2134: 2120: 2094: 2073: 2072: 2044: 2026: 2025: 2019: 2015: 2008: 1984: 1980: 1970: 1968: 1965: 1964: 1936: 1935: 1911: 1910: 1906: 1904: 1901: 1900: 1880: 1876: 1867: 1863: 1848: 1847: 1843: 1841: 1838: 1837: 1797: 1792: 1791: 1784: 1780: 1771: 1767: 1765: 1762: 1761: 1760:; i.e. the set 1732: 1728: 1719: 1715: 1704: 1700: 1699: 1695: 1693: 1690: 1689: 1671: 1670: 1615: 1597: 1596: 1586: 1543: 1541: 1538: 1537: 1528:linear homotopy 1477: 1474: 1473: 1470:Euclidean space 1448: 1443: 1442: 1434: 1431: 1430: 1405: 1401: 1389: 1385: 1363: 1359: 1336: 1333: 1332: 1315: 1310: 1309: 1283: 1275: 1272: 1271: 1270:, then the map 1249: 1245: 1238: 1234: 1217: 1214: 1213: 1191: 1187: 1180: 1176: 1159: 1156: 1155: 1138: 1133: 1132: 1124: 1110: 1107: 1106: 1102: 1086: 1080: ∘  1079: 1073: 1070: 1064: ∘  1063: 1057: 1046: 1039: 1033: 1022: 1015: 1009: 970: 951: 926: 912: 871: 867: 865: 862: 861: 814: 810: 808: 805: 804: 788: 785: 784: 750: 747: 746: 720: 716: 696: 693: 692: 666: 662: 660: 657: 656: 633: 629: 627: 624: 623: 589: 586: 585: 556: 552: 550: 547: 546: 512: 509: 508: 440: 437: 436: 390: 387: 386: 340: 337: 336: 274: 271: 270: 221: 186:homotopy groups 178: 139: 135: 128: 91: 87: 30:The two dashed 24: 17: 12: 11: 5: 5970: 5960: 5959: 5954: 5949: 5932: 5931: 5929: 5928: 5918: 5917: 5916: 5911: 5906: 5891: 5881: 5871: 5859: 5848: 5845: 5844: 5842: 5841: 5836: 5831: 5826: 5821: 5816: 5810: 5808: 5802: 5801: 5799: 5798: 5793: 5788: 5786:Winding number 5783: 5778: 5772: 5770: 5766: 5765: 5763: 5762: 5757: 5752: 5747: 5742: 5737: 5732: 5727: 5726: 5725: 5720: 5718:homotopy group 5710: 5709: 5708: 5703: 5698: 5693: 5688: 5678: 5673: 5668: 5658: 5656: 5652: 5651: 5644: 5642: 5640: 5639: 5634: 5629: 5628: 5627: 5617: 5616: 5615: 5605: 5600: 5595: 5590: 5585: 5579: 5577: 5573: 5572: 5565: 5564: 5557: 5550: 5542: 5536: 5535: 5529: 5516: 5498: 5480: 5474: 5466:Basic Topology 5459: 5456: 5454: 5453: 5438: 5418: 5357: 5332: 5317: 5299: 5269: 5254: 5236: 5218: 5194: 5167: 5145: 5143: 5140: 5139: 5138: 5133: 5128: 5123: 5118: 5113: 5105: 5102: 5090:omega-spectrum 5073: 5070: 5067: 5064: 5061: 5056: 5052: 5023: 5020: 5017: 5014: 5011: 5008: 4981: 4978: 4975: 4972: 4969: 4966: 4963: 4960: 4957: 4954: 4891: 4888: 4877: 4867: 4857: 4847: 4824:path connected 4801: 4791: 4781: 4771: 4703:Main article: 4700: 4697: 4680: 4677: 4674: 4665:. In the case 4647: 4642: 4638: 4634: 4631: 4628: 4625: 4622: 4619: 4597: 4593: 4572: 4567: 4563: 4559: 4556: 4553: 4548: 4544: 4523: 4518: 4514: 4510: 4507: 4504: 4501: 4498: 4495: 4462: 4458: 4454: 4451: 4448: 4445: 4442: 4439: 4407: 4404: 4401: 4398: 4395: 4392: 4389: 4376:Homotopy group 4374:Main article: 4371: 4368: 4309: 4298: 4288: 4275: 4256: 4213:Main article: 4210: 4207: 4205: 4202: 4161: 4158: 4154:smooth isotopy 4146: 4139: 4132: 4125: 4114: 4103: 4079: 4072: 4045:, − 3877: 3876: 3867: 3866: 3858: 3857: 3856: 3855: 3854: 3852: 3849: 3686: 3683: 3681: 3678: 3666: 3665: 3656: 3634: 3619: 3615: 3604: 3577: 3554: 3540: 3533:path-connected 3505: 3502: 3489: 3469: 3446: 3426: 3404: 3400: 3376: 3354: 3350: 3326: 3302: 3291:null-homotopic 3289:is said to be 3278: 3266: 3263: 3262: 3261: 3254: 3242: 3222: 3218: 3214: 3204:quotient space 3191: 3168: 3157: 3145: 3142: 3139: 3136: 3133: 3128: 3125: 3122: 3117: 3112: 3109: 3106: 3103: 3100: 3097: 3094: 3089: 3086: 3083: 3078: 3073: 3070: 3065: 3060: 3036: 3031: 3026: 3021: 3016: 2994: 2991: 2988: 2985: 2982: 2960: 2957: 2954: 2951: 2948: 2944: 2940: 2935: 2930: 2925: 2920: 2915: 2903: 2896: 2882: 2879: 2874: 2850: 2847: 2844: 2840: 2836: 2833: 2830: 2827: 2824: 2819: 2814: 2809: 2806: 2784: 2780: 2759: 2756: 2753: 2750: 2747: 2733: 2732: 2731: 2717: 2714: 2711: 2707: 2703: 2700: 2697: 2694: 2691: 2686: 2681: 2656: 2653: 2650: 2647: 2642: 2637: 2609: 2605: 2593: 2577: 2572: 2566: 2562: 2559: 2556: 2553: 2550: 2547: 2544: 2539: 2535: 2531: 2528: 2525: 2522: 2519: 2516: 2513: 2510: 2507: 2485: 2480: 2456: 2452: 2427: 2422: 2416: 2393: 2388: 2383: 2378: 2373: 2368: 2365: 2362: 2359: 2339: 2336: 2333: 2330: 2325: 2320: 2296: 2291: 2276: 2273: 2272: 2271: 2264: 2250: 2249:is equal to id 2234: 2216: 2213: 2178: 2162: 2093: 2090: 2089: 2088: 2087: 2086: 2071: 2068: 2065: 2062: 2059: 2056: 2053: 2050: 2047: 2045: 2043: 2040: 2037: 2034: 2031: 2028: 2027: 2022: 2018: 2014: 2011: 2009: 2007: 2004: 2001: 1998: 1995: 1992: 1987: 1983: 1979: 1976: 1973: 1972: 1943: 1940: 1934: 1931: 1928: 1925: 1918: 1915: 1909: 1883: 1879: 1875: 1870: 1866: 1862: 1855: 1852: 1846: 1824: 1820: 1817: 1814: 1811: 1808: 1805: 1800: 1795: 1790: 1787: 1783: 1779: 1774: 1770: 1735: 1731: 1727: 1722: 1718: 1714: 1707: 1703: 1698: 1686: 1685: 1684: 1669: 1666: 1663: 1660: 1657: 1654: 1651: 1648: 1645: 1642: 1639: 1636: 1633: 1630: 1627: 1624: 1621: 1618: 1616: 1614: 1611: 1608: 1605: 1602: 1599: 1598: 1595: 1592: 1589: 1587: 1585: 1582: 1579: 1576: 1573: 1570: 1567: 1564: 1561: 1558: 1555: 1552: 1549: 1546: 1545: 1511: 1508: 1505: 1502: 1499: 1496: 1493: 1490: 1487: 1484: 1481: 1451: 1446: 1441: 1438: 1427: 1414: 1408: 1404: 1400: 1397: 1392: 1388: 1384: 1381: 1378: 1375: 1372: 1369: 1366: 1362: 1358: 1355: 1352: 1349: 1346: 1343: 1340: 1318: 1313: 1308: 1305: 1302: 1299: 1296: 1293: 1290: 1286: 1282: 1279: 1258: 1252: 1248: 1244: 1241: 1237: 1233: 1230: 1227: 1224: 1221: 1200: 1194: 1190: 1186: 1183: 1179: 1175: 1172: 1169: 1166: 1163: 1141: 1136: 1131: 1127: 1123: 1120: 1117: 1114: 1101: 1098: 1084: 1077: 1068: 1061: 1044: 1037: 1020: 1013: 969: 966: 947: 921:is the torus, 885: 882: 879: 874: 870: 849: 846: 843: 840: 837: 834: 831: 828: 825: 822: 817: 813: 792: 772: 769: 766: 763: 760: 757: 754: 734: 731: 728: 723: 719: 715: 712: 709: 706: 703: 700: 677: 674: 669: 665: 644: 641: 636: 632: 611: 608: 605: 602: 599: 596: 593: 573: 570: 567: 564: 559: 555: 534: 531: 528: 525: 522: 519: 516: 450: 447: 444: 424: 421: 418: 415: 412: 409: 406: 403: 400: 397: 394: 374: 371: 368: 365: 362: 359: 356: 353: 350: 347: 344: 308: 305: 302: 299: 296: 293: 290: 287: 284: 281: 278: 220: 217: 42:, a branch of 15: 9: 6: 4: 3: 2: 5969: 5958: 5955: 5953: 5950: 5948: 5945: 5944: 5942: 5927: 5919: 5915: 5912: 5910: 5907: 5905: 5902: 5901: 5900: 5892: 5890: 5886: 5882: 5880: 5876: 5872: 5870: 5865: 5860: 5858: 5850: 5849: 5846: 5840: 5837: 5835: 5832: 5830: 5827: 5825: 5822: 5820: 5817: 5815: 5812: 5811: 5809: 5807: 5803: 5797: 5796:Orientability 5794: 5792: 5789: 5787: 5784: 5782: 5779: 5777: 5774: 5773: 5771: 5767: 5761: 5758: 5756: 5753: 5751: 5748: 5746: 5743: 5741: 5738: 5736: 5733: 5731: 5728: 5724: 5721: 5719: 5716: 5715: 5714: 5711: 5707: 5704: 5702: 5699: 5697: 5694: 5692: 5689: 5687: 5684: 5683: 5682: 5679: 5677: 5674: 5672: 5669: 5667: 5663: 5660: 5659: 5657: 5653: 5648: 5638: 5635: 5633: 5632:Set-theoretic 5630: 5626: 5623: 5622: 5621: 5618: 5614: 5611: 5610: 5609: 5606: 5604: 5601: 5599: 5596: 5594: 5593:Combinatorial 5591: 5589: 5586: 5584: 5581: 5580: 5578: 5574: 5570: 5563: 5558: 5556: 5551: 5549: 5544: 5543: 5540: 5532: 5526: 5522: 5517: 5513: 5509: 5508: 5503: 5499: 5495: 5491: 5490: 5485: 5481: 5477: 5471: 5467: 5462: 5461: 5449: 5445: 5441: 5439:0-89871-544-X 5435: 5431: 5430: 5422: 5414: 5410: 5406: 5402: 5398: 5394: 5390: 5386: 5381: 5380:gr-qc/0609054 5376: 5372: 5368: 5361: 5352: 5351: 5346: 5343: 5336: 5328: 5324: 5320: 5318:9780521795401 5314: 5310: 5303: 5295: 5294: 5289: 5283: 5279: 5273: 5265: 5261: 5257: 5255:9780521795401 5251: 5247: 5240: 5232: 5228: 5222: 5208: 5204: 5198: 5183: 5182: 5177: 5171: 5156: 5150: 5146: 5137: 5134: 5132: 5129: 5127: 5124: 5122: 5119: 5117: 5114: 5111: 5108: 5107: 5101: 5099: 5095: 5091: 5087: 5068: 5065: 5062: 5054: 5050: 5041: 5037: 5018: 5015: 5012: 5006: 4999: 4995: 4973: 4970: 4967: 4961: 4958: 4955: 4944: 4940: 4936: 4932: 4928: 4924: 4919: 4917: 4913: 4909: 4905: 4901: 4897: 4887: 4885: 4880: 4875: 4870: 4865: 4860: 4855: 4850: 4845: 4841: 4837: 4833: 4829: 4825: 4821: 4817: 4813: 4809: 4804: 4799: 4794: 4789: 4784: 4779: 4774: 4769: 4765: 4761: 4757: 4753: 4749: 4745: 4741: 4737: 4732: 4730: 4726: 4722: 4718: 4717: 4712: 4706: 4696: 4694: 4678: 4675: 4672: 4664: 4659: 4640: 4632: 4629: 4626: 4595: 4591: 4565: 4561: 4557: 4554: 4546: 4542: 4516: 4508: 4505: 4502: 4486: 4482: 4478: 4460: 4452: 4449: 4446: 4440: 4437: 4429: 4425: 4421: 4405: 4399: 4396: 4393: 4390: 4387: 4377: 4367: 4365: 4361: 4356: 4354: 4348: 4343: 4338: 4331: 4326: 4321: 4315: 4308: 4304: 4296: 4286: 4281: 4274: 4267: 4262: 4254: 4247: 4242: 4237: 4231: 4227: 4223: 4216: 4201: 4199: 4195: 4191: 4187: 4183: 4179: 4175: 4171: 4167: 4157: 4155: 4150: 4145: 4138: 4131: 4124: 4120: 4113: 4109: 4102: 4098: 4094: 4089: 4085: 4078: 4071: 4067: 4063: 4058: 4056: 4052: 4048: 4044: 4040: 4036: 4032: 4028: 4024: 4020: 4015: 4013: 4010: −  4009: 4005: 4001: 3997: 3993: 3989: 3985: 3981: 3977: 3973: 3969: 3965: 3961: 3957: 3953: 3949: 3944: 3942: 3937: 3935: 3931: 3927: 3923: 3919: 3915: 3911: 3907: 3903: 3899: 3895: 3885: 3881: 3871: 3862: 3848: 3846: 3842: 3838: 3834: 3830: 3826: 3822: 3818: 3814: 3810: 3804: 3798: 3794: 3787: 3783: 3779: 3775: 3771: 3767: 3763: 3758: 3754: 3749: 3745: 3741: 3736: 3732: 3728: 3724: 3720: 3716: 3712: 3708: 3704: 3700: 3696: 3692: 3677: 3675: 3671: 3662: 3655: 3649: 3645: 3641: 3633: 3629: 3625: 3614: 3610: 3602: 3598: 3594: 3590: 3586: 3582: 3578: 3575: 3571: 3567: 3563: 3559: 3555: 3552: 3548: 3544: 3541: 3538: 3534: 3530: 3527: 3526: 3525: 3523: 3519: 3515: 3511: 3501: 3487: 3467: 3458: 3444: 3424: 3402: 3398: 3390: 3374: 3367:to any space 3352: 3348: 3340: 3324: 3316: 3315:null-homotopy 3300: 3292: 3276: 3265:Null-homotopy 3259: 3255: 3240: 3220: 3216: 3212: 3205: 3189: 3182: 3166: 3158: 3137: 3131: 3126: 3123: 3120: 3098: 3092: 3087: 3084: 3081: 3068: 3063: 3034: 3024: 3019: 3005:, by writing 2992: 2989: 2986: 2983: 2980: 2958: 2955: 2952: 2949: 2946: 2942: 2938: 2933: 2923: 2918: 2904: 2901: 2900:vector bundle 2897: 2880: 2877: 2848: 2845: 2842: 2838: 2828: 2822: 2817: 2807: 2804: 2782: 2778: 2757: 2751: 2748: 2745: 2738: 2734: 2715: 2712: 2709: 2705: 2701: 2695: 2689: 2684: 2669: 2668: 2651: 2645: 2640: 2625: 2607: 2603: 2594: 2575: 2564: 2560: 2554: 2551: 2548: 2542: 2537: 2533: 2529: 2526: 2523: 2517: 2514: 2511: 2505: 2483: 2454: 2450: 2425: 2414: 2391: 2376: 2366: 2363: 2360: 2357: 2334: 2328: 2323: 2294: 2279: 2278: 2269: 2265: 2262: 2258: 2257: 2256: 2253: 2247: 2243: 2237: 2231: 2227: 2222: 2221:homeomorphism 2212: 2210: 2206: 2202: 2198: 2197:homotopy type 2194: 2190: 2186: 2181: 2175: 2171: 2165: 2160: 2155: 2151: 2145: 2141: 2137: 2131: 2127: 2123: 2119: 2115: 2111: 2107: 2103: 2099: 2069: 2066: 2060: 2057: 2054: 2046: 2038: 2035: 2032: 2020: 2016: 2010: 2002: 1999: 1996: 1990: 1985: 1981: 1977: 1974: 1963: 1962: 1960: 1938: 1932: 1926: 1913: 1907: 1899: 1881: 1877: 1868: 1864: 1860: 1850: 1844: 1822: 1818: 1815: 1809: 1803: 1798: 1788: 1785: 1781: 1777: 1772: 1768: 1759: 1755: 1751: 1733: 1729: 1720: 1716: 1712: 1705: 1701: 1696: 1687: 1667: 1661: 1655: 1652: 1649: 1643: 1637: 1631: 1628: 1625: 1617: 1609: 1606: 1603: 1593: 1588: 1580: 1577: 1574: 1568: 1562: 1559: 1556: 1550: 1547: 1536: 1535: 1533: 1529: 1525: 1509: 1500: 1497: 1494: 1488: 1485: 1482: 1479: 1471: 1467: 1449: 1439: 1436: 1428: 1412: 1406: 1402: 1398: 1395: 1390: 1386: 1379: 1376: 1373: 1367: 1364: 1360: 1356: 1350: 1347: 1344: 1338: 1316: 1300: 1297: 1294: 1288: 1280: 1277: 1256: 1250: 1246: 1242: 1239: 1235: 1231: 1225: 1219: 1198: 1192: 1188: 1184: 1181: 1177: 1173: 1167: 1161: 1154:are given by 1139: 1121: 1118: 1115: 1112: 1104: 1103: 1097: 1094: 1090: 1083: 1076: 1067: 1060: 1054: 1050: 1043: 1036: 1030: 1026: 1019: 1012: 1007: 1003: 999: 995: 991: 987: 983: 979: 975: 965: 963: 959: 955: 950: 946: 942: 938: 934: 929: 924: 920: 915: 910: 906: 902: 897: 880: 872: 868: 844: 841: 838: 832: 829: 823: 815: 811: 790: 767: 764: 761: 755: 752: 729: 721: 717: 707: 704: 701: 691: 675: 672: 667: 663: 642: 639: 634: 630: 606: 603: 600: 594: 591: 571: 565: 562: 557: 553: 532: 526: 523: 520: 517: 514: 505: 503: 499: 495: 491: 487: 483: 479: 475: 472:as time then 471: 467: 462: 448: 445: 442: 419: 413: 410: 404: 401: 398: 392: 369: 363: 360: 354: 351: 348: 342: 334: 330: 329:unit interval 326: 323:of the space 322: 306: 297: 294: 291: 285: 282: 279: 276: 269: 265: 261: 257: 253: 250: 242: 238: 234: 230: 225: 216: 214: 210: 206: 201: 199: 195: 191: 187: 183: 182: 172: 133: 132: 121: 85: 80: 69: 61: 60:Ancient Greek 57: 53: 49: 45: 41: 33: 28: 22: 5926:Publications 5791:Chern number 5781:Betti number 5712: 5664: / 5655:Key concepts 5603:Differential 5523:. Springer. 5520: 5505: 5487: 5468:. Springer. 5465: 5428: 5421: 5370: 5366: 5360: 5348: 5335: 5308: 5302: 5291: 5278:Ghostarchive 5276:Archived at 5272: 5245: 5239: 5230: 5221: 5210:. Retrieved 5206: 5197: 5185:. Retrieved 5179: 5170: 5158:. Retrieved 5149: 5097: 5085: 5035: 4996:to the  4993: 4942: 4938: 4934: 4930: 4920: 4893: 4890:Applications 4883: 4878: 4873: 4868: 4863: 4858: 4853: 4848: 4839: 4835: 4831: 4827: 4819: 4815: 4811: 4807: 4802: 4797: 4792: 4787: 4782: 4777: 4772: 4763: 4759: 4751: 4747: 4743: 4739: 4735: 4733: 4724: 4720: 4714: 4708: 4660: 4480: 4479:with itself 4430:. If we fix 4427: 4423: 4379: 4364:cofibrations 4357: 4346: 4341: 4336: 4329: 4324: 4319: 4313: 4306: 4301:is called a 4294: 4284: 4279: 4272: 4265: 4260: 4252: 4245: 4240: 4235: 4233:and a cover 4229: 4225: 4221: 4218: 4176:between two 4163: 4153: 4151: 4143: 4136: 4129: 4122: 4111: 4107: 4100: 4096: 4092: 4076: 4069: 4059: 4054: 4046: 4042: 4041:) = (− 4038: 4034: 4030: 4026: 4016: 4011: 4007: 4003: 3999: 3995: 3991: 3987: 3983: 3979: 3975: 3971: 3967: 3963: 3959: 3955: 3951: 3947: 3945: 3938: 3933: 3929: 3925: 3921: 3917: 3913: 3905: 3901: 3897: 3893: 3891: 3884:trefoil knot 3844: 3840: 3836: 3832: 3824: 3820: 3816: 3808: 3802: 3796: 3792: 3785: 3781: 3777: 3773: 3769: 3765: 3761: 3756: 3752: 3747: 3743: 3739: 3734: 3730: 3726: 3722: 3714: 3710: 3706: 3702: 3698: 3694: 3688: 3667: 3660: 3653: 3647: 3643: 3639: 3631: 3627: 3623: 3612: 3608: 3596: 3592: 3584: 3580: 3569: 3565: 3550: 3542: 3536: 3528: 3521: 3517: 3513: 3507: 3459: 3314: 3290: 3268: 2770:with fibers 2737:fiber bundle 2268:Möbius strip 2251: 2245: 2241: 2235: 2229: 2225: 2218: 2209:contractible 2204: 2200: 2196: 2192: 2188: 2184: 2179: 2173: 2169: 2163: 2159:identity map 2153: 2149: 2147:, such that 2143: 2139: 2135: 2129: 2125: 2121: 2113: 2109: 2105: 2101: 2097: 2095: 1753: 1752:on the unit 1531: 1527: 1092: 1088: 1081: 1074: 1065: 1058: 1052: 1048: 1041: 1034: 1028: 1024: 1017: 1010: 1001: 997: 989: 985: 981: 977: 973: 971: 961: 957: 953: 948: 944: 940: 936: 932: 927: 922: 918: 913: 908: 904: 898: 506: 501: 497: 493: 489: 485: 481: 477: 476:describes a 473: 469: 463: 332: 324: 263: 259: 255: 251: 246: 236: 209:CW complexes 202: 192:, important 181:-moh-toh-pee 83: 55: 37: 5889:Wikiversity 5806:Key results 4758:induced by 4084:dimensional 4082:, in three- 4066:knot theory 4029:defined by 3954:) = − 3339:unit circle 3269:A function 1534:) given by 44:mathematics 5941:Categories 5735:CW complex 5676:Continuity 5666:Closed set 5625:cohomology 5484:"Homotopy" 5212:2019-08-17 5142:References 4945:, the set 4925:: one can 4866:) : π 4810:) for all 4790:) : H 4736:functorial 4353:fibrations 4334:such that 4270:such that 4204:Properties 3910:embeddings 3813:retraction 3759:such that 3746:× → 3574:isomorphic 3504:Invariance 3181:CW complex 1468:subset of 968:Properties 901:embeddings 688:, and the 622:such that 335:such that 229:embeddings 194:invariants 5914:geometric 5909:algebraic 5760:Cobordism 5696:Hausdorff 5691:connected 5608:Geometric 5598:Continuum 5588:Algebraic 5512:EMS Press 5494:EMS Press 5413:119707350 5405:0015-9018 5350:MathWorld 5345:"Isotopy" 5116:Homeotopy 4927:represent 4900:algebraic 4618:∂ 4543:π 4494:∂ 4403:→ 4397:: 4316:to a map 4088:embedding 4023:unit disc 3847:is used. 3807:Also, if 3637:)) where 3389:unit disk 3337:from the 3132:− 3124:− 3108:→ 3093:− 3085:− 3069:× 3025:− 2984:≤ 2956:− 2950:− 2939:≃ 2924:− 2846:− 2835:→ 2823:− 2805:π 2755:→ 2746:π 2713:− 2702:≃ 2690:− 2646:− 2561:⋅ 2552:− 2530:⋅ 2518:⋅ 2382:→ 2367:× 2329:≃ 2261:bijection 2058:− 2049:⟼ 2013:⟶ 1991:× 1942:→ 1917:→ 1874:→ 1854:→ 1816:≤ 1813:‖ 1807:‖ 1789:∈ 1726:→ 1629:− 1620:⟼ 1591:⟶ 1569:× 1507:→ 1440:⊆ 1377:− 1331:given by 1307:→ 1289:× 1130:→ 756:× 714:↦ 595:∈ 569:→ 530:→ 466:parameter 446:∈ 327:with the 319:from the 304:→ 286:× 56:homotopic 50:from one 5879:Wikibook 5857:Category 5745:Manifold 5713:Homotopy 5671:Interior 5662:Open set 5620:Homology 5569:Topology 5448:52377653 5327:45420394 5280:and the 5264:45420394 5187:22 April 5160:22 April 5104:See also 4583:, where 4485:boundary 4323: : 4263:→ 4259: : 4244:→ 4238: : 4224: : 4190:3-sphere 4170:timelike 4051:rotation 4037:,  4002:,  3932:,  3790:for all 3768:,  3751:between 3742: : 3680:Variants 3659:∈ 3642: : 3611:,  3558:homology 2973:for any 2624:1-sphere 2406:between 2275:Examples 2138: : 2124: : 2108:between 1100:Examples 1087: : 1047: : 1023: : 956:, where 435:for all 84:homotopy 40:topology 5904:general 5706:uniform 5686:compact 5637:Digital 5514:, 2001 5496:, 2001 5458:Sources 5385:Bibcode 5293:YouTube 5181:YouTube 4729:functor 4477:crossed 4192:can be 3914:isotopy 3851:Isotopy 3839:. When 1896:be the 1748:be the 984:taking 321:product 241:isotopy 231:of the 213:spectra 131:-tə-pee 5899:Topics 5701:metric 5576:Fields 5527:  5472:  5446:  5436:  5411:  5403:  5325:  5315:  5262:  5252:  5042:group 4713:. The 4370:Groups 4093:deform 3880:unknot 3719:subset 2898:Every 2626:) and 1959:origin 1836:. Let 1466:convex 58:(from 46:, two 5681:Space 5409:S2CID 5375:arXiv 4876:) → π 4856:) = π 4800:) → H 4780:) = H 4746:from 4164:On a 3815:from 3811:is a 3717:is a 3179:of a 2622:(the 1524:paths 1464:is a 484:into 235:into 233:torus 211:, or 79:tópos 74:τόπος 68:homós 32:paths 5525:ISBN 5470:ISBN 5444:OCLC 5434:ISBN 5401:ISSN 5323:OCLC 5313:ISBN 5260:OCLC 5250:ISBN 5189:2022 5162:2022 5038:-th 4902:and 4898:for 4838:and 4830:and 4818:and 4762:and 4742:and 4723:and 4426:and 4303:lift 4128:and 4075:and 3970:) = 3908:are 3896:and 3878:The 3823:and 3800:and 3780:) = 3772:) = 3755:and 3729:and 3713:and 3701:and 3595:and 3583:and 3572:are 3568:and 3560:and 3520:and 2990:< 2878:> 2735:Any 2442:and 2266:The 2203:and 2187:and 2167:and 2133:and 2118:maps 2112:and 2104:, a 2100:and 1758:disk 1688:Let 1530:(or 1522:are 1472:and 1212:and 1072:and 976:and 907:and 655:and 584:for 385:and 254:and 188:and 64:ὁμός 5393:doi 5100:. 4886:). 4750:to 4305:of 4142:to 4060:In 4025:in 3960:not 3958:is 3835:to 3831:of 3819:to 3805:∈ . 3721:of 3709:to 3591:of 3579:If 3564:of 3553:is. 3545:is 3539:is. 3531:is 3417:to 1105:If 1000:to 988:to 925:is 917:. 783:to 690:map 500:to 480:of 468:of 461:. 331:to 196:in 179:HOH 127:hə- 38:In 5943:: 5510:, 5504:, 5492:, 5486:, 5442:. 5407:. 5399:. 5391:. 5383:. 5371:38 5369:. 5347:. 5321:. 5290:. 5284:: 5258:. 5229:. 5205:. 5178:. 4918:. 4695:. 4658:. 4366:. 4355:. 4345:= 4339:○ 4282:○ 4278:= 4200:. 4156:. 4014:. 4008:yx 3943:. 3924:, 3795:∈ 3663:.) 3646:→ 3626:, 3256:A 2667:. 2565:id 2415:id 2219:A 2211:. 2161:id 2142:→ 2128:→ 1933::= 1778::= 1697:id 1174::= 1091:→ 1051:→ 1040:, 1027:→ 1016:, 931:, 903:, 215:. 207:, 200:. 175:, 168:iː 162:oʊ 153:oʊ 147:oʊ 134:; 129:MO 124:, 117:iː 62:: 5561:e 5554:t 5547:v 5533:. 5478:. 5450:. 5415:. 5395:: 5387:: 5377:: 5353:. 5329:. 5296:. 5266:. 5233:. 5215:. 5191:. 5164:. 5098:G 5086:X 5072:) 5069:G 5066:, 5063:X 5060:( 5055:n 5051:H 5036:n 5022:) 5019:n 5016:, 5013:G 5010:( 5007:K 4994:X 4980:] 4977:) 4974:n 4971:, 4968:G 4965:( 4962:K 4959:, 4956:X 4953:[ 4943:X 4939:G 4935:X 4931:X 4884:Y 4882:( 4879:n 4874:X 4872:( 4869:n 4864:g 4862:( 4859:n 4854:f 4852:( 4849:n 4840:g 4836:f 4832:g 4828:f 4820:Y 4816:X 4812:n 4808:Y 4806:( 4803:n 4798:X 4796:( 4793:n 4788:g 4786:( 4783:n 4778:f 4776:( 4773:n 4764:g 4760:f 4752:Y 4748:X 4744:g 4740:f 4725:Y 4721:X 4679:1 4676:= 4673:n 4646:) 4641:n 4637:] 4633:1 4630:, 4627:0 4624:[ 4621:( 4596:0 4592:y 4571:) 4566:0 4562:y 4558:, 4555:Y 4552:( 4547:n 4522:) 4517:n 4513:] 4509:1 4506:, 4503:0 4500:[ 4497:( 4481:n 4461:n 4457:] 4453:1 4450:, 4447:0 4444:[ 4441:= 4438:X 4428:Y 4424:X 4406:Y 4400:X 4394:g 4391:, 4388:f 4349:. 4347:H 4342:H 4337:p 4330:Y 4325:X 4320:H 4314:H 4310:0 4307:h 4299:0 4295:h 4292:( 4289:0 4285:h 4280:p 4276:0 4273:H 4266:Y 4261:X 4257:0 4253:h 4246:Y 4241:Y 4236:p 4230:Y 4226:X 4222:H 4147:2 4144:K 4140:1 4137:K 4133:2 4130:K 4126:1 4123:K 4115:2 4112:K 4108:t 4104:1 4101:K 4097:t 4080:2 4077:K 4073:1 4070:K 4055:f 4047:y 4043:x 4039:y 4035:x 4033:( 4031:f 4027:R 4012:x 4004:y 4000:x 3998:( 3996:H 3992:H 3988:f 3984:g 3980:f 3976:f 3972:x 3968:x 3966:( 3964:g 3956:x 3952:x 3950:( 3948:f 3934:t 3930:x 3928:( 3926:H 3922:t 3918:H 3906:Y 3902:X 3898:g 3894:f 3841:K 3837:K 3833:X 3825:f 3821:K 3817:X 3809:g 3803:t 3797:K 3793:k 3788:) 3786:k 3784:( 3782:g 3778:k 3776:( 3774:f 3770:t 3766:k 3764:( 3762:H 3757:g 3753:f 3748:Y 3744:X 3740:H 3735:K 3731:g 3727:f 3723:X 3715:K 3711:Y 3707:X 3703:g 3699:f 3661:X 3657:0 3654:x 3648:Y 3644:X 3640:f 3635:0 3632:x 3630:( 3628:f 3624:Y 3622:( 3620:1 3616:0 3613:x 3609:X 3607:( 3605:1 3597:Y 3593:X 3585:Y 3581:X 3576:. 3570:Y 3566:X 3551:Y 3543:X 3537:Y 3529:X 3522:Y 3518:X 3488:X 3468:X 3445:f 3425:X 3403:2 3399:D 3375:X 3353:1 3349:S 3325:f 3301:f 3277:f 3253:. 3241:X 3221:A 3217:/ 3213:X 3190:X 3167:A 3144:) 3141:} 3138:0 3135:{ 3127:k 3121:n 3116:R 3111:( 3105:) 3102:} 3099:0 3096:{ 3088:k 3082:n 3077:R 3072:( 3064:k 3059:R 3035:k 3030:R 3020:n 3015:R 2993:n 2987:k 2981:0 2959:1 2953:k 2947:n 2943:S 2934:k 2929:R 2919:n 2914:R 2895:. 2881:0 2873:R 2849:1 2843:n 2839:S 2832:} 2829:0 2826:{ 2818:n 2813:R 2808:: 2783:b 2779:F 2758:B 2752:E 2749:: 2730:. 2716:1 2710:n 2706:S 2699:} 2696:0 2693:{ 2685:n 2680:R 2655:} 2652:0 2649:{ 2641:2 2636:R 2608:1 2604:S 2592:. 2576:n 2571:R 2558:) 2555:t 2549:1 2546:( 2543:+ 2538:0 2534:p 2527:t 2524:= 2521:) 2515:, 2512:t 2509:( 2506:H 2484:n 2479:R 2455:0 2451:p 2426:n 2421:R 2392:n 2387:R 2377:n 2372:R 2364:I 2361:: 2358:H 2338:} 2335:0 2332:{ 2324:n 2319:R 2295:n 2290:R 2252:Y 2246:g 2242:f 2236:X 2230:f 2226:g 2205:Y 2201:X 2189:Y 2185:X 2180:Y 2174:g 2170:f 2164:X 2154:f 2150:g 2144:X 2140:Y 2136:g 2130:Y 2126:X 2122:f 2114:Y 2110:X 2102:Y 2098:X 2070:. 2067:x 2064:) 2061:t 2055:1 2052:( 2042:) 2039:t 2036:, 2033:x 2030:( 2021:n 2017:B 2006:] 2003:1 2000:, 1997:0 1994:[ 1986:n 1982:B 1978:: 1975:H 1939:0 1930:) 1927:x 1924:( 1914:0 1908:c 1882:n 1878:B 1869:n 1865:B 1861:: 1851:0 1845:c 1823:} 1819:1 1810:x 1804:: 1799:n 1794:R 1786:x 1782:{ 1773:n 1769:B 1756:- 1754:n 1734:n 1730:B 1721:n 1717:B 1713:: 1706:n 1702:B 1668:. 1665:) 1662:s 1659:( 1656:g 1653:t 1650:+ 1647:) 1644:s 1641:( 1638:f 1635:) 1632:t 1626:1 1623:( 1613:) 1610:t 1607:, 1604:s 1601:( 1594:C 1584:] 1581:1 1578:, 1575:0 1572:[ 1566:] 1563:1 1560:, 1557:0 1554:[ 1551:: 1548:H 1510:C 1504:] 1501:1 1498:, 1495:0 1492:[ 1489:: 1486:g 1483:, 1480:f 1450:n 1445:R 1437:C 1413:) 1407:x 1403:e 1399:t 1396:+ 1391:3 1387:x 1383:) 1380:t 1374:1 1371:( 1368:, 1365:x 1361:( 1357:= 1354:) 1351:t 1348:, 1345:x 1342:( 1339:H 1317:2 1312:R 1304:] 1301:1 1298:, 1295:0 1292:[ 1285:R 1281:: 1278:H 1257:) 1251:x 1247:e 1243:, 1240:x 1236:( 1232:= 1229:) 1226:x 1223:( 1220:g 1199:) 1193:3 1189:x 1185:, 1182:x 1178:( 1171:) 1168:x 1165:( 1162:f 1140:2 1135:R 1126:R 1122:: 1119:g 1116:, 1113:f 1093:Z 1089:X 1085:1 1082:g 1078:2 1075:g 1069:1 1066:f 1062:2 1059:f 1053:Z 1049:Y 1045:2 1042:g 1038:2 1035:f 1029:Y 1025:X 1021:1 1018:g 1014:1 1011:f 1002:Y 998:X 990:g 986:f 982:H 978:g 974:f 962:t 958:t 954:t 949:t 945:h 941:g 937:R 933:f 928:R 923:Y 919:X 914:R 909:g 905:f 884:) 881:x 878:( 873:t 869:h 848:) 845:t 842:, 839:x 836:( 833:H 830:= 827:) 824:x 821:( 816:t 812:h 791:Y 771:] 768:1 765:, 762:0 759:[ 753:X 733:) 730:x 727:( 722:t 718:h 711:) 708:t 705:, 702:x 699:( 676:g 673:= 668:1 664:h 643:f 640:= 635:0 631:h 610:] 607:1 604:, 601:0 598:[ 592:t 572:Y 566:X 563:: 558:t 554:h 533:Y 527:X 524:: 521:g 518:, 515:f 502:g 498:f 494:g 490:f 486:g 482:f 474:H 470:H 449:X 443:x 423:) 420:x 417:( 414:g 411:= 408:) 405:1 402:, 399:x 396:( 393:H 373:) 370:x 367:( 364:f 361:= 358:) 355:0 352:, 349:x 346:( 343:H 333:Y 325:X 307:Y 301:] 298:1 295:, 292:0 289:[ 283:X 280:: 277:H 264:Y 260:X 256:g 252:f 243:. 237:R 171:/ 165:p 159:t 156:ˌ 150:m 144:h 141:ˈ 138:/ 120:/ 114:p 111:ə 108:t 105:ɒ 102:m 99:ˈ 96:ə 93:h 90:/ 86:( 23:.

Index

Homotopic groups

paths
topology
mathematics
continuous functions
topological space
Ancient Greek
/həˈmɒtəp/
hə-MO-tə-pee
/ˈhmˌtp/
HOH-moh-toh-pee
homotopy groups
cohomotopy groups
invariants
algebraic topology
compactly generated spaces
CW complexes
spectra

embeddings
torus
isotopy
continuous functions
continuous function
product
unit interval
parameter
map
embeddings

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