Knowledge (XXG)

Separated sets

Source 📝

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

Index

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"
news

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