Explore BrainMass

Explore BrainMass

    Proof about Integers and Rationals

    This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

    Show that the definition of negation on the integers is well-defined in the sense that if (a----b)=(a'----b'), then -(a----b)= -(a'----b') (so equal integers have equal negations)

    where a----b is the space of all pairs equivalent to (a,b)

    © BrainMass Inc. brainmass.com October 10, 2019, 4:25 am ad1c9bdddf

    Solution Preview

    Suppose [(a,b)]=[(a',b')]. Show that -[(a,b)]=-[(a',b')].
    Proof: Let ~ be an equivalence relation on the set of ordered pairs of natural numbers N×N ...

    Solution Summary

    The expert provides proof about integers and rationals.