Negative Number - Formal Construction of Negative Integers

Formal Construction of Negative Integers

See also: Integer#Construction

In a similar manner to rational numbers, we can extend the natural numbers N to the integers Z by defining integers as an ordered pair of natural numbers (a, b). We can extend addition and multiplication to these pairs with the following rules:

(a, b) + (c, d) = (a + c, b + d)
(a, b) × (c, d) = (a × c + b × d, a × d + b × c)

We define an equivalence relation ~ upon these pairs with the following rule:

(a, b) ~ (c, d) if and only if a + d = b + c.

This equivalence relation is compatible with the addition and multiplication defined above, and we may define Z to be the quotient set N²/~, i.e. we identify two pairs (a, b) and (c, d) if they are equivalent in the above sense. Note that Z, equipped with these operations of addition and multiplication, is a ring, and is in fact, the prototypical example of a ring.

We can also define a total order on Z by writing

(a, b) ≤ (c, d) if and only if a + d ≤ b + c.

This will lead to an additive zero of the form (a, a), an additive inverse of (a, b) of the form (b, a), a multiplicative unit of the form (a + 1, a), and a definition of subtraction

(a, b) − (c, d) = (a + d, b + c).

This construction is a special case of the Grothendieck construction.

Read more about this topic:  Negative Number

Famous quotes containing the words formal, construction and/or negative:

    “It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
    —Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)

    “There is, I think, no point in the philosophy of progressive education which is sounder than its emphasis upon the importance of the participation of the learner in the formation of the purposes which direct his activities in the learning process, just as there is no defect in traditional education greater than its failure to secure the active cooperation of the pupil in construction of the purposes involved in his studying.”
    —John Dewey (1859–1952)

    “Parents need to recognize that the negative behavior accompanying certain stages is just a small part of the total child. It should not become the main focus or be pushed into the limelight.”
    —Saf Lerman (20th century)