5
$\begingroup$

The title sounds tautological, right? Perhaps I'm missing something completely trivial here ...

Assume $X$ is a compact totally disconnected hausdorff space. It is known that $X$ can be written as directed inverse limit of finite discrete spaces $X_i$ with surjective transition maps (i.e. $X$ is profinite). How do you prove that every map from $X$ to a finite discrete space factors through some projection $X \to X_i$?

I know that the fibers of the projections are a basis of the topology of $X$ (not only a subbasis). The corresponding result for profinite groups is true, but I cannot adopt the proof.

Of course you could use Stone duality to reduce the assertions to a completely trivial one (a finite boolean ring in a directed limit of boolean subrings lies in some of these boolean subrings), but I want a direct topological proof.

$\endgroup$
0

2 Answers 2

7
$\begingroup$

Let $f:X \to Z$ be a map to a finite discrete space. Note that each fiber, $f^{-1}(z)$, is both open and closed in $X$. Let $p_i: X \to X_i$ be the projection maps.

Fix some $z \in Z$. Since $f^{-1}(z)$ is open, and the fibers of the maps are a basis, there is an open cover of $f^{-1}(z)$ by sets of the form $p_i^{-1}(x)$, for $x$ in various $X_i$. Since $f^{-1}(z)$ is closed in a compact space, it is compact. So we can take a finite subcover of this cover. Thus, there is some single index $i$ for which $f^{-1}(z)$ is covered by sets of the form $p_i^{-1}(x)$, $x \in X_i$.

Since $Z$ is finite, there is a single $i$ such that, for every $z \in Z$, the fiber $f^{-1}(z)$ is covered by sets of the form $p_i^{-1}(x)$, $x \in X_i$. The map $f$ factors through $X_i$.

$\endgroup$
5
  • $\begingroup$ What is $f^{-1}(x)$ for $x \in X_i$? $\endgroup$ Jun 8, 2010 at 13:55
  • $\begingroup$ Ok but I still don't understand the proof at all. a) Why can be choose a single index $i$ in the second paragraph? b) The same in the third paragraph. Yes I have tried to use directedness etc., but it does not work. c) Why does $f$ factor through $X_i$? I mean how do you actually define the map $X_i \to Z$? $\endgroup$ Jun 8, 2010 at 21:13
  • $\begingroup$ Am I missing something? For (a), there are only finitely many indices $j_1$, $j_2$, ..., $j_r$. So, by directedness, there is some $X_i$ which maps to every $X_{j_a}$. Let $x \in X_{j_a}$ and let $q$ be the map $X_i \to X_{j_a}$. So $p_{j_a}^{-1}(x) = \bigcup_{y \in q^{-1}(x)} p_{i}^{-1}(y)$. This shows that a set which is a union of sets of the form $p_{j_a}^{-1}(x)$, for various $x$'s in various $X_{j_a}$, is also a union of sets of the form $p_i^{-1}(x)$ for $x \in X_i$. Similarly for (b). $\endgroup$ Jun 8, 2010 at 21:40
  • $\begingroup$ For (c): Suppose that two points, $x_1$ and $x_2$, of $X$ map to the same point of $y \in X_i$. Let $f^{-1}(x_j)=z_j$; we must show that $z_1=z_2$. If not, then $f^{-1}(z_1)$ and $f^{-1}(z_2)$ are disjoint. They are each covered by sets of the form $p_i^{-1}(y')$, for various $y'$ in $X_i$. The only $y'$ for which $p_i^{-1}(y')$ contains $x_1$ is $y$. So $p_i^{-1}(y) \subseteq f^{-1}(z_1)$. But, similarly, $p_i^{-1}(y) \subseteq f^{-1}(z_2)$. This contradicts that $f^{-1}(z_1)$ and $f^{-1}(z_2)$ are disjoint. $\endgroup$ Jun 8, 2010 at 21:49
  • $\begingroup$ Thus, the map $X_i \to Z$ is defined as follows: for $y \in X_i$, choose a preimage $x$ of $y$, and map $y$ to $f(z)$. $\endgroup$ Jun 8, 2010 at 21:50
3
$\begingroup$

The key to generalizing the proof for groups is to argue that the space is a uniform space. In the case of a group, everything can be translated into neighborhoods of the identity. To do the same in the general case, we work with neighborhoods of the diagonal Δ = {(x,x) : x ∈ X}.

When X is an inverse limit of finite discrete spaces pi:X→Xi, then the preimages of the finite diagonals Ei = pi-1i) form a fundamental system of entourages for X; this follows directly from the universal property of inverse limits. Now consider a partition U1,...,Uk of X into pairwise disjoint clopen sets, then U1×U1 ∪ ... ∪ Uk×Uk is a clopen neighborhood of the diagonal Δ. This neighborhood must contain one of the entourages Ei, which gives the required factorization.

See also my answer to question 15440 where I similarly characterize spaces that are inverse limits of discrete spaces.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.