Intervalle (mathématiques)
Un article de Freepedia.
Un intervalle, du latin intervallum, est étymologiquement un ensemble compris entre deux valeurs. Mais, en mathématiques cette notion première s'est ensuite développée jusqu'à aboutir aux définitions suivantes.
Sommaire |
Intervalles de R
Inventaire
1) Initialement on appelle intervalle réel un ensemble de nombres délimité par deux nombres réels constituant une borne inférieure et une borne supérieure. Un intervalle contient tous les nombres réels compris entre ses deux bornes.
Cette définition regroupe les intervalles des types suivants:
- <math>\{x \in \mathbb{R} ; a < x < b \}=]a;b[</math>
- <math>\{x \in \mathbb{R} ; a \leq x \leq b \}=[a ; b]</math>
- <math>\{x \in \mathbb{R} ; a < x \leq b \}=]a;b]</math>
- <math>\{x \in \mathbb{R} ; a \leq x < b \}=[a;b[</math>
les intervalles du premier type sont appelés intervalles ouverts; les seconds intervalles fermés, et les deux derniers intervalles semi ouverts.
2) À ces intervalles se sont ajoutés les ensembles des réels inférieurs à une valeur, ou supérieurs à une valeur. On ajoute donc les intervalles de ce type :
- <math>\left\{x \in \mathbb{R} ; x < a\right\}=]- \infty;a[</math>
- <math>\left\{x \in \mathbb{R} ; x \leq a\right\}=]- \infty;a]</math>
- <math>\left\{x \in \mathbb{R} ; x > a \right\}=]a ;+\infty[</math>
- <math>\left\{x \in \mathbb{R} ; x \geq a\right\}=[a;+ \infty[</math>
3) Auxquels se sont ajoutés, pour faire bonne mesure, les intervalles :
- <math> \emptyset=]a;a[</math>
- <math>\emptyset=[a;b]</math> avec <math>\ a > b</math>
- <math>\mathbb{R} = ]-\infty;+\infty[</math>
Définition générale
Un intervalle de R est une partie I de R vérifiant la propriété suivante:
- Pour tous x et y de I, pour tout réel z, si <math> x \leq z \leq y</math> alors <math> z\in I</math>
Un ensemble vérifiant une telle propriété est un ensemble convexe.
Les intervalles de R regroupent donc toutes les parties convexes de R.
Union et intersection d'intervalles de R
- Une intersection d'intervalles de R est toujours un intervalle.
- <math>[-3;5[ \cap ]- \infty;2] = [-3;2] </math>
- <math>[-3;5[ \cap [2 ;+\infty[ = [2 ; 5[ </math>
- <math>[3;5[ \cap ]- \infty;2] = \emptyset </math>
- Une union d'intervalles de R n'est pas toujours un intervalle. Ce sera un intervalle si les deux intervalles de départ ne sont pas disjoints.
- <math>[-3;5[ \cup ]- \infty;2] = ]-\infty;5[ </math>
- <math>[-3;5[ \cup [2 ;+\infty[ = [-3 ; +\infty[ </math>
- <math>[3;5[ \cup ]- \infty;2] = ]- \infty;2]\cup [3;5[</math> on préfère ranger les intervalles par ordre croissant de leurs bornes.
Cette union ne forme pas un intervallle.
Connexité
Les parties connexes de <math> \R </math> (pour la topologie usuelle) sont exactement les intervalles.
Décomposition des ouverts de R
On montre que tout ouvert de <math> \R </math> peut s'écrire comme une réunion dénombrable d'intervalles ouverts.
En analyse et topologie
Les intervalles sont les parties de <math>\mathbb{R}</math>les plus intéressantes dès que l'on parle de continuité et de dérivée.
On trouve alors, entre autres, des propriétés telles que
- l'image par une fonction continue d'un intervalle de <math>\mathbb{R}</math>est un intervalle de <math>\mathbb{R}</math> (théorème des valeurs intermédiaires)
- si la dérivée de <math>\ f</math> garde un signe constant sur un intervalle <math>\ I</math>, la fonction <math>\ f</math> est monotone sur <math>\ I</math>
Intervalle dans un ensemble muni d'une relation d'ordre totale
Dans tout ensemble <math>\ S</math> muni d'une relation d'ordre total <math>\leq</math>, on peut définir des intervalles, de la même façon que dans <math>\mathbb{R}</math>, comme des ensembles des types suivants :
- <math>\left\{z \in S ; a < z < b \right\}</math>, <math>\left\{z \in S ; a \leq z \leq b \right\}</math>, <math>\left\{z \in S ; a < z \leq b \right\}</math>, <math>\left\{z \in S ; a \leq z < b \right\}</math>
- <math>\left\{z \in S ; z < a\right\}</math>, <math>\left\{z \in S ; z \leq a\right\}</math>, <math>\left\{z \in S ; z > a \right\}</math>, <math>\left\{z \in S ; z \geq a\right\}</math>
- <math>\emptyset</math>, <math>\ S</math>
Il est donc tout à fait possible de définir dans <math>\mathbb{Z}</math> l'intervalle des entiers relatifs compris entre <math>\ -5</math> et <math>\ 3</math> mais il serait dangereux de le noter <math>\ [-5;3]</math> sans avertissement préalable à cause du risque de confusion avec la notation des intervalles de <math>\mathbb{R}</math>.
Ces intervalles <math>\ I</math> vérifient toujours la propriété :
Pour tous éléments <math>\ a , b</math> de <math>\ I</math>, on a <math>[a;b] \subset I</math> (convexité d'un intervalle) ,
ainsi que la propriété d'intersection : toute intersection d'intervalles est un intervalle.
