1
$\begingroup$

Let $X$ be a nonempty set, and $\{A_\alpha : \alpha\in I\}$ be a partition of $X$. If $B\subseteq X$ such that $A_\alpha\cap B\neq\emptyset$ for every $\alpha\in I$, is $\{A_\alpha\cap B : \alpha\in I\}$ a partition of $B$?

I just need a starting point on how to think about this. Is there any logic that says taking an intersection between a partition of $X$ and a subset of $X$ gives you a partition of that subset?

Thanks!

2 Answers 2

2

In a previous question of yours I have written the three properties of a partition.

So we need to verify three things:

  1. $A_\alpha\cap B\neq\varnothing$ for all $\alpha\in I$, which is the working assumption.
  2. $A_\alpha\cap A_\beta=\varnothing$ whenever $\alpha\neq\beta$, which you can deduce from the fact the $\{A_\alpha\mid\alpha\in I\}$ is a partition of $X$.
  3. For every $x\in B$ you have some $\alpha\in I$ such that $x\in A_\alpha\cap B$. You can show that this holds because $x\in X$, therefore it has to be in some $A_\alpha$, thus in $A_\alpha\cap B$.

In mathematics if you get lost it is often a good idea to work step by step from the definitions. If you want to show that something is a partition just take the definition of a partition and check that the conditions hold, or try and produce a counterexample.

  • 0
    @roboguy12: I'm glad that you find my answers useful! :-)2012-02-16
3

Ask yourself some questions:

  • Given some $x\in B$ is there some $\alpha\in I$ such that $x \in A_\alpha \cap B$?
  • Could there be more than one such $\alpha$?
  • If there is more than one---call them $\alpha$ and $\beta$---is $A_\alpha\cap B$ the same set as $A_\beta \cap B$?
  • 0
    For example, suppose $A_1=\{1\}$, $A_2=\{1\}$, $A_3=\{2\}$. Then $\{A_1,A_2,A_3\}$ is a partition of the set $\{1,2\}$ into two disjoint subsets. You open up that possibility by using an _indexed_ family of sets, rather than just some set of sets. In a way, your notation is more complicated than what the situation requires.2012-02-16