Results 1 to 4 of 4

Math Help - Proving A is a subset of B...

  1. #1
    Newbie
    Joined
    Jan 2009
    Posts
    21

    Proving A is a subset of B...

    This is my first attempt at a proof like this (and even proofs in general) and my textbook gives no direct example for me to compare mine with. Can you examine this and tell me if I have proved what I intended to?



    Thank you all.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    Oct 2008
    Posts
    67
    Awards
    1
    Quote Originally Posted by mjlaz View Post
    This is my first attempt at a proof like this (and even proofs in general) and my textbook gives no direct example for me to compare mine with. Can you examine this and tell me if I have proved what I intended to?



    Thank you all.
    You're more or less right, but there's no need to pick an x \in B. Remember, that if it is the case that A \subseteq B, then for every x \in A, we have that x \in B. So, pick an x \in A - then, we have that x = 4c, but we can rewrite this to x = 2(2c), from which we conclude that x \in B, which satisfies our definition.

    I've just put all your ideas into a shorter proof. If this is indeed your first proof, it's an excellent attempt
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Jan 2009
    Posts
    21
    Thank you, friend!

    Follow Math Help Forum on Facebook and Google+

  4. #4
    Banned
    Joined
    Oct 2008
    Posts
    71
    Quote Originally Posted by mjlaz View Post
    This is my first attempt at a proof like this (and even proofs in general) and my textbook gives no direct example for me to compare mine with. Can you examine this and tell me if I have proved what I intended to?



    Thank you all.
    Remember a proof is a series of logical conclusions, therefor the following proof shows that:


    xεA===>( x is an integer divided by 4) ====> (there exists an integer c such that x=4c) ====> (there exists an integer c such that x =2(2c))====> ( there exists an integer d such that x= 2d) =====>(x is an integer divided by 2)====> xεB.

    Hence A\subseteq B


    Where the double arrow means : logically implies
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Proving open subset
    Posted in the Differential Geometry Forum
    Replies: 9
    Last Post: April 14th 2011, 10:10 PM
  2. closed subset proving in infinite sequence
    Posted in the Differential Geometry Forum
    Replies: 0
    Last Post: October 14th 2010, 11:11 AM
  3. Proving Subset
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: April 19th 2010, 06:49 PM
  4. Proving the compactness and connectedness of a subset
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: October 12th 2009, 07:04 PM
  5. Help proving a subset is a subspace
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 16th 2009, 05:31 PM

Search Tags


/mathhelpforum @mathhelpforum