2
$\begingroup$

A topological space $(X, \tau)$ is a $T_1$ space if $\forall$ $x,y$$\in$$X$, $x$$\neq$$y$ we can find an open set that contains $x$ and not $y$ abd an open set that contains $y$ and not $x$.

A useful proposition about $T_1$ spaces is that in a $T_1$ space, every singleton is a closed set.

Suppose we are given two $T_1$ spaces $(X,\tau_1)$ and $(X,\tau_2)$.Prove that $(X,\tau_1 \cap\tau_2 )$ is a $T_1$ space.

I did this:

Let $x$$\in$$X$. We know that $\{x\}$ is closed in in $(X,\tau_1)$ and in $(X,\tau_2)$ so $X$\ $\{x\}$ is open in both spaces. Hence $X$\ $\{x\}$$\in$ $\tau_1\cap \tau_2$. It is easily proved that the intersection of topologies in $X$ is again a topology in $X$ and finally we have that $\{x\}$ is closed in $(X,\tau_1 \cap\tau_2 )$.

My general question is that can we prove with the same argument that the intersection of an arbitrary collection of $T_1$ topologies is a $T_1$ topology?

Or is there a tricky counterexample to this last statement?

Thank you in advance!

$\endgroup$
  • $\begingroup$ You need to prove slightly more. $T_1$ only implies that every singleton is closed. You can't assume the converse implies $T_1$ though. $\endgroup$ – Dan Rust Sep 9 '16 at 21:49
  • $\begingroup$ Yes this is indeed true but your observation is about the proof of the two topologies? $\endgroup$ – Marios Gretsas Sep 9 '16 at 21:53
  • 1
    $\begingroup$ @DanRust: Are you sure these conditions are not equivalent? $\endgroup$ – hardmath Sep 9 '16 at 21:53
  • 2
    $\begingroup$ They are equivalent, but you'd need to show that (or at least quote that result if you've already seen it). $\endgroup$ – Dan Rust Sep 9 '16 at 21:53
  • 1
    $\begingroup$ The proposition to be used is: a space is a $T_1$ space if and only if every singleton is closed. Based on that you can indeed prove smoothly that the intersection of a collection of $T_1$-topologies is a $T_1$- topology. $\endgroup$ – drhab Sep 9 '16 at 22:59
0
$\begingroup$

Each of your topologies contains the co-finite topology ( a set is open if it is the empty set or if its complement is finite.) So the intersection of your topologies contains this topology, and so points are closed in this topology as well.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.