5
$\begingroup$

I am trying to understand why $\mathfrak s \leq \mathfrak d$. Can anyone state a proof of it? I have a proof , which I don't understand yet. My question regarding that proof is here below:

At the begining of the proof, for every strictly increasing function, $f \in \omega^\omega$, with $f(0) > 0$, a set $\sigma_f$ is defined as follows:

$\sigma_f = \bigcup\{[f^{2n}(0),f^{2n+1}(0));n \in \omega\}$.

My question is: Why is $\sigma_f$ defined this way? Why isn't it possible to define it ths way: $\sigma_f = \bigcup\{[f(2n),f(2n+1));n \in \omega\}$?

Here is the Proof: enter image description here

Definitions: $\mathfrak s$ is the splitting number which is the smallest cardinality of any splitting family.

A splitting family is a family $\mathcal L \subseteq [\omega]^\omega$ such that each set $y \in [\omega]^\omega$ is split by at least one $x \in \mathcal L$. Also, a set $x \subseteq \omega \space$ splits an infinite set $y \in [\omega]^\omega$ if both $y \cap x$ and $y\setminus x$ are infinite.

A familly $\mathcal D \subseteq \omega^\omega$ is dominating, if for each $f \in \omega^\omega$, there is $g \in \mathcal D$ with $f \leq^*g$. The dominating number $\mathfrak d$, is the smallest cardinality of any dominating family, $\mathfrak d = min \{|\mathcal D|; \mathcal D \space is \space dominating\}$

Thank you, Shir

$\endgroup$
  • 3
    $\begingroup$ We're gonna have the Cichon diagram here soon! $\endgroup$ – Asaf Karagila Jan 13 '14 at 18:39
  • $\begingroup$ mm.. not sure what cichon means but think I got the point.. :\ $\endgroup$ – topsi Jan 14 '14 at 3:43
  • 2
    $\begingroup$ Jacek Cichoń and his diagram $\endgroup$ – bof Jan 14 '14 at 7:42
  • $\begingroup$ Will have a look. Thank you! $\endgroup$ – topsi Jan 14 '14 at 9:28
  • 2
    $\begingroup$ Among many non-Polish sources for Cichon's diagram, there's page 32 of (the unofficial version of) my chapter of the Handbook of Set Theory, available at math.lsa.umich.edu/~ablass/hbk.pdf , but be aware that many people adopt the opposite convention for the direction of the arrows. [My browser or this website rejected my attempts to put the accent on the n in Cichon's name.] $\endgroup$ – Andreas Blass Jan 15 '14 at 1:52
4
$\begingroup$

You could define $\sigma_f$ in the way you suggest, but then you'd have to use a more complicated $f$ later in the proof.

The point of the given definition is that when you apply $f$ to any number in one of the intervals $[f^{2n}(0),f^{2n+1}(0))$ that constitute $\sigma_f$, you get a result in the interval $[f^{2n+1}(0),f^{2n+2}(0))$ that is disjoint from $\sigma_f$. That's the essential ingredient in showing that any infinite set will (for a suitable $f$ as described in the proof), from some point on, meet all of the intervals (the ones in $\sigma_f$ as well as the ones disjoint from $\sigma_f$) and will therefore be split by $\sigma_f$.

$\endgroup$
  • $\begingroup$ ok I think I see that now. Will think about it. Thank you! $\endgroup$ – topsi Jan 14 '14 at 3:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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