Knowledge

Locally Hausdorff space

Source đź“ť

566:
A space is locally Hausdorff exactly if it can be written as a union of Hausdorff open subspaces. And in a locally Hausdorff space each point belongs to some Hausdorff dense open subspace.
698: 649: 467: 765: 556: 513: 490: 397: 354: 785: 742: 722: 669: 616: 533: 441: 417: 374: 327: 111: 93: 280:
There are locally Hausdorff spaces where a sequence has more than one limit. This can never happen for a Hausdorff space.
225: 952: 330: 288: 253: 674: 625: 303: 284: 832: 446: 8: 299: 747: 538: 495: 472: 379: 336: 891: 847: 770: 727: 707: 654: 601: 518: 426: 402: 359: 312: 24: 859: 619: 577: 261: 245: 31: 901: 820: 39: 19: 906: 879: 828: 274: 257: 147: 75: 576:. The converse is not true in general. For example, an infinite set with the 420: 819:, Lecture Notes in Math., vol. 1488, Springer, Berlin, pp. 298–305, 946: 863: 701: 129: 815:
Niefield, Susan B. (1991), "Weak products over a locally Hausdorff locale",
202: 182: 164: 592: 295: 237: 824: 896: 788: 581: 570: 241: 57: 927: 915: 787:
is locally Hausdorff at every point, and is therefore
773: 750: 730: 710: 677: 657: 628: 604: 541: 521: 498: 475: 449: 429: 405: 382: 362: 339: 315: 267: 535:
and therefore the space is not locally Hausdorff at
779: 759: 736: 716: 692: 663: 643: 610: 550: 527: 507: 484: 461: 435: 411: 391: 368: 348: 321: 671:is Hausdorff. This follows from the fact that if 944: 884:Proceedings of the American Mathematical Society 852:Cahiers de topologie et gĂ©omĂ©trie diffĂ©rentielle 306:is not Hausdorff, but it is locally Hausdorff. 880:"Manifolds: Hausdorffness versus homogeneity" 877: 878:Baillif, Mathieu; Gabard, Alexandre (2008). 456: 450: 848:"A note on the locally Hausdorff property" 905: 895: 933: 921: 845: 814: 622:that is locally Hausdorff at some point 945: 287:is locally Hausdorff (it is in fact 798:topological groups are Hausdorff). 13: 268:Examples and sufficient conditions 14: 964: 591:Every locally Hausdorff space is 569:Every locally Hausdorff space is 515:any neighbourhood of it contains 302:of differentiable functions on a 469:is a Hausdorff neighbourhood of 588:that is not locally Hausdorff. 871: 839: 808: 1: 907:10.1090/S0002-9939-07-09100-9 801: 561: 817:Category theory (Como, 1990) 7: 10: 969: 331:particular point topology 221: 201: 181: 163: 146: 128: 110: 92: 74: 56: 38: 30: 18: 846:Niefield, S. B. (1983). 376:is locally Hausdorff at 693:{\displaystyle y\in G,} 644:{\displaystyle x\in G,} 781: 761: 738: 718: 694: 665: 645: 612: 552: 529: 509: 486: 463: 437: 413: 393: 370: 350: 333:with particular point 323: 124:(completely Hausdorff) 782: 762: 739: 719: 695: 666: 646: 613: 553: 530: 510: 487: 464: 462:{\displaystyle \{p\}} 438: 414: 394: 371: 351: 324: 304:differential manifold 285:line with two origins 277:is locally Hausdorff. 252:if every point has a 771: 748: 728: 708: 675: 655: 626: 602: 539: 519: 496: 492:For any other point 473: 447: 427: 403: 380: 360: 337: 313: 291:) but not Hausdorff. 724:to itself carrying 329:be a set given the 142:(regular Hausdorff) 936:, Proposition 3.5. 924:, Proposition 3.4. 825:10.1007/BFb0084228 777: 760:{\displaystyle y,} 757: 734: 714: 690: 661: 641: 608: 551:{\displaystyle x.} 548: 525: 508:{\displaystyle x,} 505: 485:{\displaystyle p.} 482: 459: 443:and the singleton 433: 409: 392:{\displaystyle p,} 389: 366: 349:{\displaystyle p.} 346: 319: 289:locally metrizable 240:, in the field of 195:(completely normal 177:(normal Hausdorff) 25:topological spaces 953:Separation axioms 780:{\displaystyle G} 737:{\displaystyle x} 717:{\displaystyle G} 664:{\displaystyle G} 620:topological group 611:{\displaystyle G} 578:cofinite topology 528:{\displaystyle p} 436:{\displaystyle X} 412:{\displaystyle p} 369:{\displaystyle X} 322:{\displaystyle X} 262:subspace topology 250:locally Hausdorff 246:topological space 234: 233: 215:(perfectly normal 20:Separation axioms 960: 937: 931: 925: 919: 913: 911: 909: 899: 890:(3): 1105–1111. 875: 869: 867: 843: 837: 835: 812: 786: 784: 783: 778: 766: 764: 763: 758: 743: 741: 740: 735: 723: 721: 720: 715: 699: 697: 696: 691: 670: 668: 667: 662: 650: 648: 647: 642: 617: 615: 614: 609: 557: 555: 554: 549: 534: 532: 531: 526: 514: 512: 511: 506: 491: 489: 488: 483: 468: 466: 465: 460: 442: 440: 439: 434: 418: 416: 415: 410: 398: 396: 395: 390: 375: 373: 372: 367: 355: 353: 352: 347: 328: 326: 325: 320: 217: Hausdorff) 212: 207: 197: Hausdorff) 192: 187: 174: 169: 154: 153: 139: 134: 121: 116: 101: 100: 85: 80: 67: 62: 49: 44: 16: 15: 968: 967: 963: 962: 961: 959: 958: 957: 943: 942: 941: 940: 932: 928: 920: 916: 876: 872: 844: 840: 813: 809: 804: 797: 792: 772: 769: 768: 749: 746: 745: 729: 726: 725: 709: 706: 705: 700:there exists a 676: 673: 672: 656: 653: 652: 627: 624: 623: 603: 600: 599: 585: 574: 564: 540: 537: 536: 520: 517: 516: 497: 494: 493: 474: 471: 470: 448: 445: 444: 428: 425: 424: 404: 401: 400: 381: 378: 377: 361: 358: 357: 338: 335: 334: 314: 311: 310: 275:Hausdorff space 270: 258:Hausdorff space 230: 216: 210: 208: 205: 196: 190: 188: 185: 172: 170: 167: 155: 151: 150: 137: 135: 132: 119: 117: 114: 102: 98: 96: 83: 81: 78: 65: 63: 60: 47: 45: 42: 22: 12: 11: 5: 966: 956: 955: 939: 938: 926: 914: 870: 838: 806: 805: 803: 800: 795: 790: 776: 756: 753: 733: 713: 689: 686: 683: 680: 660: 640: 637: 634: 631: 607: 583: 572: 563: 560: 559: 558: 547: 544: 524: 504: 501: 481: 478: 458: 455: 452: 432: 421:isolated point 408: 388: 385: 365: 345: 342: 318: 307: 292: 281: 278: 269: 266: 248:is said to be 232: 231: 229: 228: 222: 219: 218: 213: 204: 199: 198: 193: 184: 179: 178: 175: 166: 161: 160: 157: 149: 144: 143: 140: 131: 126: 125: 122: 113: 108: 107: 104: 95: 90: 89: 86: 77: 72: 71: 68: 59: 54: 53: 50: 41: 36: 35: 34:classification 28: 27: 9: 6: 4: 3: 2: 965: 954: 951: 950: 948: 935: 934:Niefield 1983 930: 923: 922:Niefield 1983 918: 908: 903: 898: 893: 889: 885: 881: 874: 865: 861: 857: 853: 849: 842: 834: 830: 826: 822: 818: 811: 807: 799: 793: 774: 754: 751: 731: 711: 703: 702:homeomorphism 687: 684: 681: 678: 658: 638: 635: 632: 629: 621: 605: 596: 594: 589: 587: 579: 575: 567: 545: 542: 522: 502: 499: 479: 476: 453: 430: 422: 406: 386: 383: 363: 343: 340: 332: 316: 308: 305: 301: 297: 293: 290: 286: 282: 279: 276: 272: 271: 265: 263: 259: 255: 254:neighbourhood 251: 247: 243: 239: 227: 224: 223: 220: 214: 209: 200: 194: 189: 180: 176: 171: 162: 158: 156: 145: 141: 136: 127: 123: 118: 109: 105: 103: 91: 87: 82: 73: 69: 64: 55: 51: 46: 37: 33: 29: 26: 21: 17: 929: 917: 897:math/0609098 887: 883: 873: 858:(1): 87–95. 855: 851: 841: 816: 810: 597: 590: 568: 565: 249: 235: 112:completely T 52:(Kolmogorov) 912:, Lemma 4.2 868:, Lemma 3.2 296:etale space 238:mathematics 159:(Tychonoff) 88:(Hausdorff) 802:References 562:Properties 356:The space 260:under the 256:that is a 32:Kolmogorov 864:2681-2398 682:∈ 633:∈ 106:(Urysohn) 70:(FrĂ©chet) 947:Category 298:for the 242:topology 833:1173020 226:History 152:3½ 862:  831:  794:(and T 419:is an 399:since 273:Every 211:  191:  173:  138:  120:  99:½ 84:  66:  48:  892:arXiv 704:from 651:then 618:is a 593:sober 586:space 580:is a 300:sheaf 860:ISSN 309:Let 294:The 283:The 244:, a 902:doi 888:136 821:doi 767:so 744:to 598:If 423:in 236:In 23:in 949:: 900:. 886:. 882:. 856:24 854:. 850:. 829:MR 827:, 595:. 264:. 910:. 904:: 894:: 866:. 836:. 823:: 796:1 791:1 789:T 775:G 755:, 752:y 732:x 712:G 688:, 685:G 679:y 659:G 639:, 636:G 630:x 606:G 584:1 582:T 573:1 571:T 546:. 543:x 523:p 503:, 500:x 480:. 477:p 457:} 454:p 451:{ 431:X 407:p 387:, 384:p 364:X 344:. 341:p 317:X 206:6 203:T 186:5 183:T 168:4 165:T 148:T 133:3 130:T 115:2 97:2 94:T 79:2 76:T 61:1 58:T 43:0 40:T

Index

Separation axioms
topological spaces
Kolmogorov
T0
T1
T2
T2½
completely T2
T3
T
T4
T5
T6
History
mathematics
topology
topological space
neighbourhood
Hausdorff space
subspace topology
Hausdorff space
line with two origins
locally metrizable
etale space
sheaf
differential manifold
particular point topology
isolated point
T1
cofinite topology

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

↑