3
$\begingroup$

Let $\kappa$ be a regular cardinal. I want to show that there exist $\kappa^+$ almost disjoint functions $\kappa \to \kappa$. Recall that this means for any two such functions $f,g$ we have $| \{\alpha \mid f(\alpha) = g(\alpha) \}| < \kappa$.

Apparently it is enough to show that given $\kappa$ almost disjoint functions $\{ f_\nu \mid \nu < \kappa\}$, then there exists an $f:\kappa \to \kappa$ almost disjoint from each $f_\nu$, $(\nu < \kappa)$. I can't see why this is sufficient to prove the statement though - can anybody enlighten me? Thanks very much.

  • 0
    There’s nothing special needed initially.2012-03-29

1 Answers 1

5

Just construct $\{f_\xi:\xi<\kappa^+\}$ recursively. At each stage you have at most $\kappa$ functions already defined, so by your hypothesis you can add a new one that’s almost disjoint from the ones that you already have.

In other words, at stage $\eta<\kappa^+$ you have $\mathscr{F}_\eta=\{f_\xi:\xi<\eta\}$. $|\mathscr{F}_\eta|\le\kappa$, so by your hypothesis there is a function $f_\eta:\kappa\to\kappa$ that is almost disjoint from $f_\xi$ for each $\xi<\eta$. Now continue.

Added: For the sake of completeness I’m adding the construction of $f_\eta$. Since $|\mathscr{F}_\eta|\le\kappa$, we can re-index it as $\{g_\xi:\xi<\alpha\}$ for some $\alpha\le\kappa$. Now define

$f_\eta:\kappa\to\kappa:\xi\mapsto\sup\{g_\zeta(\xi)+1:\zeta\le\xi\}\;;$

then for each $\zeta<\alpha$ we have $f_\eta(\xi)>g_\zeta(\xi)$ whenever $\xi\ge\zeta$, and hence $f_\eta$ is almost disjoint from $g_\zeta$.

  • 0
    OK great, I had missed out the part where you chose $\alpha \le \kappa$.2012-03-29