Product Topology of Discrete Sets If I am examining two sets $X$ and $Y$, each with the discrete topology, will $X\times Y$ have a discrete topology? My understanding is yes. I believe this because $X\times Y$ is the finite product of discrete spaces. Every point in $X$ is open and every point in $Y$ is open, and every point in $X\times Y$ is open.  Thus $X\times Y$ has a discrete topology. 
Is this understanding correct?
 A: Given that the projection functions $p_1:X\times Y\rightarrow X$ and $p_2:X\times Y\rightarrow Y$ are continuous, take $(x,y)\in X\times Y$. Clearly: 
$$\{(x,y)\} = p_1^{-1}(\{x\}) \cap p_2^{-1}(\{y\})$$
But since the topologies on $X$ and $Y$ are discrete, and $p_1$ and $p_2$ are continuous, this means that $p_1^{-1}(\{x\})$ and $p_2^{-1}(\{y\})$ are open in $X\times Y$.
So the singleton set $\{(x,y)\}$ is the intersection of two open sets, and hence is an open set.
Note, this makes clear why this works for finite products, but not infinite products - a singleton in an infinite product would be the infinite intersection of open sets, which is not guaranteed to be open.
A: Your only flaw is when you say "and every point in $X\times Y$ is open". This is true, but is what you need to justify.  To do this, just say "take a point $(a,b)$ in the product, then $\{a\}$ is open in $X$ and $\{b\} $ is open in $Y$. By definition of the product topology, $\{a\}\times \{b\}=\{(a,b)\}$ is open in $X\times Y$."
A: Yes.  Finite products of discrete spaces are again discrete.  Both $X$ and $Y$ have as a base the singleton sets, and the product topology on $X\times Y$ will have as a base, the product of singleton sets, meaning every point is open and closed, and hence the topology on $X\times Y$ is discrete.
An infinite product of discrete spaces need not be discrete however.
A: Yes, this is correct. If you want a formal reasoning, it looks something like this.

Make a basis for the topologies of $X$ and $Y$ by letting each one-element (singleton) subset be a basis element. This would produce the discrete topology. Now every subset of $X\times Y$ containing a single point is a product of two basis elements, and thus a basis element itself, and hence we have discrete topology.
A: A basis for the product topology on $X \times Y$ is obtained by taking bases $\left\{ U_\alpha\right\}$ and $\left\{ V_\beta \right\}$ of each space $X$ and $Y$, respectively: then, $\left\{ U_\alpha \times V_\beta\right\}$ is a basis of $X \times Y$. Since with the discrete topology you can take as bases of each space all of the points on each space, a basis for $X\times Y$ is the set of all points $(x,y) \in X \times Y$. So $X \times Y$ has the discrete topology indeed.
