On distingue plusieurs types d'intervalles selon que les bornes sont incluses ou non :
- Intervalle fermé : [a,b]={x∈R∣a≤x≤b}. Les bornes a et b font partie de l'ensemble.
- Intervalle ouvert : ]a,b[={x∈R∣a<x<b}. Les bornes sont exclues.
- Intervalles semi-ouverts : $[a, b[$ (fermé en a, ouvert en b) ou $]a, b]$ (ouvert en a, fermé en b).
- Intervalles infinis : [a,+∞[, ]−∞,b], etc.
Propriété importante : L'intersection de deux intervalles est toujours un intervalle, mais la réunion de deux intervalles n'est pas nécessairement un intervalle. Par exemple, [−1,3]∪[4,5] n'est pas un intervalle car il manque les nombres entre 3 et 4.
Valeur absolue, Distance et Voisinages
La valeur absolue
La valeur absolue d'un réel x, notée ∣x∣, représente sa "taille" sans tenir compte de son signe :
∣x∣={x−xsi x≥0si x<0
Distance et Voisinage
La valeur absolue permet de définir la distance entre deux nombres réels x et y par la formule :
$d(x, y) = |x - y|$
À partir de cette notion de distance, on définit un voisinage. Un intervalle ouvert B(x,r) de centre x et de rayon r>0 est défini par :
B(x,r)={y∈R,∣y−x∣<r}=]x−r,x+r[
On dit qu'une partie V de R est un voisinage d'un point x0 s'il existe un intervalle ouvert centré en x0 qui est entièrement contenu dans V.
Opérations et structures algébriques
L'ensemble R est muni de deux opérations principales, l'addition ($+$) et la multiplication (×), qui respectent des règles précises :
- L'addition est associative, commutative, possède un élément neutre (0) et chaque élément possède un opposé (−x).
- La multiplication est associative, commutative, possède un élément neutre (1) et chaque élément non nul possède un inverse (x−1 ou x1).
- La distributivité : La multiplication est distributive par rapport à l'addition : $x(y + z) = xy + xz$.
Relations et Ordre
Une relation sur un ensemble E est une manière de lier des éléments de cet ensemble entre eux.
Types de relations
- Relation d'équivalence : Elle est réflexive (xRx), symétrique (xRy⇒yRx) et transitive (xRy et yRz⇒xRz).
- Relation d'ordre : Elle est réflexive, antisymétrique (xRy et yRx⇒x=y) et transitive.
Ordre total vs Ordre partiel
Une relation d'ordre est dite totale si tous les éléments de l'ensemble sont comparables (pour tout $x, y$, on a x≤y ou y≤x).
- L'ensemble R est un ensemble totalement ordonné par la relation ≤.
- À l'inverse, dans certains ensembles comme les parties d'un ensemble avec l'inclusion (⊂), l'ordre peut être partiel : deux éléments ne sont pas forcément comparables.
Note sur la compatibilité : La relation d'ordre dans R est compatible avec l'addition (x≤y⇒x+z≤y+z) et avec la multiplication par un nombre positif (x≤y et z≥0⇒xz≤yz).
Résumé des concepts clés :
- R est la réunion des rationnels et des irrationnels.
- L'intervalle est la brique de base des sous-ensembles de R.
- La valeur absolue définit la distance et permet de parler de voisinage.
- L'ordre dans R est total et compatible avec les opérations de base.