Let $X$ be a convergence space and let $K_1, K_2, \ldots, K_n$ be compact subsets of $X$. I'm trying to prove for myself that the union $K$ of the $K_i$ is compact. By definition, $K$ is compact if every ultrafilter on it converges, so given an ultrafilter $\mathcal U$ on $K$, I have to show that it converges. Somehow I need to produce ultrafilters on each of the $K_i$ and relate them to $\mathcal U$ but I have no idea how to do this. Any tips?
Union of compact sets in a convergence space
2
$\begingroup$
general-topology
convergence-divergence
filters
-
0Sorry... I seem to have mentally confused "convergence space" with "sequential space" for some reason... – 2012-06-13
1 Answers
1
If $\mathscr{U}$ is an ultrafilter on $K$, there must be an $i\in\{1,\dots,n\}$ such that $K_i\in\mathscr{U}$. Then the trace of $\mathscr{U}$ on $K_i$, $\{U\cap K_i:U\in\mathscr{U}\}$, is an ultrafilter on $K_i$ that converges iff $\mathscr{U}$ does.
-
0Ah, of course! Thanks a lot. – 2012-06-13