0
$\begingroup$

Let $X$ be the two point set with the discrete topology. Let $X^\omega$ be the countable infinite Cartesian product of $X$ with itself.

Prove or disprove: the box topology on $X^\omega$ is discrete.

So what I don't get is what a two point set is? I'm guessing it is the set $\{0,1\}$. To prove something is discrete space we have to show that every subset of $X$ is open (and hence closed) but I don't know how to go about doing this? Please can someone help me with the proof?

The box topology is an infinite product of open sets.

Since the base space is discrete, taking arbitrary products of discrete sets gives discrete sets. An arbitrary element of $X^\omega$ in this topology can be thought of as just ({$x$1},{$x$2},...,) which an infinite product of open sets, and is open in the box topology. This proves that the box topology gives the discrete topology on the infinite product as claimed.

$\endgroup$
  • 2
    $\begingroup$ Please tell us what you've tried. Also, please ask one question at a time. $\endgroup$ – Shaun Oct 19 '17 at 18:26
  • 2
    $\begingroup$ With the box topology, it is discrete. With thr product topology it is homeomorphic to the Cantor set. $\endgroup$ – William Elliot Oct 19 '17 at 18:38
  • $\begingroup$ I have no idea how to start this proof. Please can someone tell me how to start it... $\endgroup$ – Anjeli Ford Oct 19 '17 at 18:55
  • $\begingroup$ @AnjeliFord Start with the definition of "discrete". How do you prove/disprove that a space is discrete? $\endgroup$ – John Griffin Oct 19 '17 at 21:13
  • $\begingroup$ You prove a space is discrete by showing every subset of X is open (and hence closed)... $\endgroup$ – Anjeli Ford Oct 20 '17 at 2:42
0
$\begingroup$

A base set is {x1} × {x2} × {x3} × ... = { (x1, x2, x3, ...) }.
So all singletons are open making the space discrete.

$\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.