Knowledge

Coherent topology

Source 📝

2015: 370: 2480: 3502: 1920: 1732:
One can form the topological union of an arbitrary family of topological spaces as above, but if the topologies do not agree on the intersections then the inclusions will not necessarily be embeddings.
1465: 147: 3403: 1221: 1524: 3185: 3292: 2125: 2343: 1796: 1728: 1586: 1275: 2271: 2052: 1855: 1643: 1315: 2228: 2165: 3571: 1955: 1377: 2675: 2085: 3774: 654: 519: 2899: 2509: 710: 575: 3429: 4019: 3699: 3622: 3000: 2946: 1342: 681: 546: 4149: 2973: 4176: 4069: 3992: 3871: 3801: 3735: 2608: 3327: 3219: 2375: 3898: 1164: 3965: 3922: 4375: 4291: 4268: 4225: 4202: 4092: 4042: 3945: 3844: 3119: 3092: 3043: 2858: 2816: 2769: 2726: 2188: 1666: 983: 921: 878: 823: 796: 174: 4348: 4245: 4114: 3821: 3664: 3642: 3595: 3522: 3351: 3243: 3139: 3065: 3020: 2919: 2835: 2789: 2746: 2699: 2630: 2573: 2553: 2533: 2415: 2395: 2305: 1816: 1758: 1686: 1608: 1548: 1400: 1134: 1114: 1060: 1040: 1016: 956: 898: 851: 773: 753: 733: 621: 597: 486: 462: 438: 418: 394: 304: 283: 260: 238: 218: 194: 88: 1960: 316: 2424: 1863: 1408: 3434: 97: 3356: 1177: 17: 1470: 3144: 4447: 4424: 3248: 2090: 4179: 2310: 1763: 1695: 1553: 1237: 2241: 2022: 1825: 1613: 1280: 2274: 397: 2193: 2130: 4415:
Tanaka, Yoshio (2004). "Quotient Spaces and Decompositions". In K.P. Hart; J. Nagata; J.E. Vaughan (eds.).
3527: 2235: 1925: 1347: 2638: 2064: 3740: 626: 491: 2865: 4466: 1819: 1737: 1232: 1083: 1067: 959: 4270:
have the same compact sets, with the same induced subspace topologies on them. And the k-ification
3901: 3874: 2485: 1077: 1073: 799: 686: 551: 3408: 3997: 3677: 3600: 3222: 2978: 2924: 1320: 932: 659: 524: 4119: 2951: 4154: 4047: 3970: 3849: 3779: 3708: 2578: 1019: 924: 3300: 3192: 2348: 2702: 2418: 1527: 3880: 1139: 58:
generated by the family of subspaces, a notion that is quite different from the notion of a
3950: 3907: 1858: 8: 3068: 1403: 1086:(in the sense of Definition 1 in that article) are those determined by the family of all 4357: 4273: 4250: 4207: 4184: 4074: 4024: 3927: 3826: 3101: 3074: 3025: 2840: 2798: 2751: 2708: 2170: 1648: 965: 903: 860: 805: 778: 156: 4333: 4230: 4099: 3806: 3649: 3627: 3580: 3507: 3336: 3228: 3124: 3050: 3005: 2904: 2820: 2774: 2731: 2684: 2615: 2558: 2538: 2518: 2512: 2400: 2380: 2290: 1801: 1743: 1671: 1593: 1533: 1385: 1119: 1099: 1045: 1025: 1001: 941: 883: 836: 758: 738: 718: 606: 582: 471: 447: 423: 403: 379: 289: 268: 245: 223: 203: 179: 73: 4436: 4443: 4420: 91: 47: 43: 4390: 2633: 1228: 197: 373: 4398: 4385:
are used with opposite meanings by different authors. In modern usage the term
4302: 3330: 3095: 988: 307: 150: 4460: 1087: 928: 311: 59: 2231: 2058: 1689: 1224: 1063: 2054:
are all disjoint then the topological union is just the disjoint union.
3667: 1094: 854: 600: 992: 3671: 2792: 465: 39: 31: 4116:
is the collection of all compact subspaces of a topological space
1610:
is a topological space and is coherent with a family of subspaces
2010:{\displaystyle X\cong \coprod _{\alpha \in A}X_{\alpha }/\sim .} 1467:
endowed with the final topology coinduced by the inclusion maps
365:{\displaystyle i_{\alpha }:C_{\alpha }\to X\qquad \alpha \in A.} 2475:{\displaystyle f{\big \vert }_{C_{\alpha }}:C_{\alpha }\to Y\,} 3497:{\textstyle f_{\alpha }:f^{-1}(D_{\alpha })\to D_{\alpha }\,} 1915:{\displaystyle (x,\alpha )\sim (y,\beta )\Leftrightarrow x=y} 900:
is coherent with any family of subsets whose interiors cover
2515:
characterizes coherent topologies in the sense that a space
1736:
One can also describe the topological union by means of the
440:
if either of the following two equivalent conditions holds:
4377:
This is a potentially confusing name since the adjectives
1460:{\displaystyle X^{set}=\bigcup _{\alpha \in A}X_{\alpha }} 991:
is coherent with every family of subspaces (including the
142:{\displaystyle C=\left\{C_{\alpha }:\alpha \in A\right\}} 4401:. It is the final topology that is being discussed here. 4305: – Finest topology making some functions continuous 3398:{\displaystyle \left\{D_{\alpha }:\alpha \in A\right\}.} 1216:{\displaystyle \left\{X_{\alpha }:\alpha \in A\right\}} 3437: 755:
there is a unique topology on (the underlying set of)
4360: 4336: 4276: 4253: 4233: 4210: 4187: 4157: 4122: 4102: 4077: 4050: 4027: 4000: 3973: 3953: 3930: 3910: 3883: 3852: 3829: 3809: 3782: 3743: 3711: 3680: 3652: 3630: 3603: 3583: 3530: 3510: 3411: 3359: 3339: 3303: 3251: 3231: 3195: 3147: 3127: 3104: 3077: 3053: 3028: 3008: 2981: 2954: 2927: 2907: 2868: 2843: 2823: 2801: 2777: 2754: 2734: 2711: 2687: 2641: 2618: 2581: 2561: 2541: 2521: 2488: 2427: 2403: 2383: 2351: 2313: 2293: 2244: 2196: 2173: 2133: 2093: 2067: 2025: 1963: 1928: 1866: 1828: 1804: 1766: 1746: 1698: 1674: 1651: 1616: 1596: 1556: 1536: 1473: 1411: 1388: 1350: 1323: 1283: 1240: 1180: 1142: 1122: 1102: 1048: 1028: 1004: 968: 944: 935:
is coherent with the family of its connected subsets.
906: 886: 863: 839: 808: 781: 761: 741: 721: 689: 662: 629: 609: 585: 554: 527: 494: 474: 450: 426: 406: 382: 319: 292: 271: 248: 226: 206: 182: 159: 100: 76: 176:
each with its induced subspace topology. (Typically
54:
of those subspaces. It is also sometimes called the
4435: 4369: 4342: 4285: 4262: 4239: 4219: 4196: 4170: 4143: 4108: 4086: 4063: 4036: 4013: 3986: 3959: 3939: 3916: 3892: 3865: 3838: 3815: 3795: 3768: 3729: 3693: 3658: 3636: 3616: 3589: 3565: 3516: 3496: 3423: 3397: 3345: 3321: 3286: 3237: 3213: 3179: 3133: 3113: 3086: 3059: 3037: 3014: 2994: 2967: 2940: 2913: 2893: 2852: 2829: 2810: 2783: 2763: 2740: 2720: 2693: 2669: 2624: 2602: 2567: 2555:if and only if this property holds for all spaces 2547: 2527: 2503: 2474: 2409: 2389: 2369: 2337: 2299: 2265: 2222: 2182: 2159: 2119: 2079: 2046: 2009: 1949: 1914: 1849: 1810: 1790: 1752: 1722: 1680: 1660: 1637: 1602: 1580: 1542: 1519:{\displaystyle i_{\alpha }:X_{\alpha }\to X^{set}} 1518: 1459: 1394: 1371: 1336: 1309: 1269: 1215: 1158: 1128: 1108: 1054: 1034: 1010: 977: 950: 915: 892: 872: 845: 817: 790: 767: 747: 727: 704: 675: 648: 615: 591: 569: 540: 513: 480: 456: 432: 412: 388: 364: 298: 277: 254: 232: 212: 188: 168: 141: 82: 50:is coherent with a family of subspaces if it is a 3994:induce the same subspace topology on each of the 3180:{\displaystyle \left\{Y\cap C_{\alpha }\right\}.} 4458: 4419:. Amsterdam: Elsevier Science. pp. 43–46. 3287:{\displaystyle \left\{f(C_{\alpha })\right\}.} 2434: 2120:{\displaystyle X_{\alpha }\subset X_{\beta }} 4096:As an example of this last construction, if 3763: 3750: 2888: 2875: 2661: 2648: 2338:{\displaystyle \left\{C_{\alpha }\right\}.} 1791:{\displaystyle \left\{X_{\alpha }\right\},} 1723:{\displaystyle \left\{C_{\alpha }\right\}.} 1581:{\displaystyle \left\{X_{\alpha }\right\}.} 1270:{\displaystyle X_{\alpha }\cap X_{\beta }.} 42:that is uniquely determined by a family of 4442:. Reading, Massachusetts: Addison-Wesley. 2266:{\displaystyle \left\{X_{\alpha }\right\}} 2047:{\displaystyle \left\{X_{\alpha }\right\}} 1850:{\displaystyle \left\{X_{\alpha }\right\}} 1638:{\displaystyle \left\{C_{\alpha }\right\}} 1310:{\displaystyle X_{\alpha }\cap X_{\beta }} 1076:are those determined by the family of all 27:Topology determined by family of subspaces 3493: 2471: 927:space is coherent with the family of its 2190:which is in fact a homeomorphism. Here 306:is recovered as the one coming from the 4433: 2307:be coherent with a family of subspaces 2061:, in a way compatible with inclusion: 1692:to the topological union of the family 14: 4459: 4414: 2223:{\displaystyle \varinjlim X_{\alpha }} 2160:{\displaystyle \varinjlim X_{\alpha }} 1760:is a topological union of the family 3566:{\displaystyle f^{-1}(D_{\alpha }).} 1950:{\displaystyle \alpha ,\beta \in A.} 1822:of the disjoint union of the family 1550:will be coherent with the subspaces 1372:{\displaystyle \alpha ,\beta \in A.} 1169: 2948:is determined by the family of all 1227:) topological spaces such that the 798:This topology will, in general, be 24: 2670:{\displaystyle C=\{C_{\alpha }\}.} 2127:. Then there is a unique map from 2080:{\displaystyle \alpha \leq \beta } 1526:. The inclusion maps will then be 25: 4478: 3769:{\displaystyle C=\{C_{\alpha }\}} 1070:of the elements of the partition. 649:{\displaystyle U\cap C_{\alpha }} 514:{\displaystyle U\cap C_{\alpha }} 396:for which the inclusion maps are 4417:Encyclopedia of General Topology 2894:{\displaystyle D=\{D_{\beta }\}} 2421:if and only if the restrictions 1223:be a family of (not necessarily 1116:is coherent with its family of 349: 4325: 4316: 4135: 4123: 3724: 3712: 3557: 3544: 3480: 3477: 3464: 3313: 3273: 3260: 3205: 2591: 2465: 2361: 1900: 1897: 1885: 1879: 1867: 1497: 343: 13: 1: 4408: 2504:{\displaystyle \alpha \in A.} 2282: 2057:Assume now that the set A is 705:{\displaystyle \alpha \in A.} 570:{\displaystyle \alpha \in A.} 65: 3424:{\displaystyle \alpha \in A} 735:and any family of subspaces 62:generated by a set of maps. 7: 4296: 4014:{\displaystyle C_{\alpha }} 3877:than the original topology 3776:there is a unique topology 3694:{\displaystyle f_{\alpha }} 3617:{\displaystyle f_{\alpha }} 2995:{\displaystyle C_{\alpha }} 2941:{\displaystyle C_{\alpha }} 1337:{\displaystyle X_{\alpha }} 827: 802:than the given topology on 676:{\displaystyle C_{\alpha }} 541:{\displaystyle C_{\alpha }} 376:on (the underlying set of) 372:By definition, this is the 10: 4483: 4144:{\displaystyle (X,\tau ),} 3737:and a family of subspaces 3705:Given a topological space 2968:{\displaystyle D_{\beta }} 1084:Compactly generated spaces 715:Given a topological space 4434:Willard, Stephen (1970). 4350:is also said to have the 4171:{\displaystyle \tau _{C}} 4064:{\displaystyle \tau _{C}} 3987:{\displaystyle \tau _{C}} 3866:{\displaystyle \tau _{C}} 3796:{\displaystyle \tau _{C}} 3730:{\displaystyle (X,\tau )} 2603:{\displaystyle f:X\to Y.} 1074:Finitely generated spaces 4309: 4293:is compactly generated. 4071:is always coherent with 3624:is a quotient map, then 3322:{\displaystyle f:X\to Y} 3214:{\displaystyle f:X\to Y} 2482:are continuous for each 2370:{\displaystyle f:X\to Y} 2232:direct (inductive) limit 4151:the resulting topology 3701:is closed (resp. open). 3597:is continuous and each 2397:to a topological space 1818:is homeomorphic to the 958:is coherent with every 933:locally connected space 923:As examples of this, a 853:is coherent with every 4371: 4344: 4287: 4264: 4241: 4221: 4198: 4172: 4145: 4110: 4088: 4065: 4038: 4015: 3988: 3961: 3941: 3924:was not coherent with 3918: 3894: 3893:{\displaystyle \tau ,} 3867: 3840: 3823:that is coherent with 3817: 3797: 3770: 3731: 3695: 3674:) if and only if each 3660: 3638: 3618: 3591: 3567: 3518: 3504:be the restriction of 3498: 3425: 3399: 3347: 3323: 3288: 3239: 3215: 3181: 3135: 3115: 3088: 3061: 3039: 3016: 2996: 2969: 2942: 2915: 2895: 2854: 2831: 2812: 2785: 2765: 2742: 2722: 2695: 2671: 2626: 2604: 2569: 2549: 2529: 2505: 2476: 2411: 2391: 2371: 2339: 2301: 2267: 2224: 2184: 2161: 2121: 2081: 2048: 2011: 1951: 1916: 1851: 1812: 1792: 1754: 1724: 1682: 1662: 1639: 1604: 1582: 1544: 1528:topological embeddings 1520: 1461: 1396: 1373: 1338: 1311: 1271: 1217: 1160: 1159:{\displaystyle X_{n}.} 1130: 1110: 1056: 1036: 1012: 979: 952: 925:weakly locally compact 917: 894: 874: 847: 819: 792: 775:that is coherent with 769: 749: 729: 706: 677: 650: 617: 593: 571: 542: 515: 482: 458: 434: 414: 390: 366: 300: 279: 256: 234: 214: 190: 170: 143: 84: 46:. Loosely speaking, a 4372: 4345: 4288: 4265: 4242: 4222: 4199: 4173: 4146: 4111: 4089: 4066: 4039: 4016: 3989: 3962: 3960:{\displaystyle \tau } 3942: 3919: 3917:{\displaystyle \tau } 3895: 3868: 3841: 3818: 3798: 3771: 3732: 3696: 3661: 3639: 3619: 3592: 3568: 3519: 3499: 3426: 3400: 3348: 3324: 3289: 3240: 3216: 3182: 3136: 3116: 3089: 3067:be an open or closed 3062: 3040: 3017: 2997: 2970: 2943: 2916: 2896: 2855: 2832: 2813: 2786: 2766: 2743: 2723: 2696: 2672: 2627: 2605: 2570: 2550: 2530: 2506: 2477: 2412: 2392: 2372: 2340: 2302: 2268: 2225: 2185: 2162: 2122: 2082: 2049: 2012: 1952: 1917: 1852: 1813: 1793: 1755: 1725: 1683: 1663: 1640: 1605: 1583: 1545: 1521: 1462: 1397: 1374: 1339: 1312: 1272: 1218: 1161: 1131: 1111: 1057: 1037: 1013: 980: 953: 918: 895: 875: 848: 820: 793: 770: 750: 730: 707: 678: 651: 618: 594: 572: 543: 516: 483: 459: 435: 415: 391: 367: 301: 286:) if the topology of 280: 257: 235: 215: 191: 171: 144: 85: 4358: 4334: 4274: 4251: 4231: 4208: 4185: 4155: 4120: 4100: 4075: 4048: 4025: 3998: 3971: 3951: 3928: 3908: 3881: 3850: 3827: 3807: 3780: 3741: 3709: 3678: 3650: 3628: 3601: 3581: 3528: 3508: 3435: 3409: 3357: 3337: 3301: 3249: 3229: 3193: 3145: 3125: 3102: 3094:or more generally a 3075: 3051: 3026: 3006: 2979: 2952: 2925: 2905: 2866: 2841: 2821: 2799: 2775: 2752: 2732: 2709: 2685: 2639: 2616: 2579: 2559: 2539: 2519: 2486: 2425: 2401: 2381: 2349: 2311: 2291: 2242: 2194: 2171: 2131: 2091: 2065: 2023: 1961: 1926: 1864: 1859:equivalence relation 1826: 1802: 1764: 1744: 1696: 1672: 1649: 1614: 1594: 1554: 1534: 1471: 1409: 1386: 1348: 1321: 1281: 1277:Assume further that 1238: 1178: 1140: 1120: 1100: 1046: 1026: 1002: 998:A topological space 966: 942: 938:A topological space 904: 884: 861: 837: 833:A topological space 806: 779: 759: 739: 719: 687: 660: 627: 607: 583: 552: 525: 492: 472: 448: 424: 404: 380: 317: 290: 269: 246: 224: 204: 180: 157: 98: 74: 4397:is synonymous with 4389:is synonymous with 3947:But the topologies 2901:is a refinement of 2632:be determined by a 1740:. Specifically, if 1404:set-theoretic union 1018:is coherent with a 18:Coherent (topology) 4452:. (Dover edition). 4370:{\displaystyle C.} 4367: 4340: 4286:{\displaystyle kX} 4283: 4263:{\displaystyle kX} 4260: 4237: 4220:{\displaystyle X.} 4217: 4197:{\displaystyle kX} 4194: 4168: 4141: 4106: 4087:{\displaystyle C.} 4084: 4061: 4037:{\displaystyle C.} 4034: 4011: 3984: 3957: 3940:{\displaystyle C.} 3937: 3914: 3890: 3863: 3839:{\displaystyle C.} 3836: 3813: 3793: 3766: 3727: 3691: 3656: 3644:is a quotient map. 3634: 3614: 3587: 3563: 3514: 3494: 3421: 3395: 3343: 3319: 3284: 3235: 3211: 3177: 3131: 3114:{\displaystyle X.} 3111: 3087:{\displaystyle X,} 3084: 3057: 3038:{\displaystyle D.} 3035: 3012: 2992: 2965: 2938: 2911: 2891: 2853:{\displaystyle D.} 2850: 2827: 2811:{\displaystyle D,} 2808: 2781: 2771:In particular, if 2764:{\displaystyle D.} 2761: 2738: 2721:{\displaystyle D,} 2718: 2691: 2667: 2622: 2600: 2575:and all functions 2565: 2545: 2525: 2513:universal property 2501: 2472: 2407: 2387: 2367: 2335: 2297: 2263: 2220: 2205: 2183:{\displaystyle X,} 2180: 2157: 2142: 2117: 2077: 2044: 2007: 1985: 1947: 1912: 1847: 1808: 1788: 1750: 1720: 1678: 1661:{\displaystyle X,} 1658: 1635: 1600: 1578: 1540: 1516: 1457: 1446: 1392: 1369: 1334: 1307: 1267: 1229:induced topologies 1213: 1156: 1126: 1106: 1052: 1032: 1008: 978:{\displaystyle X.} 975: 948: 916:{\displaystyle X.} 913: 890: 873:{\displaystyle X.} 870: 843: 818:{\displaystyle X.} 815: 791:{\displaystyle C.} 788: 765: 745: 725: 702: 673: 646: 613: 589: 567: 538: 511: 478: 454: 430: 410: 386: 362: 296: 275: 252: 230: 210: 186: 169:{\displaystyle X,} 166: 139: 80: 4343:{\displaystyle X} 4240:{\displaystyle X} 4109:{\displaystyle C} 4044:And the topology 3816:{\displaystyle X} 3659:{\displaystyle f} 3637:{\displaystyle f} 3590:{\displaystyle f} 3517:{\displaystyle f} 3353:is determined by 3346:{\displaystyle Y} 3245:is determined by 3238:{\displaystyle Y} 3141:is determined by 3134:{\displaystyle Y} 3060:{\displaystyle Y} 3022:is determined by 3015:{\displaystyle X} 2914:{\displaystyle C} 2837:is determined by 2830:{\displaystyle X} 2784:{\displaystyle C} 2748:is determined by 2741:{\displaystyle X} 2694:{\displaystyle C} 2625:{\displaystyle X} 2568:{\displaystyle Y} 2548:{\displaystyle C} 2535:is coherent with 2528:{\displaystyle X} 2410:{\displaystyle Y} 2390:{\displaystyle X} 2300:{\displaystyle X} 2198: 2135: 1970: 1811:{\displaystyle X} 1753:{\displaystyle X} 1681:{\displaystyle X} 1603:{\displaystyle X} 1543:{\displaystyle X} 1431: 1395:{\displaystyle X} 1381:topological union 1170:Topological union 1129:{\displaystyle n} 1109:{\displaystyle X} 1088:compact subspaces 1055:{\displaystyle X} 1035:{\displaystyle X} 1011:{\displaystyle X} 951:{\displaystyle X} 929:compact subspaces 893:{\displaystyle X} 846:{\displaystyle X} 768:{\displaystyle X} 748:{\displaystyle C} 728:{\displaystyle X} 616:{\displaystyle X} 592:{\displaystyle U} 481:{\displaystyle X} 457:{\displaystyle U} 433:{\displaystyle C} 420:is coherent with 413:{\displaystyle X} 389:{\displaystyle X} 310:coinduced by the 299:{\displaystyle X} 278:{\displaystyle C} 255:{\displaystyle C} 233:{\displaystyle X} 213:{\displaystyle X} 189:{\displaystyle C} 92:topological space 83:{\displaystyle X} 52:topological union 48:topological space 36:coherent topology 16:(Redirected from 4474: 4467:General topology 4453: 4441: 4438:General Topology 4430: 4402: 4391:initial topology 4376: 4374: 4373: 4368: 4349: 4347: 4346: 4341: 4329: 4323: 4320: 4292: 4290: 4289: 4284: 4269: 4267: 4266: 4261: 4246: 4244: 4243: 4238: 4226: 4224: 4223: 4218: 4203: 4201: 4200: 4195: 4177: 4175: 4174: 4169: 4167: 4166: 4150: 4148: 4147: 4142: 4115: 4113: 4112: 4107: 4093: 4091: 4090: 4085: 4070: 4068: 4067: 4062: 4060: 4059: 4043: 4041: 4040: 4035: 4020: 4018: 4017: 4012: 4010: 4009: 3993: 3991: 3990: 3985: 3983: 3982: 3966: 3964: 3963: 3958: 3946: 3944: 3943: 3938: 3923: 3921: 3920: 3915: 3899: 3897: 3896: 3891: 3872: 3870: 3869: 3864: 3862: 3861: 3845: 3843: 3842: 3837: 3822: 3820: 3819: 3814: 3802: 3800: 3799: 3794: 3792: 3791: 3775: 3773: 3772: 3767: 3762: 3761: 3736: 3734: 3733: 3728: 3700: 3698: 3697: 3692: 3690: 3689: 3665: 3663: 3662: 3657: 3643: 3641: 3640: 3635: 3623: 3621: 3620: 3615: 3613: 3612: 3596: 3594: 3593: 3588: 3572: 3570: 3569: 3564: 3556: 3555: 3543: 3542: 3523: 3521: 3520: 3515: 3503: 3501: 3500: 3495: 3492: 3491: 3476: 3475: 3463: 3462: 3447: 3446: 3430: 3428: 3427: 3422: 3404: 3402: 3401: 3396: 3391: 3387: 3374: 3373: 3352: 3350: 3349: 3344: 3328: 3326: 3325: 3320: 3293: 3291: 3290: 3285: 3280: 3276: 3272: 3271: 3244: 3242: 3241: 3236: 3220: 3218: 3217: 3212: 3186: 3184: 3183: 3178: 3173: 3169: 3168: 3167: 3140: 3138: 3137: 3132: 3120: 3118: 3117: 3112: 3093: 3091: 3090: 3085: 3066: 3064: 3063: 3058: 3044: 3042: 3041: 3036: 3021: 3019: 3018: 3013: 3001: 2999: 2998: 2993: 2991: 2990: 2974: 2972: 2971: 2966: 2964: 2963: 2947: 2945: 2944: 2939: 2937: 2936: 2920: 2918: 2917: 2912: 2900: 2898: 2897: 2892: 2887: 2886: 2859: 2857: 2856: 2851: 2836: 2834: 2833: 2828: 2817: 2815: 2814: 2809: 2790: 2788: 2787: 2782: 2770: 2768: 2767: 2762: 2747: 2745: 2744: 2739: 2727: 2725: 2724: 2719: 2700: 2698: 2697: 2692: 2676: 2674: 2673: 2668: 2660: 2659: 2631: 2629: 2628: 2623: 2609: 2607: 2606: 2601: 2574: 2572: 2571: 2566: 2554: 2552: 2551: 2546: 2534: 2532: 2531: 2526: 2510: 2508: 2507: 2502: 2481: 2479: 2478: 2473: 2464: 2463: 2451: 2450: 2449: 2448: 2438: 2437: 2416: 2414: 2413: 2408: 2396: 2394: 2393: 2388: 2376: 2374: 2373: 2368: 2344: 2342: 2341: 2336: 2331: 2327: 2326: 2306: 2304: 2303: 2298: 2273:in the category 2272: 2270: 2269: 2264: 2262: 2258: 2257: 2229: 2227: 2226: 2221: 2219: 2218: 2206: 2189: 2187: 2186: 2181: 2166: 2164: 2163: 2158: 2156: 2155: 2143: 2126: 2124: 2123: 2118: 2116: 2115: 2103: 2102: 2086: 2084: 2083: 2078: 2053: 2051: 2050: 2045: 2043: 2039: 2038: 2016: 2014: 2013: 2008: 2000: 1995: 1994: 1984: 1956: 1954: 1953: 1948: 1921: 1919: 1918: 1913: 1856: 1854: 1853: 1848: 1846: 1842: 1841: 1817: 1815: 1814: 1809: 1797: 1795: 1794: 1789: 1784: 1780: 1779: 1759: 1757: 1756: 1751: 1729: 1727: 1726: 1721: 1716: 1712: 1711: 1687: 1685: 1684: 1679: 1667: 1665: 1664: 1659: 1644: 1642: 1641: 1636: 1634: 1630: 1629: 1609: 1607: 1606: 1601: 1587: 1585: 1584: 1579: 1574: 1570: 1569: 1549: 1547: 1546: 1541: 1525: 1523: 1522: 1517: 1515: 1514: 1496: 1495: 1483: 1482: 1466: 1464: 1463: 1458: 1456: 1455: 1445: 1427: 1426: 1401: 1399: 1398: 1393: 1378: 1376: 1375: 1370: 1343: 1341: 1340: 1335: 1333: 1332: 1316: 1314: 1313: 1308: 1306: 1305: 1293: 1292: 1276: 1274: 1273: 1268: 1263: 1262: 1250: 1249: 1222: 1220: 1219: 1214: 1212: 1208: 1195: 1194: 1165: 1163: 1162: 1157: 1152: 1151: 1135: 1133: 1132: 1127: 1115: 1113: 1112: 1107: 1078:finite subspaces 1061: 1059: 1058: 1053: 1041: 1039: 1038: 1033: 1017: 1015: 1014: 1009: 984: 982: 981: 976: 962:closed cover of 957: 955: 954: 949: 922: 920: 919: 914: 899: 897: 896: 891: 880:More generally, 879: 877: 876: 871: 852: 850: 849: 844: 824: 822: 821: 816: 797: 795: 794: 789: 774: 772: 771: 766: 754: 752: 751: 746: 734: 732: 731: 726: 711: 709: 708: 703: 682: 680: 679: 674: 672: 671: 655: 653: 652: 647: 645: 644: 622: 620: 619: 614: 598: 596: 595: 590: 576: 574: 573: 568: 547: 545: 544: 539: 537: 536: 520: 518: 517: 512: 510: 509: 487: 485: 484: 479: 463: 461: 460: 455: 439: 437: 436: 431: 419: 417: 416: 411: 395: 393: 392: 387: 371: 369: 368: 363: 342: 341: 329: 328: 305: 303: 302: 297: 284: 282: 281: 276: 261: 259: 258: 253: 239: 237: 236: 231: 219: 217: 216: 211: 195: 193: 192: 187: 175: 173: 172: 167: 148: 146: 145: 140: 138: 134: 121: 120: 89: 87: 86: 81: 21: 4482: 4481: 4477: 4476: 4475: 4473: 4472: 4471: 4457: 4456: 4450: 4427: 4411: 4406: 4405: 4395:strong topology 4359: 4356: 4355: 4335: 4332: 4331: 4330: 4326: 4321: 4317: 4312: 4299: 4275: 4272: 4271: 4252: 4249: 4248: 4232: 4229: 4228: 4209: 4206: 4205: 4186: 4183: 4182: 4162: 4158: 4156: 4153: 4152: 4121: 4118: 4117: 4101: 4098: 4097: 4076: 4073: 4072: 4055: 4051: 4049: 4046: 4045: 4026: 4023: 4022: 4005: 4001: 3999: 3996: 3995: 3978: 3974: 3972: 3969: 3968: 3952: 3949: 3948: 3929: 3926: 3925: 3909: 3906: 3905: 3882: 3879: 3878: 3857: 3853: 3851: 3848: 3847: 3828: 3825: 3824: 3808: 3805: 3804: 3787: 3783: 3781: 3778: 3777: 3757: 3753: 3742: 3739: 3738: 3710: 3707: 3706: 3685: 3681: 3679: 3676: 3675: 3651: 3648: 3647: 3629: 3626: 3625: 3608: 3604: 3602: 3599: 3598: 3582: 3579: 3578: 3551: 3547: 3535: 3531: 3529: 3526: 3525: 3509: 3506: 3505: 3487: 3483: 3471: 3467: 3455: 3451: 3442: 3438: 3436: 3433: 3432: 3410: 3407: 3406: 3369: 3365: 3364: 3360: 3358: 3355: 3354: 3338: 3335: 3334: 3302: 3299: 3298: 3267: 3263: 3256: 3252: 3250: 3247: 3246: 3230: 3227: 3226: 3194: 3191: 3190: 3163: 3159: 3152: 3148: 3146: 3143: 3142: 3126: 3123: 3122: 3103: 3100: 3099: 3076: 3073: 3072: 3052: 3049: 3048: 3027: 3024: 3023: 3007: 3004: 3003: 2986: 2982: 2980: 2977: 2976: 2959: 2955: 2953: 2950: 2949: 2932: 2928: 2926: 2923: 2922: 2906: 2903: 2902: 2882: 2878: 2867: 2864: 2863: 2842: 2839: 2838: 2822: 2819: 2818: 2800: 2797: 2796: 2776: 2773: 2772: 2753: 2750: 2749: 2733: 2730: 2729: 2710: 2707: 2706: 2686: 2683: 2682: 2655: 2651: 2640: 2637: 2636: 2617: 2614: 2613: 2580: 2577: 2576: 2560: 2557: 2556: 2540: 2537: 2536: 2520: 2517: 2516: 2487: 2484: 2483: 2459: 2455: 2444: 2440: 2439: 2433: 2432: 2431: 2426: 2423: 2422: 2402: 2399: 2398: 2382: 2379: 2378: 2350: 2347: 2346: 2322: 2318: 2314: 2312: 2309: 2308: 2292: 2289: 2288: 2285: 2253: 2249: 2245: 2243: 2240: 2239: 2214: 2210: 2197: 2195: 2192: 2191: 2172: 2169: 2168: 2151: 2147: 2134: 2132: 2129: 2128: 2111: 2107: 2098: 2094: 2092: 2089: 2088: 2066: 2063: 2062: 2034: 2030: 2026: 2024: 2021: 2020: 1996: 1990: 1986: 1974: 1962: 1959: 1958: 1927: 1924: 1923: 1865: 1862: 1861: 1837: 1833: 1829: 1827: 1824: 1823: 1803: 1800: 1799: 1775: 1771: 1767: 1765: 1762: 1761: 1745: 1742: 1741: 1707: 1703: 1699: 1697: 1694: 1693: 1673: 1670: 1669: 1650: 1647: 1646: 1625: 1621: 1617: 1615: 1612: 1611: 1595: 1592: 1591: 1590:Conversely, if 1565: 1561: 1557: 1555: 1552: 1551: 1535: 1532: 1531: 1504: 1500: 1491: 1487: 1478: 1474: 1472: 1469: 1468: 1451: 1447: 1435: 1416: 1412: 1410: 1407: 1406: 1387: 1384: 1383: 1349: 1346: 1345: 1328: 1324: 1322: 1319: 1318: 1301: 1297: 1288: 1284: 1282: 1279: 1278: 1258: 1254: 1245: 1241: 1239: 1236: 1235: 1190: 1186: 1185: 1181: 1179: 1176: 1175: 1172: 1147: 1143: 1141: 1138: 1137: 1121: 1118: 1117: 1101: 1098: 1097: 1047: 1044: 1043: 1027: 1024: 1023: 1003: 1000: 999: 967: 964: 963: 943: 940: 939: 905: 902: 901: 885: 882: 881: 862: 859: 858: 838: 835: 834: 830: 807: 804: 803: 780: 777: 776: 760: 757: 756: 740: 737: 736: 720: 717: 716: 688: 685: 684: 667: 663: 661: 658: 657: 640: 636: 628: 625: 624: 623:if and only if 608: 605: 604: 584: 581: 580: 553: 550: 549: 532: 528: 526: 523: 522: 505: 501: 493: 490: 489: 488:if and only if 473: 470: 469: 449: 446: 445: 425: 422: 421: 405: 402: 401: 381: 378: 377: 374:finest topology 337: 333: 324: 320: 318: 315: 314: 291: 288: 287: 270: 267: 266: 247: 244: 243: 225: 222: 221: 205: 202: 201: 181: 178: 177: 158: 155: 154: 116: 112: 111: 107: 99: 96: 95: 75: 72: 71: 68: 28: 23: 22: 15: 12: 11: 5: 4480: 4470: 4469: 4455: 4454: 4448: 4431: 4425: 4410: 4407: 4404: 4403: 4399:final topology 4396: 4388: 4384: 4380: 4366: 4363: 4339: 4324: 4322:Willard, p. 69 4314: 4313: 4311: 4308: 4307: 4306: 4303:Final topology 4298: 4295: 4282: 4279: 4259: 4256: 4236: 4216: 4213: 4193: 4190: 4165: 4161: 4140: 4137: 4134: 4131: 4128: 4125: 4105: 4083: 4080: 4058: 4054: 4033: 4030: 4021:in the family 4008: 4004: 3981: 3977: 3956: 3936: 3933: 3913: 3902:strictly finer 3889: 3886: 3860: 3856: 3835: 3832: 3812: 3790: 3786: 3765: 3760: 3756: 3752: 3749: 3746: 3726: 3723: 3720: 3717: 3714: 3703: 3702: 3688: 3684: 3655: 3645: 3633: 3611: 3607: 3586: 3562: 3559: 3554: 3550: 3546: 3541: 3538: 3534: 3513: 3490: 3486: 3482: 3479: 3474: 3470: 3466: 3461: 3458: 3454: 3450: 3445: 3441: 3420: 3417: 3414: 3394: 3390: 3386: 3383: 3380: 3377: 3372: 3368: 3363: 3342: 3331:surjective map 3318: 3315: 3312: 3309: 3306: 3295: 3294: 3283: 3279: 3275: 3270: 3266: 3262: 3259: 3255: 3234: 3210: 3207: 3204: 3201: 3198: 3187: 3176: 3172: 3166: 3162: 3158: 3155: 3151: 3130: 3110: 3107: 3096:locally closed 3083: 3080: 3056: 3045: 3034: 3031: 3011: 2989: 2985: 2962: 2958: 2935: 2931: 2910: 2890: 2885: 2881: 2877: 2874: 2871: 2860: 2849: 2846: 2826: 2807: 2804: 2780: 2760: 2757: 2737: 2717: 2714: 2690: 2666: 2663: 2658: 2654: 2650: 2647: 2644: 2621: 2599: 2596: 2593: 2590: 2587: 2584: 2564: 2544: 2524: 2500: 2497: 2494: 2491: 2470: 2467: 2462: 2458: 2454: 2447: 2443: 2436: 2430: 2406: 2386: 2366: 2363: 2360: 2357: 2354: 2334: 2330: 2325: 2321: 2317: 2296: 2284: 2281: 2261: 2256: 2252: 2248: 2217: 2213: 2209: 2204: 2201: 2179: 2176: 2154: 2150: 2146: 2141: 2138: 2114: 2110: 2106: 2101: 2097: 2076: 2073: 2070: 2042: 2037: 2033: 2029: 2019:If the spaces 2006: 2003: 1999: 1993: 1989: 1983: 1980: 1977: 1973: 1969: 1966: 1946: 1943: 1940: 1937: 1934: 1931: 1911: 1908: 1905: 1902: 1899: 1896: 1893: 1890: 1887: 1884: 1881: 1878: 1875: 1872: 1869: 1845: 1840: 1836: 1832: 1807: 1787: 1783: 1778: 1774: 1770: 1749: 1738:disjoint union 1719: 1715: 1710: 1706: 1702: 1677: 1657: 1654: 1633: 1628: 1624: 1620: 1599: 1577: 1573: 1568: 1564: 1560: 1539: 1513: 1510: 1507: 1503: 1499: 1494: 1490: 1486: 1481: 1477: 1454: 1450: 1444: 1441: 1438: 1434: 1430: 1425: 1422: 1419: 1415: 1391: 1368: 1365: 1362: 1359: 1356: 1353: 1331: 1327: 1304: 1300: 1296: 1291: 1287: 1266: 1261: 1257: 1253: 1248: 1244: 1231:agree on each 1211: 1207: 1204: 1201: 1198: 1193: 1189: 1184: 1171: 1168: 1167: 1166: 1155: 1150: 1146: 1125: 1105: 1091: 1081: 1071: 1068:disjoint union 1051: 1031: 1007: 996: 989:discrete space 985: 974: 971: 960:locally finite 947: 936: 912: 909: 889: 869: 866: 842: 829: 826: 814: 811: 787: 784: 764: 744: 724: 713: 712: 701: 698: 695: 692: 670: 666: 643: 639: 635: 632: 612: 588: 577: 566: 563: 560: 557: 535: 531: 508: 504: 500: 497: 477: 453: 429: 409: 385: 361: 358: 355: 352: 348: 345: 340: 336: 332: 327: 323: 312:inclusion maps 308:final topology 295: 274: 265:determined by 251: 242:coherent with 240:is said to be 229: 209: 185: 165: 162: 153:of subsets of 137: 133: 130: 127: 124: 119: 115: 110: 106: 103: 79: 67: 64: 26: 9: 6: 4: 3: 2: 4479: 4468: 4465: 4464: 4462: 4451: 4449:0-486-43479-6 4445: 4440: 4439: 4432: 4428: 4426:0-444-50355-2 4422: 4418: 4413: 4412: 4400: 4394: 4392: 4387:weak topology 4386: 4382: 4378: 4364: 4361: 4354:generated by 4353: 4352:weak topology 4337: 4328: 4319: 4315: 4304: 4301: 4300: 4294: 4280: 4277: 4257: 4254: 4234: 4214: 4211: 4191: 4188: 4181: 4163: 4159: 4138: 4132: 4129: 4126: 4103: 4094: 4081: 4078: 4056: 4052: 4031: 4028: 4006: 4002: 3979: 3975: 3954: 3934: 3931: 3911: 3903: 3887: 3884: 3876: 3858: 3854: 3846:The topology 3833: 3830: 3810: 3788: 3784: 3758: 3754: 3747: 3744: 3721: 3718: 3715: 3686: 3682: 3673: 3669: 3653: 3646: 3631: 3609: 3605: 3584: 3576: 3575: 3574: 3560: 3552: 3548: 3539: 3536: 3532: 3511: 3488: 3484: 3472: 3468: 3459: 3456: 3452: 3448: 3443: 3439: 3418: 3415: 3412: 3392: 3388: 3384: 3381: 3378: 3375: 3370: 3366: 3361: 3340: 3332: 3316: 3310: 3307: 3304: 3281: 3277: 3268: 3264: 3257: 3253: 3232: 3224: 3208: 3202: 3199: 3196: 3188: 3174: 3170: 3164: 3160: 3156: 3153: 3149: 3128: 3108: 3105: 3097: 3081: 3078: 3070: 3054: 3046: 3032: 3029: 3009: 2987: 2983: 2975:contained in 2960: 2956: 2933: 2929: 2908: 2883: 2879: 2872: 2869: 2861: 2847: 2844: 2824: 2805: 2802: 2794: 2778: 2758: 2755: 2735: 2715: 2712: 2704: 2688: 2680: 2679: 2678: 2664: 2656: 2652: 2645: 2642: 2635: 2619: 2610: 2597: 2594: 2588: 2585: 2582: 2562: 2542: 2522: 2514: 2498: 2495: 2492: 2489: 2468: 2460: 2456: 2452: 2445: 2441: 2428: 2420: 2404: 2384: 2364: 2358: 2355: 2352: 2332: 2328: 2323: 2319: 2315: 2294: 2280: 2278: 2277: 2259: 2254: 2250: 2246: 2237: 2233: 2215: 2211: 2207: 2202: 2199: 2177: 2174: 2152: 2148: 2144: 2139: 2136: 2112: 2108: 2104: 2099: 2095: 2074: 2071: 2068: 2060: 2055: 2040: 2035: 2031: 2027: 2017: 2004: 2001: 1997: 1991: 1987: 1981: 1978: 1975: 1971: 1967: 1964: 1944: 1941: 1938: 1935: 1932: 1929: 1909: 1906: 1903: 1894: 1891: 1888: 1882: 1876: 1873: 1870: 1860: 1843: 1838: 1834: 1830: 1821: 1805: 1785: 1781: 1776: 1772: 1768: 1747: 1739: 1734: 1730: 1717: 1713: 1708: 1704: 1700: 1691: 1675: 1655: 1652: 1631: 1626: 1622: 1618: 1597: 1588: 1575: 1571: 1566: 1562: 1558: 1537: 1529: 1511: 1508: 1505: 1501: 1492: 1488: 1484: 1479: 1475: 1452: 1448: 1442: 1439: 1436: 1432: 1428: 1423: 1420: 1417: 1413: 1405: 1389: 1382: 1366: 1363: 1360: 1357: 1354: 1351: 1329: 1325: 1317:is closed in 1302: 1298: 1294: 1289: 1285: 1264: 1259: 1255: 1251: 1246: 1242: 1234: 1230: 1226: 1209: 1205: 1202: 1199: 1196: 1191: 1187: 1182: 1153: 1148: 1144: 1123: 1103: 1096: 1092: 1089: 1085: 1082: 1079: 1075: 1072: 1069: 1065: 1049: 1029: 1021: 1005: 997: 994: 990: 986: 972: 969: 961: 945: 937: 934: 930: 926: 910: 907: 887: 867: 864: 856: 840: 832: 831: 825: 812: 809: 801: 785: 782: 762: 742: 722: 699: 696: 693: 690: 668: 664: 656:is closed in 641: 637: 633: 630: 610: 602: 586: 578: 564: 561: 558: 555: 533: 529: 506: 502: 498: 495: 475: 467: 451: 443: 442: 441: 427: 407: 399: 383: 375: 359: 356: 353: 350: 346: 338: 334: 330: 325: 321: 313: 309: 293: 285: 272: 262: 249: 227: 207: 199: 183: 163: 160: 152: 135: 131: 128: 125: 122: 117: 113: 108: 104: 101: 93: 77: 63: 61: 60:weak topology 57: 56:weak topology 53: 49: 45: 41: 37: 33: 19: 4437: 4416: 4351: 4327: 4318: 4178:defines the 4095: 3704: 3333:and suppose 3296: 3223:quotient map 2611: 2286: 2275: 2056: 2018: 1735: 1731: 1690:homeomorphic 1589: 1380: 1233:intersection 1173: 1064:homeomorphic 1042:if and only 993:empty family 714: 264: 241: 69: 55: 51: 35: 29: 4227:The spaces 4180:k-ification 2705:of a cover 2345:A function 1957:; that is, 1645:that cover 1136:-skeletons 521:is open in 4409:References 3668:closed map 3098:subset of 2703:refinement 2419:continuous 2283:Properties 2087:whenever 1379:Then the 1095:CW complex 855:open cover 398:continuous 196:will be a 66:Definition 4160:τ 4133:τ 4053:τ 4007:α 3976:τ 3955:τ 3912:τ 3885:τ 3855:τ 3785:τ 3759:α 3722:τ 3687:α 3610:α 3553:α 3537:− 3489:α 3481:→ 3473:α 3457:− 3444:α 3416:∈ 3413:α 3405:For each 3382:∈ 3379:α 3371:α 3314:→ 3269:α 3206:→ 3165:α 3157:∩ 2988:α 2961:β 2934:α 2921:and each 2884:β 2657:α 2592:→ 2493:∈ 2490:α 2466:→ 2461:α 2446:α 2362:→ 2324:α 2255:α 2216:α 2208:⁡ 2203:→ 2153:α 2145:⁡ 2140:→ 2113:β 2105:⊂ 2100:α 2075:β 2072:≤ 2069:α 2036:α 2002:∼ 1992:α 1979:∈ 1976:α 1972:∐ 1968:≅ 1939:∈ 1936:β 1930:α 1901:⇔ 1895:β 1883:∼ 1877:α 1839:α 1777:α 1709:α 1627:α 1567:α 1498:→ 1493:α 1480:α 1453:α 1440:∈ 1437:α 1433:⋃ 1361:∈ 1358:β 1352:α 1344:for each 1330:α 1303:β 1295:∩ 1290:α 1260:β 1252:∩ 1247:α 1203:∈ 1200:α 1192:α 1020:partition 931:. And a 694:∈ 691:α 683:for each 669:α 642:α 634:∩ 579:A subset 559:∈ 556:α 548:for each 534:α 507:α 499:∩ 444:A subset 354:∈ 351:α 344:→ 339:α 326:α 129:∈ 126:α 118:α 44:subspaces 4461:Category 4297:See also 3672:open map 3069:subspace 2793:subcover 2059:directed 1922:for all 1820:quotient 1225:disjoint 828:Examples 220:.) Then 94:and let 40:topology 32:topology 3670:(resp. 3225:. Then 2236:colimit 2230:is the 1857:by the 1402:is the 1066:to the 4446:  4423:  4383:strong 2238:) of 601:closed 151:family 4310:Notes 3875:finer 3666:is a 3573:Then 3329:be a 3221:be a 3121:Then 3002:then 2791:is a 2728:then 2701:is a 2677:Then 2634:cover 2511:This 2377:from 1798:then 1668:then 800:finer 198:cover 149:be a 90:be a 38:is a 4444:ISBN 4421:ISBN 4393:and 4381:and 4379:weak 4247:and 3967:and 3900:and 3431:let 3297:Let 3189:Let 3047:Let 2612:Let 2287:Let 1530:and 1174:Let 466:open 263:(or 70:Let 34:, a 4204:of 3904:if 3873:is 3803:on 3577:If 3524:to 3071:of 2862:If 2795:of 2681:If 2417:is 2276:Top 2200:lim 2167:to 2137:lim 1688:is 1062:is 1022:of 857:of 603:in 599:is 468:in 464:is 200:of 30:In 4463:: 2279:. 1093:A 995:). 987:A 400:. 4429:. 4365:. 4362:C 4338:X 4281:X 4278:k 4258:X 4255:k 4235:X 4215:. 4212:X 4192:X 4189:k 4164:C 4139:, 4136:) 4130:, 4127:X 4124:( 4104:C 4082:. 4079:C 4057:C 4032:. 4029:C 4003:C 3980:C 3935:. 3932:C 3888:, 3859:C 3834:. 3831:C 3811:X 3789:C 3764:} 3755:C 3751:{ 3748:= 3745:C 3725:) 3719:, 3716:X 3713:( 3683:f 3654:f 3632:f 3606:f 3585:f 3561:. 3558:) 3549:D 3545:( 3540:1 3533:f 3512:f 3485:D 3478:) 3469:D 3465:( 3460:1 3453:f 3449:: 3440:f 3419:A 3393:. 3389:} 3385:A 3376:: 3367:D 3362:{ 3341:Y 3317:Y 3311:X 3308:: 3305:f 3282:. 3278:} 3274:) 3265:C 3261:( 3258:f 3254:{ 3233:Y 3209:Y 3203:X 3200:: 3197:f 3175:. 3171:} 3161:C 3154:Y 3150:{ 3129:Y 3109:. 3106:X 3082:, 3079:X 3055:Y 3033:. 3030:D 3010:X 2984:C 2957:D 2930:C 2909:C 2889:} 2880:D 2876:{ 2873:= 2870:D 2848:. 2845:D 2825:X 2806:, 2803:D 2779:C 2759:. 2756:D 2736:X 2716:, 2713:D 2689:C 2665:. 2662:} 2653:C 2649:{ 2646:= 2643:C 2620:X 2598:. 2595:Y 2589:X 2586:: 2583:f 2563:Y 2543:C 2523:X 2499:. 2496:A 2469:Y 2457:C 2453:: 2442:C 2435:| 2429:f 2405:Y 2385:X 2365:Y 2359:X 2356:: 2353:f 2333:. 2329:} 2320:C 2316:{ 2295:X 2260:} 2251:X 2247:{ 2234:( 2212:X 2178:, 2175:X 2149:X 2109:X 2096:X 2041:} 2032:X 2028:{ 2005:. 1998:/ 1988:X 1982:A 1965:X 1945:. 1942:A 1933:, 1910:y 1907:= 1904:x 1898:) 1892:, 1889:y 1886:( 1880:) 1874:, 1871:x 1868:( 1844:} 1835:X 1831:{ 1806:X 1786:, 1782:} 1773:X 1769:{ 1748:X 1718:. 1714:} 1705:C 1701:{ 1676:X 1656:, 1653:X 1632:} 1623:C 1619:{ 1598:X 1576:. 1572:} 1563:X 1559:{ 1538:X 1512:t 1509:e 1506:s 1502:X 1489:X 1485:: 1476:i 1449:X 1443:A 1429:= 1424:t 1421:e 1418:s 1414:X 1390:X 1367:. 1364:A 1355:, 1326:X 1299:X 1286:X 1265:. 1256:X 1243:X 1210:} 1206:A 1197:: 1188:X 1183:{ 1154:. 1149:n 1145:X 1124:n 1104:X 1090:. 1080:. 1050:X 1030:X 1006:X 973:. 970:X 946:X 911:. 908:X 888:X 868:. 865:X 841:X 813:. 810:X 786:. 783:C 763:X 743:C 723:X 700:. 697:A 665:C 638:C 631:U 611:X 587:U 565:. 562:A 530:C 503:C 496:U 476:X 452:U 428:C 408:X 384:X 360:. 357:A 347:X 335:C 331:: 322:i 294:X 273:C 250:C 228:X 208:X 184:C 164:, 161:X 136:} 132:A 123:: 114:C 109:{ 105:= 102:C 78:X 20:)

Index

Coherent (topology)
topology
topology
subspaces
topological space
weak topology
topological space
family
cover
final topology
inclusion maps
finest topology
continuous
open
closed
finer
open cover
weakly locally compact
compact subspaces
locally connected space
locally finite
discrete space
empty family
partition
homeomorphic
disjoint union
Finitely generated spaces
finite subspaces
Compactly generated spaces
compact subspaces

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