Unique limits of sequences plus what implies Hausdorff? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T23:54:54Z http://mathoverflow.net/feeds/question/74724 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/74724/unique-limits-of-sequences-plus-what-implies-hausdorff Unique limits of sequences plus what implies Hausdorff? Dirk 2011-09-07T09:21:36Z 2011-09-13T04:19:35Z <p>It is known that there are non-Hausdorff spaces which admit unique limits for all convergent sequence (see <a href="http://www.sciencedirect.com/science/article/pii/0166864193901476" rel="nofollow">here</a>) and it is also known that unique limits for nets implies Hausdorff.</p> <p>What I am wondering is, if there is a (somehow weak) condition which one should add to "unique limits of sequences" to obtain a Hausdorff space. Would, for example, some countability help?</p> <p>Somehow in the same direction: What is the central property which is needed for a space such that it can be non-Hausdorff but has unique sequence limits? Is there a whole class of non-Hausdorff spaces which admit unique limits for convergent sequence?</p> http://mathoverflow.net/questions/74724/unique-limits-of-sequences-plus-what-implies-hausdorff/74727#74727 Answer by Michael Greinecker for Unique limits of sequences plus what implies Hausdorff? Michael Greinecker 2011-09-07T09:41:54Z 2011-09-07T09:41:54Z <p><a href="http://en.wikipedia.org/wiki/First-countable_space" rel="nofollow">First countable</a> is enough. Let $x\neq y$ be two points in your space that cannot be separated by neighborhoods. Let $O_1,O_2,\ldots$ form a neighborhood base of $x$ and let $U_1,U_2,\ldots$ form a neighborhood base for $y$. Choose a sequence $(z_n)$ such that $z_n\in O_n\cap U_n$ for all $n$. Now $(z_n)$ converges to both $x$ and $y$.</p> http://mathoverflow.net/questions/74724/unique-limits-of-sequences-plus-what-implies-hausdorff/74761#74761 Answer by David White for Unique limits of sequences plus what implies Hausdorff? David White 2011-09-07T15:28:47Z 2011-09-07T16:51:08Z <p>Here's an example of a space which is not Hausdorff but which has unique limits...</p> <p>Let $X = \mathbb{R}$ with the cocountable topology, i.e. a set is open iff its complement is countable. Clearly any two open sets intersect, because $\mathbb{R}$ is uncountable. So $X$ is non-Hausdorff. Now, suppose $(x_n)$ is a sequence which converges to $x$. Then $C =$ {$x_n\;|\;x_n\neq x$} is closed because it's countable. So $X-C$ is a neighborhood of $x$ and this means there is some $N$ such that for all $n>N$ $x_n\in X-C$, i.e. $x_n=x$ for large $n$. This means if $x_n\rightarrow y$ then $y=x$, proving limits are unique.</p> http://mathoverflow.net/questions/74724/unique-limits-of-sequences-plus-what-implies-hausdorff/75221#75221 Answer by Dave L Renfro for Unique limits of sequences plus what implies Hausdorff? Dave L Renfro 2011-09-12T14:15:59Z 2011-09-12T14:15:59Z <p>This past weekend, entirely by chance, I came across a published paper that used the term "US-space" for the class of topological spaces having the property that no sequence can converge to more than one point. The google search just below seems to bring up some things that might be of use to you:</p> <p><a href="http://www.google.com/search?q=%22US-space%22+convergence+sequence" rel="nofollow">http://www.google.com/search?q=%22US-space%22+convergence+sequence</a></p> http://mathoverflow.net/questions/74724/unique-limits-of-sequences-plus-what-implies-hausdorff/75274#75274 Answer by Paul Fabel for Unique limits of sequences plus what implies Hausdorff? Paul Fabel 2011-09-13T04:19:35Z 2011-09-13T04:19:35Z <p>Here is an answer to Dirk's last question, Is there a class of non_Hausdorff spaces in which convergent sequences have unique limits''?</p> <p>Yes. The so called KC-spaces or maximal compact spaces. These are spaces such that every compact subspace is closed. </p> <p>(The 1967 Monthly article of Wilansky `Between T1 and T2' subsumes, references, or implies all of the following).</p> <p>In a KC-space, convergent sequences have unique limits.</p> <p>(Suppose xn-->x in the KC space X. The set {x,x1,x2,..} is compact and hence closed. Thus if y is not in the set {x,x1,x2,..} then the open set X minus {x,x1,x2,..} shows it is false that xn-->y. Thus if xn-->y then y=x or y=xn for some n. If y=xn for infinitely many indices n then y=x (since every KC space is T1 (since singletons are compact) and since constant sequences have unique limits in a T1 space). If y=xn for finitely many indices then (deleting y from the sequence x1,x,2...) we are left with a subsequence zn-->x, the knowledge that y is not zn, and the knowledge that y is in the set {x,z1,z2,...} and we conclude y=x).</p> <p>To exhibit a large class of non-Hausdorff KC spaces let X be a non-locally-compact metric space ( for example the rationals) and let Y=X U {y} denote the Alexandroff compactification of X ( i.e. V is open in Y if V is open in X or if Y\V is a compact subspace of X). </p> <p>The space Y is a KC space but Y is not Hausdorff. </p>