1
$\begingroup$

Edit 2: solved!

In this post, "we" proved that exist infinite $R_1$, such that $f$ is constant on elements of the form $\{n_1,r\}$ where $r\in R_1$. By the same considerations we can show that if we fix $n_2\in R_1$, there is exist infinite $R_2\subseteq R_1-\{n_2\}$ such that $f$ is constant on sets of the form $\{n_2,r\}$ where $r\in R_2$. Now saying that $f(\{\{n_1,r\}:r\in R_1\})=t_1$ and $f(\{\{n_2,r\}:r\in R_2\})=t_2$. I need to show via induction that we can find a sequence of naturals $n_1,n_2,n_3,...$, and a sequence of $t_1,t_2,t_3,...$ where $t_n\in\{1,2\}$ for all $n$, and if $i, then $f(\{n_i,n_j\})=t_i$

Thank you!

  • 0
    It would be very embarrassi$n$g if "my solution" will be wrong... I will try though.2012-11-15

1 Answers 1

1

Applying the argument mention here - Constant $f:[\mathbb{N}]^2\to \{1,2\}$. - we can produce sets $ R_1,R_2,...,R_n,...$, which they all infinite and subsets of $\mathbb{N}$. Now, in each step, by creating(proving that tjey are infinite) these sets we also create a sequence $n_1,n_2,n_3,...$, which is infinite as well; we know that $f(\{\{n_1,r\}:r\in R_1\})=t_1$, $f(\{\{n_2,r\}:r\in R_2\})=t_2$, $f(\{\{n_3,r\}:r\in R_3\})=t_3$,... We want also to show that, $f(\{\{n_i,n_j\})=t_i$ for $i, but that is obtained from $ f(\{\{n_i,r\}:r\in R_i\})=t_i $

Noticing the properties of $R_i$: $R_i$ is not containing the set $\{a_1,a_2,...,a_i \}$, hence $f(\{n_i,n_j \})=t_i$ for $i.