Aksiomatska izgradnja skupa R

(R,+,·,≤)

(R1) ∀ a,b∈R a+b=b+a (komutativnost zbrajanja)

(R2) ∀ a,b,c ∈R (a+b)+c=a+(b+c)(asocijativnost zbrajanja)

(R3) (∃0∈R)(∀a∈R) a+0=0+a=a (postojanje neutralnog elementa u zbrajanju broja i nule)

(R4) (∀a∈R)(∃(-a)∈R) a+(-a)=(-a)+a=0 (postojanje inverznog elementa za zbroj :suprotan broj)

(R5) ∀a,b∈R a∙b=b∙a (komutativnost množenja)

(R6) ∀a,b,c∈R (a∙b)∙c=a∙(b∙c) (asocijativnost množenja)

(R7) (∃1∈R\{0}(∀a∈R) a∙1=1∙a=a (postojanje neutralnog elementa za množenje zove se jedinice)

(R8) (∀a∈R\{0}(∃1/a∈R) a∙1/a=1/a∙a=1 (postojanje inverznog elementa za množenje recipročni broj)

(R9) (∀a,b,c∈R) 1. (a+b)∙c=a∙c+b∙c 2. a∙(b∙c)=a∙b+a∙c (distibutivnost s desna/lijeva množenja prema zbroju)

(R10) (∀a,b∈R) a≤b ili b≤a (usporedljivost)

(R11) ∀a,b∈R (a≤b i b≤a)⇒a=b (antisimetričnost)

(R12) (∀a,b∈R)(a≤b i b≤c)⇒a≤c (tranzitivnost)

(R13) (∀a,b,c∈R)a≤b⇒a+c≤b+c (kompatibilnost relacije ≤ prema zbrajanju)

(R14) (∀a,b∈R)(0≤a ∧ +≤b)⇒0≤a∙b (kompatibilnost relacije ≤ prema množenja)

(R15) Aksiom o potpunosti-Za svaki odozdo omeđeni podskup X skupa R postoji najveća donja međa ,tj. postoji r0∈R tako da za svaku donju među skupa R vrijedi da je r0≤r.

NapomenaUredi

Aksiomi od R1 do R14 razlikuju skupove N i Z od skupa R, ali ne razlikuju skup Q od skupa R, tu razliku iskazuje R15, aksiom o potpunosti.

R1-R9...aksiomi polja (ili računanja)

R10-R14...aksiomi uređaja

(R,+,·)&(R1-R9)...polje realnih brojeva

(R,+,·,≤)&(R1-R14)...uređeno polje realnih brojeva