5
$\begingroup$

Let $\lambda$ be an infinite cardinal. Consider the Cantor cube $\Delta_\lambda = \{0,1\}^\lambda$. It is a standard fact in topology that the topological weight (= minimal cardinality for a basis) of $\Delta_\lambda$ is $\lambda$. Let $S$ be a zero-dimensional compact space of weight $\lambda$ and suppose $s\colon \Delta_\lambda\to S$ is a continuous suriection. Does there exists a closed subspace $D$ of $\Delta_\lambda$, which is homeomorphic to $S$ such that $p|_D$ is a homeomorphism?

$\endgroup$
2
  • $\begingroup$ The dual statement is that if $B$ is a subalgebra of cardinality $\lambda$ of the $\lambda$-generated free Boolean algebra, then the inclusion monomorphism splits, and in particular, $B$ is projective. My gut feeling is that this shouldn’t hold in general. $\endgroup$ Dec 4, 2012 at 16:30
  • $\begingroup$ Are your two functions $s$ and $p$ the same function? $\endgroup$ Dec 4, 2012 at 18:15

2 Answers 2

5
$\begingroup$

The following construction is due to Pashenkov (see "Extensions of compact spaces", Soviet Math. Dokl., 1974):

Let $X=2^\omega$ and $Z=X \times 2^X$ with product topologies everywhere. Define an equivalence relation on $Z$ by $$(x_1,y_1) \sim (x_2,y_2) \Longleftrightarrow x_1=x_2 \land y_1(x)=y_2(x) \mbox{ for all } x \in X \setminus \{x_1\}.$$

Let $\hat{Z}$ be the quotient space $Z / \sim$ and let $s: Z \to \hat{Z}$ denote the quotient map. Among other things, Pashenkov shows that $\hat{Z}$ is zero-dimensional of weight $2^{\aleph_0}$ and that $s$ is an irreducible map (i.e. there is no proper closed subset of $Z$ on which $s$ is still onto $\hat{Z}$).

Thus we get a counterexample to your question by taking $\lambda=2^{\aleph_0}$, $S=\hat{Z}$ and noting that $Z$ is homeomorphic to $2^\lambda$.

$\endgroup$
1
  • $\begingroup$ This is very clever, thank you. By the way, do you think is there any name for the following property (?) of a compact space: $X$ has (?) if for every surjection $s\colon X\to X$ there is a copy $Y$ of $X$ such that $s|_Y$ is injective (a homeomorphism onto its image). $\endgroup$ Dec 5, 2012 at 12:15
1
$\begingroup$

I think there is an error in the question. For this to be right, $S$ must necessarily have a subspace homeomorphic to $\Delta_\lambda$. That's not true in simple cases like $\lambda = \omega$, $S$ a convergent sequence.

$\endgroup$
1
  • $\begingroup$ Of course, it was a typo. Sorry for this. I want obviously $D$ homeomorphic to $S$. $\endgroup$ Dec 4, 2012 at 15:24

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.