Sujet A.4.2 Intervalles
Choisir
un exercice, puis le résoudre
:
Signaler une erreur
Signaler une erreur
Exercice
On considère, pour $\,a\leq b\,$ et $\,c\leq d\sp{1.5},\,$ les deux segments $\,[\sp{1.5}a\sp{1.5},b\sp{1.5}]\,$ et $\,[\sp{1.5}c\sp{1.5},d\sp{1.5}]\sp{1.5}.\,$
Déterminer l'intersection de ces deux segments selon les positions de $\,a\,$ et $\,b\,$ par rapport à $\,c\,$ et $\,d\sp{1.5}.\,$
droite réelle achevée
La droite réelle achevée est l'ensemble $\,\surl{\bb R}=\bb R\cup\{-\infty\sp{1.5}, +\infty\}\sp{1.5},\,$
avec :
$\displaystyle{}\ptt x\app\smh0{\surl{\bb R}}\sp{1.5},\ -\infty\leq x\leq+\infty$
intervalles
Les intervalles de $\bb R$ sont les parties de $\bb R$ définies par :
$\eqalign{&[\sp{1.5}a\sp{1.5},b\sp{1.5}]&=\{x\app \bb R\op{\big|}a\leq x\leq b\}\sp{1.5},&\ \,&]\sp{1.5}a\sp{1.5},b\sp{1.5}[&=\{x\app \bb R\op{\big|}a < x < b\}\\[-.5ex]
&[\sp{1.5}a\sp{1.5},b\sp{1.5}[&=\{x\app \bb R\op{\big|}a\leq x < b\}\sp{1.5},&\ \,&]\sp{1.5}a\sp{1.5},b\sp{1.5}]&=\{x\app \bb R\op{\big|}a < x\leq b\}\\[-0.5ex]
}$
avec $\,a,b\app\bb R\,$ pour tout crochet fermé et $\,a,b\app\smh0{\surl{\sp{1.5}\bb R}}\,$ pour tout crochet ouvert.
segments
Un segment de $\bb R$ est un intervalle fermé et borné $[\sp{1.5}a\sp{1.5},b\sp{1.5}]\sp{1.5},$ pour $\,a\leq b:\,$
$\displaystyle{}[\sp{1.5}a\sp{1.5},b\sp{1.5}]=\{x\app \bb R\op{\big|}a\leq x\leq b\}$
caractérisation des intervalles
Une partie $A$ de $\bb R$ est un intervalle ssi $A$ est convexe, c'est-à-dire :
$\displaystyle{}\ptt x\app A\sp{1.5},\,\ptt y\app A\sp{1.5}, \ \big(\sp{1.5}x\leq y\Imp [\sp{1.5}x\sp{1.5},y\sp{1.5}]\subset A\sp{1.5}\big)$
indication
Caractériser $\,[\sp{1.5}a\sp{1.5},b\sp{1.5}]\sp{1.5}\cap\sp{1.5}[\sp{1.5}c\sp{1.5},d\sp{1.5}]\,$ à l'aide des réels $\,\max(a,c)\,$ et $\,\min(b,d)\sp{1.5}.\,$
réponse
L'intersection de $\,[a,b\sp{.75}]\,$ et $\,[\sp{1.5}c\sp{1.5},d\sp{1.5}]\,$ dépend de la situation relative de $\,\max(a,c)\,$ et $\,\min(b,d):\,$
- si $\,\min(b,d) < \max(a,c)\sp{1.5},\,$ alors : $\,[\sp{1.5}a\sp{1.5},b\sp{1.5}]\cap[\sp{1.5}c,d\sp{1.5}]=\vide\,;\,$
- si $\,\max(a,c)\leq\min(b,d)\sp{1.5},\,$ alors : $\,[\sp{1.5}a\sp{1.5},b\sp{1.5}]\cap[\sp{1.5}c\sp{1.5},d\sp{1.5}]=\big[\sp{-1.5}\max(a,c),\,\min(b,d)\big].\,$
correction
Par définition, le nombre
Soient $\,(E,\leq)\,$ un ensemble ordonné et $A$ une partie de $E\sp{1.5}.$
Un élément $\,M\,$ de $\,E\,$ est un majorant de $A$ ssi : $\,\ptt x\app A,\ x\leq M\sp{1.5}.\,$
Si $\,M\app A\sp{1.5},\,$ il est unique ; c'est le plus grand élément de $A:$ $\,M=\max A\sp{1.5}.\,$
maximum
de $\,a\,$ et $\,c\,$ est l'un de ces deux réels, et donc :
- si $\,a\leq x\,$ et $\,c\leq x\sp{1.5},\,$ alors : $\,\max(a,c)\leq x\sp{1.5};\,$
- si $\,\max(a,c)\leq x\sp{1.5},\,$ alors $\,(a\leq c\leq x\txt{ou}c\leq a\leq x)\sp{1.5},\,$ d'où : $\,(a\leq x\txt{et}c\leq x)\sp{1.5}.\,$
Soient $\,(E,\leq)\,$ un ensemble ordonné et $A$ une partie de $E\sp{1.5}.$
Un élément $\,m\,$ de $\,E\,$ est un minorant de $A$ ssi : $\,\ptt x\app A,\ x\geq m\sp{1.5}.\,$
Si $\,m\app A\sp{1.5},\,$ il est unique ; c'est le plus petit élément de $A:$ $\,m=\min A\sp{1.5}.\,$
minimum,
on a symétriquement : $\,(x\leq b\txt{et}x\leq d)\Ssi x\leq\min(b,d)\sp{1.5}.\,$
Selon la définition des
Un segment de $\bb R$ est un intervalle fermé et borné $[\sp{1.5}a\sp{1.5},b\sp{1.5}]\sp{1.5},$ pour $\,a\leq b:\,$
segments
et de
$\displaystyle{}[\sp{1.5}a\sp{1.5},b\sp{1.5}]=\{x\app \bb R\op{\big|}a\leq x\leq b\}$
Soient $A$ et $B$ deux parties d'un ensemble $E\sp{1.5}.$
L'intersection de $A$ et $B$ est l'ensemble des $x\app E$ appartenant à $\,A\,$ et à $\,B:\,$
l'intersection
de deux ensembles, on a alors :
$\displaystyle{}A\cap B=\ens{x\app E}{x\app A \,\text{ et }\,x\app B}$
$\eqalign{[\sp{1.5}a\sp{1.5},b\sp{1.5}]\sp{1.5}\cap\sp{1.5}[\sp{1.5}c\sp{1.5},d\sp{1.5}]&=&\ens{x\app\bb R}{a\leq x\leq b\txt{et}c\leq x\leq d}\\
&=&\ens{x\app\bb R}{\max(a,c)\leq x\leq\min(b,d)}}$
On doit finalement distinguer deux éventualités :
- si $\,\min(b,d) < \max(a,c)\sp{1.5},\,$ alors $\,[\sp{1.5}a\sp{1.5},b\sp{1.5}]\cap[\sp{1.5}c\sp{1.5},d\sp{1.5}]\,$ est l'ensemble vide ;
- si $\,\max(a,c)\leq\min(b,d)\sp{1.5},\,$ alors $\,[\sp{1.5}a\sp{1.5},b\sp{1.5}]\cap[\sp{1.5}c\sp{1.5},d\sp{1.5}]\,$ est le segment $\,\big[\sp{-1.5}\max(a,c),\,\min(b,d)\big]\sp{1.5}.\,$
Dans le cas où $\,\max(a,c)=\min(b,d)\sp{1.5},\,$ le segment $\,\big[\sp{-1.5}\max(a,c),\,\min(b,d)\big]\,$ est réduit à un singleton.
Signaler une erreur
Signaler une erreur
Exercice
\\(\def\seg#1#2{[\![\sp{1.5}#1\sp{1.5},#2\sp{1.5}]\!]}\\)Pour $\,x,y\app\bb R\sp{1.5},\,$ on note $\,\seg xy\,$ le segment d'extrémités $\,x\,$ et $\,y\sp{1.5},\,$ à savoir $\,[\sp{1.5}x\sp{1.5},y\sp{1.5}]\,$ si $\,x\leq y\,$ ou $\,[\sp{1.5}y\sp{1.5},x\sp{1.5}]\,$ si $\,y\leq x\sp{1.5}.\,$
Pour deux réels $\,a\,$ et $\,b\,$ tels que $\,a\leq b,\,$ déterminer, selon $\,c\app\bb R,\,$ l'ensemble $\,\Omega_c\,$ des réels $\,x\,$ tels que : $\,[\sp{1.5}a\sp{1.5},b\sp{1.5}]\cap\seg cx\neq\vide\sp{1.5}.\,$
droite réelle achevée
La droite réelle achevée est l'ensemble $\,\surl{\bb R}=\bb R\cup\{-\infty\sp{1.5}, +\infty\}\sp{1.5},\,$
avec :
$\displaystyle{}\ptt x\app\smh0{\surl{\bb R}}\sp{1.5},\ -\infty\leq x\leq+\infty$
intervalles
Les intervalles de $\bb R$ sont les parties de $\bb R$ définies par :
$\eqalign{&[\sp{1.5}a\sp{1.5},b\sp{1.5}]&=\{x\app \bb R\op{\big|}a\leq x\leq b\}\sp{1.5},&\ \,&]\sp{1.5}a\sp{1.5},b\sp{1.5}[&=\{x\app \bb R\op{\big|}a < x < b\}\\[-.5ex]
&[\sp{1.5}a\sp{1.5},b\sp{1.5}[&=\{x\app \bb R\op{\big|}a\leq x < b\}\sp{1.5},&\ \,&]\sp{1.5}a\sp{1.5},b\sp{1.5}]&=\{x\app \bb R\op{\big|}a < x\leq b\}\\[-0.5ex]
}$
avec $\,a,b\app\bb R\,$ pour tout crochet fermé et $\,a,b\app\smh0{\surl{\sp{1.5}\bb R}}\,$ pour tout crochet ouvert.
segments
Un segment de $\bb R$ est un intervalle fermé et borné $[\sp{1.5}a\sp{1.5},b\sp{1.5}]\sp{1.5},$ pour $\,a\leq b:\,$
$\displaystyle{}[\sp{1.5}a\sp{1.5},b\sp{1.5}]=\{x\app \bb R\op{\big|}a\leq x\leq b\}$
caractérisation des intervalles
Une partie $A$ de $\bb R$ est un intervalle ssi $A$ est convexe, c'est-à-dire :
$\displaystyle{}\ptt x\app A\sp{1.5},\,\ptt y\app A\sp{1.5}, \ \big(\sp{1.5}x\leq y\Imp [\sp{1.5}x\sp{1.5},y\sp{1.5}]\subset A\sp{1.5}\big)$
indication
Distinguer trois cas suivant la position de $\,c\,$ relativement à $\,[\sp{1.5}a\sp{1.5},b\sp{1.5}]\sp{1.5}.\,$
réponse
Selon la position de $\,c\,$ par rapport au segment $\,[\sp{1.5}a,b\sp{1.5}]\sp{1.5},\,$ on obtient trois intervalles :
- $\,\Omega_c=[\sp{1.5}a\sp{1.5}, +\infty[\sp{1.5},\,$ lorsque $\,c < a\,;\,$
- $\,\Omega_c=\bb R\sp{1.5},\,$ lorsque $\,a\leq c\leq b\,;\,$
- $\,\Omega_c=\,\,]\!-\infty\sp{1.5}, b\sp{1.5}]\sp{1.5},\,$ lorsque $\,b < c\sp{1.5}.\,$
correction
D'après la définition des
Un segment de $\bb R$ est un intervalle fermé et borné $[\sp{1.5}a\sp{1.5},b\sp{1.5}]\sp{1.5},$ pour $\,a\leq b:\,$
segments
et de
$\displaystyle{}[\sp{1.5}a\sp{1.5},b\sp{1.5}]=\{x\app \bb R\op{\big|}a\leq x\leq b\}$
Soient $A$ et $B$ deux parties d'un ensemble $E\sp{1.5}.$
L'intersection de $A$ et $B$ est l'ensemble des $x\app E$ appartenant à $\,A\,$ et à $\,B:\,$
l'intersection,
on distingue trois cas selon la position de $\,c:\,$
$\displaystyle{}A\cap B=\ens{x\app E}{x\app A \,\text{ et }\,x\app B}$
- Lorsque $\,a\leq c\leq b\sp{1.5},\,$ alors $\,c\,$ appartient à $\,[\sp{1.5}a\sp{1.5},b\sp{1.5}]\cap\seg cx\,$ pour tout $\,x\app\bb R\sp{1.5};\,$ d'où : $\,\ptt x\app\bb R\sp{1.5},\ [\sp{1.5}a\sp{1.5},b\sp{1.5}]\cap\seg cx\neq\vide\sp{1.5}.\,$
Sachant que $\,\Omega_c\subset\bb R\sp{1.5},\,$ on a dans ce cas
Deux ensembles $E$ et $F$ sont égaux ssi ils ont les mêmes éléments :l'égalité : $\,\Omega_c=\bb R\sp{1.5}.\,$$\displaystyle{}E= F\Ssi \big(\sp{1.5}x\app E \ \Ssi\ x\app F\sp{1.5}\big)$En d'autres termes, il s'agit d'une double inclusion :$\displaystyle{}E=F\Ssi\big(\sp{1.5}E\subset F\,\text{ et }\,F\subset E\sp{1.5}\big)$
- Lorsque $\,c < a\sp{1.5},\,$ on distingue deux cas :
- si $\,x\geq a\sp{1.5},\,$ on a alors : $\,c < a \leq x\sp{1.5},\,$ et donc : $\,a\app\,[\sp{1.5}a\sp{1.5},b\sp{1.5}]\cap\seg cx\neq\vide\sp{1.5};\stb{1.25}\,$
- si $\,x < a\sp{1.5},\,$ on a cette fois : $\,\max(c,x) < a\sp{1.5},\,$ et donc : $\,[\sp{1.5}a\sp{1.5},b\sp{1.5}]\cap\seg cx=\vide\sp{1.5}.\,$
Les intervalles de $\bb R$ sont les parties de $\bb R$ définies par :l'intervalle : $\,\Omega_c=[\sp{1.5}a\sp{1.5}, +\infty[\sp{1.5}.\,$$\eqalign{&[\sp{1.5}a\sp{1.5},b\sp{1.5}]&=\{x\app \bb R\op{\big|}a\leq x\leq b\}\sp{1.5},&\ \,&]\sp{1.5}a\sp{1.5},b\sp{1.5}[&=\{x\app \bb R\op{\big|}a < x < b\}\\[-.5ex] &[\sp{1.5}a\sp{1.5},b\sp{1.5}[&=\{x\app \bb R\op{\big|}a\leq x < b\}\sp{1.5},&\ \,&]\sp{1.5}a\sp{1.5},b\sp{1.5}]&=\{x\app \bb R\op{\big|}a < x\leq b\}\\[-0.5ex] }$avec $\,a,b\app\bb R\,$ pour tout crochet fermé et $\,a,b\app\smh0{\surl{\sp{1.5}\bb R}}\,$ pour tout crochet ouvert. - Lorsque $\,b < c\sp{1.5},\,$ on a symétriquement :
- $\,x\leq b\Imp b\app\,[\sp{1.5}a\sp{1.5},b\sp{1.5}]\cap\seg cx\neq\vide\sp{1.5},\,$ car : $\,x\leq b < c\,;\stb{1.25}\,$
- $\,x > b\Imp\![\sp{1.5}a\sp{1.5},b\sp{1.5}]\cap\seg cx\neq\vide\sp{1.5},\,$ car : $\,\min(c,x) > b\sp{1.5}.\,$
Les intervalles de $\bb R$ sont les parties de $\bb R$ définies par :l'intervalle : $\,\Omega_c=\ ]\!-\infty\sp{1.5}, b\sp{1.5}]\sp{1.5}.\,$$\eqalign{&[\sp{1.5}a\sp{1.5},b\sp{1.5}]&=\{x\app \bb R\op{\big|}a\leq x\leq b\}\sp{1.5},&\ \,&]\sp{1.5}a\sp{1.5},b\sp{1.5}[&=\{x\app \bb R\op{\big|}a < x < b\}\\[-.5ex] &[\sp{1.5}a\sp{1.5},b\sp{1.5}[&=\{x\app \bb R\op{\big|}a\leq x < b\}\sp{1.5},&\ \,&]\sp{1.5}a\sp{1.5},b\sp{1.5}]&=\{x\app \bb R\op{\big|}a < x\leq b\}\\[-0.5ex] }$avec $\,a,b\app\bb R\,$ pour tout crochet fermé et $\,a,b\app\smh0{\surl{\sp{1.5}\bb R}}\,$ pour tout crochet ouvert.
Signaler une erreur
Signaler une erreur
Exercice
Soient dans $\,\bb R\,\,$ le segment $\,I=[\sp{1.5}a\sp{1.5},b\sp{1.5}]\,$ et l'intervalle ouvert $\,J=\,]\sp{1.5}c\sp{1.5},d\sp{1.5}[\sp{1.5},\,$ tous deux non vides, pour $\,a\leq b\,$ et $\,c < d\sp{1.5}.\,$
Montrer que l'ensemble $\,I\!\setminus\!\sp{-1.5}J\,$ est un intervalle non vide si et seulement si aucun des intervalles $I$ et $J$ n'est inclus dans l'autre.
Peut-on dans ce cas préciser la nature de l'intervalle $\,I\!\setminus\!\sp{-1.5}J\ ?\,$
droite réelle achevée
La droite réelle achevée est l'ensemble $\,\surl{\bb R}=\bb R\cup\{-\infty\sp{1.5}, +\infty\}\sp{1.5},\,$
avec :
$\displaystyle{}\ptt x\app\smh0{\surl{\bb R}}\sp{1.5},\ -\infty\leq x\leq+\infty$
intervalles
Les intervalles de $\bb R$ sont les parties de $\bb R$ définies par :
$\eqalign{&[\sp{1.5}a\sp{1.5},b\sp{1.5}]&=\{x\app \bb R\op{\big|}a\leq x\leq b\}\sp{1.5},&\ \,&]\sp{1.5}a\sp{1.5},b\sp{1.5}[&=\{x\app \bb R\op{\big|}a < x < b\}\\[-.5ex]
&[\sp{1.5}a\sp{1.5},b\sp{1.5}[&=\{x\app \bb R\op{\big|}a\leq x < b\}\sp{1.5},&\ \,&]\sp{1.5}a\sp{1.5},b\sp{1.5}]&=\{x\app \bb R\op{\big|}a < x\leq b\}\\[-0.5ex]
}$
avec $\,a,b\app\bb R\,$ pour tout crochet fermé et $\,a,b\app\smh0{\surl{\sp{1.5}\bb R}}\,$ pour tout crochet ouvert.
segments
Un segment de $\bb R$ est un intervalle fermé et borné $[\sp{1.5}a\sp{1.5},b\sp{1.5}]\sp{1.5},$ pour $\,a\leq b:\,$
$\displaystyle{}[\sp{1.5}a\sp{1.5},b\sp{1.5}]=\{x\app \bb R\op{\big|}a\leq x\leq b\}$
caractérisation des intervalles
Une partie $A$ de $\bb R$ est un intervalle ssi $A$ est convexe, c'est-à-dire :
$\displaystyle{}\ptt x\app A\sp{1.5},\,\ptt y\app A\sp{1.5}, \ \big(\sp{1.5}x\leq y\Imp [\sp{1.5}x\sp{1.5},y\sp{1.5}]\subset A\sp{1.5}\big)$
indication
1
Caractériser les relations $\,I\subset J\,$ et $\,J\subset I\,$ par des inégalités portant sur les réels $\,a\sp{1.5}, b\sp{1.5},c\sp{1.5},d\,.\,$
indication
2
Utiliser la caractérisation d'un intervalle $\,K\subset\bb R\,$ par la propriété de convexité :
$\displaystyle{}\ptt x\app K,\,\ptt y\app K, \ (\sp{1.5}x\leq y\Imp [\sp{1.5}x\sp{1.5},y\sp{1.5}]\subset K\sp{1.5})$
réponse
L'ensemble $\,I\!\setminus\!\sp{-1.5}J\,$ est un intervalle non vide si et seulement si : $\,I\not\subset J\,$ et $\,J\not\subset I\sp{1.5}.\,$
Dans ce cas, cet intervalle $\,I\!\setminus\!\sp{-1.5}J\,$ est plus précisément un segment.
correction
Par définition de
Un ensemble $F$ est inclus dans l'ensemble $E$ ssi tout élément de $F$ appartient à $E:$
l'inclusion,
si $\,I\subset J,\,$ on a : $\,(a\app J\txt{et}b\app J)\sp{1.5},\,$ et donc : $\,(c < a\txt{et}b < d)\sp{1.5}.\,$
Réciproquement, par
$\displaystyle{}F\subset E\Ssi \big(x\app F \Imp x\app E\sp{1.5}\big)$
On dit alors que $F$ est une partie ou un sous-ensemble de $E\sp{1.5}.$
On désigne par $\,\sc P(E)\,$ l'ensemble des parties de $E\sp{1.5}.$
Une partie $A$ de $\bb R$ est un intervalle ssi $A$ est convexe, c'est-à-dire :
caractérisation
des intervalles : $\,c < a\leq b < d\Imp[\sp{.75}a,b\sp{.75}]\subset J,\,$ d'où l'équivalence :
$\displaystyle{}\ptt x\app A\sp{1.5},\,\ptt y\app A\sp{1.5}, \ \big(\sp{1.5}x\leq y\Imp [\sp{1.5}x\sp{1.5},y\sp{1.5}]\subset A\sp{1.5}\big)$
$\displaystyle{}I\subset J\Ssi (\sp{1.5}c < a \ \text{ et } \ b < d\sp{1.5})$
D'autre part, si $\,(a\leq c\ \text{ et }\ d \leq b)\sp{1.5},\,$ on a par définition des
Les intervalles de $\bb R$ sont les parties de $\bb R$ définies par :
intervalles :
$\,J\subset I\sp{1.5}.\,$
Réciproquement, avec $\,J\subset I,\,$ $\,a\,$ est un
$\eqalign{&[\sp{1.5}a\sp{1.5},b\sp{1.5}]&=\{x\app \bb R\op{\big|}a\leq x\leq b\}\sp{1.5},&\ \,&]\sp{1.5}a\sp{1.5},b\sp{1.5}[&=\{x\app \bb R\op{\big|}a < x < b\}\\[-.5ex]
&[\sp{1.5}a\sp{1.5},b\sp{1.5}[&=\{x\app \bb R\op{\big|}a\leq x < b\}\sp{1.5},&\ \,&]\sp{1.5}a\sp{1.5},b\sp{1.5}]&=\{x\app \bb R\op{\big|}a < x\leq b\}\\[-0.5ex]
}$
avec $\,a,b\app\bb R\,$ pour tout crochet fermé et $\,a,b\app\smh0{\surl{\sp{1.5}\bb R}}\,$ pour tout crochet ouvert.
Soient $\,(E,\leq)\,$ un ensemble ordonné et $A$ une partie de $E\sp{1.5}.$
Un élément $\,m\,$ de $\,E\,$ est un minorant de $A$ ssi : $\,\ptt x\app A,\ x\geq m\sp{1.5}.\,$
Si $\,m\app A\sp{1.5},\,$ il est unique ; c'est le plus petit élément de $A:$ $\,m=\min A\sp{1.5}.\,$
minorant
de $\,J\sp{1.5},\,$ plus petit ou égal à sa borne
Toute partie non vide $A\sp{-1.5}\subset\sp{-1.5}\bb R$ possède dans $\surl{\bb R}$ un plus grand minorant :
inférieure.
De même, $\,b\,$ est un
$\displaystyle{}\inf A=\max\ens{m\app\surl{\bb R}}{\ptt x\app A,\ m\leq x}$
C'est la borne inférieure de $A\sp{1.5};$ elle est finie ssi $A$ est minoré dans $\bb R\,.$
Soient $\,(E,\leq)\,$ un ensemble ordonné et $A$ une partie de $E\sp{1.5}.$
Un élément $\,M\,$ de $\,E\,$ est un majorant de $A$ ssi : $\,\ptt x\app A,\ x\leq M\sp{1.5}.\,$
Si $\,M\app A\sp{1.5},\,$ il est unique ; c'est le plus grand élément de $A:$ $\,M=\max A\sp{1.5}.\,$
majorant
de $\,J\sp{1.5},\,$ plus grand ou égal à sa borne
Toute partie non vide $A\subset \bb R$ possède dans $\surl{\bb R}$ un plus petit majorant :
supérieure,
si bien qu'on peut écrire :
$\displaystyle{}\sup A=\min\ens{M\app\surl{\bb R}}{\ptt x\app A,\ x\leq M}$
C'est la borne supérieure de $A\sp{1.5};$ elle est finie ssi $A$ est majoré dans $\bb R\,.$
$\eqalign{a\leq\inf J&=c < d=\sup J\leq b\\[.5ex]
\txt{d'où :}J\subset I&\Ssi (a\leq c\ \text{ et }\ d \leq b)}$
Précisons la
Soient $A$ et $B$ deux parties d'un ensemble $E\,.$ La différence entre $A$ et $B$ est l'ensemble des $\,x\app A\,$ n'appartenant pas à $\,B:\,$
différence
$\,I\!\setminus\!\sp{-1.5}J\,$ selon la situation relative des intervalles $I$ et $J:$
$\displaystyle{}A\!\setminus\! B=\ens{x\app A}{x\notin B}$
Le complémentaire de $A$ dans l'ensemble $E$ est l'ensemble : $\displaystyle{}\complement_EA=E\!\setminus\!A=\ens{x\app E}{x\notin A}$
- Si $\,I\subset J,\,$ alors l'ensemble $\,I\!\setminus\!\sp{-1.5}J\,$ est vide.
- Si $\,J \subset I,\,$ on a $\,u=\smh1{\dfrac{c+d}2}\app J\,$ et alors : $\,a\leq c < u < d\leq b,\,$ si bien que : $\,[\sp{.75}a,b\sp{.75}]\not\subset (I\!\setminus\!\sp{-1.5}J)\sp{1.5}.\,$
Par
Une partie $A$ de $\bb R$ est un intervalle ssi $A$ est convexe, c'est-à-dire :caractérisation des intervalles, l'ensemble $\,I\!\setminus\!\sp{-1.5}J\,$ n'est donc pas un intervalle.$\displaystyle{}\ptt x\app A\sp{1.5},\,\ptt y\app A\sp{1.5}, \ \big(\sp{1.5}x\leq y\Imp [\sp{1.5}x\sp{1.5},y\sp{1.5}]\subset A\sp{1.5}\big)$
- si $\,\sth1I\not\subset J\, \text{ et }\, J\not\subset I,\,$ cela
Étant données deux propositions $\sc A$ et $\sc B\sp{1.5},$ on a alors :correspond à : $\,(a\leq c\ \text{ ou }\ d \leq b)\, \text{ et } \,(c < a \ \text{ ou } \ b < d)\sp{1.5};\,$ on a deux éventualités :
- $\,\op{non}\big(\sp{1.5}\sc A \mathbin{\rm et}\sc B\sp{1.5}\big)\,$ ssi $\,\big((\op{non}\sc A) \mathbin{\rm ou}(\op{non}\sc B)\big)\sp{1.5};\,$
- $\,\op{non}\big(\sc A \mathbin{\rm ou}\sc B\big)\,$ ssi $\,\big((\op{non}\sc A) \mathbin{\rm et}(\op{non}\sc B)\big).\,$
- Lorsque $\,a\leq c\sp{1.5},\,$ la condition $\,(c < a \ \text{ ou } \ b < d)\,$ se restreint à $\,b < d\sp{1.5},\,$ d'où : $\,(a\leq c\ \text{ et }\ b < d)\sp{1.5}.\,$
En supposant que $\,x\app I\sp{1.5},\,$ soit : $\,a\leq x\leq b < d\sp{1.5},\,$ on a alors : $\,x\non\app J\Ssi x\leq c\sp{1.5},\,$ si bien que :
$\displaystyle{}I\!\setminus\!\sp{-1.5}J=\ens{x\app\bb R}{a\leq x\!\txt{et}\!(x\leq b\!\txt{et}\!x\leq c)}=\big[\sp{1.5}a\sp{1.5},\sp{1.5}\op{min}(b,c)\sp{1.5}\big]$
- Lorsque $\,d\leq b\sp{1.5},\,$ la condition $\,(c < a \ \text{ ou } \ b < d)\,$ se restreint à $\,c < a\sp{1.5},\,$ d'où : $\,(c < a \ \text{ et } \ d \leq b)\,.\,$
Cette fois-ci, pour $\,x\app I\sp{1.5},\,$ soit : $\, c < a\leq x\leq b\sp{1.5},\,$ on a donc : $\,x\non\app J\Ssi d\leq x\sp{1.5},\,$ si bien que :
$\displaystyle{}I\!\setminus\!\sp{-1.5}J=\ens{x\app\bb R}{(a\leq x\!\txt{et}\!d\leq x)\!\txt{et}\!x\leq b}=\big[\sp{-1.5}\op{max}(a,d)\sp{1.5},\sp{1.5}b\sp{1.5}\big]$
Un segment de $\bb R$ est un intervalle fermé et borné $[\sp{1.5}a\sp{1.5},b\sp{1.5}]\sp{1.5},$ pour $\,a\leq b:\,$segment.$\displaystyle{}[\sp{1.5}a\sp{1.5},b\sp{1.5}]=\{x\app \bb R\op{\big|}a\leq x\leq b\}$