1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Existence of negative numbers

  1. May 4, 2014 #1
    If counting/positive numbers exist, do they imply the existence of negative numbers?

    I'd say yes, because there's always a bijection that maps the lowest counting number of the set to the highest, then the second lowest to the second highest, etc. This reversal of order/mirroring is possible for any set with a strict order. The negative numbers are then some sort of dual space of the positive numbers. This bijection is a mirror permutation, can the idea of permutation groups be applied more generally to integers/sets?

    I apologize for the borderline vague statements.
     
  2. jcsd
  3. May 4, 2014 #2
    What do you mean with "exists"? Do you somehow want to construct the negative numbers from the positive counting numbers?
     
  4. May 4, 2014 #3

    HallsofIvy

    User Avatar
    Science Advisor

    They certainly exist in any mathematical sense and, yes, they can be constructed from the positive counting numbers- so the negative integers exist in then same sense that the positive integers do.
     
  5. May 4, 2014 #4
    "exists" as in constructing: mapping the highest to the lowest, second highest to the second lowest, etc.
    This construction is a permutation, do permutations have a more general use for ordered sets?
     
  6. May 4, 2014 #5
    That's not the usual construction of the integers. The usual construction is called the Grothendieck construction. It's not that your proposal of constructing the negatives is wrong, but there are annoying details such as defining addition and multiplication and checking the properties.

    And yes, permutations are useful outside constructing the integers too. For example, in group theory.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook