Let $\omega^\omega$ denote the collection of all functions $f:\omega\to\omega$. For $f,g\in\omega$ we define


* $f\leq g$ if $f(n)\leq g(n)$ for all $n\in\omega$;
* $f\leq^\* g$ if there is $N\in\omega$ such that $f(n)\leq g(n)$ for all $n\in \omega$ with $n\geq N$.


The cardinals ${\frak b}, {\frak d}$ are defined as follows:


* ${\frak b} = \min\{|S|: S \subseteq \omega^\omega \text{ and } \forall f\in\omega^\omega \exists s\in S(s \not \leq^\* f)\}$,
* ${\frak d} = \min\{|S|: S \subseteq \omega^\omega \text{ and } \forall f\in\omega^\omega \exists s\in S(f \leq^\* s)\}$.


Let us define ${\frak b}', {\frak d}'$ using $\leq$ instead of $\leq^\*$.
Can it be proved that ${\frak b}' = {\frak c}$ (which would imply ${\frak d}' = {\frak c}$)? If not: which of ${\frak b}' < {\frak b}, {\frak b}' > {\frak b}, {\frak d}' < {\frak d}, {\frak d}' > {\frak d}$ is consistent?



${\frak b}$ and ${\frak d}$ defined with $\leq$ instead of $\leq^*$
Using "$\le$" instead of "$\le^\*$," I claim $\mathfrak{b}'=\omega$ and $\mathfrak{d}'=\mathfrak{d}$.


**To see $\mathfrak{b}'=\omega$**, let $f\_n$ be the constant function $x\mapsto n$; then setting $S=\{f\_n: n\in\omega\}$, there is clearly no function which is $\ge$ every element of $S$.


**To see $\mathfrak{d}'=\mathfrak{d}$**, suppose $S$ is a set of functions with $$(\*)\quad\forall f\in\omega^\omega\exists s\in S(f\le^\*s);$$ I'll build an $S'$, with $\vert S'\vert=\vert S\vert$, such that $$(\*\*)\quad\forall f\in\omega^\omega\exists s\in S'(f\le s).$$


To do this we proceed as follows. For $\sigma\in\omega^{<\omega}$ and $f\in\omega^\omega$, let $f^\sigma$ be the function gotten by replacing the length-$\vert\sigma\vert$ initial segment of $f$ by $\sigma$; that is, $f^\sigma(n)=\sigma(n)$ for $n<\vert\sigma\vert$, and $f^\sigma(n)=f(n)$ otherwise.


Now, given an $S$ with the property $(\*)$, let $$S'=\{f^\sigma: f\in S, \sigma\in\omega^{<\omega}\}.$$ Clearly $\vert S'\vert=\omega\times\vert S\vert=\vert S\vert$; I claim $S'$ has property $(\*\*)$. 


To see this, fix $g\in \omega^\omega$. Since $S$ has property $(\*)$, we may find an $f\in S$ with $g\le^\*f$. Then by definition of $\le^\*$ there is a $\sigma\in\omega^\omega$ such that $g\le f^\sigma$. But this $f^\sigma$ is in $S'$.


