SlideShare une entreprise Scribd logo
Analyse Convexe 1 Jaouad DABOUNOU-FSTS
Théorèmes de Carathéodory
Théorème (Carathéodory) : Soit A une partie de R
n
. Alors tout élément de conv(A) peut s’écrire
comme une combinaison convexe de n + 1 éléments de A.
Démonstration: Supposons que x ∈ conv(A) s’écrive comme combinaison convexe de m>n+1
éléments xi de A :
x = ∑αi xi
m
i=1
avec α = (α1, α2, … , αm) ∈ m
Il suffit de montrer que l’on peut écrire x comme combinaison convexe de m−1 des xi.
On suppose i > 0, i = 1,...,m.
Comme m>n+1, (x1, x2, …, xm) est nécessairement affinement liée. Donc on peut trouver 1, 2, …,
m réels non tous nuls tels que :
∑ i
xi
m
i=1
= 0 avec ∑ i
m
i=1
= 0
On voit facilement que au moins l’un des réels i, i=1,m est strictement positif.
On a pour tout réel t0,
x = ∑(αi
- t i
) xi
m
i=1
avec α = (α1, α2, … , αm) ∈ m et ∑(αi
- t i
)
m
i=1
= 1
Posons  i,t = i - t i, i=1,m, pour t0. Donc
x = ∑i,t
xi
m
i=1
avec ∑i,t
m
i=1
= 1
Pour t=0 on a i,0 = i > 0, i=1,m. L’utilisation de la continuité montre que cela reste vrai :
i,t = i - t i >0, i=1,m, pour t>0, t suffisamment petit. En plus on a toujours :
x = ∑i,t
xi
m
i=1
avec ∑i,t
m
i=1
= 1
Comme au moins l’un des réels i, i=1,m est strictement positif, faisons croitre la valeur de t à partir
de 0, jusqu’à ce que pour  > 0 l’un des i, = i -  i, i=1,m s’annule, par exemple m, = m -  m
= 0. On a ainsi forcément i, = i -  i  0, i=1,m-1. Sinon, si par exemple j, = j -  j < 0, pour
Analyse Convexe 2 Jaouad DABOUNOU-FSTS
un entier j, 1 j m-1 cela voudrait dire que j,t = j - t j s’était annulé pour un t, tel que 0<t<, ce
qui est impossible.
Finalement, on peut écrire
x = ∑i,
xi
m-1
i=1
avec i,
 0 et ∑i,
m-1
i=1
= 1
Donc si m > n+1 et x s’écrit comme combinaison convexe de m éléments (xi), i=1,m de A, alors x
peut s’écrire comme combinaison convexe de seulement m-1 éléments parmi les (xi), i=1,m.
Corollaire : Soit A un sous-ensemble non vide de R
n
, Si A est borné (resp. compact) alors conv(A)
est borné (resp. compact).
Démonstration :
Bornitude :
Supposons que A est borné par M. Soit xconv(A), on a
x = ∑αi xi
n+1
i=1
, xi ∈A, αi ≥ 0 , ∑αi
n+1
i=1
=1
Donc
‖x‖ = ‖∑ αi xi
n+1
i=1
‖  ∑ αi ‖xi ‖
n+1
i=1
 ∑ αi M=M
n+1
i=1
Donc conv(A) est majoré par M.
Compacité :
Soit (xk
) une suite de conv(A). Si A est compact, alors on a pour chaque k
xk
= ∑ αi
k
xi
k
n+1
i=1
, xi
k
∈A, αi
k
≥ 0 , ∑ αi
k
n+1
i=1
=1
Pour i=1, la suite (x1
k
) A et A est compact, donc on peut en extraire une sous-suite (x1
k1
) qui
converge vers x1 dans A.
Analyse Convexe 3 Jaouad DABOUNOU-FSTS
On considère la sous-suite des coefficients (1
k1
, 2
k1
,…, n+1
k1
). Puisque n+1 est compact, on peut
en extraire une sous-suite que nous continuerons à noter pour simplifier (1
k1
, 2
k1
,…, n+1
k1
) qui
converge vers (1 , 2 ,…, n+1) dans n+1.
On a par ailleurs
xk1
= ∑ αi
k1
xi
k1
n+1
i=1
, xi
k1
∈A, αi
k1
≥ 0 , ∑ αi
k1
n+1
i=1
=1
On considère maintenant pour i=2, la suite (x2
k1
) A et A est compact, donc on peut en extraire une
sous-suite (x2
k2
) qui converge vers x2 dans A. Remarquons que (x1
k2
) est une sous-suite de (x1
k1
),
donc converge aussi vers x1 .
On procède ainsi de proche en proche jusqu’à construire une sous-suite kn+1, telle que (xi
kn+1)
converge vers xi pout i=1,2,…,n+1.
On en déduit alors que la sous-suite de (xk
) donnée par
xkn+1= ∑ αi
kn+1xi
kn+1
n+1
i=1
, xi
kn+1∈A, αi
kn+1 ≥ 0 , ∑ αi
kn+1
n+1
i=1
=1
converge vers
x = ∑ αi xi
n+1
i=1
, xi ∈A, αi ≥ 0 , ∑ αi
n+1
i=1
=1
Donc xconv(A). On en déduit donc que conv(A) est compact.

Contenu connexe

Tendances

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
 
Cours espace
Cours espaceCours espace
Cours espace
Yessin Abdelhedi
 
Rappels math - www.coursdefsjes.com
Rappels math - www.coursdefsjes.comRappels math - www.coursdefsjes.com
Rappels math - www.coursdefsjes.com
cours fsjes
 
Cours continuité et limites
Cours continuité et limitesCours continuité et limites
Cours continuité et limites
Yessin Abdelhedi
 
Exercice fonctions réciproques
Exercice fonctions réciproquesExercice fonctions réciproques
Exercice fonctions réciproquesYessin Abdelhedi
 
05 exos fonction_exponentielle
05 exos fonction_exponentielle05 exos fonction_exponentielle
05 exos fonction_exponentielle
wanderful hyppolite
 
analyse numerique
analyse numeriqueanalyse numerique
analyse numeriquehomme00
 
Cours dérivabilité
Cours dérivabilitéCours dérivabilité
Cours dérivabilité
Yessin Abdelhedi
 
CAPES maths 2019 composition 2
CAPES maths 2019 composition 2CAPES maths 2019 composition 2
CAPES maths 2019 composition 2
Dany-Jack Mercier
 
Cours sur les fonctions de référence (chapitre 6)
Cours sur les fonctions de référence (chapitre 6)Cours sur les fonctions de référence (chapitre 6)
Cours sur les fonctions de référence (chapitre 6)
vauzelle
 
Fonction-exponentielle-2eme-BAC-PC --www.etude-generale.com.pdf
Fonction-exponentielle-2eme-BAC-PC --www.etude-generale.com.pdfFonction-exponentielle-2eme-BAC-PC --www.etude-generale.com.pdf
Fonction-exponentielle-2eme-BAC-PC --www.etude-generale.com.pdf
etude-generale
 
Exercice coniques
Exercice coniquesExercice coniques
Exercice coniques
Yessin Abdelhedi
 
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
VrazylandGuekou1
 
03 théorème de gauss
03 théorème de gauss03 théorème de gauss
03 théorème de gaussKais Kh
 

Tendances (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
 
Rappels math - www.coursdefsjes.com
Rappels math - www.coursdefsjes.comRappels math - www.coursdefsjes.com
Rappels math - www.coursdefsjes.com
 
Cours continuité et limites
Cours continuité et limitesCours continuité et limites
Cours continuité et limites
 
Exercice fonctions réciproques
Exercice fonctions réciproquesExercice fonctions réciproques
Exercice fonctions réciproques
 
Ch35 26
Ch35 26Ch35 26
Ch35 26
 
05 exos fonction_exponentielle
05 exos fonction_exponentielle05 exos fonction_exponentielle
05 exos fonction_exponentielle
 
analyse numerique
analyse numeriqueanalyse numerique
analyse numerique
 
Espace
EspaceEspace
Espace
 
Cours dérivabilité
Cours dérivabilitéCours dérivabilité
Cours dérivabilité
 
Statistiques
StatistiquesStatistiques
Statistiques
 
Exercice dérivabilité
Exercice dérivabilitéExercice dérivabilité
Exercice dérivabilité
 
CAPES maths 2019 composition 2
CAPES maths 2019 composition 2CAPES maths 2019 composition 2
CAPES maths 2019 composition 2
 
Cours sur les fonctions de référence (chapitre 6)
Cours sur les fonctions de référence (chapitre 6)Cours sur les fonctions de référence (chapitre 6)
Cours sur les fonctions de référence (chapitre 6)
 
Fonction-exponentielle-2eme-BAC-PC --www.etude-generale.com.pdf
Fonction-exponentielle-2eme-BAC-PC --www.etude-generale.com.pdfFonction-exponentielle-2eme-BAC-PC --www.etude-generale.com.pdf
Fonction-exponentielle-2eme-BAC-PC --www.etude-generale.com.pdf
 
Exercice coniques
Exercice coniquesExercice coniques
Exercice coniques
 
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
 
Calcul vectoriel
Calcul vectorielCalcul vectoriel
Calcul vectoriel
 
03 théorème de gauss
03 théorème de gauss03 théorème de gauss
03 théorème de gauss
 

Similaire à Théorèmes de Carathéodory

Mathématiques Générales.pdf
Mathématiques Générales.pdfMathématiques Générales.pdf
Mathématiques Générales.pdf
KarimBara2
 
Sommation séries entières
Sommation séries entièresSommation séries entières
Sommation séries entièresLoïc Dilly
 
Cours developpements limites
Cours   developpements limitesCours   developpements limites
Cours developpements limiteshassan1488
 
bac tun 1.pdf
bac tun 1.pdfbac tun 1.pdf
bac tun 1.pdf
lescours
 
Minimal Submanifolds Z.C
Minimal Submanifolds Z.CMinimal Submanifolds Z.C
Minimal Submanifolds Z.CZahraa Cheaitou
 
01 lois-à-densité
01 lois-à-densité01 lois-à-densité
01 lois-à-densité
Manar Sefiane
 
DS6-CB-sujet (1).pdf
DS6-CB-sujet (1).pdfDS6-CB-sujet (1).pdf
DS6-CB-sujet (1).pdf
hajar517389
 
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
Ibrahima Sow
 
FINAL.pptx
FINAL.pptxFINAL.pptx
FINAL.pptx
sara6496
 
Cnc mp-2017-maths-2-corrige
Cnc mp-2017-maths-2-corrigeCnc mp-2017-maths-2-corrige
Cnc mp-2017-maths-2-corrige
Otman Aberkane
 
SuitesAG.pdf
SuitesAG.pdfSuitesAG.pdf
SuitesAG.pdf
AzzedineBel
 
L'essentiel du programme de l'agrégation de mathématiques
L'essentiel du programme de l'agrégation de mathématiquesL'essentiel du programme de l'agrégation de mathématiques
L'essentiel du programme de l'agrégation de mathématiques
CharvetXavier
 
Mettre obligatoirement le titre de la leçon ici
Mettre obligatoirement le titre de la leçon iciMettre obligatoirement le titre de la leçon ici
Mettre obligatoirement le titre de la leçon ici
wospro-academy
 
Cours series fourier
Cours series fourierCours series fourier
Cours series fourierMehdi Maroun
 
Cours series fourier
Cours series fourierCours series fourier
Cours series fourier
ismailkziadi
 

Similaire à Théorèmes de Carathéodory (20)

Mathématiques Générales.pdf
Mathématiques Générales.pdfMathématiques Générales.pdf
Mathématiques Générales.pdf
 
Am4 series
Am4 seriesAm4 series
Am4 series
 
Sommation séries entières
Sommation séries entièresSommation séries entières
Sommation séries entières
 
Cours developpements limites
Cours   developpements limitesCours   developpements limites
Cours developpements limites
 
Arithmetique
ArithmetiqueArithmetique
Arithmetique
 
bac tun 1.pdf
bac tun 1.pdfbac tun 1.pdf
bac tun 1.pdf
 
Minimal Submanifolds Z.C
Minimal Submanifolds Z.CMinimal Submanifolds Z.C
Minimal Submanifolds Z.C
 
01 lois-à-densité
01 lois-à-densité01 lois-à-densité
01 lois-à-densité
 
Vraisembl
VraisemblVraisembl
Vraisembl
 
Vraisembl
VraisemblVraisembl
Vraisembl
 
DS6-CB-sujet (1).pdf
DS6-CB-sujet (1).pdfDS6-CB-sujet (1).pdf
DS6-CB-sujet (1).pdf
 
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
 
FINAL.pptx
FINAL.pptxFINAL.pptx
FINAL.pptx
 
Cnc mp-2017-maths-2-corrige
Cnc mp-2017-maths-2-corrigeCnc mp-2017-maths-2-corrige
Cnc mp-2017-maths-2-corrige
 
SuitesAG.pdf
SuitesAG.pdfSuitesAG.pdf
SuitesAG.pdf
 
L'essentiel du programme de l'agrégation de mathématiques
L'essentiel du programme de l'agrégation de mathématiquesL'essentiel du programme de l'agrégation de mathématiques
L'essentiel du programme de l'agrégation de mathématiques
 
Slides cirm-copulasv3
Slides cirm-copulasv3Slides cirm-copulasv3
Slides cirm-copulasv3
 
Mettre obligatoirement le titre de la leçon ici
Mettre obligatoirement le titre de la leçon iciMettre obligatoirement le titre de la leçon ici
Mettre obligatoirement le titre de la leçon ici
 
Cours series fourier
Cours series fourierCours series fourier
Cours series fourier
 
Cours series fourier
Cours series fourierCours series fourier
Cours series fourier
 

Plus de Jaouad Dabounou

اللغة والذكاء الاصطناعي.pdf
اللغة والذكاء الاصطناعي.pdfاللغة والذكاء الاصطناعي.pdf
اللغة والذكاء الاصطناعي.pdf
Jaouad 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 Learning
Jaouad Dabounou
 
RNN avec mécanisme d'attention
RNN avec mécanisme d'attentionRNN avec mécanisme d'attention
RNN avec mécanisme d'attention
Jaouad 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 LSTM
Jaouad Dabounou
 
Modèles de langue : Ngrammes
Modèles de langue : NgrammesModèles de langue : Ngrammes
Modèles de langue : Ngrammes
Jaouad Dabounou
 
Analyse Factorielle des Correspondances
Analyse Factorielle des CorrespondancesAnalyse Factorielle des Correspondances
Analyse Factorielle des Correspondances
Jaouad Dabounou
 
Analyse en Composantes Principales
Analyse en Composantes PrincipalesAnalyse en Composantes Principales
Analyse en Composantes Principales
Jaouad Dabounou
 
W2 vec001
W2 vec001W2 vec001
W2 vec001
Jaouad Dabounou
 
Analyse en Composantes Principales
Analyse en Composantes PrincipalesAnalyse en Composantes Principales
Analyse en Composantes Principales
Jaouad Dabounou
 
Polycopie Analyse Numérique
Polycopie Analyse NumériquePolycopie Analyse Numérique
Polycopie Analyse Numérique
Jaouad 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 correction
Jaouad Dabounou
 

Plus de 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
 

Dernier

Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...
Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...
Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...
mrelmejri
 
Procédure consignation Lock Out Tag Out.pptx
Procédure consignation  Lock Out Tag Out.pptxProcédure consignation  Lock Out Tag Out.pptx
Procédure consignation Lock Out Tag Out.pptx
caggoune66
 
Newsletter SPW Agriculture en province du Luxembourg du 12-06-24
Newsletter SPW Agriculture en province du Luxembourg du 12-06-24Newsletter SPW Agriculture en province du Luxembourg du 12-06-24
Newsletter SPW Agriculture en province du Luxembourg du 12-06-24
BenotGeorges3
 
Conseils pour Les Jeunes | Conseils de La Vie| Conseil de La Jeunesse
Conseils pour Les Jeunes | Conseils de La Vie| Conseil de La JeunesseConseils pour Les Jeunes | Conseils de La Vie| Conseil de La Jeunesse
Conseils pour Les Jeunes | Conseils de La Vie| Conseil de La Jeunesse
Oscar Smith
 
Formation M2i - Onboarding réussi - les clés pour intégrer efficacement vos n...
Formation M2i - Onboarding réussi - les clés pour intégrer efficacement vos n...Formation M2i - Onboarding réussi - les clés pour intégrer efficacement vos n...
Formation M2i - Onboarding réussi - les clés pour intégrer efficacement vos n...
M2i Formation
 
Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...
Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...
Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...
cristionobedi
 
Burkina Faso library newsletter May 2024
Burkina Faso library newsletter May 2024Burkina Faso library newsletter May 2024
Burkina Faso library newsletter May 2024
Friends of African Village Libraries
 
Iris van Herpen. pptx
Iris         van         Herpen.      pptxIris         van         Herpen.      pptx
Iris van Herpen. pptx
Txaruka
 
Cycle de Formation Théâtrale 2024 / 2025
Cycle de Formation Théâtrale 2024 / 2025Cycle de Formation Théâtrale 2024 / 2025
Cycle de Formation Théâtrale 2024 / 2025
Billy DEYLORD
 
Edito-B1-francais Manuel to learning.pdf
Edito-B1-francais Manuel to learning.pdfEdito-B1-francais Manuel to learning.pdf
Edito-B1-francais Manuel to learning.pdf
WarlockeTamagafk
 
Iris van Herpen. pptx
Iris         van        Herpen.      pptxIris         van        Herpen.      pptx
Iris van Herpen. pptx
Txaruka
 
Iris et les hommes.pptx
Iris      et         les      hommes.pptxIris      et         les      hommes.pptx
Iris et les hommes.pptx
Txaruka
 
Iris van Herpen. pptx
Iris            van        Herpen.     pptxIris            van        Herpen.     pptx
Iris van Herpen. pptx
Txaruka
 

Dernier (13)

Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...
Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...
Impact des Critères Environnementaux, Sociaux et de Gouvernance (ESG) sur les...
 
Procédure consignation Lock Out Tag Out.pptx
Procédure consignation  Lock Out Tag Out.pptxProcédure consignation  Lock Out Tag Out.pptx
Procédure consignation Lock Out Tag Out.pptx
 
Newsletter SPW Agriculture en province du Luxembourg du 12-06-24
Newsletter SPW Agriculture en province du Luxembourg du 12-06-24Newsletter SPW Agriculture en province du Luxembourg du 12-06-24
Newsletter SPW Agriculture en province du Luxembourg du 12-06-24
 
Conseils pour Les Jeunes | Conseils de La Vie| Conseil de La Jeunesse
Conseils pour Les Jeunes | Conseils de La Vie| Conseil de La JeunesseConseils pour Les Jeunes | Conseils de La Vie| Conseil de La Jeunesse
Conseils pour Les Jeunes | Conseils de La Vie| Conseil de La Jeunesse
 
Formation M2i - Onboarding réussi - les clés pour intégrer efficacement vos n...
Formation M2i - Onboarding réussi - les clés pour intégrer efficacement vos n...Formation M2i - Onboarding réussi - les clés pour intégrer efficacement vos n...
Formation M2i - Onboarding réussi - les clés pour intégrer efficacement vos n...
 
Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...
Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...
Formation Intelligence Artificielle pour dirigeants- IT6-DIGITALIX 24_opt OK_...
 
Burkina Faso library newsletter May 2024
Burkina Faso library newsletter May 2024Burkina Faso library newsletter May 2024
Burkina Faso library newsletter May 2024
 
Iris van Herpen. pptx
Iris         van         Herpen.      pptxIris         van         Herpen.      pptx
Iris van Herpen. pptx
 
Cycle de Formation Théâtrale 2024 / 2025
Cycle de Formation Théâtrale 2024 / 2025Cycle de Formation Théâtrale 2024 / 2025
Cycle de Formation Théâtrale 2024 / 2025
 
Edito-B1-francais Manuel to learning.pdf
Edito-B1-francais Manuel to learning.pdfEdito-B1-francais Manuel to learning.pdf
Edito-B1-francais Manuel to learning.pdf
 
Iris van Herpen. pptx
Iris         van        Herpen.      pptxIris         van        Herpen.      pptx
Iris van Herpen. pptx
 
Iris et les hommes.pptx
Iris      et         les      hommes.pptxIris      et         les      hommes.pptx
Iris et les hommes.pptx
 
Iris van Herpen. pptx
Iris            van        Herpen.     pptxIris            van        Herpen.     pptx
Iris van Herpen. pptx
 

Théorèmes de Carathéodory

  • 1. Analyse Convexe 1 Jaouad DABOUNOU-FSTS Théorèmes de Carathéodory Théorème (Carathéodory) : Soit A une partie de R n . Alors tout élément de conv(A) peut s’écrire comme une combinaison convexe de n + 1 éléments de A. Démonstration: Supposons que x ∈ conv(A) s’écrive comme combinaison convexe de m>n+1 éléments xi de A : x = ∑αi xi m i=1 avec α = (α1, α2, … , αm) ∈ m Il suffit de montrer que l’on peut écrire x comme combinaison convexe de m−1 des xi. On suppose i > 0, i = 1,...,m. Comme m>n+1, (x1, x2, …, xm) est nécessairement affinement liée. Donc on peut trouver 1, 2, …, m réels non tous nuls tels que : ∑ i xi m i=1 = 0 avec ∑ i m i=1 = 0 On voit facilement que au moins l’un des réels i, i=1,m est strictement positif. On a pour tout réel t0, x = ∑(αi - t i ) xi m i=1 avec α = (α1, α2, … , αm) ∈ m et ∑(αi - t i ) m i=1 = 1 Posons  i,t = i - t i, i=1,m, pour t0. Donc x = ∑i,t xi m i=1 avec ∑i,t m i=1 = 1 Pour t=0 on a i,0 = i > 0, i=1,m. L’utilisation de la continuité montre que cela reste vrai : i,t = i - t i >0, i=1,m, pour t>0, t suffisamment petit. En plus on a toujours : x = ∑i,t xi m i=1 avec ∑i,t m i=1 = 1 Comme au moins l’un des réels i, i=1,m est strictement positif, faisons croitre la valeur de t à partir de 0, jusqu’à ce que pour  > 0 l’un des i, = i -  i, i=1,m s’annule, par exemple m, = m -  m = 0. On a ainsi forcément i, = i -  i  0, i=1,m-1. Sinon, si par exemple j, = j -  j < 0, pour
  • 2. Analyse Convexe 2 Jaouad DABOUNOU-FSTS un entier j, 1 j m-1 cela voudrait dire que j,t = j - t j s’était annulé pour un t, tel que 0<t<, ce qui est impossible. Finalement, on peut écrire x = ∑i, xi m-1 i=1 avec i,  0 et ∑i, m-1 i=1 = 1 Donc si m > n+1 et x s’écrit comme combinaison convexe de m éléments (xi), i=1,m de A, alors x peut s’écrire comme combinaison convexe de seulement m-1 éléments parmi les (xi), i=1,m. Corollaire : Soit A un sous-ensemble non vide de R n , Si A est borné (resp. compact) alors conv(A) est borné (resp. compact). Démonstration : Bornitude : Supposons que A est borné par M. Soit xconv(A), on a x = ∑αi xi n+1 i=1 , xi ∈A, αi ≥ 0 , ∑αi n+1 i=1 =1 Donc ‖x‖ = ‖∑ αi xi n+1 i=1 ‖  ∑ αi ‖xi ‖ n+1 i=1  ∑ αi M=M n+1 i=1 Donc conv(A) est majoré par M. Compacité : Soit (xk ) une suite de conv(A). Si A est compact, alors on a pour chaque k xk = ∑ αi k xi k n+1 i=1 , xi k ∈A, αi k ≥ 0 , ∑ αi k n+1 i=1 =1 Pour i=1, la suite (x1 k ) A et A est compact, donc on peut en extraire une sous-suite (x1 k1 ) qui converge vers x1 dans A.
  • 3. Analyse Convexe 3 Jaouad DABOUNOU-FSTS On considère la sous-suite des coefficients (1 k1 , 2 k1 ,…, n+1 k1 ). Puisque n+1 est compact, on peut en extraire une sous-suite que nous continuerons à noter pour simplifier (1 k1 , 2 k1 ,…, n+1 k1 ) qui converge vers (1 , 2 ,…, n+1) dans n+1. On a par ailleurs xk1 = ∑ αi k1 xi k1 n+1 i=1 , xi k1 ∈A, αi k1 ≥ 0 , ∑ αi k1 n+1 i=1 =1 On considère maintenant pour i=2, la suite (x2 k1 ) A et A est compact, donc on peut en extraire une sous-suite (x2 k2 ) qui converge vers x2 dans A. Remarquons que (x1 k2 ) est une sous-suite de (x1 k1 ), donc converge aussi vers x1 . On procède ainsi de proche en proche jusqu’à construire une sous-suite kn+1, telle que (xi kn+1) converge vers xi pout i=1,2,…,n+1. On en déduit alors que la sous-suite de (xk ) donnée par xkn+1= ∑ αi kn+1xi kn+1 n+1 i=1 , xi kn+1∈A, αi kn+1 ≥ 0 , ∑ αi kn+1 n+1 i=1 =1 converge vers x = ∑ αi xi n+1 i=1 , xi ∈A, αi ≥ 0 , ∑ αi n+1 i=1 =1 Donc xconv(A). On en déduit donc que conv(A) est compact.