Knowledge (XXG)

Antoine's necklace

Source đź“ť

39: 25: 413: 307:). This construction can be used to show the existence of uncountably many embeddings of a disk or sphere into three-dimensional space, all inequivalent in terms of 538: 146:
Since the solid tori are chosen to become arbitrarily small as the iteration number increases, the connected components of
567: 304: 167: 572: 326: 408: 292: 475:
Brechner, Beverly L.; Mayer, John C. (1988), "Antoine's Necklace or How to Keep a Necklace from Falling Apart",
155: 422: 163: 38: 24: 285: 492: 440: 347: 332: 562: 534: 522: 458: 338: 329: â€“ Topological space that becomes totally disconnected with the removal of a single point 526: 484: 448: 430: 366: 73: 308: 159: 69: 426: 453: 556: 515: 386: 81: 103:(iteration 0). Next, construct a "necklace" of smaller, linked tori that lie inside 190: 77: 97: 57: 414:
Proceedings of the National Academy of Sciences of the United States of America
126:
This process can be repeated a countably infinite number of times to create an
530: 361: 320: 65: 356: 462: 249:
because we can simply move it through the gap intervals. However, the loop
435: 233:
because two loops cannot be continuously unlinked. Now consider any loop
350: â€“ open 3-manifold that is contractible, but not homeomorphic to RÂł 496: 444: 288:< 1, since the complement of such a set must be simply-connected. 488: 389:(1921), "Sur l'homeomorphisme de deux figures et leurs voisinages", 96:
Antoine's necklace is constructed iteratively like so: Begin with a
521:. Undergraduate Texts in Mathematics. Springer New York. pp.  170:. This is sufficient to conclude that as an abstract metric space 80:
are ambiently homeomorphic to each other. It was discovered by
115:
can be replaced with another smaller necklace as was done for
76:. It also serves as a counterexample to the claim that all 335: â€“ List of concrete topologies and topological spaces 229:
cannot be continuously shrunk to a point without touching
411:(1924), "Remarks on a Point Set Constructed by Antoine", 181:
is not ambiently homeomorphic to the standard Cantor set
16:
Embedding of Cantor set in 3-dimensional Euclidean space
343:
Pages displaying short descriptions of redirect targets
269:, which contradicts the previous statement. Therefore, 150:
must be single points. It is then easy to verify that
138:
is defined as the intersection of all the iterations.
352:
Pages displaying wikidata descriptions as a fallback
514: 193:. That is, there is no bi-continuous map from 209:. To show this, suppose there was such a map 8: 391:Journal de MathĂ©matiques Pures et AppliquĂ©es 245:can be shrunk to a point without touching 452: 434: 296: 341: â€“ Plane fractal built from squares 177:However, as a subset of Euclidean space 378: 323: â€“ Set of points on a line segment 225:that is interlocked with the necklace. 85: 276:In fact, there is no homeomorphism of 265:be shrunk to a point without touching 7: 111:(iteration 1). Each torus composing 174:is homeomorphic to the Cantor set. 64:is a topological embedding of the 14: 303:(similar to but not the same as 50:Renderings of Antoine's necklace 37: 23: 477:The College Mathematics Journal 291:Antoine's necklace was used by 513:Pugh, Charles Chapman (2002). 1: 168:cardinality of the continuum 293:James Waddell Alexander 589: 517:Real Mathematical Analysis 72:, whose complement is not 531:10.1007/978-0-387-21684-3 305:Alexander's horned sphere 301:Antoine's horned sphere 327:Knaster–Kuratowski fan 221:, and consider a loop 134:. Antoine's necklace 436:10.1073/pnas.10.1.10 164:totally disconnected 119:. Doing this yields 568:Eponyms in geometry 427:1924PNAS...10...10A 286:Hausdorff dimension 107:. This necklace is 573:1921 introductions 348:Whitehead manifold 333:List of topologies 62:Antoine's necklace 339:Sierpinski carpet 261:) is a loop that 82:Louis Antoine 68:in 3-dimensional 580: 544: 520: 500: 499: 472: 466: 465: 456: 438: 409:Alexander, J. W. 405: 399: 398: 383: 367:Hawaiian earring 353: 344: 74:simply connected 44:Second iteration 41: 27: 588: 587: 583: 582: 581: 579: 578: 577: 553: 552: 551: 541: 512: 509: 507:Further reading 504: 503: 489:10.2307/2686463 474: 473: 469: 407: 406: 402: 385: 384: 380: 375: 351: 342: 317: 309:ambient isotopy 299:) to construct 160:dense-in-itself 144: 123:(iteration 2). 94: 70:Euclidean space 54: 53: 52: 51: 47: 46: 45: 42: 33: 32: 31: 30:First iteration 28: 17: 12: 11: 5: 586: 584: 576: 575: 570: 565: 555: 554: 550: 549:External links 547: 546: 545: 539: 508: 505: 502: 501: 483:(4): 306–320, 467: 400: 387:Antoine, Louis 377: 376: 374: 371: 370: 369: 364: 359: 354: 345: 336: 330: 324: 316: 313: 273:cannot exist. 237:disjoint from 185:, embedded in 143: 140: 93: 90: 49: 48: 43: 36: 35: 34: 29: 22: 21: 20: 19: 18: 15: 13: 10: 9: 6: 4: 3: 2: 585: 574: 571: 569: 566: 564: 561: 560: 558: 548: 542: 540:9781441929419 536: 532: 528: 524: 519: 518: 511: 510: 506: 498: 494: 490: 486: 482: 478: 471: 468: 464: 460: 455: 450: 446: 442: 437: 432: 428: 424: 420: 416: 415: 410: 404: 401: 396: 392: 388: 382: 379: 372: 368: 365: 363: 360: 358: 355: 349: 346: 340: 337: 334: 331: 328: 325: 322: 319: 318: 314: 312: 310: 306: 302: 298: 294: 289: 287: 283: 279: 274: 272: 268: 264: 260: 256: 252: 248: 244: 240: 236: 232: 228: 224: 220: 216: 212: 208: 204: 201:that carries 200: 196: 192: 188: 184: 180: 175: 173: 169: 166:, having the 165: 161: 157: 153: 149: 141: 139: 137: 133: 129: 124: 122: 118: 114: 110: 106: 102: 99: 91: 89: 87: 83: 79: 78:Cantor spaces 75: 71: 67: 63: 59: 40: 26: 516: 480: 476: 470: 421:(1): 10–12, 418: 412: 403: 394: 390: 381: 300: 290: 284:to a set of 281: 277: 275: 270: 266: 262: 258: 254: 250: 246: 242: 238: 234: 230: 226: 222: 218: 214: 210: 206: 202: 198: 194: 191:line segment 186: 182: 178: 176: 171: 151: 147: 145: 135: 131: 127: 125: 120: 116: 112: 108: 104: 100: 95: 92:Construction 61: 55: 321:Cantor dust 98:solid torus 58:mathematics 557:Categories 373:References 362:Superhelix 142:Properties 66:Cantor set 397:: 221–325 357:Wild knot 563:Topology 463:16576769 315:See also 280:sending 213: : 130:for all 523:106–108 497:2686463 454:1085501 423:Bibcode 295: ( 84: ( 537:  495:  461:  451:  443:  263:cannot 162:, and 156:closed 493:JSTOR 445:84203 441:JSTOR 205:onto 189:on a 535:ISBN 459:PMID 297:1924 86:1921 527:doi 485:doi 449:PMC 431:doi 154:is 88:). 56:In 559:: 533:. 525:. 491:, 481:19 479:, 457:, 447:, 439:, 429:, 419:10 417:, 393:, 311:. 253:= 241:. 217:→ 197:→ 158:, 60:, 543:. 529:: 487:: 433:: 425:: 395:4 282:A 278:R 271:h 267:C 259:k 257:( 255:h 251:g 247:C 243:j 239:C 235:j 231:A 227:k 223:k 219:R 215:R 211:h 207:A 203:C 199:R 195:R 187:R 183:C 179:A 172:A 152:A 148:A 136:A 132:n 128:A 121:A 117:A 113:A 109:A 105:A 101:A

Index

Antoine's necklace
Antoine's necklace
mathematics
Cantor set
Euclidean space
simply connected
Cantor spaces
Louis Antoine
1921
solid torus
closed
dense-in-itself
totally disconnected
cardinality of the continuum
line segment
Hausdorff dimension
James Waddell Alexander
1924
Alexander's horned sphere
ambient isotopy
Cantor dust
Knaster–Kuratowski fan
List of topologies
Sierpinski carpet
Whitehead manifold
Wild knot
Superhelix
Hawaiian earring
Antoine, Louis
Alexander, J. W.

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

↑