SlideShare ist ein Scribd-Unternehmen logo
1 von 3
Downloaden Sie, um offline zu lesen
Analyse Convexe 1 Jaouad DABOUNOU-FSTS
Topologie des ensembles convexes
Proposition : Soit A un ensemble convexe de R
n
, l’intérieur de A, A
o
, et la fermeture de A, A̅, sont
convexes.
Démonstration : (Exercice)
Proposition : Soit A convexe de R
n
, x A
o
, intérieur de A et yA. Alors [x , y[ A
o
.
Démonstration : x A
o
, intérieur de A, donc il existe >0 tel que la boule B(x , )A. Soit ]0 ,
1[ et x = x+(1-)y. Nous allons démontrer que x A
o
. On considère la boule
B(x , ), nous allons montrer que B(x , )A. Soit z B(x , ), on pose
z = x +
1

(z - x)
z a été construit de façon à avoir z B(x , ). En effet, ||z - x|| = ||z - x||< , donc ||z - x||<.
A étant convexe, on a z+(1-)yA. Alors x + (z - x) + (1-) yA. Ce qui permet d’avoir
z A car x = x+(1-)y. Ainsi B(x , )A. Il s’ensuit que x Ȧ pour ]0 , 1[. Donc on a
finalement : [x , y[ Ȧ .
Proposition : Soit A convexe de R
n
, x A
o
, intérieur de A et yA. Alors [x , y[ A
o
.
Analyse Convexe 2 Jaouad DABOUNOU-FSTS
Démonstration : x A
o
, intérieur de A, donc il existe >0 tel que la boule B(x , )A. Soit ]0 ,
1[ et y = x+(1-)y. Nous allons démontrer que y A
o
.
Comme yA alors pour tout >0, il existe zA tel que ||z - y||< .
On applique le résultat de la proposition précédente à x et z. Soit z = x + (1-)z, B(z , )  A.
Dans cette démonstration, nous allons proposer un choix adéquat de >0 pour que y B(z , ).
Quand z se rapproche de y, z se rapproche de y et la boule B(z , ) dont le rayon ne dépend pas
de z finit par contenir y.
On a y- z = (1 - )(y - z) et donc si on choisit  tel que :
0 < ρ <

(1- )
|| y- z|| = (1 - )|| y - z || < (1 - ) = .
Donc y B(z , )  A. Donc y A
o
.
Et ainsi [x , y[ A
o
.
Proposition : Soit A un ensemble convexe de R
n
avec A
o
, intérieur de A, non vide. Alors
A
o̅
=A̅ et A̅
o
=A
o
. A̅ étant la fermeture de A et A
o
l’intérieur de A.
Démonstration :
- Montrons que A
o̅
=A̅. On a A
o
 A donc A
o̅
 A̅. Reste à montrer que A̅ A
o̅
.
Soit xA̅. Comme A
o
≠, soit aA
o
. D’après une proposition précédente [a , x[ A
o
. Et on voit donc
facilement que xA
o̅
. Et ainsi A̅  A
o̅
.
Maintenant, on montre que A̅
o
=A
o
. On a A  A̅, donc A
o
 A̅
o
.
Analyse Convexe 3 Jaouad DABOUNOU-FSTS
Reste à montrer que A̅
o
 A
o
. Comme A
o
≠, soit aA
o
. Soit xA̅
o
, on suppose que x ≠ a. Donc il
existe >0 tel que B(x , )  A̅.
On pose
b = x+
ε
2
.
(x - a)
‖x - a‖
b est choisi de façon à ce qu’il soit dans B(x , ) et
que x [a , b].
Comme B(x , )  A̅, donc bA̅, et aA
o
. D’après
une proposition précédente [a , b[ A
o
.
Le fait que x [a , b] permet d’achever la démonstration : xA
o
et A̅
o
 A
o
.
Finalement A̅
o
=A
o
.
Définition: Soit A un ensemble non vide de de R
n
, on appelle enveloppe convexe fermée de A la
fermeture de l’enveloppe convexe de A : conv̅̅̅̅̅̅(A)
Proposition : Soit A un ensemble non vide de de R
n
, l’enveloppe convexe fermée de A est égale à
l’intersection de tous les convexes fermés contenant A.
Démonstration : Exercice

Weitere ähnliche Inhalte

Was ist angesagt?

Analyse Numérique Chapitre 1: Équations Non Linéiares
Analyse Numérique Chapitre 1: Équations Non LinéiaresAnalyse Numérique Chapitre 1: Équations Non Linéiares
Analyse Numérique Chapitre 1: Équations Non Linéiaresbilal001
 
analyse numerique
analyse numeriqueanalyse numerique
analyse numeriquehomme00
 
Rappels math - www.coursdefsjes.com
Rappels math - www.coursdefsjes.comRappels math - www.coursdefsjes.com
Rappels math - www.coursdefsjes.comcours fsjes
 
Exercice fonctions réciproques
Exercice fonctions réciproquesExercice fonctions réciproques
Exercice fonctions réciproquesYessin Abdelhedi
 
Cac cong thuc tich phan
Cac cong thuc tich phanCac cong thuc tich phan
Cac cong thuc tich phanheocon19
 
Formes bilineaire symetrique et formes quadratiques (1).pdf
Formes bilineaire symetrique et formes quadratiques (1).pdfFormes bilineaire symetrique et formes quadratiques (1).pdf
Formes bilineaire symetrique et formes quadratiques (1).pdfVrazylandGuekou1
 
Cours continuité et limites
Cours continuité et limitesCours continuité et limites
Cours continuité et limitesYessin Abdelhedi
 
CAPES maths 2019 composition 2
CAPES maths 2019 composition 2CAPES maths 2019 composition 2
CAPES maths 2019 composition 2Dany-Jack Mercier
 
Algèbre & Trigonométrie ( DUT )
Algèbre & Trigonométrie ( DUT )Algèbre & Trigonométrie ( DUT )
Algèbre & Trigonométrie ( DUT )FATIHA AKEF
 
Cours d'Analyse - FI-GL-SID
Cours d'Analyse - FI-GL-SIDCours d'Analyse - FI-GL-SID
Cours d'Analyse - FI-GL-SIDFATIHA AKEF
 
Corrige math s1-s3_r_1er_gr_2013
Corrige math s1-s3_r_1er_gr_2013Corrige math s1-s3_r_1er_gr_2013
Corrige math s1-s3_r_1er_gr_2013Ibrahima Sow
 
Math%E9matiques%20 Ct
Math%E9matiques%20 CtMath%E9matiques%20 Ct
Math%E9matiques%20 Ctglenoo
 

Was ist angesagt? (19)

Analyse Numérique Chapitre 1: Équations Non Linéiares
Analyse Numérique Chapitre 1: Équations Non LinéiaresAnalyse Numérique Chapitre 1: Équations Non Linéiares
Analyse Numérique Chapitre 1: Équations Non Linéiares
 
Cours espace
Cours espaceCours espace
Cours espace
 
Espace
EspaceEspace
Espace
 
analyse numerique
analyse numeriqueanalyse numerique
analyse numerique
 
Rappels math - www.coursdefsjes.com
Rappels math - www.coursdefsjes.comRappels math - www.coursdefsjes.com
Rappels math - www.coursdefsjes.com
 
05 exos fonction_exponentielle
05 exos fonction_exponentielle05 exos fonction_exponentielle
05 exos fonction_exponentielle
 
Exercice fonctions réciproques
Exercice fonctions réciproquesExercice fonctions réciproques
Exercice fonctions réciproques
 
Cac cong thuc tich phan
Cac cong thuc tich phanCac cong thuc tich phan
Cac cong thuc tich phan
 
Formes bilineaire symetrique et formes quadratiques (1).pdf
Formes bilineaire symetrique et formes quadratiques (1).pdfFormes bilineaire symetrique et formes quadratiques (1).pdf
Formes bilineaire symetrique et formes quadratiques (1).pdf
 
Cours continuité et limites
Cours continuité et limitesCours continuité et limites
Cours continuité et limites
 
Ch35 26
Ch35 26Ch35 26
Ch35 26
 
CAPES maths 2019 composition 2
CAPES maths 2019 composition 2CAPES maths 2019 composition 2
CAPES maths 2019 composition 2
 
Cours dérivabilité
Cours dérivabilitéCours dérivabilité
Cours dérivabilité
 
Exercice dérivabilité
Exercice dérivabilitéExercice dérivabilité
Exercice dérivabilité
 
Tadti crs3-n
Tadti crs3-nTadti crs3-n
Tadti crs3-n
 
Algèbre & Trigonométrie ( DUT )
Algèbre & Trigonométrie ( DUT )Algèbre & Trigonométrie ( DUT )
Algèbre & Trigonométrie ( DUT )
 
Cours d'Analyse - FI-GL-SID
Cours d'Analyse - FI-GL-SIDCours d'Analyse - FI-GL-SID
Cours d'Analyse - FI-GL-SID
 
Corrige math s1-s3_r_1er_gr_2013
Corrige math s1-s3_r_1er_gr_2013Corrige math s1-s3_r_1er_gr_2013
Corrige math s1-s3_r_1er_gr_2013
 
Math%E9matiques%20 Ct
Math%E9matiques%20 CtMath%E9matiques%20 Ct
Math%E9matiques%20 Ct
 

Mehr von Jaouad Dabounou

اللغة والذكاء الاصطناعي.pdf
اللغة والذكاء الاصطناعي.pdfاللغة والذكاء الاصطناعي.pdf
اللغة والذكاء الاصطناعي.pdfJaouad Dabounou
 
Mrbml004 : Introduction to Information Theory for Machine Learning
Mrbml004 : Introduction to Information Theory for Machine LearningMrbml004 : Introduction to Information Theory for Machine Learning
Mrbml004 : Introduction to Information Theory for Machine LearningJaouad Dabounou
 
RNN avec mécanisme d'attention
RNN avec mécanisme d'attentionRNN avec mécanisme d'attention
RNN avec mécanisme d'attentionJaouad Dabounou
 
Réseaux de neurones récurrents et LSTM
Réseaux de neurones récurrents et LSTMRéseaux de neurones récurrents et LSTM
Réseaux de neurones récurrents et LSTMJaouad Dabounou
 
Modèles de langue : Ngrammes
Modèles de langue : NgrammesModèles de langue : Ngrammes
Modèles de langue : NgrammesJaouad Dabounou
 
Analyse Factorielle des Correspondances
Analyse Factorielle des CorrespondancesAnalyse Factorielle des Correspondances
Analyse Factorielle des CorrespondancesJaouad Dabounou
 
Analyse en Composantes Principales
Analyse en Composantes PrincipalesAnalyse en Composantes Principales
Analyse en Composantes PrincipalesJaouad Dabounou
 
Analyse en Composantes Principales
Analyse en Composantes PrincipalesAnalyse en Composantes Principales
Analyse en Composantes PrincipalesJaouad Dabounou
 
Polycopie Analyse Numérique
Polycopie Analyse NumériquePolycopie Analyse Numérique
Polycopie Analyse NumériqueJaouad Dabounou
 
Sélection de contrôles avec correction
Sélection de contrôles avec correctionSélection de contrôles avec correction
Sélection de contrôles avec correctionJaouad Dabounou
 

Mehr von Jaouad Dabounou (11)

اللغة والذكاء الاصطناعي.pdf
اللغة والذكاء الاصطناعي.pdfاللغة والذكاء الاصطناعي.pdf
اللغة والذكاء الاصطناعي.pdf
 
Mrbml004 : Introduction to Information Theory for Machine Learning
Mrbml004 : Introduction to Information Theory for Machine LearningMrbml004 : Introduction to Information Theory for Machine Learning
Mrbml004 : Introduction to Information Theory for Machine Learning
 
RNN avec mécanisme d'attention
RNN avec mécanisme d'attentionRNN avec mécanisme d'attention
RNN avec mécanisme d'attention
 
Réseaux de neurones récurrents et LSTM
Réseaux de neurones récurrents et LSTMRéseaux de neurones récurrents et LSTM
Réseaux de neurones récurrents et LSTM
 
Modèles de langue : Ngrammes
Modèles de langue : NgrammesModèles de langue : Ngrammes
Modèles de langue : Ngrammes
 
Analyse Factorielle des Correspondances
Analyse Factorielle des CorrespondancesAnalyse Factorielle des Correspondances
Analyse Factorielle des Correspondances
 
Analyse en Composantes Principales
Analyse en Composantes PrincipalesAnalyse en Composantes Principales
Analyse en Composantes Principales
 
W2 vec001
W2 vec001W2 vec001
W2 vec001
 
Analyse en Composantes Principales
Analyse en Composantes PrincipalesAnalyse en Composantes Principales
Analyse en Composantes Principales
 
Polycopie Analyse Numérique
Polycopie Analyse NumériquePolycopie Analyse Numérique
Polycopie Analyse Numérique
 
Sélection de contrôles avec correction
Sélection de contrôles avec correctionSélection de contrôles avec correction
Sélection de contrôles avec correction
 

Kürzlich hochgeladen

presentation l'interactionnisme symbolique finale.pptx
presentation l'interactionnisme symbolique  finale.pptxpresentation l'interactionnisme symbolique  finale.pptx
presentation l'interactionnisme symbolique finale.pptxMalikaIdseaid1
 
Boléro. pptx Film français réalisé par une femme.
Boléro.  pptx   Film   français   réalisé  par une  femme.Boléro.  pptx   Film   français   réalisé  par une  femme.
Boléro. pptx Film français réalisé par une femme.Txaruka
 
Cours ofppt du Trade-Marketing-Présentation.pdf
Cours ofppt du Trade-Marketing-Présentation.pdfCours ofppt du Trade-Marketing-Présentation.pdf
Cours ofppt du Trade-Marketing-Présentation.pdfachrafbrahimi1
 
A3iFormations, organisme de formations certifié qualiopi.
A3iFormations, organisme de formations certifié qualiopi.A3iFormations, organisme de formations certifié qualiopi.
A3iFormations, organisme de formations certifié qualiopi.Franck Apolis
 
Bolero. pptx . Film de A nnne Fontaine
Bolero. pptx . Film   de  A nnne FontaineBolero. pptx . Film   de  A nnne Fontaine
Bolero. pptx . Film de A nnne FontaineTxaruka
 
MaintenanceLa Maintenance Corrective.ppt
MaintenanceLa Maintenance Corrective.pptMaintenanceLa Maintenance Corrective.ppt
MaintenanceLa Maintenance Corrective.pptssusercbaa22
 
SUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptx
SUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptxSUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptx
SUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptxssuserbd075f
 
Sidonie au Japon . pptx Un film français
Sidonie    au   Japon  .  pptx  Un film françaisSidonie    au   Japon  .  pptx  Un film français
Sidonie au Japon . pptx Un film françaisTxaruka
 
Formation M2i - Intelligence Artificielle Comment booster votre productivité ...
Formation M2i - Intelligence Artificielle Comment booster votre productivité ...Formation M2i - Intelligence Artificielle Comment booster votre productivité ...
Formation M2i - Intelligence Artificielle Comment booster votre productivité ...M2i Formation
 
La nouvelle femme . pptx Film français
La   nouvelle   femme  . pptx  Film françaisLa   nouvelle   femme  . pptx  Film français
La nouvelle femme . pptx Film françaisTxaruka
 
Approche-des-risques-par-l’analyse-des-accidents-1.pptx
Approche-des-risques-par-l’analyse-des-accidents-1.pptxApproche-des-risques-par-l’analyse-des-accidents-1.pptx
Approche-des-risques-par-l’analyse-des-accidents-1.pptxssusercbaa22
 
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptxSAID MASHATE
 
Mécanique Automobile LE TURBOCOMPRESSEUR.ppt
Mécanique Automobile LE TURBOCOMPRESSEUR.pptMécanique Automobile LE TURBOCOMPRESSEUR.ppt
Mécanique Automobile LE TURBOCOMPRESSEUR.pptssusercbaa22
 
gestion des conflits dans les entreprises
gestion des  conflits dans les entreprisesgestion des  conflits dans les entreprises
gestion des conflits dans les entreprisesMajdaKtiri2
 
COURS SVT 3 EME ANNEE COLLEGE 2EME SEM.pdf
COURS SVT 3 EME ANNEE COLLEGE 2EME SEM.pdfCOURS SVT 3 EME ANNEE COLLEGE 2EME SEM.pdf
COURS SVT 3 EME ANNEE COLLEGE 2EME SEM.pdfabatanebureau
 

Kürzlich hochgeladen (16)

presentation l'interactionnisme symbolique finale.pptx
presentation l'interactionnisme symbolique  finale.pptxpresentation l'interactionnisme symbolique  finale.pptx
presentation l'interactionnisme symbolique finale.pptx
 
Boléro. pptx Film français réalisé par une femme.
Boléro.  pptx   Film   français   réalisé  par une  femme.Boléro.  pptx   Film   français   réalisé  par une  femme.
Boléro. pptx Film français réalisé par une femme.
 
Cours ofppt du Trade-Marketing-Présentation.pdf
Cours ofppt du Trade-Marketing-Présentation.pdfCours ofppt du Trade-Marketing-Présentation.pdf
Cours ofppt du Trade-Marketing-Présentation.pdf
 
A3iFormations, organisme de formations certifié qualiopi.
A3iFormations, organisme de formations certifié qualiopi.A3iFormations, organisme de formations certifié qualiopi.
A3iFormations, organisme de formations certifié qualiopi.
 
Bolero. pptx . Film de A nnne Fontaine
Bolero. pptx . Film   de  A nnne FontaineBolero. pptx . Film   de  A nnne Fontaine
Bolero. pptx . Film de A nnne Fontaine
 
Evaluación Alumnos de Ecole Victor Hugo
Evaluación Alumnos de Ecole  Victor HugoEvaluación Alumnos de Ecole  Victor Hugo
Evaluación Alumnos de Ecole Victor Hugo
 
MaintenanceLa Maintenance Corrective.ppt
MaintenanceLa Maintenance Corrective.pptMaintenanceLa Maintenance Corrective.ppt
MaintenanceLa Maintenance Corrective.ppt
 
SUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptx
SUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptxSUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptx
SUPPORT DE SUR COURS_GOUVERNANCE_SI_M2.pptx
 
Sidonie au Japon . pptx Un film français
Sidonie    au   Japon  .  pptx  Un film françaisSidonie    au   Japon  .  pptx  Un film français
Sidonie au Japon . pptx Un film français
 
Formation M2i - Intelligence Artificielle Comment booster votre productivité ...
Formation M2i - Intelligence Artificielle Comment booster votre productivité ...Formation M2i - Intelligence Artificielle Comment booster votre productivité ...
Formation M2i - Intelligence Artificielle Comment booster votre productivité ...
 
La nouvelle femme . pptx Film français
La   nouvelle   femme  . pptx  Film françaisLa   nouvelle   femme  . pptx  Film français
La nouvelle femme . pptx Film français
 
Approche-des-risques-par-l’analyse-des-accidents-1.pptx
Approche-des-risques-par-l’analyse-des-accidents-1.pptxApproche-des-risques-par-l’analyse-des-accidents-1.pptx
Approche-des-risques-par-l’analyse-des-accidents-1.pptx
 
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
666148532-Formation-Habilitation-ELECTRIQUE-ENTREPRISE-MARS-2017.pptx
 
Mécanique Automobile LE TURBOCOMPRESSEUR.ppt
Mécanique Automobile LE TURBOCOMPRESSEUR.pptMécanique Automobile LE TURBOCOMPRESSEUR.ppt
Mécanique Automobile LE TURBOCOMPRESSEUR.ppt
 
gestion des conflits dans les entreprises
gestion des  conflits dans les entreprisesgestion des  conflits dans les entreprises
gestion des conflits dans les entreprises
 
COURS SVT 3 EME ANNEE COLLEGE 2EME SEM.pdf
COURS SVT 3 EME ANNEE COLLEGE 2EME SEM.pdfCOURS SVT 3 EME ANNEE COLLEGE 2EME SEM.pdf
COURS SVT 3 EME ANNEE COLLEGE 2EME SEM.pdf
 

Topologie des ensembles convexes

  • 1. Analyse Convexe 1 Jaouad DABOUNOU-FSTS Topologie des ensembles convexes Proposition : Soit A un ensemble convexe de R n , l’intérieur de A, A o , et la fermeture de A, A̅, sont convexes. Démonstration : (Exercice) Proposition : Soit A convexe de R n , x A o , intérieur de A et yA. Alors [x , y[ A o . Démonstration : x A o , intérieur de A, donc il existe >0 tel que la boule B(x , )A. Soit ]0 , 1[ et x = x+(1-)y. Nous allons démontrer que x A o . On considère la boule B(x , ), nous allons montrer que B(x , )A. Soit z B(x , ), on pose z = x + 1  (z - x) z a été construit de façon à avoir z B(x , ). En effet, ||z - x|| = ||z - x||< , donc ||z - x||<. A étant convexe, on a z+(1-)yA. Alors x + (z - x) + (1-) yA. Ce qui permet d’avoir z A car x = x+(1-)y. Ainsi B(x , )A. Il s’ensuit que x Ȧ pour ]0 , 1[. Donc on a finalement : [x , y[ Ȧ . Proposition : Soit A convexe de R n , x A o , intérieur de A et yA. Alors [x , y[ A o .
  • 2. Analyse Convexe 2 Jaouad DABOUNOU-FSTS Démonstration : x A o , intérieur de A, donc il existe >0 tel que la boule B(x , )A. Soit ]0 , 1[ et y = x+(1-)y. Nous allons démontrer que y A o . Comme yA alors pour tout >0, il existe zA tel que ||z - y||< . On applique le résultat de la proposition précédente à x et z. Soit z = x + (1-)z, B(z , )  A. Dans cette démonstration, nous allons proposer un choix adéquat de >0 pour que y B(z , ). Quand z se rapproche de y, z se rapproche de y et la boule B(z , ) dont le rayon ne dépend pas de z finit par contenir y. On a y- z = (1 - )(y - z) et donc si on choisit  tel que : 0 < ρ <  (1- ) || y- z|| = (1 - )|| y - z || < (1 - ) = . Donc y B(z , )  A. Donc y A o . Et ainsi [x , y[ A o . Proposition : Soit A un ensemble convexe de R n avec A o , intérieur de A, non vide. Alors A o̅ =A̅ et A̅ o =A o . A̅ étant la fermeture de A et A o l’intérieur de A. Démonstration : - Montrons que A o̅ =A̅. On a A o  A donc A o̅  A̅. Reste à montrer que A̅ A o̅ . Soit xA̅. Comme A o ≠, soit aA o . D’après une proposition précédente [a , x[ A o . Et on voit donc facilement que xA o̅ . Et ainsi A̅  A o̅ . Maintenant, on montre que A̅ o =A o . On a A  A̅, donc A o  A̅ o .
  • 3. Analyse Convexe 3 Jaouad DABOUNOU-FSTS Reste à montrer que A̅ o  A o . Comme A o ≠, soit aA o . Soit xA̅ o , on suppose que x ≠ a. Donc il existe >0 tel que B(x , )  A̅. On pose b = x+ ε 2 . (x - a) ‖x - a‖ b est choisi de façon à ce qu’il soit dans B(x , ) et que x [a , b]. Comme B(x , )  A̅, donc bA̅, et aA o . D’après une proposition précédente [a , b[ A o . Le fait que x [a , b] permet d’achever la démonstration : xA o et A̅ o  A o . Finalement A̅ o =A o . Définition: Soit A un ensemble non vide de de R n , on appelle enveloppe convexe fermée de A la fermeture de l’enveloppe convexe de A : conv̅̅̅̅̅̅(A) Proposition : Soit A un ensemble non vide de de R n , l’enveloppe convexe fermée de A est égale à l’intersection de tous les convexes fermés contenant A. Démonstration : Exercice