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!

  • 3
    It is better to make your question self-contained.2012-11-15
  • 0
    How are those sequences defined? Clearly you don't just mean to choose $n_i=i$, for example.2012-11-15
  • 0
    @Thomas: I think the OP is asking how the sequences can be defined.2012-11-15
  • 0
    If it would help... From the above I must to deduce [link](http://math.stackexchange.com/questions/4584/a-geometrical-representation-for-ramseys-theorem)2012-11-15
  • 0
    I'm glad the problem is solved. May I encourage you to post the solution, for the benefit of those who come after us.2012-11-15
  • 0
    It would be very embarrassing 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$$ 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.