42

2.3.10.3. ESTRUCTURA DE ORDEN DE ℝ

i) Relación de orden

Asumimos "𝑎 < 𝑏" (relación “menor que” ) como concepto no definido.

Axiomas:

𝑂1 : ∀𝑥, ∀𝑦, 𝑥 < 𝑦 ∨ 𝑥 = 𝑦 ∨ 𝑥 > 𝑦

𝑂2 : ∀𝑥, ∀𝑦, ∀𝑧, ( 𝑥 < 𝑦 ∧ 𝑦 < 𝑧) → 𝑥 < 𝑦

𝑂3 : ∀𝑥, ∀𝑦, ∀𝑧, 𝑥 < 𝑦 → 𝑥 + 𝑧 < 𝑦 + 𝑧

𝑂4 : ∀𝑥, ∀𝑦, ∀𝑧, ( 𝑥 < 𝑦 ∧ 𝑧 > 0) → 𝑥𝑧 < 𝑦𝑧

Definición. 𝑥 ≤ 𝑦 ⟷ ( 𝑥 < 𝑦 ∨ 𝑥 = 𝑦)

Propiedades. La relación 𝑥 ≤ 𝑦 es de orden, cumple con las propiedades

siguientes:

1. ∀𝑥, 𝑥 ≤ 𝑥

2. ∀𝑥, ∀𝑦, (𝑥 ≤ 𝑦 ∧ 𝑦 ≤ 𝑥) → 𝑥 = 𝑦

3. ∀𝑥, ∀𝑦, ∀𝑧, (𝑥 ≤ 𝑦 ∧ 𝑦 ≤ 𝑧) → 𝑥 ≤ 𝑧

(ℝ, +, . , ≤) significa que ℝ es un campo ordenado. Algunas

propiedades de la relación de orden.

 43
PROPIEDADES

1. 𝑥 + 𝑧 < 𝑦 + 𝑧 → 𝑥 < 𝑦

2. 𝑥 ≤ 𝑦 ↔ 𝑥 + 𝑧 ≤ 𝑦 + 𝑧

3. (𝑥 < 𝑦 ∧ 𝑧 < 𝑟) → 𝑥 + 𝑧 < 𝑦 + 𝑟

4. (𝑥 > 𝑦 ∧ 𝑧 > 0) → 𝑥𝑧 > 𝑦𝑧

5. (𝑥 > 𝑦 ∧ 𝑧 < 𝑟) → 𝑥 − 𝑧 > 𝑦 − 𝑟

6. 𝑥 < 𝑦 → −𝑥 > −𝑦

7. 𝑥𝑦 > 0 → (𝑥 > 0 ∧ 𝑦 > 0) ∨ (𝑥 < 0 ∧ 𝑦 < 0)

8. 𝑥𝑦 < 0 → (𝑥 < 0 ∧ 𝑦 > 0) ∨ (𝑥 > 0 ∧ 𝑦 < 0)

9. [( 0 ≤ 𝑥 < 𝑦) ∧ (0 ≤ 𝑧 < 𝑟)] → 𝑥𝑧 < 𝑦𝑟

𝑥
10. ( < 0 ∧ 𝑦 ≠ 0) ↔ 𝑥𝑦 < 0)
𝑦

𝑥
11. ( > 0 ∧ 𝑦 ≠ 0) ↔ 𝑥𝑦 > 0)
𝑦

12. (𝑥 ≥ 𝑦 ≥ 0) → 𝑥 2 ≥ 𝑦 2

13. (𝑥 2 ≥ 𝑦 2 ∧ 𝑥 ≥ 0 ∧ 𝑦 ≥ 0) → 𝑥 ≥ 𝑦

14. (𝑥 2 > 𝑎 ∧ 𝑎 ≥ 0) ↔ (𝑥 < −√𝑎 ∨ 𝑥 > √𝑎)

15. (𝑥 2 < 𝑎 ∧ 𝑎 ≥ 0) ↔ −√𝑎 < 𝑥 < √𝑎)

16. 0 < 𝑥 < 𝑦 → 𝑥 < √𝑥𝑦 < 𝑦

17. 0 < 𝑥 < 1 ↔ 𝑥 2 < 𝑥 < 1

18. 0 < 𝑥 < 𝑦 ↔ 𝑥 −1 > 𝑦 −1 > 0

19. 𝑥 < 𝑦 < 0 ↔ 0 > 𝑥 −1 > 𝑦 −1

20. (0 < 𝑥 < 𝑦) → √𝑥 < √𝑦