In functional analysis and in PDE theory, we are interested in proving existence results. Such results are generally obtained on some compact space for some given topology. And this is the reason why in functional analysis, we are always impoverishing topologies: we begin with the strong topology on, say, E', induced by the norm of $E$; then we have the weak topology \sigma(E',E'') and then we have the star weak topology \sigma(E',E). H. Brézis said in a remark of his book that the less open sets a topology has, the more compact sets it is susceptible to have. Does somebody can help me to understand more about this last statement?
Why does having fewer open sets make more sets compact?
-
1@everybody: Thank you! – 2011-10-18
1 Answers
A topological space X is called compact if each of its open covers has a finite subcover. That is, if for every family $\left\{ U_\alpha \right\}_{\alpha \in I}$ of open sets of $X$ such that $X = \bigcup_{\alpha \in I} U_\alpha$, we can find a finite subset $\alpha_1, \dots , \alpha_n \in I$ such that $X = U_{\alpha_1} \cup \dots \cup U_{\alpha_n}$.
So, the difficulty for a space to be compact is the number of possible open covers $\left\{ U_\alpha \right\}_{\alpha \in I}$ it has: if $X$ had just one of these open covers, we would have to find just one open finite subcover of it. For each open cover we add to $X$, we have to solve the problem of finding a finite open subcover again.
But the number of possible open covers of a space depends on the number of its open sets: the more open sets $X$ has, the more open covers we can form with them.
Two extreme examples could be:
- Take any space $X$ with the trivial topology (just $X$ and $\emptyset$ as open sets). It has just one open cover: $X$ itself. So, it's easy to find a finite subcover: $X$ itself. So $X$ is a compact space.
- Take any space $X$, with an infinite number of points, with the discrete topology (every subset of $X$ is an open set). We have there a lot of open covers. Particularly, we have the open cover of all the points of $X$, $\left\{ \left\{ x\right\} \right\}_{x\in X}$, which has no finite subcover. So $X$ cannot be compact.
EDIT. See the nice remark t.b. has added, counting the number of compact subsets in both cases.
-
2In view of the question it's probably worth pointing out that in $X$ with the trivial topology, *all* subsets are compact, while in $X$ with the discrete topology only *finite* subsets are compact. So in the trivial topology there are a many more compact subsets than in the discrete one as soon as $X$ is infinite ($2^{|X|}$ compact subsets versus $|X|$). – 2011-10-18