(This is the write-up for a talk I gave in the Toronto Student Set Theory and Topology seminar on May 2, 2013.)
A couple of weeks ago I gave a talk for the set-theoretic topology course I was in, on the topic of cardinal invariants of topological groups. While I was preparing that presentation I discovered the following fact:
Theorem [Tkachenko, 1983] Every -compact group is ccc.
I will present a proof that I have adapted from Tkachenko’s original paper (“Souslin property in free topological groups on bicompacta”) and the proof that appears in Arhangel’skii & Tkachenko’s big purple book (Section 5.3 of Topological Groups and Related Structures). Both proofs involve first proving a Ramsey result about covers of a space, then using this to prove that a particular space has “weak-precalibre ” (i.e. Property K) which is a property that implies ccc. Learning this proof has been part of my ongoing attempt to learn how Ramsey results show up in topology.
Things I learned
Reading Tkachenko’s original paper presented me with some novel difficulties, the first of which was understanding what the heck the title was saying.
- What is the “Souslin Property”?
- What is a bicompact space?
- What does mean?
Unsurprisingly, the Souslin Property is just the countable chain condition (ccc). A bicompact space is one where every open cover has a finite subcover, that is … the space is compact. From what I can figure out, back in the old days of topology (40s?) a bicompact space was meant to denote a Hausdorff compact space. Finally, just means that the two sets are disjoint; I think that it was common in Russian papers to use instead of .
Working out this proof also reminded me that a -compact group is not always a -(compact group) group. 😉 That is, a group that is the countable union of compact sets need not be the countable union of compact groups. The reals with usual addition is a great example. What this means is that to prove Tkachenko’s theorem it is not enough to show that compact groups are ccc and use the fact that a countable union of ccc spaces is again ccc.
The Proof Strategy
The proof will be broken into two distinct parts. We will first show a Ramsey result about covers which will follow from the Dushnik-Miller Theorem. This will have nothing to do with groups, and will only barely use -compactness.
The second part will involve showing that any -compact group has weak-precalibre (also known as Property K), which implies that the group is ccc.
Some Preliminary Facts
Tkachenko’s theorem is interesting because it isn’t true without the group structure. There are two common examples of compact Hausdorff spaces that are not ccc.
Example 1. The ordinal space is a -compact, non-compact space with a large collection of disjoint open sets (e.g. the successor ordinals are all isolated in this space). Similarly, is a compact space with a large collection of disjoint open sets.
Example 2. The Stone-Cech remainder is a compact set that contains many disjoint open sets (e.g. generate open sets given by an almost disjoint family of cardinality ).
Recall the following Ramsey results:
Ramsey’s classical result says:
“If the enemy presents you with a complete graph on whose edges they have nefariously coloured using two colours, then you can find an infinte complete subgraph all of whose edges are the same colour”.
The Dushnik-Miller theorem says:
“If the enemy presents you with a complete graph on whose edges they have nefariously coloured using two colours, then you can find an uncountable complete subgraph in the first colour, or you can find an infinite complete subgraph in the second colour”.
You might think that there should be an uncountable complete subgraph in at least one of the two colours, but this just isn’t true. In general, when we intend to use Dushnik-Miller we colour a pair of nodes in the first colour if they “play nicely together” and use the second colour if they “play poorly together”. Generally we will know some fact like “there can’t be infinitely many nodes that all pairwise misbehave”, which will guarantee that we have an uncountable monochromatic complete subgraph.
The Ramsey Portion
First a quick definition
Definition: Let , a set, and a cover of . Then is the “star of in ”.
Essentially the star just picks out the elements of the cover that hit .
Fact 1. Let be a set, and let be a family of covers of such that uniformly each . Let (which don’t have to have any specified relation to the covers; they are just points.) THEN
- There are distinct such that .
- There is an infinite such that any distinct satisfy [i].
Fact 2. Let be a -compact space, and let be a family of covers of . Let THEN
- There is an uncountable such that any distinct satisfy [1.i].
The only thing we will really need to prove is Fact 1.i as the rest are corollaries of this (together with the Ramsey results I mentioned earlier). Let’s check that [1.ii] and [2.i] both hold if we assume [1.i].
[proof of 1.ii] This is a very easy application of Ramsey’s Theorem. Colour with two colours by colouring a pair colour 1 if they satisfy the conclusion of [1.i] and use colour 2 if they don’t. Ramsey’s theorem gives us an infinite monochromatic set and Fact 1.i tells us that it can’t be monochromatic in colour 2. So it must be monochromatic in colour 1, which is exactly what we were looking for. [QED]
[proof of 2.i] This is just like the previous proof, except we need to use Dushnik-Miller instead of Ramsey’s Theorem. But first we need to make sure that each of the covers are finite and uniformly have cardinality less than some .
Write as an increasing union of compact sets , for . One of these must contain an uncountable subset of , and, by compactness of , we can find finite subcovers of the corresponding . We can further refine to an uncountable subset so that each has cardinality less than some . [QED]
Now it just remains to prove Fact 1.i. This says something about “swapping the indices”. We will use Ramsey’s theorem, although it isn’t obvious what colouring we should use.
[proof] Without loss of generality we may assume that each has cardinality exactly . We then write each cover as . (Here our obstinate use of as the index for a natural number pays off: it is clear which cover each comes from!)
Now define a colouring by iff and .
(Okay, so I’m fibbing a bit. Really this isn’t right because as stated this colouring is not well-defined. It could be that . So we can either assume that is a partition – even though open covers are not usually partitions- or we can add the extra assumption in the colouring that is the lexicographically-least such pair. It won’t be an issue, as you will see later.)
Now by Ramsey’s Theorem there is an infinite and a colour – say – such that any pair from gets coloured . Notably, since is infinite it contains at least 3 elements, say .
This gives us three pairs, and six bits of information, so let’s record it:
- , ;
- , ;
- , ;
This tells us some stuff about intersections; in particular:
But we can see that and (Indices to the rescue again!) and these two sets have non-empty intersection (thanks !). So the pair is the witness we were seeking.[QED]
Chris Eagle pointed out in the seminar that this proof of [1.i] also gives an immediate proof of [1.ii].
Intermission for Snacks and Definitions
We have now proved the Ramsey results that we will need. Here’s the other stuff we will need to show ccc.
Defintion. A topological space has “weak-precalibre ” if whenever is an uncountable open family, then there is an uncountable subfamily such that we have . (This is also called Property K, or the Knaster Property.)
It is clear that weak-precalibre implies ccc. Also, to answer the question you are thinking, “precalibre ” (without the `weak’ prefix) means that you must replace “any two elements have non-empty intersection” with “any finite collection of elements has non-empty intersection”.
Theorem [Shakhmatov, 1986] The statement “Every -compact group is precalibre ” is independent of ZFC.
This is shown by looking at the free Abelian group where is the one-point compactification of with the discrete topology. Under we get that has precalibre (which is equivalent to ccc under MA). In the other direction, adding a Cohen real implies is not precalibre for .
Ivan Khatchatourian also pointed out to me that the word “Shakhmatov” is related to the words “check mate”, which means “the king is dead!”.
Theorem[Tkachenko, 1983] If is a -compact group, then has weak-precalibre , and thus it is ccc.
proof. Let be a collection of non-empty open sets in . (We need to find an uncountable subcollection of this that pairwise intersects.)
Let be defined by , which is continuous.
Now we need to find an uncountable collection of covers that will let us apply fact [2.i]. If you don’t believe that we can do the next thing, just take it for granted, I will explain it afterwards. (It is basically just continuity.)
For each , pick any and find an open cover (of ‘small’ sets) such that: if then (1) ; and (2) .
We apply Fact [2.i] which gives us an uncountable such that for we get .
Claim: For all we get .
Take any .
Unwrapping the two statements about stars gives:
- such that ; and
- such that
Using the defining property of the covers and gives:
- ; and
Here’s the proof of that weird property:
Pick any .
- Let ; and
- let .
Note that both of these are open subsets of (because is continuous), and both sets contain the diagonal of . Thus is a non-empty open set.
We then let where , is a horizontal slice. By definition of and , we see that the cover has the desired property.
Some Final Notes
You might have noticed that we didn’t use a whole lot about -compactness. In fact the only topological thing we needed was that Fact [2.i] holds. It turns out that there is a wider class of topological spaces that satisfy this fact: the -Lindelof spaces. I know what you’re thinking.
Definition: A family of subsets separates from if for every and there is an such that but .
Definition: A space is a -Lindelof space is there is a countable family of closed sets in that separates from . (In general, the least size of such a family is called its Nagami number.)
Fact: Compact spaces have finite Nagami number (as is the family that separates from ). Similarly, -compact spaces have countable Nagami number. (So every -compact space is also a -Lindelof space.)
While this property seems a bit weird, it is preserved under dense subgroups and products (which isn’t true of -compactness), which makes it nice.
A. Arhangel’skii, M. Tkachenko, “Topological Groups and Related Structures”, Amsterdam : Atlantis Press ; Singapore : World Scientific, c2008
D. B. Shakhmatov, “Precalibers of -compact topological groups”, Mat. Zametki, 39:6 (1986), 859–868
M. G. Tkachenko, “Souslin property in free topological groups on bicompacta”, Mat. Zametki, 34:4 (1983), 601-607