4
$\begingroup$

Let's define $X_i$, $i \in \{1,2,...,n\}$ $n$ sets and $E_k$ the subset of the power set of $\{1,2,...,n\}$ whose elements have a cardinality $k$.

If $\displaystyle P=\bigcap_{I \in E_k}\,\bigcup_{i \in I}\:X_i$ and $\displaystyle Q=\bigcup_{I \in E_k}\,\bigcap_{i \in I\:}X_i$, how do I prove :

  • if $k \leq\frac{n+1}{2} $ then $P \subset Q$.
  • if $k \geq\frac{n+1}{2} $ then $Q \subset P$.

It's a homework so I don't want any complete answer, just a little bit of help to be able to start. I've tried to translate what I have and what I want to prove in terms of $\forall$ and $\exists$ but I don't know how to get further...

Thank you in advance !

  • 0
    possible duplicate of [An Intuition to An Inclusion: "Union of Intersections" vs "Intersection of Unions"](http://math.stackexchange.com/questions/18138/an-intuition-to-an-inclusion-union-of-intersections-vs-intersection-of-union)2014-12-11

1 Answers 1

3

First of all, see my comment. Does this help?

Moreover, if $x\in P$, then for all $I\in E_k$ there is $i\in I$ with $x\in X_i$. But this means that there are at most $k-1$ different $i\in\{1,\dots,n\}$ with $x\not\in X_i$. If $k$ is small relative to $n$, then you will find $I\in E_k$ such that for all $i\in I$, $x\in X_i$.

The second part is similar.

  • 0
    Thank you ! I think I've found the second one.2011-12-26