Knowledge (XXG)

Separated sets

Source 📝

297: 3598: 3381: 3619: 3587: 367: 3656: 3629: 3609: 256: 2860:
only closed sets are capable of being precisely separated by a function, but just because two sets are closed and separated by a function does not mean that they are automatically precisely separated by a function (even a different function).
749: 1169: 1977:
closed by including the point 1 in it, but you cannot make them both closed while keeping them disjoint. Note that if any two sets are separated by closed neighbourhoods, then certainly they are
1018: 937: 2879:
are various conditions that are sometimes imposed upon topological spaces, many of which can be described in terms of the various types of separated sets. As an example we will define the T
501:
that are related to each other in a certain way: roughly speaking, neither overlapping nor touching. The notion of when two sets are separated or not is important both to the notion of
2199: 2154: 2659: 2067: 1068: 2858: 2777: 849: 2752: 2296: 2109: 2704: 3055: 3035: 3015: 2523: 326: 2457: 1595: 1554: 1513: 1219: 1194: 1931: 2833: 2807: 2355: 821: 2575: 1690: 1661: 1477: 3659: 2617: 2597: 2543: 2403: 2375: 2239: 2219: 2087: 2022: 2002: 1975: 1955: 1901: 1869: 1849: 1829: 1809: 1789: 1769: 1737: 1717: 1635: 1615: 1433: 1413: 1393: 1373: 1353: 1333: 1313: 1293: 1262: 1242: 1112: 1092: 678: 650: 630: 586: 566: 546: 2328: 2274: 794: 3127:
must be topologically distinguishable. Thus for singletons, topological distinguishability is a condition in between disjointness and separatedness.
689: 125: 107: 3293: 3647: 3642: 3252: 3229: 3192: 468: 450: 348: 283: 239: 3637: 384: 269: 3066: 757:. Since every set is contained in its closure, two separated sets automatically must be disjoint. The closures themselves do 431: 388: 609:
The properties below are presented in increasing order of specificity, each being a stronger notion than the preceding one.
403: 3539: 309: 410: 942: 861: 319: 313: 305: 3680: 3547: 2779:
and again it makes no difference.) Note that if any two sets are precisely separated by a function, then they are
377: 1117: 1071: 595: 417: 330: 3618: 3346: 1273: 606:. Each of the following properties is stricter than disjointness, incorporating some topological information. 3632: 3142: 2947: 1693: 399: 3567: 3562: 3488: 3365: 3353: 3326: 3286: 2888: 2159: 2114: 762: 2630: 2038: 3409: 3336: 3597: 588:
can be considered to be separated. A most basic way in which two sets can be separated is if they are
3557: 3509: 3483: 3331: 1023: 3608: 3404: 2838: 2757: 2033: 829: 275: 2709: 2279: 2092: 3602: 3552: 3473: 3463: 3341: 3321: 2664: 1597:
Note that if any two sets are separated by neighbourhoods, then certainly they are separated. If
1114:
are separated when they are disjoint and each is disjoint from the other's derived set, that is,
851:
even though the point 1 belongs to both of their closures. A more general example is that in any
681: 38: 3572: 3040: 3020: 3000: 2883:
axiom, which is the condition imposed on separated spaces. Specifically, a topological space is
2462: 3685: 3590: 3456: 3414: 3279: 3248: 3225: 3188: 2408: 1748: 1559: 1518: 498: 45: 1444: 3370: 3316: 3147: 2870: 603: 506: 424: 53: 33: 2812: 2786: 2301: 1874: 767: 17: 3429: 3424: 3136: 2933: 2912: 2552: 2546: 1666: 1437: 517: 513: 502: 161: 89: 1640: 1199: 1174: 3519: 3451: 3244: 2602: 2582: 2528: 2388: 2377:
at the point 1. If two sets are separated by a continuous function, then they are also
2360: 2224: 2204: 2072: 2007: 1987: 1960: 1940: 1854: 1834: 1814: 1794: 1774: 1754: 1722: 1702: 1620: 1600: 1418: 1398: 1378: 1358: 1338: 1318: 1298: 1278: 1247: 1227: 1097: 1077: 663: 635: 615: 571: 551: 531: 2247: 3674: 3529: 3439: 3419: 3221: 3213: 3180: 3100: 2242: 590: 143: 3622: 3514: 3434: 3380: 852: 216: 196: 178: 3612: 3524: 2357:
are not separated by a function, because there is no way to continuously define
1637:
are open and disjoint, then they must be separated by neighbourhoods; just take
486: 366: 3468: 3399: 3358: 856: 1441:
neighbourhoods, but this makes no difference in the end.) For the example of
3493: 2995: 824: 599: 2966:
if these are the only two possibilities. Conversely, if a nonempty subset
3478: 3446: 3395: 3302: 3088: 2942:, it is sometimes useful to consider whether it is possible for a subset 2382: 1692:
For this reason, separatedness is often used with closed sets (as in the
1171:(As in the case of the first version of the definition, the derived sets 482: 71: 2971: 494: 2298:
in this definition, but this makes no difference.) In our example,
1070:
The property of being separated can also be expressed in terms of
602:. This property has nothing to do with topology as such, but only 3275: 744:{\displaystyle A\cap {\bar {B}}=\varnothing ={\bar {A}}\cap B.} 360: 290: 249: 2958:, but there may be other possibilities. A topological space 516:(defined below), which are somewhat related but different. 3271: 3150: – Axioms in topology defining notions of "separation" 3091:
that one point belongs to but the other point does not. If
1395:
are disjoint. (Sometimes you will see the requirement that
3111:} must be disjoint. On the other hand, if the singletons { 1937:
separated by closed neighbourhoods. You could make either
2780: 2754:(Again, you may also see the unit interval in place of 2378: 2970:
is separated from its own complement, and if the only
1120: 761:
have to be disjoint from each other; for example, the
520:
are again a completely different topological concept.
3043: 3023: 3003: 2841: 2815: 2789: 2760: 2712: 2667: 2633: 2605: 2585: 2555: 2531: 2465: 2411: 2391: 2363: 2331: 2304: 2282: 2250: 2227: 2207: 2162: 2117: 2095: 2075: 2041: 2010: 1990: 1963: 1943: 1904: 1877: 1857: 1837: 1817: 1797: 1777: 1757: 1725: 1705: 1669: 1643: 1623: 1603: 1562: 1521: 1480: 1447: 1421: 1401: 1381: 1361: 1341: 1321: 1301: 1281: 1250: 1230: 1202: 1177: 1100: 1080: 1026: 945: 864: 832: 797: 770: 692: 666: 638: 618: 574: 554: 534: 3538: 3502: 3388: 3309: 505:(and their connected components) as well as to the 391:. Unsourced material may be challenged and removed. 215: 195: 177: 160: 142: 124: 106: 88: 70: 52: 44: 32: 27:
Type of relation for subsets of a topological space
3049: 3029: 3009: 2865:Relation to separation axioms and separated spaces 2852: 2827: 2801: 2771: 2746: 2698: 2653: 2611: 2591: 2569: 2537: 2517: 2451: 2397: 2381:; the neighbourhoods can be given in terms of the 2369: 2349: 2322: 2290: 2268: 2233: 2213: 2193: 2148: 2103: 2081: 2061: 2016: 1996: 1969: 1949: 1925: 1895: 1863: 1843: 1823: 1803: 1783: 1763: 1731: 1711: 1684: 1655: 1629: 1609: 1589: 1548: 1507: 1471: 1427: 1407: 1387: 1367: 1347: 1327: 1307: 1287: 1256: 1236: 1221:are not required to be disjoint from each other.) 1213: 1188: 1163: 1106: 1086: 1062: 1012: 931: 843: 815: 788: 743: 672: 644: 624: 580: 560: 540: 3061:Relation to topologically distinguishable points 1978: 318:but its sources remain unclear because it lacks 1013:{\displaystyle B_{s}(q)=\{x\in X:d(q,x)<s\}} 932:{\displaystyle B_{r}(p)=\{x\in X:d(p,x)<r\}} 2978:to share this property is the empty set, then 3287: 8: 3099:are topologically distinguishable, then the 2954:is either the empty set or the entire space 2822: 2816: 2796: 2790: 2623:precisely separated by a continuous function 1164:{\textstyle A'\cap B=\varnothing =B'\cap A.} 1007: 968: 926: 887: 528:There are various ways in which two subsets 3057:is an open-connected component of itself.) 512:Separated sets should not be confused with 284:Learn how and when to remove these messages 3655: 3628: 3294: 3280: 3272: 3187:(2 ed.). Prentice Hall. p. 211. 3042: 3022: 3002: 2843: 2842: 2840: 2814: 2788: 2762: 2761: 2759: 2723: 2711: 2678: 2666: 2647: 2646: 2632: 2604: 2584: 2559: 2554: 2530: 2476: 2464: 2422: 2410: 2390: 2362: 2330: 2303: 2284: 2283: 2281: 2249: 2226: 2206: 2173: 2161: 2128: 2116: 2097: 2096: 2094: 2074: 2055: 2054: 2040: 2009: 1989: 1962: 1942: 1903: 1876: 1856: 1836: 1816: 1796: 1776: 1756: 1724: 1704: 1668: 1642: 1622: 1602: 1561: 1520: 1479: 1446: 1420: 1400: 1380: 1360: 1340: 1320: 1300: 1280: 1249: 1229: 1201: 1176: 1119: 1099: 1079: 1025: 950: 944: 869: 863: 834: 833: 831: 796: 769: 721: 720: 700: 699: 691: 665: 637: 617: 573: 553: 533: 469:Learn how and when to remove this message 451:Learn how and when to remove this message 349:Learn how and when to remove this message 3160: 1138: 714: 3167: 2627:if there exists a continuous function 29: 755:Hausdorff−Lennes Separation Condition 680:if each is disjoint from the other's 7: 2910:Separated spaces are usually called 2194:{\displaystyle B\subseteq f^{-1}(1)} 2149:{\displaystyle A\subseteq f^{-1}(0)} 389:adding citations to reliable sources 2907:} are separated by neighbourhoods. 2654:{\displaystyle f:X\to \mathbb {R} } 2062:{\displaystyle f:X\to \mathbb {R} } 3044: 3024: 3004: 2379:separated by closed neighbourhoods 2028:separated by a continuous function 1743:separated by closed neighbourhoods 25: 3139: – Type of topological space 3119:} are separated, then the points 1074:(indicated by the prime symbol): 265:This article has multiple issues. 3654: 3627: 3617: 3607: 3596: 3586: 3585: 3379: 3017:, authorities differ on whether 2990:. (In the degenerate case where 365: 295: 254: 3264:Foundations of General Topology 1063:{\displaystyle d(p,q)\geq r+s.} 376:needs additional citations for 273:or discuss these issues on the 3067:Topological distinguishability 2738: 2732: 2693: 2687: 2643: 2509: 2485: 2446: 2431: 2344: 2332: 2317: 2305: 2263: 2251: 2188: 2182: 2143: 2137: 2051: 1917: 1905: 1890: 1878: 1581: 1569: 1543: 1528: 1499: 1487: 1466: 1454: 1042: 1030: 998: 986: 962: 956: 917: 905: 881: 875: 810: 798: 783: 771: 753:This property is known as the 726: 705: 1: 3085:topologically distinguishable 2853:{\displaystyle \mathbb {R} ,} 2772:{\displaystyle \mathbb {R} ,} 844:{\displaystyle \mathbb {R} ,} 2950:. This is certainly true if 2928:Relation to connected spaces 2747:{\displaystyle B=f^{-1}(1).} 2291:{\displaystyle \mathbb {R} } 2104:{\displaystyle \mathbb {R} } 1871:are disjoint. Our examples, 3262:Pervin, William J. (1964), 2699:{\displaystyle A=f^{-1}(0)} 1979:separated by neighbourhoods 1791:and a closed neighbourhood 1268:separated by neighbourhoods 18:Separated by neighbourhoods 3702: 3548:Banach fixed-point theorem 3071:Given a topological space 3064: 3050:{\displaystyle \emptyset } 3030:{\displaystyle \emptyset } 3010:{\displaystyle \emptyset } 2938:Given a topological space 2931: 2868: 3581: 3377: 3239:Willard, Stephen (2004). 3037:is connected and whether 2946:to be separated from its 2518:{\displaystyle V=f^{-1},} 2241:map to 1. (Sometimes the 235: 2984:open-connected component 2452:{\displaystyle U=f^{-1}} 2221:map to 0 and members of 1590:{\displaystyle V=(1,3).} 1549:{\displaystyle U=(-1,1)} 1508:{\displaystyle B=(1,2],} 509:for topological spaces. 485:and related branches of 304:This article includes a 3143:Locally Hausdorff space 2781:separated by a function 1694:normal separation axiom 1472:{\displaystyle A=[0,1)} 1020:are separated whenever 568:of a topological space 333:more precise citations. 3603:Mathematics portal 3503:Metrics and properties 3489:Second-countable space 3051: 3031: 3011: 2899:, the singleton sets { 2854: 2829: 2803: 2773: 2748: 2700: 2655: 2613: 2593: 2571: 2539: 2519: 2453: 2399: 2371: 2351: 2324: 2292: 2270: 2235: 2215: 2201:, that is, members of 2195: 2150: 2105: 2083: 2063: 2018: 1998: 1971: 1951: 1927: 1926:{\displaystyle (1,2],} 1897: 1865: 1845: 1825: 1805: 1785: 1765: 1733: 1713: 1686: 1657: 1631: 1611: 1591: 1550: 1509: 1473: 1429: 1409: 1389: 1369: 1349: 1329: 1309: 1289: 1258: 1238: 1215: 1190: 1165: 1108: 1088: 1064: 1014: 933: 845: 817: 790: 745: 674: 646: 626: 582: 562: 542: 138:(completely Hausdorff) 3052: 3032: 3012: 2855: 2830: 2828:{\displaystyle \{1\}} 2804: 2802:{\displaystyle \{0\}} 2774: 2749: 2701: 2656: 2614: 2594: 2572: 2540: 2520: 2454: 2400: 2372: 2352: 2350:{\displaystyle (1,2]} 2325: 2323:{\displaystyle [0,1)} 2293: 2271: 2236: 2216: 2196: 2151: 2106: 2084: 2064: 2019: 1999: 1972: 1952: 1928: 1898: 1896:{\displaystyle [0,1)} 1866: 1846: 1826: 1806: 1786: 1766: 1734: 1714: 1687: 1658: 1632: 1612: 1592: 1551: 1510: 1474: 1430: 1410: 1390: 1370: 1350: 1330: 1310: 1290: 1259: 1239: 1216: 1191: 1166: 1109: 1089: 1065: 1015: 934: 846: 823:are separated in the 818: 816:{\displaystyle (1,2]} 791: 789:{\displaystyle [0,1)} 746: 675: 647: 627: 583: 563: 543: 3558:Invariance of domain 3510:Euler characteristic 3484:Bundle (mathematics) 3041: 3021: 3001: 2839: 2813: 2787: 2758: 2710: 2665: 2631: 2603: 2583: 2570:{\displaystyle 1/2.} 2553: 2547:positive real number 2529: 2463: 2409: 2389: 2361: 2329: 2302: 2280: 2276:is used in place of 2248: 2225: 2205: 2160: 2115: 2093: 2073: 2039: 2008: 1988: 1961: 1941: 1902: 1875: 1855: 1835: 1815: 1795: 1775: 1755: 1723: 1703: 1685:{\displaystyle V=B.} 1667: 1641: 1621: 1601: 1560: 1519: 1478: 1445: 1419: 1399: 1379: 1359: 1339: 1319: 1299: 1279: 1248: 1228: 1200: 1175: 1118: 1098: 1078: 1024: 943: 862: 830: 795: 768: 690: 664: 636: 616: 594:, that is, if their 572: 552: 532: 385:improve this article 3568:Tychonoff's theorem 3563:Poincaré conjecture 3317:General (point-set) 3087:if there exists an 2034:continuous function 1656:{\displaystyle U=A} 156:(regular Hausdorff) 3553:De Rham cohomology 3474:Polyhedral complex 3464:Simplicial complex 3047: 3027: 3007: 2887:if, given any two 2850: 2825: 2799: 2769: 2744: 2696: 2651: 2609: 2589: 2567: 2535: 2515: 2449: 2395: 2367: 2347: 2320: 2288: 2266: 2231: 2211: 2191: 2146: 2101: 2079: 2059: 2032:if there exists a 2014: 1994: 1967: 1947: 1923: 1893: 1861: 1841: 1821: 1801: 1781: 1761: 1729: 1709: 1682: 1653: 1627: 1607: 1587: 1546: 1505: 1469: 1425: 1405: 1385: 1365: 1345: 1325: 1305: 1285: 1254: 1234: 1214:{\displaystyle B'} 1211: 1189:{\displaystyle A'} 1186: 1161: 1104: 1084: 1060: 1010: 929: 841: 813: 786: 741: 670: 642: 622: 578: 558: 538: 306:list of references 209:(completely normal 191:(normal Hausdorff) 39:topological spaces 3681:Separation axioms 3668: 3667: 3457:fundamental group 3214:Munkres, James R. 3181:Munkres, James R. 2877:separation axioms 2612:{\displaystyle B} 2592:{\displaystyle A} 2538:{\displaystyle c} 2398:{\displaystyle f} 2370:{\displaystyle f} 2234:{\displaystyle B} 2214:{\displaystyle A} 2089:to the real line 2082:{\displaystyle X} 2017:{\displaystyle B} 1997:{\displaystyle A} 1970:{\displaystyle V} 1950:{\displaystyle U} 1864:{\displaystyle V} 1844:{\displaystyle U} 1824:{\displaystyle B} 1804:{\displaystyle V} 1784:{\displaystyle A} 1764:{\displaystyle U} 1732:{\displaystyle B} 1712:{\displaystyle A} 1630:{\displaystyle B} 1610:{\displaystyle A} 1428:{\displaystyle V} 1408:{\displaystyle U} 1388:{\displaystyle V} 1368:{\displaystyle U} 1348:{\displaystyle B} 1328:{\displaystyle V} 1308:{\displaystyle A} 1288:{\displaystyle U} 1257:{\displaystyle B} 1237:{\displaystyle A} 1107:{\displaystyle B} 1087:{\displaystyle A} 729: 708: 673:{\displaystyle X} 645:{\displaystyle B} 625:{\displaystyle A} 581:{\displaystyle X} 561:{\displaystyle B} 541:{\displaystyle A} 507:separation axioms 499:topological space 479: 478: 471: 461: 460: 453: 435: 359: 358: 351: 288: 248: 247: 229:(perfectly normal 34:Separation axioms 16:(Redirected from 3693: 3658: 3657: 3631: 3630: 3621: 3611: 3601: 3600: 3589: 3588: 3383: 3296: 3289: 3282: 3273: 3267: 3266:, Academic Press 3258: 3241:General Topology 3235: 3199: 3198: 3177: 3171: 3165: 3148:Separation axiom 3056: 3054: 3053: 3048: 3036: 3034: 3033: 3028: 3016: 3014: 3013: 3008: 2913:Hausdorff spaces 2871:separation axiom 2859: 2857: 2856: 2851: 2846: 2834: 2832: 2831: 2826: 2808: 2806: 2805: 2800: 2778: 2776: 2775: 2770: 2765: 2753: 2751: 2750: 2745: 2731: 2730: 2705: 2703: 2702: 2697: 2686: 2685: 2660: 2658: 2657: 2652: 2650: 2625: 2624: 2618: 2616: 2615: 2610: 2598: 2596: 2595: 2590: 2576: 2574: 2573: 2568: 2563: 2544: 2542: 2541: 2536: 2524: 2522: 2521: 2516: 2484: 2483: 2458: 2456: 2455: 2450: 2430: 2429: 2404: 2402: 2401: 2396: 2376: 2374: 2373: 2368: 2356: 2354: 2353: 2348: 2327: 2326: 2321: 2297: 2295: 2294: 2289: 2287: 2275: 2273: 2272: 2269:{\displaystyle } 2267: 2240: 2238: 2237: 2232: 2220: 2218: 2217: 2212: 2200: 2198: 2197: 2192: 2181: 2180: 2155: 2153: 2152: 2147: 2136: 2135: 2110: 2108: 2107: 2102: 2100: 2088: 2086: 2085: 2080: 2068: 2066: 2065: 2060: 2058: 2030: 2029: 2023: 2021: 2020: 2015: 2003: 2001: 2000: 1995: 1976: 1974: 1973: 1968: 1956: 1954: 1953: 1948: 1932: 1930: 1929: 1924: 1900: 1899: 1894: 1870: 1868: 1867: 1862: 1850: 1848: 1847: 1842: 1830: 1828: 1827: 1822: 1810: 1808: 1807: 1802: 1790: 1788: 1787: 1782: 1770: 1768: 1767: 1762: 1745: 1744: 1738: 1736: 1735: 1730: 1718: 1716: 1715: 1710: 1691: 1689: 1688: 1683: 1662: 1660: 1659: 1654: 1636: 1634: 1633: 1628: 1616: 1614: 1613: 1608: 1596: 1594: 1593: 1588: 1555: 1553: 1552: 1547: 1514: 1512: 1511: 1506: 1476: 1475: 1470: 1434: 1432: 1431: 1426: 1414: 1412: 1411: 1406: 1394: 1392: 1391: 1386: 1374: 1372: 1371: 1366: 1354: 1352: 1351: 1346: 1334: 1332: 1331: 1326: 1314: 1312: 1311: 1306: 1294: 1292: 1291: 1286: 1270: 1269: 1263: 1261: 1260: 1255: 1243: 1241: 1240: 1235: 1220: 1218: 1217: 1212: 1210: 1195: 1193: 1192: 1187: 1185: 1170: 1168: 1167: 1162: 1151: 1128: 1113: 1111: 1110: 1105: 1093: 1091: 1090: 1085: 1069: 1067: 1066: 1061: 1019: 1017: 1016: 1011: 955: 954: 938: 936: 935: 930: 874: 873: 850: 848: 847: 842: 837: 822: 820: 819: 814: 793: 792: 787: 750: 748: 747: 742: 731: 730: 722: 710: 709: 701: 679: 677: 676: 671: 658: 657: 651: 649: 648: 643: 631: 629: 628: 623: 587: 585: 584: 579: 567: 565: 564: 559: 547: 545: 544: 539: 518:Separable spaces 514:separated spaces 503:connected spaces 474: 467: 456: 449: 445: 442: 436: 434: 400:"Separated sets" 393: 369: 361: 354: 347: 343: 340: 334: 329:this article by 320:inline citations 299: 298: 291: 280: 258: 257: 250: 231: Hausdorff) 226: 221: 211: Hausdorff) 206: 201: 188: 183: 168: 167: 153: 148: 135: 130: 115: 114: 99: 94: 81: 76: 63: 58: 30: 21: 3701: 3700: 3696: 3695: 3694: 3692: 3691: 3690: 3671: 3670: 3669: 3664: 3595: 3577: 3573:Urysohn's lemma 3534: 3498: 3384: 3375: 3347:low-dimensional 3305: 3300: 3270: 3261: 3255: 3238: 3232: 3212: 3208: 3203: 3202: 3195: 3179: 3178: 3174: 3166: 3162: 3157: 3137:Hausdorff space 3133: 3069: 3063: 3039: 3038: 3019: 3018: 2999: 2998: 2936: 2934:Connected space 2930: 2921: 2882: 2873: 2867: 2837: 2836: 2811: 2810: 2785: 2784: 2756: 2755: 2719: 2708: 2707: 2674: 2663: 2662: 2629: 2628: 2622: 2621: 2601: 2600: 2581: 2580: 2551: 2550: 2527: 2526: 2472: 2461: 2460: 2418: 2407: 2406: 2387: 2386: 2359: 2358: 2300: 2299: 2278: 2277: 2246: 2245: 2223: 2222: 2203: 2202: 2169: 2158: 2157: 2124: 2113: 2112: 2091: 2090: 2071: 2070: 2069:from the space 2037: 2036: 2027: 2026: 2006: 2005: 1986: 1985: 1959: 1958: 1939: 1938: 1873: 1872: 1853: 1852: 1833: 1832: 1813: 1812: 1793: 1792: 1773: 1772: 1753: 1752: 1742: 1741: 1721: 1720: 1701: 1700: 1665: 1664: 1639: 1638: 1619: 1618: 1599: 1598: 1558: 1557: 1517: 1516: 1515:you could take 1443: 1442: 1417: 1416: 1397: 1396: 1377: 1376: 1357: 1356: 1337: 1336: 1317: 1316: 1297: 1296: 1277: 1276: 1267: 1266: 1246: 1245: 1226: 1225: 1203: 1198: 1197: 1178: 1173: 1172: 1144: 1121: 1116: 1115: 1096: 1095: 1076: 1075: 1022: 1021: 946: 941: 940: 865: 860: 859: 828: 827: 766: 765: 688: 687: 662: 661: 655: 654: 634: 633: 614: 613: 570: 569: 550: 549: 530: 529: 526: 475: 464: 463: 462: 457: 446: 440: 437: 394: 392: 382: 370: 355: 344: 338: 335: 324: 310:related reading 300: 296: 259: 255: 244: 230: 224: 222: 219: 210: 204: 202: 199: 186: 184: 181: 169: 165: 164: 151: 149: 146: 133: 131: 128: 116: 112: 110: 97: 95: 92: 79: 77: 74: 61: 59: 56: 36: 28: 23: 22: 15: 12: 11: 5: 3699: 3697: 3689: 3688: 3683: 3673: 3672: 3666: 3665: 3663: 3662: 3652: 3651: 3650: 3645: 3640: 3625: 3615: 3605: 3593: 3582: 3579: 3578: 3576: 3575: 3570: 3565: 3560: 3555: 3550: 3544: 3542: 3536: 3535: 3533: 3532: 3527: 3522: 3520:Winding number 3517: 3512: 3506: 3504: 3500: 3499: 3497: 3496: 3491: 3486: 3481: 3476: 3471: 3466: 3461: 3460: 3459: 3454: 3452:homotopy group 3444: 3443: 3442: 3437: 3432: 3427: 3422: 3412: 3407: 3402: 3392: 3390: 3386: 3385: 3378: 3376: 3374: 3373: 3368: 3363: 3362: 3361: 3351: 3350: 3349: 3339: 3334: 3329: 3324: 3319: 3313: 3311: 3307: 3306: 3301: 3299: 3298: 3291: 3284: 3276: 3269: 3268: 3259: 3253: 3245:Addison-Wesley 3236: 3230: 3209: 3207: 3204: 3201: 3200: 3193: 3172: 3159: 3158: 3156: 3153: 3152: 3151: 3145: 3140: 3132: 3129: 3101:singleton sets 3065:Main article: 3062: 3059: 3046: 3026: 3006: 2994:is itself the 2932:Main article: 2929: 2926: 2919: 2880: 2869:Main article: 2866: 2863: 2849: 2845: 2835:are closed in 2824: 2821: 2818: 2798: 2795: 2792: 2768: 2764: 2743: 2740: 2737: 2734: 2729: 2726: 2722: 2718: 2715: 2695: 2692: 2689: 2684: 2681: 2677: 2673: 2670: 2649: 2645: 2642: 2639: 2636: 2608: 2588: 2566: 2562: 2558: 2534: 2514: 2511: 2508: 2505: 2502: 2499: 2496: 2493: 2490: 2487: 2482: 2479: 2475: 2471: 2468: 2448: 2445: 2442: 2439: 2436: 2433: 2428: 2425: 2421: 2417: 2414: 2394: 2366: 2346: 2343: 2340: 2337: 2334: 2319: 2316: 2313: 2310: 2307: 2286: 2265: 2262: 2259: 2256: 2253: 2230: 2210: 2190: 2187: 2184: 2179: 2176: 2172: 2168: 2165: 2145: 2142: 2139: 2134: 2131: 2127: 2123: 2120: 2099: 2078: 2057: 2053: 2050: 2047: 2044: 2013: 1993: 1966: 1946: 1936: 1922: 1919: 1916: 1913: 1910: 1907: 1892: 1889: 1886: 1883: 1880: 1860: 1840: 1820: 1800: 1780: 1760: 1751:neighbourhood 1747:if there is a 1728: 1708: 1681: 1678: 1675: 1672: 1652: 1649: 1646: 1626: 1606: 1586: 1583: 1580: 1577: 1574: 1571: 1568: 1565: 1545: 1542: 1539: 1536: 1533: 1530: 1527: 1524: 1504: 1501: 1498: 1495: 1492: 1489: 1486: 1483: 1468: 1465: 1462: 1459: 1456: 1453: 1450: 1424: 1404: 1384: 1364: 1344: 1324: 1304: 1284: 1274:neighbourhoods 1253: 1233: 1209: 1206: 1184: 1181: 1160: 1157: 1154: 1150: 1147: 1143: 1140: 1137: 1134: 1131: 1127: 1124: 1103: 1083: 1059: 1056: 1053: 1050: 1047: 1044: 1041: 1038: 1035: 1032: 1029: 1009: 1006: 1003: 1000: 997: 994: 991: 988: 985: 982: 979: 976: 973: 970: 967: 964: 961: 958: 953: 949: 928: 925: 922: 919: 916: 913: 910: 907: 904: 901: 898: 895: 892: 889: 886: 883: 880: 877: 872: 868: 840: 836: 812: 809: 806: 803: 800: 785: 782: 779: 776: 773: 756: 740: 737: 734: 728: 725: 719: 716: 713: 707: 704: 698: 695: 669: 641: 621: 577: 557: 537: 525: 522: 491:separated sets 477: 476: 459: 458: 373: 371: 364: 357: 356: 314:external links 303: 301: 294: 289: 263: 262: 260: 253: 246: 245: 243: 242: 236: 233: 232: 227: 218: 213: 212: 207: 198: 193: 192: 189: 180: 175: 174: 171: 163: 158: 157: 154: 145: 140: 139: 136: 127: 122: 121: 118: 109: 104: 103: 100: 91: 86: 85: 82: 73: 68: 67: 64: 55: 50: 49: 48:classification 42: 41: 26: 24: 14: 13: 10: 9: 6: 4: 3: 2: 3698: 3687: 3684: 3682: 3679: 3678: 3676: 3661: 3653: 3649: 3646: 3644: 3641: 3639: 3636: 3635: 3634: 3626: 3624: 3620: 3616: 3614: 3610: 3606: 3604: 3599: 3594: 3592: 3584: 3583: 3580: 3574: 3571: 3569: 3566: 3564: 3561: 3559: 3556: 3554: 3551: 3549: 3546: 3545: 3543: 3541: 3537: 3531: 3530:Orientability 3528: 3526: 3523: 3521: 3518: 3516: 3513: 3511: 3508: 3507: 3505: 3501: 3495: 3492: 3490: 3487: 3485: 3482: 3480: 3477: 3475: 3472: 3470: 3467: 3465: 3462: 3458: 3455: 3453: 3450: 3449: 3448: 3445: 3441: 3438: 3436: 3433: 3431: 3428: 3426: 3423: 3421: 3418: 3417: 3416: 3413: 3411: 3408: 3406: 3403: 3401: 3397: 3394: 3393: 3391: 3387: 3382: 3372: 3369: 3367: 3366:Set-theoretic 3364: 3360: 3357: 3356: 3355: 3352: 3348: 3345: 3344: 3343: 3340: 3338: 3335: 3333: 3330: 3328: 3327:Combinatorial 3325: 3323: 3320: 3318: 3315: 3314: 3312: 3308: 3304: 3297: 3292: 3290: 3285: 3283: 3278: 3277: 3274: 3265: 3260: 3256: 3254:0-486-43479-6 3250: 3246: 3242: 3237: 3233: 3231:0-13-181629-2 3227: 3223: 3222:Prentice-Hall 3219: 3215: 3211: 3210: 3205: 3196: 3194:0-13-181629-2 3190: 3186: 3182: 3176: 3173: 3169: 3164: 3161: 3154: 3149: 3146: 3144: 3141: 3138: 3135: 3134: 3130: 3128: 3126: 3122: 3118: 3114: 3110: 3106: 3102: 3098: 3094: 3090: 3086: 3082: 3078: 3075:, two points 3074: 3068: 3060: 3058: 2997: 2993: 2989: 2985: 2981: 2977: 2973: 2969: 2965: 2961: 2957: 2953: 2949: 2945: 2941: 2935: 2927: 2925: 2923: 2915: 2914: 2908: 2906: 2902: 2898: 2894: 2890: 2886: 2878: 2872: 2864: 2862: 2847: 2819: 2793: 2782: 2766: 2741: 2735: 2727: 2724: 2720: 2716: 2713: 2690: 2682: 2679: 2675: 2671: 2668: 2640: 2637: 2634: 2626: 2606: 2586: 2577: 2564: 2560: 2556: 2548: 2532: 2512: 2506: 2503: 2500: 2497: 2494: 2491: 2488: 2480: 2477: 2473: 2469: 2466: 2443: 2440: 2437: 2434: 2426: 2423: 2419: 2415: 2412: 2392: 2384: 2380: 2364: 2341: 2338: 2335: 2314: 2311: 2308: 2260: 2257: 2254: 2244: 2243:unit interval 2228: 2208: 2185: 2177: 2174: 2170: 2166: 2163: 2140: 2132: 2129: 2125: 2121: 2118: 2076: 2048: 2045: 2042: 2035: 2031: 2011: 1991: 1982: 1980: 1964: 1944: 1934: 1920: 1914: 1911: 1908: 1887: 1884: 1881: 1858: 1838: 1818: 1798: 1778: 1758: 1750: 1746: 1726: 1706: 1697: 1695: 1679: 1676: 1673: 1670: 1650: 1647: 1644: 1624: 1604: 1584: 1578: 1575: 1572: 1566: 1563: 1540: 1537: 1534: 1531: 1525: 1522: 1502: 1496: 1493: 1490: 1484: 1481: 1463: 1460: 1457: 1451: 1448: 1440: 1439: 1422: 1402: 1382: 1362: 1342: 1322: 1302: 1282: 1275: 1272:if there are 1271: 1251: 1231: 1222: 1207: 1204: 1182: 1179: 1158: 1155: 1152: 1148: 1145: 1141: 1135: 1132: 1129: 1125: 1122: 1101: 1081: 1073: 1057: 1054: 1051: 1048: 1045: 1039: 1036: 1033: 1027: 1004: 1001: 995: 992: 989: 983: 980: 977: 974: 971: 965: 959: 951: 947: 923: 920: 914: 911: 908: 902: 899: 896: 893: 890: 884: 878: 870: 866: 858: 854: 838: 826: 807: 804: 801: 780: 777: 774: 764: 760: 754: 751: 738: 735: 732: 723: 717: 711: 702: 696: 693: 685: 683: 667: 659: 639: 619: 610: 607: 605: 601: 597: 593: 592: 575: 555: 535: 523: 521: 519: 515: 510: 508: 504: 500: 496: 493:are pairs of 492: 488: 484: 473: 470: 455: 452: 444: 433: 430: 426: 423: 419: 416: 412: 409: 405: 402: –  401: 397: 396:Find sources: 390: 386: 380: 379: 374:This article 372: 368: 363: 362: 353: 350: 342: 332: 328: 322: 321: 315: 311: 307: 302: 293: 292: 287: 285: 278: 277: 272: 271: 266: 261: 252: 251: 241: 238: 237: 234: 228: 223: 214: 208: 203: 194: 190: 185: 176: 172: 170: 159: 155: 150: 141: 137: 132: 123: 119: 117: 105: 101: 96: 87: 83: 78: 69: 65: 60: 51: 47: 43: 40: 35: 31: 19: 3660:Publications 3525:Chern number 3515:Betti number 3398: / 3389:Key concepts 3337:Differential 3263: 3240: 3217: 3184: 3175: 3163: 3124: 3120: 3116: 3112: 3108: 3104: 3096: 3092: 3084: 3080: 3076: 3072: 3070: 2991: 2987: 2983: 2979: 2975: 2967: 2963: 2959: 2955: 2951: 2943: 2939: 2937: 2917: 2911: 2909: 2904: 2900: 2896: 2892: 2884: 2876: 2874: 2620: 2578: 2025: 1983: 1740: 1698: 1436: 1265: 1223: 853:metric space 758: 752: 686: 653: 611: 608: 596:intersection 589: 527: 511: 490: 480: 465: 447: 441:January 2018 438: 428: 421: 414: 407: 395: 383:Please help 378:verification 375: 345: 339:January 2018 336: 325:Please help 317: 281: 274: 268: 267:Please help 264: 126:completely T 66:(Kolmogorov) 3623:Wikiversity 3540:Key results 3168:Pervin 1964 1072:derived set 524:Definitions 497:of a given 487:mathematics 331:introducing 173:(Tychonoff) 102:(Hausdorff) 3675:Categories 3469:CW complex 3410:Continuity 3400:Closed set 3359:cohomology 2948:complement 2661:such that 2549:less than 2111:such that 1831:such that 1355:such that 857:open balls 604:set theory 411:newspapers 270:improve it 46:Kolmogorov 3648:geometric 3643:algebraic 3494:Cobordism 3430:Hausdorff 3425:connected 3342:Geometric 3332:Continuum 3322:Algebraic 3155:Citations 3045:∅ 3025:∅ 3005:∅ 2996:empty set 2964:connected 2885:separated 2725:− 2680:− 2644:→ 2579:The sets 2492:− 2478:− 2435:− 2424:− 2175:− 2167:⊆ 2130:− 2122:⊆ 2052:→ 1984:The sets 1699:The sets 1532:− 1224:The sets 1153:∩ 1139:∅ 1130:∩ 1046:≥ 975:∈ 894:∈ 825:real line 763:intervals 733:∩ 727:¯ 715:∅ 706:¯ 697:∩ 656:separated 612:The sets 600:empty set 276:talk page 120:(Urysohn) 84:(Fréchet) 3686:Topology 3613:Wikibook 3591:Category 3479:Manifold 3447:Homotopy 3405:Interior 3396:Open set 3354:Homology 3303:Topology 3218:Topology 3216:(2000). 3185:Topology 3183:(2000). 3131:See also 3089:open set 2889:distinct 2783:. Since 2383:preimage 1208:′ 1183:′ 1149:′ 1126:′ 591:disjoint 483:topology 3638:general 3440:uniform 3420:compact 3371:Digital 3206:Sources 3170:, p. 51 3115:} and { 3107:} and { 2903:} and { 2891:points 2545:is any 682:closure 598:is the 495:subsets 425:scholar 327:improve 240:History 166:3½ 3633:Topics 3435:metric 3310:Fields 3251:  3228:  3191:  2982:is an 2972:subset 2922:spaces 2525:where 1749:closed 855:, two 427:  420:  413:  406:  398:  225:  205:  187:  152:  134:  113:½ 98:  80:  62:  3415:Space 432:JSTOR 418:books 312:, or 3249:ISBN 3226:ISBN 3189:ISBN 3123:and 3095:and 3083:are 3079:and 2895:and 2875:The 2809:and 2706:and 2619:are 2599:and 2459:and 2156:and 2024:are 2004:and 1933:are 1851:and 1739:are 1719:and 1663:and 1617:and 1556:and 1438:open 1415:and 1375:and 1315:and 1264:are 1244:and 1196:and 1094:and 1002:< 939:and 921:< 652:are 632:and 548:and 404:news 2986:of 2974:of 2962:is 2916:or 2405:as 2385:of 1957:or 1935:not 1811:of 1771:of 1696:). 1435:be 1335:of 1295:of 759:not 660:in 481:In 387:by 37:in 3677:: 3247:. 3243:. 3224:. 3220:. 2924:. 2565:2. 1981:. 684:: 489:, 316:, 308:, 279:. 3295:e 3288:t 3281:v 3257:. 3234:. 3197:. 3125:y 3121:x 3117:y 3113:x 3109:y 3105:x 3103:{ 3097:y 3093:x 3081:y 3077:x 3073:X 2992:X 2988:X 2980:A 2976:A 2968:A 2960:X 2956:X 2952:A 2944:A 2940:X 2920:2 2918:T 2905:y 2901:x 2897:y 2893:x 2881:2 2848:, 2844:R 2823:} 2820:1 2817:{ 2797:} 2794:0 2791:{ 2767:, 2763:R 2742:. 2739:) 2736:1 2733:( 2728:1 2721:f 2717:= 2714:B 2694:) 2691:0 2688:( 2683:1 2676:f 2672:= 2669:A 2648:R 2641:X 2638:: 2635:f 2607:B 2587:A 2561:/ 2557:1 2533:c 2513:, 2510:] 2507:c 2504:+ 2501:1 2498:, 2495:c 2489:1 2486:[ 2481:1 2474:f 2470:= 2467:V 2447:] 2444:c 2441:, 2438:c 2432:[ 2427:1 2420:f 2416:= 2413:U 2393:f 2365:f 2345:] 2342:2 2339:, 2336:1 2333:( 2318:) 2315:1 2312:, 2309:0 2306:[ 2285:R 2264:] 2261:1 2258:, 2255:0 2252:[ 2229:B 2209:A 2189:) 2186:1 2183:( 2178:1 2171:f 2164:B 2144:) 2141:0 2138:( 2133:1 2126:f 2119:A 2098:R 2077:X 2056:R 2049:X 2046:: 2043:f 2012:B 1992:A 1965:V 1945:U 1921:, 1918:] 1915:2 1912:, 1909:1 1906:( 1891:) 1888:1 1885:, 1882:0 1879:[ 1859:V 1839:U 1819:B 1799:V 1779:A 1759:U 1727:B 1707:A 1680:. 1677:B 1674:= 1671:V 1651:A 1648:= 1645:U 1625:B 1605:A 1585:. 1582:) 1579:3 1576:, 1573:1 1570:( 1567:= 1564:V 1544:) 1541:1 1538:, 1535:1 1529:( 1526:= 1523:U 1503:, 1500:] 1497:2 1494:, 1491:1 1488:( 1485:= 1482:B 1467:) 1464:1 1461:, 1458:0 1455:[ 1452:= 1449:A 1423:V 1403:U 1383:V 1363:U 1343:B 1323:V 1303:A 1283:U 1252:B 1232:A 1205:B 1180:A 1159:. 1156:A 1146:B 1142:= 1136:= 1133:B 1123:A 1102:B 1082:A 1058:. 1055:s 1052:+ 1049:r 1043:) 1040:q 1037:, 1034:p 1031:( 1028:d 1008:} 1005:s 999:) 996:x 993:, 990:q 987:( 984:d 981:: 978:X 972:x 969:{ 966:= 963:) 960:q 957:( 952:s 948:B 927:} 924:r 918:) 915:x 912:, 909:p 906:( 903:d 900:: 897:X 891:x 888:{ 885:= 882:) 879:p 876:( 871:r 867:B 839:, 835:R 811:] 808:2 805:, 802:1 799:( 784:) 781:1 778:, 775:0 772:[ 739:. 736:B 724:A 718:= 712:= 703:B 694:A 668:X 640:B 620:A 576:X 556:B 536:A 472:) 466:( 454:) 448:( 443:) 439:( 429:· 422:· 415:· 408:· 381:. 352:) 346:( 341:) 337:( 323:. 286:) 282:( 220:6 217:T 200:5 197:T 182:4 179:T 162:T 147:3 144:T 129:2 111:2 108:T 93:2 90:T 75:1 72:T 57:0 54:T 20:)

Index

Separated by neighbourhoods
Separation axioms
topological spaces
Kolmogorov
T0
T1
T2
T2½
completely T2
T3
T
T4
T5
T6
History
improve it
talk page
Learn how and when to remove these messages
list of references
related reading
external links
inline citations
improve
introducing
Learn how and when to remove this message

verification
improve this article
adding citations to reliable sources
"Separated sets"

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