Propriétés axiomatiques
Associativité :
∀ (a, b, c) ∈ R3,(a + b) + c = a + (b + c) ;
(a × b) × c = a × (b × c)
Commutativité :
∀ (a, b) ∈ R2,a + b = b + a ;
a × b = b × a
Distributivité :
∀ (a, b, c) ∈ R3,a × (b + c) = a × b + a × c
Existence de neutres :
∀ a ∈ R,
a + 0 = 0 + a = a ;
a × 1 = 1 × a = a
Existence des opposés :
∀ a ∈ R,
a + (−a) = 0
Existence des inverses :
∀ a ∈ R∗,
a × 1/a = 1
Règle d’annulation du produit∀ (a, b) ∈ R2,
a × b = 0 ⇔ a = 0 ou b = 0
Égalité des produits en croix∀ (a, b, c, d) ∈ R2 × (R∗)2,a/c)
= b/d)
⇔ ad = bc
Opérations réciproques∀ (a, x) ∈ R+ × R,x2 = a ⇔ x = √a ou x = −√(a) ∀ (x, y) ∈ R × R+∗,y = ex ⇔ x = ln(y)
Relation d’ordre total
Réflexivité :
∀ a ∈ R,
a ≤ a
Antisymétrie :
∀ (a, b) ∈ R2,
a ≤ b et b ≤ a
⇒ a = b
Transitivité :
∀ (a, b, c) ∈ R3,
a ≤ b et b ≤ c
⇒ a ≤ c
Totalité :
∀ (a, b) ∈ R2,
a ≤ b ou b ≤ a
Règles de compatibilité∀ (a, b, c) ∈ R3,
a ≤ b ⇒ a + c ≤ b + c ∀ (a, b) ∈ R2,
a ≥ 0 et b ≥ 0 ⇒ a × b ≥ 0
Addition des inégalités∀ (a, b, c, d) ∈ R4,
a≤b et c≤d
⇒ a+c ≤ b+d ;
a<b et c≤d
⇒ a+c < b+d
Multiplication des inégalités∀ (a, b, c) ∈ R2 × R∗,a ≤ b
⇒ ac ≤ bc
et a/c ≤ b/c ;
a < b
⇒ ac < bc
et a/c < b/c ∀ (a, b, c, d) ∈ (R+)4,
a ≤ b et c ≤ d
⇒ ac ≤ bd
Règle des signes
×
+
−
+
+
−
−
−
+
Transformation des inégalités∀ (a, b) ∈ R2,
−a ≥ −b ⇔ a ≤ b ⇔ ea ≤ eb ∀ (a, b) ∈ (R+)2,
a ≤ b ⇔ a2 ≤ b2
⇔ √(a) ≤ √(b) ∀ (a, b) ∈ (R+∗)2,
1/a ≥ 1/b ⇔ a ≤ b ⇔ ln(a) ≤ ln(b)
Intervalles∀ (a, b) ∈ R2 tel que a < b,
[a, b] = {x ∈ R : a ≤ x ≤ b} ;
]a, b[ = {x ∈ R : a < x < b} ;
[a, b[ = {x ∈ R : a ≤ x < b} ;
]a, b] = {x ∈ R : a < x ≤ b} ;
[a, +∞[ = {x ∈ R : a ≤ x} ;
]a, +∞[ = {x ∈ R : a < x} ;
]−∞, b] = {x ∈ R : x ≤ b} ;
]−∞, b[ = {x ∈ R : x < b} ;
]−∞, +∞[ = R