Familiy of finite subsets (sort of set theory)
Source: IMC 1997 day 1 problem 6
October 19, 2005
inductioncombinatorics solvedcombinatorics
Problem Statement
Suppose is a family of finite subsets of and for any 2 sets we have A \cap B \not= \O.
(a) Is it true that there is a finite subset of such that for any we have A\cap B\cap Y \not= \O?
(b) Is the above true if we assume that all members of have the same size?