20:
329:
There is some disagreement about which definition is the "standard" definition of local contractibility; the first definition is more commonly used in geometric topology, especially historically, whereas the second definition fits better with the typical usage of the term "local" with respect to
268:
if it is locally contractible at every point. This definition is occasionally referred to as the "geometric topologist's locally contractible," though is the most common usage of the term. In
169:
is always contractible. Therefore any space can be embedded in a contractible one (which also illustrates that subspaces of contractible spaces need not be contractible).
314:
Strong local contractibility is a strictly stronger property than local contractibility; the counterexamples are sophisticated, the first being given by
291:
is contractible but not locally contractible (if it were, it would be locally connected which it is not). Locally contractible spaces are locally
371:
542:
272:
standard
Algebraic Topology text, this definition is referred to as "weakly locally contractible," though that term has other uses.
330:
topological properties. Care should always be taken regarding the definitions when interpreting results about these properties.
23:
Illustration of some contractible and non-contractible spaces. Spaces A, B, and C are contractible; spaces D, E, and F are not.
54:
to some constant map. Intuitively, a contractible space is one that can be continuously shrunk to a point within that space.
510:
476:
502:
422:
399:
is contractible (since it is a cone), but not locally contractible or even locally simply connected.
537:
300:
304:
234:
74:. Therefore any space with a nontrivial homotopy group cannot be contractible. Similarly, since
287:. Contractible spaces are not necessarily locally contractible nor vice versa. For example, the
385:
378:
425:
by an arc connecting (0,−1) and (1,sin(1)). It is a one-dimensional continuum whose
8:
389:
319:
181:
108:
351:
532:
506:
496:
472:
308:
203:. Moreover, since all the higher homotopy groups vanish, every contractible space is
75:
43:
32:
396:
200:
79:
340:
162:
426:
381:
is a standard example of a space which is contractible, but not intuitively so.
196:
177:
67:
526:
492:
468:
460:
418:
368:
269:
71:
63:
315:
439:
364:
344:
204:
28:
19:
407:
311:. The circle is (strongly) locally contractible but not contractible.
288:
276:
111:
onto a point. (However, there exist contractible spaces which do not
51:
403:
357:
96:
is contractible (i.e. the identity map is null-homotopic).
524:
279:of contractible neighborhoods, then we say that
333:
326:, C.R.. Acad. Sci. Paris 199 (1934), 110-112).
62:A contractible space is precisely one with the
414:contractible, but in general not contractible.
217:
360:of any finite dimension are not contractible.
429:are all trivial, but it is not contractible.
102:is homotopy equivalent to a one-point space.
442: – Mathematical topological manifold
324:Sur les rétractes absolus indécomposables
82:of a contractible space are all trivial.
18:
491:
459:
525:
16:Can be continuously shrunk to a point
66:of a point. It follows that all the
13:
89:the following are all equivalent:
85:For a non-empty topological space
14:
554:
50:is null-homotopic, i.e. if it is
543:Properties of topological spaces
421:is obtained by "closing up" the
115:deformation retract to a point.)
228:locally contractible at a point
485:
453:
1:
446:
299:≥ 0. In particular, they are
285:strongly locally contractible
118:For any path-connected space
78:is a homotopy invariant, the
57:
334:Examples and counterexamples
195:Every contractible space is
70:of a contractible space are
7:
433:
367:in an infinite-dimensional
343:is contractible, as is any
256:such that the inclusion of
218:Locally contractible spaces
10:
559:
503:Cambridge University Press
388:is contractible, but not
301:locally simply connected
244:there is a neighborhood
423:topologist's sine curve
80:reduced homology groups
305:locally path connected
24:
347:on a Euclidean space.
275:If every point has a
22:
379:house with two rooms
266:locally contractible
222:A topological space
109:deformation retracts
295:-connected for all
260:is nulhomotopic in
498:Algebraic Topology
352:Whitehead manifold
157:is null-homotopic.
25:
461:Munkres, James R.
309:locally connected
184:from the cone of
76:singular homology
33:topological space
550:
517:
516:
489:
483:
482:
467:(2nd ed.).
457:
397:Hawaiian earring
354:is contractible.
201:simply connected
176:is contractible
558:
557:
553:
552:
551:
549:
548:
547:
538:Homotopy theory
523:
522:
521:
520:
513:
490:
486:
479:
458:
454:
449:
436:
427:homotopy groups
372:is contractible
341:Euclidean space
336:
322:in their paper
220:
180:there exists a
122:, any two maps
68:homotopy groups
60:
17:
12:
11:
5:
556:
546:
545:
540:
535:
519:
518:
511:
493:Hatcher, Allen
484:
477:
451:
450:
448:
445:
444:
443:
435:
432:
431:
430:
415:
400:
395:The cone on a
393:
382:
375:
361:
355:
348:
335:
332:
264:. A space is
219:
216:
197:path connected
178:if and only if
159:
158:
141:For any space
139:
138:are homotopic.
116:
103:
97:
59:
56:
15:
9:
6:
4:
3:
2:
555:
544:
541:
539:
536:
534:
531:
530:
528:
514:
512:0-521-79540-0
508:
504:
500:
499:
494:
488:
480:
478:0-13-181629-2
474:
470:
469:Prentice Hall
466:
462:
456:
452:
441:
438:
437:
428:
424:
420:
419:Warsaw circle
416:
413:
409:
405:
401:
398:
394:
391:
387:
383:
380:
376:
373:
370:
369:Hilbert space
366:
362:
359:
356:
353:
349:
346:
342:
338:
337:
331:
327:
325:
321:
317:
312:
310:
306:
302:
298:
294:
290:
286:
282:
278:
273:
271:
267:
263:
259:
255:
252:contained in
251:
247:
243:
239:
236:
233:if for every
232:
229:
225:
215:
213:
209:
207:
202:
198:
193:
191:
187:
183:
179:
175:
172:Furthermore,
170:
168:
164:
156:
152:
148:
144:
140:
137:
133:
129:
125:
121:
117:
114:
110:
107:
104:
101:
98:
95:
92:
91:
90:
88:
83:
81:
77:
73:
69:
65:
64:homotopy type
55:
53:
49:
45:
41:
37:
34:
30:
21:
497:
487:
464:
455:
411:
408:CW complexes
328:
323:
320:Mazurkiewicz
313:
296:
292:
284:
280:
274:
265:
261:
257:
253:
249:
245:
241:
237:
235:neighborhood
230:
227:
223:
221:
211:
205:
194:
189:
185:
173:
171:
166:
160:
154:
150:
146:
142:
135:
131:
127:
123:
119:
112:
105:
99:
93:
86:
84:
61:
47:
44:identity map
40:contractible
39:
35:
26:
440:Fake 4-ball
390:collapsible
365:unit sphere
345:star domain
165:on a space
29:mathematics
527:Categories
447:References
289:comb space
277:local base
208:-connected
182:retraction
145:, any map
58:Properties
404:manifolds
386:Dunce hat
270:Hatcher's
52:homotopic
533:Topology
495:(2002).
465:Topology
463:(2000).
434:See also
210:for all
113:strongly
412:locally
358:Spheres
72:trivial
42:if the
509:
475:
316:Borsuk
307:, and
214:≥ 0.
507:ISBN
473:ISBN
417:The
410:are
406:and
402:All
384:The
377:The
363:The
350:The
339:Any
318:and
199:and
163:cone
161:The
31:, a
283:is
248:of
240:of
226:is
188:to
46:on
38:is
27:In
529::
505:.
501:.
471:.
303:,
192:.
153:→
149::
134:→
130::
515:.
481:.
392:.
374:.
297:n
293:n
281:X
262:U
258:V
254:U
250:x
246:V
242:x
238:U
231:x
224:X
212:n
206:n
190:X
186:X
174:X
167:X
155:X
151:Y
147:f
143:Y
136:Y
132:X
128:g
126:,
124:f
120:Y
106:X
100:X
94:X
87:X
48:X
36:X
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.