IMC 1997 · Problem 6

Day 14th IMC · Plovdiv, Bulgaria

Statement

Suppose that FF is a family of finite subsets of N\mathbb{N} and for any two sets A,BFA, B \in F we have ABA \cap B \ne \emptyset.

a) Is it true that there is a finite subset YY of N\mathbb{N} such that for any A,BFA, B \in F we have ABYA \cap B \cap Y \ne \emptyset?

b) Is the statement a) true if we suppose in addition that all of the members of FF have the same size?

Justify your answers.

Official solution

Hidden so you can work on the problem first.