203 Utilisation de la notion de compacité.

Utilisation de la notion de compacité.

analysis

Diverses caractérisations de la compacité

Caractérisation topologique

[GOU20]
p. 27

Définition 1

Un espace métrique $(E, d)$ est compact s’il vérifie la propriété de Borel-Lebesgue :

De tout recouvrement de $E$ par des ouverts de $E$ , on peut extraire un sous-recouvrement fini.

Exemple 2

Tout espace métrique fini est compact.

Proposition 3

Un espace métrique $(E, d)$ est compact si et seulement si, de toute famille de fermés de $E$ d’intersection vide, on peut extraire une sous-famille finie d’intersection vide.

Proposition 4

Une réunion finie de parties compactes est compacte.
Une intersection quelconque de parties compactes est compacte.

Caractérisation séquentielle

[DAN]
p. 51

Soit $(E, d)$ un espace métrique.

Théorème 5

Théorème de Bolzano-Weierstrass $(E, d)$ est compact si et seulement si toute suite de $E$ admet une sous-suite convergente dans $E$ .

Exemple 6

Tout segment $[a, b]$ de $R$ est compact, mais $R$ n’est pas compact.

Proposition 7

Un espace métrique compact est complet.
Un espace métrique compact est borné.

Proposition 8

Soit $A \subseteq E$ .

Si $A$ est compacte, alors $A$ est une partie fermée bornée de $E$ .
Si $E$ est compact et $A$ est fermée, alors $A$ est compacte.

Proposition 9

Un produit d’espaces métriques compacts est compact pour la distance produit.

[I-P]
p. 116

Application 10

Soit $(E, d)$ un espace métrique compact. Soit $(u_{n})$ une suite de $E$ telle que $d (u_{n}, u_{n - 1}) ⟶ 0$ . Alors l’ensemble $Γ$ des valeurs d’adhérence de $(u_{n})$ est connexe.

Corollaire 11

Lemme de la grenouilleSoient $f : [0, 1] \to [0, 1]$ continue et $(x_{n})$ une suite de $[0, 1]$ telle que ${x_{0} \in [0, 1] x_{n + 1} = f (x_{n})$ Alors $(x_{n})$ converge si et seulement si $lim_{n \to + \infty} x_{n + 1} - x_{n} = 0$ .

Caractérisation dans un espace vectoriel normé de dimension finie

[LI]
p. 15

equivalence-des-normes-en-dimension-finie-et-theoreme-de-riesz

Théorème 12

En dimension finie, toutes les normes sont équivalentes.

Corollaire 13

Les parties compactes d’un espace vectoriel normé de dimension finie sont les parties fermées bornées.

Corollaire 14

Tout espace vectoriel de dimension finie est complet.
Tout sous-espace vectoriel de dimension finie d’un espace vectoriel normé est fermé dans cet espace.
Si $E$ est un espace vectoriel normé de dimension finie, alors toute application linéaire $T : E \to F$ (où $F$ désigne un espace vectoriel normé arbitraire) est continue.

[C-G]
p. 407

Application 15

L’exponentielle d’une matrice est un polynôme en la matrice.

[LI]
p. 17

Théorème 16

Théorème de RieszLa boule unité fermée d’un espace vectoriel normé est compacte si et seulement s’il est de dimension finie.

Utilisation en analyse

Continuité et compacité

[DAN]
p. 55

Proposition 17

Soient $(E, d_{E})$ , $(F, d_{F})$ deux espaces métriques et $f : E \to F$ une application continue. Si $E$ est compact, alors $f (E)$ est compact.

Corollaire 18

Toute application définie et continue sur un espace métrique compact à valeurs dans un espace métrique est bornée.

Proposition 19

Sous les hypothèses et notations de la 17, en supposant de plus $f$ injective, alors $f$ réalise un homéomorphisme entre $E$ et $f (E)$ .

Théorème 20

des bornesToute fonction réelle continue sur un espace métrique compact est bornée et atteint ses bornes.

Corollaire 21

Théorème des valeurs intermédiaires. L’image d’un segment $[a, b]$ de $R$ par une fonction réelle continue est un segment $[c, d]$ de $R$ .

[GOU20]
p. 73

Application 22

Théorème de RolleSoit $f$ une fonction réelle continue sur un intervalle $[a, b]$ , dérivable sur $] a, b [$ et telle que $f (a) = f (b)$ . Alors, $\exists c \in] a, b [tel que f^{'} (c) = 0$

[ROU]
p. 171

Application 23

Point fixe dans un compactSoit $(E, d)$ un espace métrique compact et $f : E \to E$ telle que $\forall x, y \in E, x \neq = y ⟹ d (f (x), f (y)) < d (x, y)$ alors $f$ admet un unique point fixe et pour tout $x_{0} \in E$ , la suite des itérés $x_{n + 1} = f (x_{n})$ converge vers ce point fixe.

Exemple 24

$sin$ admet un unique point fixe sur $[0, 1]$ .

[DAN]
p. 58

Application 25

Théorème de d’Alembert-GaussTout polynôme non constant de $C$ admet une racine dans $C$ .

Théorème 26

Théorème de HeineUne application continue à valeurs dans un espace métrique définie sur un espace métrique compact est uniformément continue.

[GOU20]
p. 238

Théorème 27

Théorèmes de Dini

Soit $(f_{n})$ une suite croissante de fonctions réelles continues définies sur un segment $I$ de $R$ . Si $(f_{n})$ converge simplement vers une fonction continue sur $I$ , alors la convergence est uniforme.
Soit $(f_{n})$ une suite de fonctions croissantes réelles continues définies sur un segment $I$ de $R$ . Si $(f_{n})$ converge simplement vers une fonction continue sur $I$ , alors la convergence est uniforme.

Approximation de fonctions

p. 304

theoreme-de-weierstrass-par-la-convolution

Théorème 28

Théorème de WeierstrassToute fonction continue $f : [a, b] \to R$ (avec $a, b \in R$ tels que $a \leq b$ ) est limite uniforme de fonctions polynomiales sur $[a, b]$ .

On a une version plus générale de ce théorème.

[LI]
p. 46

Théorème 29

Théorème de Stone-WeierstrassSoit $K$ un espace compact et $A$ une sous-algèbre de l’algèbre de Banach réelle $C (K, R)$ . On suppose de plus que :

$A$ sépare les points de $K$ (ie. $\forall x \in K, \exists f \in A telle que f (x) \neq = f (y)$ ).
$A$ contient les constantes.

Alors $A$ est dense dans $C (K, R)$ .

Remarque 30

Il existe aussi une version complexe de ce théorème, où il faut supposer de plus que $A$ est stable par conjugaison.

Exemple 31

La suite de polynômes réels $(r_{n})$ définie par récurrence par $r_{0} = 0 et \forall n \in N, r_{n + 1} : t \mapsto r_{n} (t) + \frac{1}{2} (t - r_{n} (t)^{2})$ converge vers $.$ sur $[0, 1]$ .

Étude d’équations différentielles

[GOU20]
p. 375

Théorème 32

Théorème d’Arzelà-PeanoSoit $F$ une fonction continue sur un ouvert $U$ de $R \times R^{n}$ à valeurs dans $R^{n}$ . On considère l’équation différentielle $y^{'} = F (t, y)$ Pour tout couple $(y_{0}, t_{0})$ de $U$ , le problème de Cauchy admet une solution $y$ définie sur un intervalle ouvert contenant $t_{0}$ .

Exemple 33

L’équation différentielle $y^{'} = {0 y si y < 0 si y \geq 0$ admet des solutions.

p. 400

Théorème 34

Lemme de sortie de tout compact. Soient $] a, b [$ un intervalle ouvert de $R$ , $O$ un ouvert de $R^{n}$ et $F :] a, b [\times O \to R^{n}$ une fonction continue et localement lipschitzienne en la seconde variable. Soit $φ :] α, β [\to R^{n}$ une solution maximale de $y^{'} = F (t, y)$ .

Alors, si $β < b$ (resp. si $a < α$ ), pour tout compact $K \subseteq O$ , il existe un voisinage $V$ de $β$ (resp. de $α$ ) dans $] α, β [$ tel que $φ (t) \in / K$ pour tout $t \in V$ .

Recherche d’extrema

[ROU]
p. 409

Proposition 35

Le maximum de $f : R^{n} \times \dots \times R^{n} (v_{1}, \dots, v_{n}) \to \mapsto R det (v_{1}, \dots, v_{n})$ est atteint sur le cercle unité de $R^{n}$ .

Corollaire 36

Inégalité de Hadamard $\forall v_{1}, \dots, v_{n} \in R^{n}, ∣ det (v_{1}, \dots, v_{n}) ∣ \leq ∥ v_{1} ∥ \dots ∥ v_{n} ∥$ où $∥.∥$ désigne la norme associée au produit scalaire usuel sur $R^{n}$ . On a égalité si et seulement si $(v_{1}, \dots, v_{n})$ est une famille orthogonale.

Remarque 37

Géométriquement, cette inégalité exprime que les parallélépipèdes de volume maximum sont rectangles.

Convexité et compacité

[LI]
p. 159

Théorème 38

Hahn-Banach géométriqueSoit $E$ un espace vectoriel normé. Soient $C$ et $K$ deux parties non vides de $E$ disjointes et telles que $C$ soit convexe et fermée, et $K$ soit convexe et compacte. Alors, il existe une forme linéaire continue $φ \in E^{'}$ telle que : $x \in C sup Re (φ (x)) < x \in K in f Re (φ (x))$

Corollaire 39

Théorème de MinkowskiToute partie convexe et fermée d’un espace vectoriel normé réel est égale à l’intersection des demi-espaces fermés qui le contiennent.

[BMP]
p. 133

Corollaire 40

Soit $H$ un espace de Hilbert sur $R$ et soit $D$ une partie de $H$ . Alors l’enveloppe convexe fermée de $D$ est égale à l’intersection des demi-espaces de la forme ${y \in H ∣ f (y) \leq α}$ qui contiennent $D$ , où $f \in H^{'}$ et $α \in R$ .