2
$\begingroup$

If $\mathfrak d$ is the cardinality of the least dominating family in the set of functions from $\omega$ to $\aleph_{\omega}$, what are its possible values with respect to the cardinal $(\aleph_{\omega})^{\omega}$?

$\endgroup$

1 Answer 1

5
$\begingroup$

Your dominating number is the same as the usual dominating number for families of functions $\omega\to\omega$.

For the one direction, we may associate any function $f:\omega\to\omega$ with a corresponding function $f^*:\omega\to\aleph_\omega$ by defining $f^*(n)=\aleph_{f(n)}$. And if $\cal F$ is a dominating family on $\omega^\omega$, then the set ${\cal G}=\{f^*\mid f\in{\cal F}\}$ is dominating in $(\aleph_\omega)^\omega$, since every function $g:\omega\to\aleph_\omega$ is dominated by $g^+(n)=|g(n)|^+$, which is $f^*$ for some function $f:\omega\to\omega$, which is dominated by a function in ${\cal G}$.

Conversely, if $\cal G$ is a dominating family in $\aleph_\omega^\omega$, then ${\cal F}=\{\bar f\mid f\in {\cal G}\}$ is dominating in $\omega^\omega$, where $\bar f(n)$ is the least $m$ with $f(n)\leq \aleph_m$.

So the two dominating numbers are exactly the same.

$\endgroup$
2
  • $\begingroup$ I guess the same idea works on any cardinal of countable cofinality. More generally, this method shows that one should consider dominating numbers on $\kappa$ only for regular $\kappa$, since the corresponding dominating number will be the same as for $\text{cof}(\kappa)$. $\endgroup$ May 20, 2011 at 23:27
  • $\begingroup$ Just to complete Joel's answer by explicitly giving the comparison with $(\aleph_\omega)^\omega$: We trivially have $\mathfrak{d}\leq 2^\omega\leq(\aleph_\omega)^\omega$, but whether $\mathfrak{d}=(\aleph_\omega)^\omega$ is independent of ZFC. $\endgroup$ May 21, 2011 at 1:15

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.