Realni brojevi

Aksiome realnih brojeva


Abelova grupa :

Abelova grupa :


  1. (R)

  2. i (AS)

  3. i (T)

  4. ili (totalni)

  5. i

  6. Svaki neprazan ograničen odozgo skup ima supremum. (SUP)

(SUP) (ARH) i (KANT)

Def.

Arhimedovo svojstvo ()

Kantorova teorema (umetnuti segmenti)

Def. Segment u je ograničen zatvoren interval.

Teorema. Tada

def sa je metrika na jer važe MP1-MP4.