Results 1 to 5 of 5

Math Help - Abstract questions

  1. #1
    Newbie
    Joined
    Nov 2011
    Posts
    23

    Abstract questions

    1)Suppose a1, a2,.....,an are denumerable sets. Show that a1Xa2X....Xan is denumberable(a1Xa2X...xan is the set of n-tuples(a1,a2...an),ai is an elember of Ai)

    I literally have no idea what that means so any direction would be nice(a1 is a sub 1 btw)

    2)a)Suppose 0<=a<b and o<=c<d, prove that 0<=ac<bd

    b)0<=a<b then 0<=a^2<b^2

    c)if 0<a<b, show that a<rt(ab)<(a+b)/2<b (hint contradiction)
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21

    Re: Abstract questions

    Quote Originally Posted by Johngalt13 View Post
    1)Suppose a1, a2,.....,an are denumerable sets. Show that a1Xa2X....Xan is denumberable(a1Xa2X...xan is the set of n-tuples(a1,a2...an),ai is an elember of Ai)

    I literally have no idea what that means so any direction would be nice(a1 is a sub 1 btw)

    2)a)Suppose 0<=a<b and o<=c<d, prove that 0<=ac<bd

    b)0<=a<b then 0<=a^2<b^2

    c)if 0<a<b, show that a<rt(ab)<(a+b)/2<b (hint contradiction)

    1) You need to prove it for n=2 and the rest will follow by induction. To do this note that \mathbb{N}^2\to\mathbb{N}: (a,b)\mapsto 2^a3^b is an injection, and since there is a natural injection \mathbb{N}\to\mathbb{N}^2 the rest follows from the Schroeder-Bernstein theorem. Use this then to show that A,B\simeq\mathbb{N} implies A\times B\simeq\mathbb{N} by creating mappings of the form A\times B\leftrightarrow \mathbb{N}^2\leftrightarrow\mathbb{N}.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Nov 2011
    Posts
    23

    Re: Abstract questions

    Ah thanks a lot, I got that one now. Any idea how to start the second one? I'm working on it now and just keep going in circles.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21

    Re: Abstract questions

    Quote Originally Posted by Johngalt13 View Post
    Ah thanks a lot, I got that one now. Any idea how to start the second one? I'm working on it now and just keep going in circles.
    It all depends upon where you are starting. If we are working in some ordered ring (e.g. what is in Rudin) this is true by definition.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Nov 2011
    Posts
    23

    Re: Abstract questions

    Edit: Nevermind, I figured it out, thanks though.
    Last edited by Johngalt13; November 28th 2011 at 12:12 AM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Abstract questions(cont)
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 28th 2011, 12:56 AM
  2. More questions in Abstract-Help is needed!
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: February 11th 2010, 01:39 AM
  3. Abstract-several questions
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: February 10th 2010, 02:53 AM
  4. Two Abstract Algebra Questions
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 14th 2009, 02:36 AM
  5. A few Abstract Algebra questions
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: February 4th 2009, 05:32 PM

Search Tags


/mathhelpforum @mathhelpforum