2
$\begingroup$

Is it the case that the set of converging sequences uniquely determines the open sets in a topological space?

In other words: Given a space $X$ and two topologies $T_{1}$, $T_{2}$ on $X$. such that the set of converging sequences under $T_{1}$ equals the set of converging sequences under $T_{2}$. Does it imply that $T_{1}=T_{2}$?

  • 1
    This is not true in general, but is true for a class of spaces called [sequential spaces](http://en.wikipedia.org/wiki/Sequential_space).2012-06-12
  • 0
    Closely related question with examples that can be adapted: http://math.stackexchange.com/questions/53236/continuity-and-image-of-convergent-sequences?rq=12012-06-12

1 Answers 1

4

No. A simple counterexample can be produced as follows. Let $D$ be an uncountable set, and fix a point $p\in D$. Let $\tau_1$ be the discrete topology on $D$. Let $\tau_2$ be the topology that makes each point of $D\setminus\{p\}$ isolated and gives $p$ nbhds of the form $D\setminus C$, where $C$ is any countable subset of $D\setminus\{p\}$. In other words, $$\tau_2=\Big\{\{x\}:x\in D\setminus\{p\}\Big\}\cup\{D\setminus C:C\subseteq D\setminus\{p\}\text{ and }C\text{ is countable}\}\;.$$

Then $\langle D,\tau_1\rangle$ and $\langle D,\tau_2\rangle$ have the same convergent sequences: the only sequences that converge in either topology are those that are eventually constant. However, the two topologies are clearly not homeomorphic.

Spaces whose topologies are completely determined by their convergent sequences are called sequential spaces.

  • 1
    You're getting a lot of mileage from this space today ^^2012-06-12
  • 0
    @Olivier: Yes, that thought had occurred to me, too. :-)2012-06-12
  • 0
    What role does $X$ play in the above construction. Is $D\subset X$?2012-06-12
  • 0
    For my own understanding, the result is true if we replace sequences with nets, correct? The issue with sequences essentially being one of the topological space's first countability (or rather, lack thereof)?2012-06-12
  • 0
    @Thomas: There is no $X$ in my construction: the space is $D$. If you want to call it $X$ instead, just rename it.2012-06-12
  • 0
    @J.Loreaux: Yes, it’s true with nets (or filters). First countability is actually more than you need: sequential spaces are precisely the quotients of first countable spaces, and they aren’t all first countable.2012-06-12
  • 0
    @Brian: Thanks, that makes sense.2012-06-12
  • 0
    @BrianM.Scott: You define $\tau_{2}$ by using the notion of $X$ and $D$ simultaneously. That is the reason why I'm asking.2012-06-12
  • 0
    @Thomas: Typo. I didn’t even notice it when you asked the first time. Fixed now; thanks.2012-06-12
  • 0
    No problem. There is still one $X$ left though :-)2012-06-12
  • 0
    @Thomas: Not any more! :-)2012-06-12
  • 0
    How about the set of all continuos functions from X to X? Do they determine the topology uniquely?2012-06-12
  • 0
    @Brian: I dont see why it is the case. Consider X=\mathbb{N}. and let \mathcal{P}=\{\{0,2,4,...\},\{1,3,5,7,.....\}\}2012-06-13
  • 0
    Shit :) Consider the mapping 2->0, 4->2, 6->4,..... 1->1, 3->3,5->5,...0->1 The preimage of the even numbers (which is an open set) is the even numbers without 0 (which is not open)2012-06-13
  • 0
    @Shay: True enough; I’m not sure now what I was thinking. (Possibly I wasn’t: I’d just come back from a hilly 36-mile bicycle ride.) I’ll try to find some time to think about it again.2012-06-13
  • 0
    @BrianM.Scott: I hope you enjoyed the ride :) I will post this question - perhaps more people will see it (My feeling is that the answer is yes)2012-06-13