A Survey of Cardinal Invariants of Topological Groups

(This is a presentation I gave for Bill Weiss’ course Set-Theoretic Topology on April 19, 2013. In class we discussed some cardinal invariants and how they are related; here I will survey what happens when we look at the cardinal invariants of topological groups.)

This review follows very closely the discussion in section 5.2 of Arhangel’skii and Tkachenko’s book “Topological Groups and Related Structures“. Another good resource is section 3 of Comfort’s article “Topological Groups” in the Handbook of Set-Theoretic Topology. The only thing I claim to be my own are the (unsourced) pictures I have provided.

Conventions and Notation

By convention, $\mathcal{N}$ will be the set of all open neighbourhoods of the identity in some fixed topological group $G$ . The identity will be written as $e$ , and we use multiplicative notation for our groups. Whenever relevant, we assume that $G$ is at least $T_1$ (hence also regular).

Recall that the following standard facts about topological groups $G$ with neighbourhood basis $\mathcal{N}$ at the identity:

$(\forall U \in \mathcal{N})(\exists V \in \mathcal{N})[VV^{-1} \subseteq U]$ ;
$(\forall a \in U \in \mathcal{N})(\exists V \in \mathcal{N})[aV \subseteq U]$ ;
$(\forall U \in \mathcal{N})(\forall x \in G)(\exists V \in \mathcal{N})[xVx^{-1} \subseteq U]$ .

prestuff 1_1 — The basic good properties of topological groups

Recall the following cardinal invariants for a topological space $(X, \tau)$ which are all assumed to be infinite:

$w(X) := \min \{\, \vert \mathcal{B} \vert : \mathcal{B}$ is a basis for $X \,\}$ , is the weight of $X$ ;
$d(X) := \min \{\, \vert D\vert : \overline{D} = X\,\}$ , is the density of $X$ ;
$\chi(p, X) := \min \{\, \vert \mathcal{B} \vert : \mathcal{B}$ is a local base at $p \in X \,\}$ , is the local character at $p$ ;
$\chi(X) := \sup_{p \in X} \chi(p, X)$ , is the character of $X$ ;
$\pi w(X)$ and $\pi \chi(X)$ , the $\pi$ -weight and $\pi$ -character (respectively), are defined analogously to weight and character, expect we do not ask “that the base point be in the open set”;
$L(X) := \min \{\, \kappa :$ every cover of $X$ has a subcover of cardinality $\leq \kappa \,\}$ , is the Lindelof number of $X$ ;
$e(X) := \sup\{\, \vert D \vert : D$ is closed and discrete $\,\}$ , is the extent of $X$ ;
$c(X) := \sup\{\, \vert \mathcal{U} \vert: \mathcal{U}$ is a pairwise disjoint family of open sets in $X \,\}$ , is the cellularity of $X$ .

You can see the relations here, from the picture taken from Hodel’s Article in the Handbook of Set-Theoretic Topology.

Fig. 1. (Hodel's article from the Handbook of Set-Theoretic Topology) — Fig. 1. (Hodel’s article from the Handbook of Set-Theoretic Topology)

A cardinal invariant for topological groups

Definition 1. A topological group is said to be $\kappa$ -narrow iff $\forall U \in \mathcal{N}$ there is an $A \in [G]^{\kappa}$ such that $A \cdot U = G$ . The index of narrowness, $ib(G)$ , is the minimal infinite cardinal $\kappa$ such that $G$ is $\kappa$ -narrow.

Facts. For a topological group $G$ :

$ib(G) \leq e(G)$ and hence $ib(G) \leq L(G) \leq w(G)$ ;
$ib(G) \leq c(G)$ ;
$w(G) = ib(G) \cdot \chi(G)$ .

proof of 1. Fix $\kappa := e(G)$ . All we need to show is that given a (wlog) open symmetric $U \in \mathcal{N}$ , we can translate it at most $\kappa$ -times and cover all of $G$ .

Suppose for the sake of contradiction that this does not hold for a particular $U$ . By recursion, define $\{x_\alpha : \alpha < \kappa^+\}$ so that $x_\alpha \notin x_\beta U$ for all $\alpha < \beta < \kappa^+$ .

Now take a $V \in \mathcal{N}$ such that $V^4 \subseteq U$ . The family $\{x_\alpha V : \alpha < \kappa\}$ witnesses the fact that $\{x_\alpha : \alpha < \kappa^+\}$ is closed and discrete. This is a closed discrete family of cardinality $\kappa^+$ , a contradiction. [QED]

proof of 2. Let $U \in \mathcal{V}$ . Choose a symmetric $V \in \mathcal{N}$ such that $V^2 \subseteq U$ . Take a family $A$ that is maximal with respect to the property: $\forall a,b \in A$ we have $aV \cap bV = \emptyset$ .

Consider $\{aV : a \in A\}$ , which is a family of disjoint open sets of cardinality $\vert A \vert \leq c(G)$ .

Claim: $AU = G$ .

Let $x \in G$ . By maximality of $A$ , there is an $a \in A$ such that $xV \cap aV \neq \emptyset$ . So then $x \in aVV^{-1} \subseteq aU$ . [QED]

proof of 3. By (1) we know that $ib(G) \leq w(G)$ , and it is clear that $\chi(G) \leq w(G)$ . We only need to show that $w(G) \leq \chi(G) \cdot ib(G)$ .

Set $\kappa := \chi(G) \cdot ib(G)$ , and let $\mathcal{H}$ be a basis at the identity such that $\vert \mathcal{H} \vert \leq \kappa$ . By narrowness, for all $U \in \mathcal{H}$ there is an $S_U \in [G]^{\kappa}$ so that $S_U \cdot U = G$ . Set $\mathcal{B} := \{\, xU : U\in \mathcal{H}, x \in S_U \,\}$ , which clearly has cardinality $\leq \kappa$ .

Claim: $\mathcal{B}$ is a basis for $G$ .

Let $a \in O$ be an open neighbourhood in $G$ . There exist $U,V \in \mathcal{H}$ such that $aU \subseteq O$ and $V^{-1}\cdot V \subseteq U$ . We know that $S_V \cdot V = G$ , so there is an $x \in S_V$ such that $a \in xV$ (and so also $x \in a V^{-1}$ ).

Thus $xV \subseteq a V^{-1} V \subseteq a U \subseteq O$ . [QED]

What are some special cases of this?

Corollary. If $G$ is an infinite precompact group, then $w(G) = \chi(G)$ .

Usual Cardinal invariants in topological groups

Recall that for any topological group $ib(G) \leq c(G) \leq d(G)$ and $ib(G) \leq L(G) \leq k(G)$ . So from the previous facts, we get the following relations which do not hold for the class of compact Hausdorff spaces. The two-arrows space – i.e. $[0,1]\times\{0,1\}$ with the lexicographical ordering- is an example of a compact, first-countable, separable Hausdorff space with uncountable weight.

Fact: For any topological group $G$ :

$w(G) \leq d(G) \cdot \chi(G)$ ;
$w(G) \leq k(G) \cdot \chi(G)$ ;
$w(G) \leq L(G) \cdot \chi(G)$ .

Proposition: For a topological group $G$

$\chi (G) = \pi \chi(G)$ ;
$w(G) = \pi w(G)$ ;

proof of 1. We need only show $\chi (G) \leq \pi \chi(G)$ . In fact, since we are checking the character for a topological group, we need only check the local character at the identity.

Fix $\kappa := \pi \chi(G)$ , and let $\mathcal{B}$ be a $\pi$ -base at the identity of cardinality $\kappa$ .

Claim: $\mathcal{C} := \{\, BB^{-1} : B \in \mathcal{B}\,\}$ is a local base at the identity (which clearly has cardinality $\leq \kappa$ ).

Let $U \in \mathcal{N}$ , and find a $V \in \mathcal{N}$ such that $VV^{-1} \subseteq U$ . Since $\mathcal{B}$ is a $\pi$ -base, there is a $B \in \mathcal{B}$ such that $B \subseteq V$ .

Thus $e \in BB^{-1} \subseteq VV^{-1} \subseteq U$ , and $BB^{-1} \in \mathcal{C}$ . [QED]

proof of 2. We recall the obvious inequality $\pi w(G) \leq w(G)$ , and we have already done all of the work for the other direction:

$w(G) \leq d(G) \cdot \chi(G) = d(G) \cdot \pi \chi(G) = \pi w(G)$ .

The first inequality is by Fact X.1, the second equality is by part a, and the last equality is obvious. [QED]

Compact Groups

We can combine these results with the classical results (from class) to get the following relations:

Proposition. Let $G$ be an infinite compact topological group. Then:

$\pi \chi(G) = \chi(G) = w(G) = \pi w(G)$ ;
$\vert G \vert = 2^{w(G)}$ ;
$d(G) = ln(w(G))$ , where $ln(w(G))$ is the least cardinal $\kappa$ such that $w(G) \leq 2^{\kappa}$ .

Recall:

Cech-Pospisil Theorem. (7.19 in Hodel’s article in the Handbook of Set-Theoretic Topology). Let $X$ be a compact space such that for each $p \in X$ the local character $\chi (p, X) \geq \kappa$ . Then $2^\kappa \leq \vert X \vert$ .

proof of 1. This follows from what we have already done, namely that $w(G) = ib(G) \cdot \chi(G)$ , and $ib(G) \leq l(G)$ .

proof of 2. For a topological group, each point has local character equal to the group’s character. So the C-P theorem gives us that $2^{\chi(G)} \leq \vert G \vert$ . For the other direction, we note that every Hausdorff space satisfies $\vert X \vert \leq 2^{w(X)}$ . [QED]

Some hard simple facts

Here are three big theorems related to topological groups:

Theorem [Birkhoff-Kakutani, 1936]. A topological group is metrizable if and only if it is first-countable.

Theorem [Haar, 1933]. Every locally compact topological group admits a (unique up to a constant) translation invariant (Haar) measure.

This theorem can often be used to simplify proofs involving locally compact groups. The existence of a measure that is positive on open sets usually gives a lot of understanding of the group.

Theorem [Tkachenko, 1983]. Every $\sigma$ -compact topological group satisfies the countable chain condition.

Contrast this with $\aleph_\omega$ with the linear-order topology which is a $\sigma$ -compact space with a very large uncountable collection of disjoint open sets. Also, $\aleph_\omega \cup \{\, \aleph_\omega\,\}$ is a compact space that isn’t ccc.

References

Arkhangelʹskiĭ, A. V., & Tkachenko, M. (2008). Topological groups and related structures. Amsterdam: Atlantis Press.

Kunen, K., & Vaughan, J. E. (1984). Handbook of set-theoretic topology. Amsterdam: North Holland.

2 thoughts on “A Survey of Cardinal Invariants of Topological Groups”

Samuel Coskey says:

April 18, 2013 at 10:45 pm

I need to read this post more carefully, but it is really interesting!

PS: “Hard simple” facts?

LikeLike
1. Peter Krautzberger says:
  
  April 24, 2013 at 12:00 am
  
  I’ll second that!
  
  LikeLike

Comments are closed.