Non User
  Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Business
Non User
 Industries Finance Tax

Home > Addition in N


Addition of natural numbers is the most basic arithmetic operation. Here we will define it

from Peano's axioms (see natural number) and prove some simple properties. The set of natural numbers will be denoted by N; zero is taken to be a natural number.

1 The Definition

The operation of addition, commonly written as infix operator +, is a function of N x N -> N

a + b = c

a is called the augend, b is called the addend, while c is called the sum.

By convention, a+ is referred as the successor of a as defined in the Peano postulates.

1.1 The Axioms

The first is referred as AP1, the second as AP2.

2 The Properties

2.1 Proof of Uniqueness

We prove by mathematical induction on b.

Base: (a.0) = [by AP1] a = [by AP1] (a+0) for all a

Induction hypothese: (a.b)=(a+b) for all a

(a.b+)
= [by AP2] (a.b)+
= [by hypothese] (a+b)+
= [by AP2] (a+b+)

2.2 Proof of Associativity

We prove by mathematical induction on c.

Base: (a+b)+0 = [by AP1] a+b = [by AP1] a+(b+0) for all a,b

Induction hypothesis: (a+b)+c = a+(b+c) for all a,b

(a+b)+c+
= [by AP2] ((a+b)+c)+
= [by hypothesis] (a+(b+c))+
= [by AP2] a+(b+c)+
= [by AP2] a+(b+c+)

2.3 Proof of Commutativity

We prove by mathematical induction on b.

Base: a+0=a=0+a and a+1=a+=1+a for all a
Proof of base is by mathematical induction on a.

Induction hypothesis: a+b=b+a for all a

a+b+
= [using the base] a+(1+b)
= [by associativity] (a+1)+b
= [by hypothesis] b+(a+1)
= [using the base] b+(1+a)
= [by associativity] (b+1)+a
= [using the base] b++a
Arithmetic

Politics Business Finance
Addition In N Induction Ap2 Base A+b Ap1 A+(b+c

Topics: Addition In N Induction Ap2 Base A+b Ap1 A+(b+c Hypothesis...

Addition in NAddition of natural numbers is the most basic arithmetic operation. Here we will define it from Peano's axioms (see natural number) and prove some simple properties. The set of natural numbers will be denoted by N zero is taken to be a natural number.AdditionAddition is one of the basic operations of arithmetic. In its simplest form, addition combines two numbers terms summands , the augend and addend into a single number, the sum . Adding more numbers corresponds to repeated addition. By extension, additionAdditional Member SystemThe Additional Member System (AMS) is a voting system where some representatives are elected from geographic constituencies and others are elected under proportional representation from party lists. The constituency representatives are generally elected u
Addition of HX to an alkeneThe addition of HX to an alkene is an organic reaction in chemistry wherein HX (that is, a halogen sigma bonded to a hydrogen atom) adds to the carbon-carbon double bond of an alkene following Markovnikov's rule (Markovnikov's rule is observed). The generAddition reactionAn addition reaction in chemistry, is a reaction where two molecules combine to form a larger one. Addition reactions are common in polymerization. Chemistry.Addition chainSequences and series In mathematics, an addition chain is a sequence a a a a . that satisfies a 1, and :for each k 0: a a + a for some i j 31: :52 51 × 51 :53 52 × 51 :56 53 × 53 :512 56 × 56 :524 512 × 512 :530 524 × 56 :531 530 × 51 See also: Addition c
Addition (logic)Addition chain exponentiationAddition theorem


Non User