Results 1 to 3 of 3

Math Help - [SOLVED] Proof: uniqueness of a natural number

  1. #1
    Super Member
    Joined
    Feb 2008
    Posts
    535

    [SOLVED] Proof: uniqueness of a natural number

    Let m, n e N. If n >= m, then there is a unique b e N such that n = m + b.

    How do I prove that b is unique.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Rhymes with Orange Chris L T521's Avatar
    Joined
    May 2008
    From
    Santa Cruz, CA
    Posts
    2,844
    Thanks
    3
    Quote Originally Posted by jzellt View Post
    Let m, n e N. If n >= m, then there is a unique b e N such that n = m + b.

    How do I prove that b is unique.

    m,n\in\mathbb{N},n\geqslant m\implies\exists!\,b\in\mathbb{N}:n=m+b

    Suppose not. Let m,n\in\mathbb{N} and let b,c\in\mathbb{N} such that n=m+b and n=m+c. By transitivity, we see that m+b=m+c. Thus, by cancellation, we have b=c. This shows that b is unique.

    Does this make sense?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    is up to his old tricks again! Jhevon's Avatar
    Joined
    Feb 2007
    From
    New York, USA
    Posts
    11,663
    Thanks
    3
    Quote Originally Posted by jzellt View Post
    Let m, n e N. If n >= m, then there is a unique b e N such that n = m + b.

    How do I prove that b is unique.
    assume there is some other natural number, b' such that n = m + b'. then we have m + b = m + b'. subtracting m from both sides, we get b = b'. so our other element was in fact, b. thus we have uniqueness.


    EDIT: too late! i shall defeat you yet, Chris!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Uniqueness Proof help
    Posted in the Differential Equations Forum
    Replies: 0
    Last Post: May 14th 2010, 05:33 PM
  2. [SOLVED] Prime number proof
    Posted in the Math Topics Forum
    Replies: 2
    Last Post: May 22nd 2009, 08:16 PM
  3. [SOLVED] Inequality proof involving natural numbers.
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: February 13th 2009, 08:19 AM
  4. [SOLVED] Proof involving natural numbers
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 12th 2009, 09:20 PM
  5. [SOLVED] GCD Proof: Elem. Number Theory
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: February 9th 2009, 01:50 AM

Search Tags


/mathhelpforum @mathhelpforum