- #1

- 870

- 0

Can someone provide me with an example of a non-Hausdorff space. I can't seem to conjure one up

- Thread starter Oxymoron
- Start date

- #1

- 870

- 0

Can someone provide me with an example of a non-Hausdorff space. I can't seem to conjure one up

- #2

HallsofIvy

Science Advisor

Homework Helper

- 41,833

- 956

- #3

Galileo

Science Advisor

Homework Helper

- 1,989

- 6

- #4

- 870

- 0

If I have sequence in a Hausdorff space, then the limit of this sequence is unique (ie. if it converges to A and B in a Hausdorff space then A = B).

But is the limit unique in a non-Hausdorff space? That is, in a non-Hausdorff space can a sequence have two, non-identical limits?

- #5

matt grime

Science Advisor

Homework Helper

- 9,395

- 3

It is important to remember waht it means for a seqquence to converge to something in an arbitrary topological space: x_n tends to x if for all open U with x in U then for all n sufficiently large x_n is in U.

Thus in the indsicrete topology every sequence tends to every point since there is only one open set (apart from the empty set).

Other non-hausdorff spaces include the zariski topology on R (or C or any field). A set is closed iff it is the set of zeroes of a polynomial. Thus the closed sets are precisely finite sets of points We can generalize to R^n (or C^n etc) with a bit of care. This is probably the most "naturally occuring" non-hausdorff space since it is the topology on the algebriac versions of Differential Manifolds (Algebraic varieties).

If a space is Hausdroff and x_n were to tend to x and y with x=/=y in its topology then there are disjoint open sets about x and y U and V say, and we know that all x_n for n sufficiently large are in U and V, but they are disjoint, contradiction, so there cannot be two distinct limits.

this is the second time today i've written that arguemtn out, though the first time was for ordinary metric spaces, well, R with the metric topology.

- #6

- 870

- 0

Im sorry but I am struggling to understand this.Thus in the indsicrete topology every sequence tends to every point since there is only one open set (apart from the empty set).

- #7

- 870

- 0

[tex]\tau = \{\oslash, X\}[/tex]

is the topology on [itex]X[/itex]. Then for any sequence [itex]x_n[/itex], every point [itex]x[/itex] in the sequence is in [itex]X[/itex] (obviously), so [itex]x \in X[/itex]. Then [itex]x_n \rightarrow x[/itex], ie the sequence converges to every point in [itex]X[/itex]. So if [itex]a,b \, \in X[/itex] and [itex]a \neq b[/itex] then regardless, [itex]x_n \rightarrow a[/itex] and [itex]x_n \rightarrow b[/itex].

And this is because the only open set containing [itex]a,b[/itex] is [itex]X[/itex] (well it certainly isn't [itex]\oslash[/itex]). But [itex]X[/itex] also contains every point in [itex]x_n[/itex]. Therefore, in the indiscrete topological space, every sequence has every point of [itex]X[/itex] as a limit.

How does this sound?

- #8

- 870

- 0

- #9

matt grime

Science Advisor

Homework Helper

- 9,395

- 3

I need to sit down.... A topology on set X is exaclty a collection of open sets satisfying certain conditions (equivalently closed sets satisfying dual conditions).Oxymoron said:So open sets in X are determined by the topology on X?

Again, that is the definition, yes.And a sequence [itex]x_n[/itex] converges to a point [itex]x[/itex] if each open neighbourhood of [itex]x[/itex] contains [itex]x_n [/itex] for [itex]n[/itex] sufficiently large.

So does that mean if a sequence exists in the indiscrete topological space, then the elements of the sequence must reside in an open set containing [itex]x_n[/itex].

Erm, since if (X,T) is any topological space (X the underlying set and T its topology) X is an element of T, then this statement is trivially true for all topological spaces.

And the only open set containing any points is [itex]X[/itex] because, from the topology, every other set is not open, or empty.

I don't understand what you're getting at. Please, for peace of mind, would you mind telling me what you think a topological space is?

- #10

HallsofIvy

Science Advisor

Homework Helper

- 41,833

- 956

Fortunately, I'm already sitting down! If X is any set, theOxymoron said:I just want to ask. Because we have defined the topology to be indiscrete, that means that the only open sets are the empty set and itself right? So open sets in X are determined by the topology on X?

(1) The empty set is in the collection.

(2) The set X itself is in the collection.

(3) The union of any subcollection of sets in the collection is also in the collection.

(4) The intersection of any

Yes, the

The "indiscrete" topology for any given set is just {φ, X} which you can easily see satisfies the 4 conditions above. In the indiscrete topology the only open sets are φ and X itself.

(For any set X, the collection of

??? In any topology a point of a sequence is inAnd a sequence [itex]x_n[/itex] converges to a point [itex]x[/itex] if each open neighbourhood of [itex]x[/itex] contains [itex]x_n [/itex] for [itex]n[/itex] sufficiently large. So does that mean if a sequence exists in the indiscrete topological space, then the elements of the sequence must reside in an open set containing [itex]x_n[/itex].

Let {xAnd the only open set containing any points is [itex]X[/itex] because, from the topology, every other set is not open, or empty.

Exercise for the student: Reverse yourself and show that in the discreet topology, the only convergent sequences are the constant sequences!

Last edited by a moderator: