Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Let X be a set. A partition of X is a subset

  1. Jun 1, 2005 #1
    Let X be a set. A partition of X is a subset [tex]\pi \subseteq P(X)[/tex] so

    that for every [tex]x \in X[/tex] there is precisely one [tex]A \in \pi[/tex] so

    that [tex]x\in A[/tex]. If R is an equivalence relation on X, then

    [tex]\pi_R = {R(x): x \in X} [/tex]is a partition.

    If [tex]\pi[/tex] is partition of X then

    [tex]R_\pi= \bigcup[/tex] [tex]A[/tex] x [tex]A[/tex] is an equivalence

    relation, where

    [tex]A\in \pi[/tex] Furthermore,

    [tex]\pi_(R_\pi)=\pi[/tex] where [tex]\pi_(R_\pi)[/tex] (pi sub R sub pi)

    [tex]R_(\pi_R)= R[/tex]

    To prove this theorem, I have started out by proving that [tex]R_\pi[/tex] is

    an equivalence relation, for reflexitivity, symmetry, and transitivity. In order

    to complete the proof, do I need to prove [tex]\pi_(R_\pi)=\pi[/tex]

    [tex]R_(\pi_R)= R[/tex]

    Do I do that by using the following conditions?

    1. [tex]x \in R(X)[/tex] for each [tex]x \in X[/tex]

    2. If [tex]y \in R(x)[/tex], then [tex]x \in R(y)[/tex]

    3. If [tex]R(x) \cap R(y) \noteq \empty[/tex], then [tex]R(x)= R(y)[/tex]
    Last edited: Jun 1, 2005
  2. jcsd
  3. Jun 2, 2005 #2
    Your two statements (which are two be proved) can be interpreted as,
    1. Given that R is an equivalence relation, show that the collection of relative sets R(x) form a partition
    2. Given that P(pi) is a partition, show that the above described relation is an equivalence relation.

    So yes, i guess you need to show these statements as true.
    The conditions you want to use will be useful but just remember the three properties of equivalence relation and use whatever you can accordingly.

    -- AI
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook