1
$\begingroup$

Let the Symbol $|\ |$ denote cardinality of an set. Is it possible to construct a family $N_i\subset\mathbb{N}$, $i\in\mathbb{N}$, such that:

1- $|N_i|=\infty$,

2- $\mathbb{N}=\bigcup_{i=1}^\infty N_i$,

3- $|N_1\cap N_i|=i$, $\forall i\geq 2$.

Thanks

Edit: I changed 3.

  • 0
    Hint: split $\mathbb{N}$ into two infinite disjoint sets, one of which will be all of $N_1$, the other which will contain most of the elements of each $N_i$, $i\geq 2$...2012-11-12

2 Answers 2

5

You obviously can’t have $N_1$ infinite and $|N_1\cap N_1|=1$, but if you just want $|N_1\cap N_k|=k$ for $k>1$, the answer is yes.

Let $\{M_k:k\ge 2\}$ be any partition of the odd positive integers into infinite sets, and let $N_1$ be the set of even positive integers. Now let

$\begin{align*} N_2&=M_2\cup\{2,4\}\\ N_3&=M_3\cup\{6,8,10\}\\ N_4&=M_4\cup\{12,14,16,18\}\;, \end{align*}$

and so on.

1

No. Condition 3 implies that $N_1$ has exactly one element ($|N_1\cap N_1|=1$); so $|N_1\cap N_i|\leq1$ for all $i$.