Results 1 to 4 of 4

Math Help - Question about relation and set

  1. #1
    Newbie
    Joined
    Oct 2008
    Posts
    1

    Question about relation and set

    Can someone help me solve the problems?

    I really dont have any idea of it, the question is in the following link
    http://kentechnology.no-ip.org/maths.doc

    thanks you
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    16,398
    Thanks
    1848
    Many people will not open "Word" documents because they are notorious for having viruses.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Banned
    Joined
    Oct 2008
    Posts
    39
    .......................question (4).........................................


    we are given that:

    1) f \subseteq g, and


    2) D(g) \subseteq D(f) and asked to prove :


    .................f=g.............................. .......


    Since f \subseteq g it suffices to prove:


    g \subseteq f,or ;


    if (x,y)εg then (x,y)εf ..........( if (x,y) belongs to g then (x,y) belongs to f.


    So let (x,y)εg........................................... ..................................1

    But (x,y)εg =====> xεD(g) & yεR(g). Where D(g) means the domain of g and R(g) the range of g................................................. .................2



    And due to (1) and (2) we have :...........xεD(g)................................ .3



    But D(g) \subseteq D(f), and because of (3).....xεD(f).....4




    Now since f is a function we have:


    for all x, xεD(f) there exists a zεR(f) such that (x,z)εf and because of (4) we have:


    ..............(x,z)εf............................. ............................................5



    But, f \subseteq g ,and due to (5).........(x,z)eg..............6





    And now here is the crucial point about the proof.




    Since g is a function:



    (x,y)eg from (1) and (x,z)εg from (6) this implies that :



    .......................y=z........................ .........................................7


    Because no two ordered pairs belonging to g have the same 1st member.



    And finally substituting (7) into (5) we have the desired result:



    ..............................(x,y)εf............. ..............................................8



    Thus:.................f=g.....................
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Banned
    Joined
    Oct 2008
    Posts
    39
    Quote Originally Posted by yujiken View Post
    Can someone help me solve the problems?

    I really dont have any idea of it, the question is in the following link
    http://kentechnology.no-ip.org/maths.doc

    thanks you
    .....................QUESTION (2)...........................


    Let us 1st show that :

    p(A \cap B) = P(A) \cap P(B).

    To show that we must show that:



    Xε[p(A \cap B)] <====> Χε[ P(A) \cap P(B).].Where "ε" means belongs to.


    Thus: Xε[p(A \cap B)] <=====> X \subseteq A \cap B <======>

    .........................(from the definition of power set)............................


    <========> ...X \subseteq A & X \subseteq B <=======>





    <=====>....Xε[P(A) \cap P(B)]. Again from the definition of power set.


    Hence ,we have proved Xε[p(A \cap B)] <====> Χε[ P(A) \cap P(B).] ,and :



    p(A \cap B) = P(A) \cap P(B).



    Note this double implication proof is two proofs at the same time ,one forward and at the same time the converse proof.

    If one wishes can separate them by simply following the forward or backward arrows.


    ALSO the center of the whole proof is the equivalence :


    X \subseteq A \cap B <======>



    <========> ...X \subseteq A & X \subseteq B



    Now let us show that :


    P(AUB) IS not equal in general to P(A)UP(B).


    So , let A={1,2} AND B={3},and:


    p(A)= P({1,2}) = { {1},{2},{1,2},Φ}, P(B) = P({3})={ {3},Φ },and


    P(A)UP(B) = { {1},{2},{3},{1,2},Φ }.............................................1



    But AUB = {1,2,3}, AND P(AUB) = {{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3},Φ}......... .................................................. .......................2


    And...................(1)=/=(2).


    BUT based on the fact that:


    X \subseteq A v X \subseteq B =====>


    X \subseteq AUB, we can prove that:


    P(A)UP(B) \subseteq P(AUB).A fact that the above counter example confirms as well.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Relation Question 2
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: September 4th 2011, 07:57 AM
  2. Relation Question
    Posted in the Discrete Math Forum
    Replies: 13
    Last Post: September 3rd 2011, 08:28 PM
  3. Symmetric Relation question
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: November 20th 2010, 03:43 AM
  4. Equivalence Relation Question
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: April 15th 2010, 04:11 AM
  5. relation question
    Posted in the Algebra Forum
    Replies: 1
    Last Post: September 17th 2008, 05:57 PM

Search Tags


/mathhelpforum @mathhelpforum