Processing math: 100%

Order structure of real numbers

Set

definiendum R,

We define the total order over the real numbers (in the Dedekind cut model) via r<srs, i.e.

postulate srsr

Theorems

Inequality of arithmetic and geometric means (AM-GM inequality):

1nnk=1xk(nk=1xk)1n

Reference

Context

Element of

Link to graph
Log In
Improvements of the human condition