Skip to main content
12 of 15
deleted 136 characters in body

The answer is no, if you require that the monotone function $F \, \colon \, \omega^\omega \rightarrow \omega^{\omega_1}$ is total. I will use fairly standard notation, i.e. $f,g \in \omega^\omega$, $\alpha, \beta \in \omega_1$ and $m.n \in \omega$.

The proof works as follows: First we will construct a sequence $(a_n)_{n \in \omega} \in \omega^\omega$ and find an ordinal $\beta < \omega_1$ such that $$\forall n \in \omega \,\, \exists f \in \prod_{m \leq n} a_m \times \prod_{m > n} \omega \, \colon \, F(f)(\beta) \geq n \, ,$$ where $\prod_{m \leq n} a_m \times \prod_{m > n} \omega =\{ f \in \omega^\omega \, \colon \, \forall m \leq n \,\, f(m) < a_m \}$. The idea behind this is that we can require a bound for finitely many values of an input function $f$ and still make $F(f)(\beta)$ arbitrarily large.

In the second step we construct a sequence $(b_n)_{n \in \omega} \in \omega^\omega$ such that $(b_n)_{n \in \omega} \geq (a_n)_{n \in \omega}$, and a sequence $(f_n)_{n \in \omega}$ such that $$\forall n \in \omega \, \colon \, f_n \in \omega^\omega \, \land \,(b_m)_{m \in \omega} \geq f_n \, \land \, F(f_n)(\beta) \geq n \,.$$ But this leads to a contradiction, since the monotonicity of $F$ implies that $\forall n \in \omega \, \colon \, F((b_m)_{m \in \omega})(\beta) \geq n$.

First step:

We will construct $(a_n)_{n\in \omega}$ by induction. For the base case $n=0$ we claim that $\exists a_0 \in \omega \,\exists \alpha_0 \in \omega_1 \, \forall A \in [\omega_1 \setminus\alpha_0]^{\leq \aleph_0} \colon F[\prod_{m = 0} a_0 \times \prod_{m>0} \omega] \,\text{is cofinal in} \, \omega^A$. This means that already $F\restriction \prod_{m = 0} a_0 \times \prod_{m>0} \omega$ dominates $\omega^A$ for every countable $A \subseteq \omega_1$ above $\alpha_0$.

Towards a contradiction assume that the claim is wrong. Therefore, we can construct a sequence $(A_n)_{n \in \omega}$ such that $A_n \in [\omega_1]^{\leq \aleph_0}$ and $\sup A_n < \min A_{n+1}$, and a sequence of functions $(f_n)_{n \in \omega}$ such that $f_n \in \omega^{A_n}$ and $F\restriction \prod_{m = 0} n \times \prod_{m>0} \omega$ does not dominate $f_n$. But if we define $B:= \bigcup_{n \in \omega} A_n \in [\omega_1]^{\leq \aleph_0}$ and $f:= \bigcup_{n \in \omega} f_n \in \omega^B$, we reach a contradiction, since noting that $\omega^\omega = \bigcup_{n \in \omega} \prod_{m = 0} n \times \prod_{m>0} \omega$, there cannot exist a $g \in \omega^\omega$ such that $F(g) \restriction B \geq f$.

Assume inductively that $a_0,..,a_n$ and increasing $\alpha_0,...,\alpha_n$ have already been defined, such that $\forall A \in [\omega_1 \setminus\alpha_n]^{\leq \aleph_0} \, \colon \, F[\prod_{m \leq n} a_m \times \prod_{m>0} \omega] \,\text{is cofinal in} \, \omega^A$. With a similar argument as before, and again noting that $$\prod_{m \leq n} a_m \times \prod_{m>n} \omega = \bigcup_{k \in \omega} \prod_{m \leq n} a_m \times \prod_{m=n+1} k \times \prod_{m>n+1} \omega$$ we can show that $$\exists a_{n+1} \in \omega \, \exists \alpha_{n+1} \in \omega_1 \setminus \alpha_n \, \forall A \in [\omega_1 \setminus\alpha_{n+1}]^{\leq \aleph_0} \, \colon$$ $$F[\prod_{m \leq n} a_m \times \prod_{m=n+1} a_{n+1} \times \prod_{m>n+1} \omega] \,\text{is cofinal in} \, \omega^A \, .$$ So we can find $a_{n+1}$ and $\alpha_{n+1} > \alpha_n$ as required.

Now let $\beta > \sup_{n \in \omega} \alpha_n$. It follows from our construction of the $(a_n)_{n \in \omega}$ that $$\forall n \in \omega \,\, \exists f \in \prod_{m \leq n} a_m \times \prod_{m > n} \omega \, \colon \, F(f)(\beta) \geq n \, .$$

Second step:

Again, we will construct $(b_n)_{n \in \omega}$ and $(f_n)_{n \in \omega}$ by induction. The base case $n=0$ is quite easy: Set $b_0=a_0$ and pick any $f_0 \in \prod_{m = 0} b_0 \times \prod_{m>0} \omega$. Then $F(f_0)(\beta)\geq 0$ trivially holds.

Assume inductively that $b_0,...,b_n$ and $f_0,...,f_n$ have already been constructed such that $$\forall m \leq n \, \colon \, a_m \leq b_m \, \land \, f_m \in \prod_{m \leq n} b_m \times \prod_{m>n} \omega \land \, F(f_m)(\beta) \geq m \, .$$ By using our construction from above, we can now find $f_{n+1} \in \prod_{m \leq n} b_m \times \prod_{m>n} \omega$ such that $F(f_{n+1})(\beta) \geq n+1$ and set $b_{n+1}:= \max( \max_{m \leq n+1} f_m(n+1), a_{n+1})+1$. It follows that $$\forall m \leq n+1 \, \colon \, a_m \leq b_m \, \land \, f_m \in \prod_{m \leq n+1} b_m \times \prod_{m>n+1} \omega \land \, F(f_m)(\beta) \geq m \, .$$

But now we have reached a contradiction, since $\forall n \in \omega \, \colon \, (b_m)_{m \in \omega} \geq f_n$, and therfore the monotonicity (and totality) of $F$ implies that $\forall n \in \omega \, \colon \, F((b_m)_{m \in \omega})(\beta) \geq n$.