Any uncountable not-compact topological space has uncountable number of compact and noncompact subsets Question:  Prove that every uncountable topological space which is not compact has an uncountable number of subsets which are compact and an uncountable number which are not compact.
Since any finite set of a topological space is compact, $\{x_i\}$ is compact for each $x_i$ in $X$.  Therefore there's an uncountable number of compact sets since there are an uncountable number of singleton sets in an uncountable set.
I'm not sure how I would prove that there are an uncountable number of non-compact sets.
 A: The crucial sub-problem is the following. Suppose $A, B$ are both compact. Then what can you say about $A\cup B$?
Given that the whole space $X$ is not compact (as per your recent edit), what does this tell you about cosingletons $X\setminus\{x\}$ ($x\in X$)?

Notice that this argument only works for finite unions: do you see why an infinite (even countable) union of compact sets need not be compact?
A: In fact, any non-compact space has at least $2^{\aleph_0}$ non-compact subsets.
Let $X$ be a non-compact space; $X$ is infinite, since every finite space is compact. Let $\mathcal K$ be the collection of all compact subsets of $X,$ and let $\mathcal N=\mathcal P(X)\setminus\mathcal K$ be the collection of all non-compact subsets of $X.$ Since the union of two compact sets is compact, the complement of an element of $\mathcal K$ is an element of $\mathcal N;$ thus we get an injection $f:\mathcal K\to\mathcal N$ by setting $f(K)=X\setminus K.$ This shows that $|\mathcal K|\le|\mathcal N|.$ Since $|\mathcal K|+|\mathcal N|=|\mathcal K\cup\mathcal N|=|\mathcal P(X)|=2^{|X|}$ is an infinite cardinal, it follows that $|\mathcal K|+|\mathcal N|=|\mathcal N|$ and so $|\mathcal N|=2^{|X|}\ge2^{\aleph_0}.$
If we assume that $X$ is an infinite Hausdorff space, then we can drop the assumption that $X$ is not compact: any infinite Hausdorff space $X$ has $2^{|X|}$ non-compact subsets. If $X$ is discrete, then every infinite subset of $X$ is non-compact, and $X$ has $2^{|X|}$ infinite subsets. If $X$ is not discrete, then some one-point set $\{x\}$ is not open. Since compact subsets of a Hausdorff space are closed, the set $Y=X\setminus\{x\}$ is not compact, whence it has $2^{|Y|}=2^{|X|}$ non-compact subsets.
