Skip to main content

Section 6 Compacité

Figure 6.1. Source: https://mathstrek.blog/2013/02/24/topology-sequentially-compact-spaces-and-compact-spaces/ 1 

Définition 6.2. Compacts.

On dit qu'une partie \(A \subset E\) est un compact si, de toute suite de \(A\text{,}\) on peut extraire une sous-suite qui converge dans \(A\text{.}\)

Autrement dit :

\begin{align*} \forall(x_k)_k\amp \in A^\N,\ \exists \alpha:\N\rightarrow\N \text{ str. croissante}, \\ \amp\exists x \in A \text{ t.q } \|x_{\alpha(k)}-x\|\rightarrow0. \end{align*}

On a une caractérisation alternative des compacts:

La propriété de Heine-Borel-Lebesgue équivaut à la suivante:

Exercice 6.1.

(a)

Soient \((E,\|.\|_E)\) et \((F,\|.\|_F)\) deux e.v.n., et \(f:E\rightarrow F\) une fonction continue. Soit \(K\subset E\) un compact.

Justifier qu'il existe \(R>0\) tel que \(f(K)\subset B(0,R)\text{.}\)

Exercice 6.2.

On note \(B_f(0,1)\) la boule unité fermée dans \(\R^n\) et \(f:B_f(0,1)\rightarrow \R\) une fonction continue.

(a)

Justifier que \(B_f(0,1)\) est compacte.

(b)

Justifier que \(f\) est majorée.