cardinality of a set X in a topological space This is my extra credit homework problem and I have no idea how to prove this please help me. Thank you.
We denote by #S the cardinality of a set S. $\aleph_0$ = #$\mathbb{N}$, $c=2^{\aleph_0}$ = #$\mathbb{R}$. Let X be a topological space and let Y be a dense subset of X. Prove that #X $\le$ $2^{2^{\#Y}}$. Conclude that $\#X \le 2^c$ whenever X is separable.
Also, how to prove the product space $[0,1]^c$ (equipped with the product topology) is separable and $\# \beta \mathbb{N}$ = $2^c$.
First, I construct a continuous surjection $\# \beta \mathbb{N}$ $\rightarrow$ $[0,1]^c$. then what is the cardinality of $[0,1]^c$? 
 A: I am never sure how much should I write, when the question is homework. (I want to give hints but not to give away too much.) But since this is obviously available in many textbooks where the OP could find it easily, I think it does not matter that much how detailed hints I'll give.



*

*Hint for the estimate of a cardinality of space: Do you know result saying that if $x\in\overline Y$ then there is a filter base consisting of subsets of $Y$ that converges to $x$? What is maximal possible cardinality of such filter base? In combination with the assumption that $X$ is Hausdorff (which seems to be missing), can you get an estimate for the cardinality of $X$?

*For separability of $[0,1]^{\mathfrak c}$ you could use result from this question: On the product of separable spaces.

*Since $\beta\mathbb N$ is compact, any continuous dense map must be a surjection. (Why?) Can you use the fact that $[0,1]^{\mathfrak c}$ is separable and the definition of the Stone-Čech compactification $\beta\mathbb N$ to get such a map?

*By existence of surjective map $|\beta\mathbb N|\ge |[0,1]^{\mathfrak c}|=2^{\mathfrak c}$. Since $\beta\mathbb N$ contains $\mathbb N$ as a dense subset, you get $|\beta\mathbb N|\le 2^{\mathfrak c}$ from the first part.

You can find this result in several texts on general topology, e.g. the following:


*

*Theorem 3.6.11 in Engelking: General Topology, Heldermann 1989. (A more general statement about cardinality of the Stone-Čech compactification of arbitrary discrete space is given here.0

*Example 19.13 d) in Willard: General Topology, p.140 
A: The first question requires that $X$ be Hausdorff. If $X$ is any set, no matter how large, it can be equipped with the cofinite topology, which makes it a separable $T_1$-space. (Indeed, every countably infinite subset will be dense.) You don't actually need to know anything about filter bases and their convergence. Let $D$ be a dense subset of $X$. For each $x\in X$ let $\mathscr{N}(x)$ be the family of all open sets containing $x$, and let $\mathscr{D}(x)=\{V\cap D:V\in\mathscr{N}(x)\}$. Use the fact that $X$ is Hausdorff to show that $\mathscr{D}(x)\ne\mathscr{D}(y)$ whenever $x,y\in X$ with $x\ne y$. Then note that $\mathscr{D}(x)\subseteq\wp(D)$ for each $x\in X$. What is $|\wp(D)|$? How many subsets does $\wp(D)$ have?
I've nothing to add to Martin's comments on the other questions.
