Eclats de vers : Matemat 01 : Ensembles - 4
Table des matières
\( \newcommand{\parentheses}[1]{\left(#1\right)} \newcommand{\crochets}[1]{\left[#1\right]} \newcommand{\accolades}[1]{\left\{#1\right\}} \newcommand{\ensemble}[1]{\left\{#1\right\}} \newcommand{\identite}{\mathrm{Id}} \newcommand{\indicatrice}{\boldsymbol{\delta}} \newcommand{\dirac}{\delta} \newcommand{\moinsun}{{-1}} \newcommand{\inverse}{\ddagger} \newcommand{\pinverse}{\dagger} \newcommand{\topologie}{\mathfrak{T}} \newcommand{\ferme}{\mathfrak{F}} \newcommand{\img}{\mathbf{i}} \newcommand{\binome}[2]{ \left\{ \begin{array}{c} #1 \\ #2 \\ \end{array} \right\} } \newcommand{\canonique}{\mathfrak{c}} \newcommand{\tenseuridentite}{\boldsymbol{\mathcal{I}}} \newcommand{\permutation}{\boldsymbol{\epsilon}} \newcommand{\matriceZero}{\mathfrak{0}} \newcommand{\matriceUn}{\mathfrak{1}} \newcommand{\christoffel}[2]{ \left\{ \begin{array}{c} #1 \\ #2 \\ \end{array} \right\} } \newcommand{\lagrangien}{\mathfrak{L}} \newcommand{\sousens}{\mathfrak{P}} \newcommand{\partition}{\mathrm{Partition}} \newcommand{\tribu}{\mathrm{Tribu}} \newcommand{\topologies}{\mathrm{Topo}} \newcommand{\setB}{\mathbb{B}} \newcommand{\setN}{\mathbb{N}} \newcommand{\setZ}{\mathbb{Z}} \newcommand{\setQ}{\mathbb{Q}} \newcommand{\setR}{\mathbb{R}} \newcommand{\setC}{\mathbb{C}} \newcommand{\corps}{\mathbb{K}} \newcommand{\boule}{\mathfrak{B}} \newcommand{\intervalleouvert}[2]{\relax \ ] #1 , #2 [ \ \relax} \newcommand{\intervallesemiouvertgauche}[2]{\relax \ ] #1 , #2 ]} \newcommand{\intervallesemiouvertdroite}[2]{[ #1 , #2 [ \ \relax} \newcommand{\fonction}{\mathbb{F}} \newcommand{\bijection}{\mathrm{Bij}} \newcommand{\polynome}{\mathrm{Poly}} \newcommand{\lineaire}{\mathrm{Lin}} \newcommand{\continue}{\mathrm{Cont}} \newcommand{\homeomorphisme}{\mathrm{Hom}} \newcommand{\etagee}{\mathrm{Etagee}} \newcommand{\lebesgue}{\mathrm{Leb}} \newcommand{\lipschitz}{\mathrm{Lip}} \newcommand{\suitek}{\mathrm{Suite}} \newcommand{\matrice}{\mathbb{M}} \newcommand{\krylov}{\mathrm{Krylov}} \newcommand{\tenseur}{\mathbb{T}} \newcommand{\essentiel}{\mathfrak{E}} \newcommand{\relation}{\mathrm{Rel}} \newcommand{\strictinferieur}{\ < \ } \newcommand{\strictsuperieur}{\ > \ } \newcommand{\ensinferieur}{\eqslantless} \newcommand{\enssuperieur}{\eqslantgtr} \newcommand{\esssuperieur}{\gtrsim} \newcommand{\essinferieur}{\lesssim} \newcommand{\essegal}{\eqsim} \newcommand{\union}{\ \cup \ } \newcommand{\intersection}{\ \cap \ } \newcommand{\opera}{\divideontimes} \newcommand{\autreaddition}{\boxplus} \newcommand{\autremultiplication}{\circledast} \newcommand{\commutateur}[2]{\left[ #1 , #2 \right]} \newcommand{\convolution}{\circledcirc} \newcommand{\correlation}{\ \natural \ } \newcommand{\diventiere}{\div} \newcommand{\modulo}{\bmod} \newcommand{\pgcd}{pgcd} \newcommand{\ppcm}{ppcm} \newcommand{\produitscalaire}[2]{\left\langle #1 \left|\right\relax #2 \right\rangle} \newcommand{\scalaire}[2]{\left\langle #1 \| #2 \right\rangle} \newcommand{\braket}[3]{\left\langle #1 \right| #2 \left| #3 \right\rangle} \newcommand{\orthogonal}{\bot} \newcommand{\forme}[2]{\left\langle #1 , #2 \right\rangle} \newcommand{\biforme}[3]{\left\langle #1 , #2 , #3 \right\rangle} \newcommand{\contraction}[3]{\left\langle #1 \odot #3 \right\rangle_{#2}} \newcommand{\dblecont}[5]{\left\langle #1 \right| #3 \left| #5 \right\rangle_{#2,#4}} \newcommand{\major}{major} \newcommand{\minor}{minor} \newcommand{\maxim}{maxim} \newcommand{\minim}{minim} \newcommand{\argument}{arg} \newcommand{\argmin}{arg\ min} \newcommand{\argmax}{arg\ max} \newcommand{\supessentiel}{ess\ sup} \newcommand{\infessentiel}{ess\ inf} \newcommand{\dual}{\star} \newcommand{\distance}{\mathfrak{dist}} \newcommand{\norme}[1]{\left\| #1 \right\|} \newcommand{\normetrois}[1]{\left|\left\| #1 \right\|\right|} \newcommand{\adh}{adh} \newcommand{\interieur}{int} \newcommand{\frontiere}{\partial} \newcommand{\image}{im} \newcommand{\domaine}{dom} \newcommand{\noyau}{ker} \newcommand{\support}{supp} \newcommand{\signe}{sign} \newcommand{\abs}[1]{\left| #1 \right|} \newcommand{\unsur}[1]{\frac{1}{#1}} \newcommand{\arrondisup}[1]{\lceil #1 \rceil} \newcommand{\arrondiinf}[1]{\lfloor #1 \rfloor} \newcommand{\conjugue}{conj} \newcommand{\conjaccent}[1]{\overline{#1}} \newcommand{\division}{division} \newcommand{\difference}{\boldsymbol{\Delta}} \newcommand{\differentielle}[2]{\mathfrak{D}^{#1}_{#2}} \newcommand{\OD}[2]{\frac{d #1}{d #2}} \newcommand{\OOD}[2]{\frac{d^2 #1}{d #2^2}} \newcommand{\NOD}[3]{\frac{d^{#3} #1}{d #2^{#3}}} \newcommand{\deriveepartielle}[2]{\frac{\partial #1}{\partial #2}} \newcommand{\dblederiveepartielle}[2]{\frac{\partial^2 #1}{\partial #2 \partial #2}} \newcommand{\dfdxdy}[3]{\frac{\partial^2 #1}{\partial #2 \partial #3}} \newcommand{\dfdxdx}[2]{\frac{\partial^2 #1}{\partial #2^2}} \newcommand{\gradient}{\mathbf{\nabla}} \newcommand{\combilin}[1]{\mathrm{span}\{ #1 \}} \newcommand{\trace}{tr} \newcommand{\proba}{\mathbb{P}} \newcommand{\probaof}[1]{\mathbb{P}\left[#1\right]} \newcommand{\esperof}[1]{\mathbb{E}\left[#1\right]} \newcommand{\cov}[2]{\mathrm{cov} \left( #1 , #2 \right) } \newcommand{\var}[1]{\mathrm{var} \left( #1 \right) } \newcommand{\rand}{\mathrm{rand}} \newcommand{\variation}[1]{\left\langle #1 \right\rangle} \newcommand{\composante}{comp} \newcommand{\bloc}{bloc} \newcommand{\ligne}{ligne} \newcommand{\colonne}{colonne} \newcommand{\diagonale}{diag} \newcommand{\matelementaire}{\mathrm{Elem}} \newcommand{\matpermutation}{permut} \newcommand{\matunitaire}{\mathrm{Unitaire}} \newcommand{\gaussjordan}{\mathrm{GaussJordan}} \newcommand{\householder}{\mathrm{Householder}} \newcommand{\rang}{rang} \newcommand{\schur}{\mathrm{Schur}} \newcommand{\singuliere}{\mathrm{DVS}} \newcommand{\convexe}{\mathrm{Convexe}} \newcommand{\petito}[1]{o\left(#1\right)} \newcommand{\grando}[1]{O\left(#1\right)} \)
1. Fonctions et ordre
\label{chap:fonctionsEtOrdre}
1.1. Dépendances
- Chapitre \ref{chap:ordres} : Les ordres
- Chapitre \ref{chap:extrema} : Les extrema
1.2. Monotonie
1.2.1. Croissance
On dit qu'une fonction \(f : A \to F\) est croissante si :
\[f(x) \ge f(y)\]
pour tout \(x,y \in A\) tels que \(x \ge y\). Autrement dit, une fonction croissante conserve l'ordre.
1.2.2. Décroissance
On dit qu'une fonction \(f : A \to F\) est décroissante si :
\[f(x) \le f(y)\]
pour tout \(x,y \in A\) tels que \(x \ge y\). Autrement dit, une fonction décroissante inverse l'ordre.
1.2.3. Stricte
On dit qu'une fonction \(f : A \to F\) est strictement croissante si :
\[f(x) \strictinferieur f(y)\]
pour tout \(x,y \in A\) tels que \(x \strictinferieur y\).
On dit qu'une fonction \(f : A \to F\) est strictement décroissante si :
\[f(x) \strictsuperieur f(y)\]
pour tout \(x,y \in A\) tels que \(x \strictinferieur y\).
1.3. Ordre entre fonctions
Soit les fonctions \(f,g \in B^A\). Supposons qu'il existe un ordre défini sur \(B\). On dit que \(f\) est inférieure à \(g\) et on le note :
\[f \le g\]
si et seulement si les valeurs de \(f\) sont inférieures aux valeurs de \(g\) :
\[f(x) \le g(x)\]
en tout point \(x \in A\). Symétriquement, on dit que \(f\) est supérieure à \(g\) et on le note :
\[f \ge g\]
si :
\[f(x) \ge g(x)\]
pour tout \(x \in A\).
1.3.1. Strict
On note également :
- \(f \strictinferieur g\) si \(f(x) \strictinferieur g(x)\) pour tout \(x \in A\)
- \(f \strictsuperieur g\) si \(f(x) \strictsuperieur g(x)\) pour tout \(x \in A\)
1.4. Fonctions extrema
Soit un ensemble de paramètres \(Z\) et la collection paramétrée de fonctions :
\[\{ f_z \in B^A : z \in Z \}\]
Sous réserve d'existence des extrema, on définit la fonction supremum par :
\[\left[ \sup_{z \in Z} f_z \right](x) = \sup_{z \in Z} f_z(x)\]
pour tout \(x \in A\). On définit la fonction infimum par :
\[\left[ \inf_{z \in Z} f_z \right](x) = \inf_{z \in Z} f_z(x)\]
pour tout \(x \in A\).
1.4.1. Maximum et minimum
Lorsque les maximum et minimum existent, on définit :
\( \left[ \max_{z \in Z} f_z \right](x) = \max_{z \in Z} f_z(x) \\ \\ \left[ \min_{z \in Z} f_z \right](x) = \min_{z \in Z} f_z(x) \)
1.4.2. Notation
On note aussi :
\( \sup \{ f_z : z \in Z \} = \sup_{z \in Z} f_z \\ \\ \inf \{ f_z : z \in Z \} = \inf_{z \in Z} f_z \\ \\ \max \{ f_z : z \in Z \} = \max_{z \in Z} f_z \\ \\ \min \{ f_z : z \in Z \} = \min_{z \in Z} f_z \)
1.4.3. Couples
On définit les fonctions \(M = \max\{f,g\}\) et \(m = \min\{f,g\}\) par :
\( M(x) = \max\{ f , g \}(x) = \max\{ f(x) , g(x) \} \\ m(x) = \min\{ f , g \}(x) = \min\{ f(x) , g(x) \} \)
pour tout \(x \in A\).
1.5. Ordre mixte
Soit la fonction \(f \in B^A\) et un \(c \in B\). Supposons qu'il existe un ordre défini sur \(B\). On dit que \(f\) est inférieure à \(c\) et on le note :
\[f \le c\]
si les valeurs de \(f\) sont inférieures à \(c\) :
\[f(x) \le c\]
en tout point \(x \in A\). Symétriquement, on dit que \(f\) est supérieure à \(c\) et on le note :
\[f \ge c\]
si :
\[f(x) \ge c\]
pour tout \(x \in A\).
1.5.1. Strict
On note également :
- \(f \strictinferieur c\) si \(f(x) \strictinferieur c\) pour tout \(x \in A\).
- \(f \strictsuperieur c\) si \(f(x) \strictsuperieur c\) pour tout \(x \in A\).
1.5.2. Fonctions max et min
On définit les fonctions \(\max\{f,c\}\) et \(\min\{f,c\}\) par :
\( \max\{ f , c \}(x) = \max\{ f(x) , c \} \\ \min\{ f , c \}(x) = \min\{ f(x) , c \} \)
pour tout \(x \in A\).
1.6. Extrema d'une fonction
Etant donné la fonction \(f : \Omega \mapsto B\) et le sous-ensemble \(A \subseteq \Omega\), on définit les extrema de \(f\) (s'ils existent) par :
\( \max_{x \in A} f(x) = \max \{ f(x) : x \in A \} \\ \\ \min_{x \in A} f(x) = \min \{ f(x) : x \in A \} \\ \\ \sup_{x \in A} f(x) = \sup \{ f(x) : x \in A \} \\ \\ \inf_{x \in A} f(x) = \inf \{ f(x) : x \in A \} \)
1.7. Arguments d'extrema
1.7.1. Maximum et minimum
L'ensemble des éléments de \(A\) qui maximisent \(f\) sur \(A\) est noté :
\[\arg\max_{x \in A} f(x) = \left\{ \alpha \in A : f(\alpha) = \max_{x \in A} f(x) \right\}\]
Dans le cas où cet ensemble contient un unique élément, on le note :
\[\alpha = \arg\max_{x \in A} f(x)\]
L'ensemble des éléments de \(A\) qui minimisent \(f\) sur \(A\) est noté :
\[\arg\min_{x \in A} f(x) = \left\{ \beta \in A : f(\beta) = \min_{x \in A} f(x) \right\}\]
Dans le cas où cet ensemble contient un unique élément, on le note :
\[\beta = \arg\min_{x \in A} f(x)\]
1.7.2. Supremum et infimum
L'ensemble des éléments de \(\Omega\) qui produisent une valeur égale au supremum des valeurs de \(f\) sur \(A \subseteq \Omega\) est noté :
\[\argument_\Omega\sup_{x \in A} f(x) = \left\{ \alpha \in \Omega : f(\alpha) = \sup_{x \in A} f(x) \right\}\]
Dans le cas où cet ensemble contient un unique élément, on le note :
\[\alpha = \argument_\Omega\sup_{x \in A} f(x)\]
L'ensemble des éléments de \(\Omega\) qui produisent une valeur égale à l'infimum des valeurs de \(f\) sur \(A \subseteq \Omega\) est noté :
\[\argument_\Omega\inf_{x \in A} f(x) = \left\{ \beta \in \Omega : f(\beta) = \inf_{x \in A} f(x) \right\}\]
Dans le cas où cet ensemble contient un unique élément, on le note :
\[\beta = \argument_\Omega\inf_{x \in A} f(x)\]
1.8. Extrema locaux
On dit que \(f\) atteint un minimum local en \(a \in A\) si il existe un voisinage \(U\) de \(x\) tel que :
\[f(a) \le f(x)\]
pour tout \(x \in U\). A l'inverse, on dit que \(f\) atteint un maximum local en \(a \in A\) si il existe un voisinage \(U\) de \(x\) tel que :
\[f(a) \ge f(x)\]
pour tout \(x \in U\).
1.9. Ordre entre fonctions et extrema
Soit les fonctions \(f,g : A \mapsto B\) telles que \(f \le g\). Supposons que \(\sigma \in \major g(A)\). On a \(\sigma \ge g(x) \ge f(x)\) pour tout \(x \in A\), d'où \(\sigma \ge f(x)\) et \(\sigma \in \major f(A)\). On en conclut que \(\major g(A) \subseteq \major f(A)\). Si les minima existent, on a donc :
\[\min \major f(A) \le \min \major g(A)\]
c'est-à-dire :
\[\sup_{x \in A} f(x) = \sup f(A) \le \sup g(A) = \sup_{x \in A} g(x)\]
Supposons que \(\lambda \in \minor f(A)\). On a \(\lambda \le f(x) \le g(x)\) pour tout \(x \in A\), d'où \(\lambda \le g(x)\) et \(\lambda \in \minor g(A)\). On en conclut que \(\minor f(A) \subseteq \minor g(A)\). Si les maxima existent, on a donc :
\[\max \minor f(A) \le \max \minor g(A)\]
c'est-à-dire :
\[\inf_{x \in A} f(x) = \inf f(A) \le \inf g(A) = \inf_{x \in A} g(x)\]
2. Bijections
\label{chap:bijections}
2.1. Dépendances
- Chapitre \ref{chap:fonctionsEtOrdre} : Fonctions et ordre
2.2. Inverse à gauche
Soit \(f : A \mapsto B\). Si \(l : B \mapsto A\) est une fonction telle que :
\[l \circ f = \identite\]
on dit que \(l\) est un inverse à gauche de \(f\).
2.2.1. Unicité
Soit \(y \in B\). Si \(f\) admet un inverse à gauche, on peut trouver au plus un seul \(x \in A\) tel que \(f(x) = y\). En effet, supposons que \(x_1, x_2 \in A\) avec \(f(x_1) = f(x_2) = y\). On a :
\[l(y) = (l \circ f)(x_1) = (l \circ f)(x_2)\]
mais comme \(l \circ f = \identite\), et que \(\identite(x) = x\) pour tout \(x \in A\), on a :
\[l(y) = x_1 = x_2\]
ce qui prouve l'unicité de la solution.
2.3. Inverse à droite
Soit \(f : A \mapsto B\). Si \(r : B \mapsto A\) est une fonction telle que :
\[f \circ r = \identite\]
on dit que \(r\) est un inverse à droite de \(f\).
2.3.1. Existence
Soit \(y \in B\). Si \(f\) admet un inverse à droite \(r\), on peut trouver au moins un \(x \in A\) tel que \(f(x) = y\). En effet, si l'on choisit \(x = r(y)\), on a :
\[f(x) = (f \circ r)(y) = \identite(y) = y\]
ce qui prouve l'existence de la solution.
2.4. Fonction inverse
Soit \(f : A \mapsto B\). Supposons que \(f\) admette à la fois un inverse à gauche \(l\) et un inverse à droite \(r\). Ces deux inverses sont dès lors identiques :
\[l = l \circ \identite = l \circ f \circ r = \identite \circ r = r\]
2.4.1. Existence et unicité
Soit \(y \in B\). On déduit des résultats précédents que l'on peut trouver un unique \(x \in A\), donné par \(x = r(y)\), tel que \(f(x) = y\). Nous pouvons dès lors définir la fonction inverse, notée \(f^{-1} : B \mapsto A\), par :
\[f^{-1}(y) = r(y)\]
pour tout \(y \in B\). On a donc :
\[f^{-1} = r = l\]
et :
\[f^{-1} \circ f = f \circ f^{-1} = \identite\]
2.4.2. Bijection
Lorsque \(f\) admet un inverse \(f^{-1}\), on dit que \(f\) est inversible ou que \(f\) est une bijection. On note :
\[\bijection(A,B) = \{ f \in B^A : \exists f^{-1} \in A^B \}\]
l'ensemble des bijections de \(A\) vers \(B\).
2.5. Relation
Lorsque \(f\) est inversible, l'image inverse de \(y \in B\) se réduit à un ensemble contenant un unique \(x \in A\). Soit \(R\) la relation associée à \(f\). On a :
\[R^{-1}(y) = \{ f^{-1}(y) \}\]
2.6. Inverse d'une composée
Soit \(f \in \bijection(A,B)\) et \(g \in \bijection(B,C)\). Nous allons essayer de trouver une expression de l'inverse \(h\) de la composée de ces deux fonctions. On part de la relation \(h \circ g \circ f = \identite\) et on compose à droite par l'inverse de \(f\) puis l'inverse de \(g\), ce qui nous donne :
\[h \circ g \circ f \circ f^{-1} \circ g^{-1} = \identite \circ f^{-1} \circ g^{-1} = f^{-1} \circ g^{-1}\]
Mais comme :
\[h \circ g \circ f \circ f^{-1} \circ g^{-1} = h \circ g \circ \identite \circ g^{-1} = h \circ g \circ g^{-1} = h \circ \identite = h\]
on a :
\[h = f^{-1} \circ g^{-1}\]
Partant de la relation \(g \circ f \circ h = \identite\) et composant à gauche par l'inverse de \(g\) puis par l'inverse de \(f\), on arrive au même résultat \(h = f^{-1} \circ g^{-1}\). Donc :
\[(g \circ f)^{-1} = f^{-1} \circ g^{-1}\]
On généralise par récurrence à \(n\) fonctions :
\[(f_n \circ ... \circ f_2 \circ f_1)^{-1} = f_1^{-1} \circ f_2^{-1} \circ ... \circ f_n^{-1}\]
2.7. Puissances négatives
Si \(f\) est inversible, on peut également définir les puissances négatives par :
\[f^{-n} = \left( f^{-1} \right)^n = f^{-1} \circ ... \circ f^{-1}\]
pour tout \(n \in \setN\).
2.8. Inverse d'une puissance
En considérant le cas particulier de fonctions identiques (\(f_1 = ... = f_n = f\)), l'expression de l'inverse d'une composition de fonctions nous montre que :
\[\left( f^{-1} \right)^n = f^{-n} = \left( f^n \right)^{-1}\]
L'inverse de la puissance est identique à la puissance de l'inverse.
2.9. Idempotence
On dit que deux ensembles \(A\) et \(B\) sont idempotents si il existe une bijection inversible de \(A\) vers \(B\) :
\[\bijection(A,B) \ne \emptyset\]
2.9.1. Equivalence
Soit les ensembles \(A\) et \(B\). Supposons qu'il existe une bijection \(f \in \bijection(A,B)\). On peut alors définir une équivalence sur \(A \cup B\) en disant que \(x \equiv y\) si \(x \in A\) avec \(y = f(x) \in B\), ou si \(x \in B\) avec \(y = f^{-1}(x) \in A\). Dans les autres cas, \(x\) ne sera pas équivalent à \(y\). Les classes d'quivalences seront donc de la forme :
\[\mathcal{E}(a) = \{ a , f(a) \}\]
pour tout \(a \in A\) et de la forme :
\[\mathcal{E}(b) = \{ b , f^{-1}(b) \}\]
pour tout \(b \in B\). Il y a donc une « équivalence » entre les éléments de \(A\) et les éléments de \(B\). Dans ce cas, on confond souvent les éléments \(x\) de \(A\) avec les éléments de \(\hat{x}\) de \(B\), et on note abusivement \(x = \hat{x}\).
2.9.2. Ensembles finis
Dans le cas d'ensembles finis, l'idempotence revient à dire que \(A\) et \(B\) ont le même nombre d'éléments.
2.10. Inverse des fonctions monotones
3. Ordre inclusif
\label{chap:ordreInclusif}
3.1. Dépendances
- Chapitre \ref{chap:collections} : Les collections
- Chapitre \ref{chap:ordres} : Les ordres
- Chapitre \ref{chap:extrema} : Les extrema
3.2. Ordre sur les ensembles
Soit l'ensemble \(\Omega\) et l'ensemble de ses sous-ensembles :
\[\sousens(\Omega) = \{ A : A \subseteq \Omega \}\]
On dit que \(A \in \sousens(\Omega)\) est plus petit ou égal à \(B \in \sousens(\Omega)\) au sens de l'ordre inclusif si et seulement si :
\[A \subseteq B\]
On voit qu'il s'agit d'un ordre partiel.
3.2.1. Attention
Ne pas confondre l'ordre inclusif \(\subseteq\) avec la comparaison d'ensembles \(\ensinferieur\) qui est elle basée sur l'ordre entre les éléments des ensembles concernés.
3.3. Extrema inclusifs d'une collection
Soit l'ensemble de paramètres \(X\) et la collection paramétrée :
\[\mathcal{C} = \{ A(x) \in \sousens(\Omega) : x \in X \}\]
3.3.1. Majorant
Si on veut qu'un ensemble quelconque \(M \subseteq \Omega\) soit un majorant inclusif de \(\mathcal{C}\), il faut que \(A(x) \subseteq M\) pour tout \(x \in X\). Pour cela, il faut et il suffit que \(M\) contienne tous les \(A(x)\). Autrement dit, il faut et il suffit que \(M\) contienne l'union des ensembles-éléments de la collection. On a donc :
\[\major_\subseteq \mathcal{C} = \left\{ M \in \sousens(\Omega) : \bigcup_{x \in X} A(x) \subseteq M \right\}\]
3.3.2. Supremum
Etudions l'ensemble :
\[S = \bigcup_{x \in X} A(x) \in \sousens(\Omega)\]
Comme :
\[\bigcup_{x \in X} A(x) \subseteq S\]
on a :
\[S \in \major_\subseteq \mathcal{C}\]
On voit aussi que \(S \subseteq M\) pour tout \(M \in \major_\subseteq \mathcal{C}\). On en déduit que :
\[S = \min_\subseteq \major_\subseteq \mathcal{C} = \sup_\subseteq \mathcal{C}\]
3.3.3. Minorant
Si on veut qu'un ensemble quelconque \(L \subseteq \Omega\) soit un minorant inclusif de \(\mathcal{C}\), il faut que \(L \subseteq A(x)\) pour tout \(x \in X\). Pour cela, il faut et il suffit que \(L\) soit contenu dans tous les \(A(x)\). Autrement dit, il faut et il suffit que \(L\) soit contenu dans l'intersection des ensembles-éléments de la collection. On a donc :
\[\minor_\subseteq \mathcal{C} = \left\{ L \in \sousens(\Omega) : L \subseteq \bigcap_{x \in X} A(x) \right\}\]
3.3.4. Infimum
Etudions l'ensemble :
\[I = \bigcap_{x \in X} A(x) \in \sousens(\Omega)\]
Comme :
\[I \subseteq \bigcap_{x \in X} A(x)\]
on a :
\[I \in \minor_\subseteq \mathcal{C}\]
On voit aussi que \(L \subseteq I\) pour tout \(L \in \minor_\subseteq \mathcal{C}\). On en déduit que :
\[I = \max_\subseteq \minor_\subseteq \mathcal{C} = \inf_\subseteq \mathcal{C}\]
3.3.5. Conclusion
Le supremum inclusif d'une collection de sous-ensembles de \(\Omega\) existe toujours dans \(\sousens(\Omega)\) et est égal à l'union de tous ces ensembles :
\[\sup_\subseteq \{ A(x) \in \sousens(\Omega) : x \in X \} = \bigcup_{x \in X} A(x)\]
L'infimum inclusif d'une collection de sous-ensembles de \(\Omega\) existe toujours dans \(\sousens(\Omega)\) et est égal à l'intersection de tous ces ensembles :
\[\inf_\subseteq \{ A(x) \in \sousens(\Omega) : x \in X \} = \bigcap_{x \in X} A(x)\]