« Espaces vectoriels normés/Compacité » : différence entre les versions

Une page de Wikiversité, la communauté pédagogique libre.
Contenu supprimé Contenu ajouté
m liens internes
m →‎Valeurs d'adhérence : tout métrique compact est complet
Ligne 73 : Ligne 73 :
}}
}}


Exemples d'applications :
Exemple d'application :
{{Proposition
{{Proposition
|contenu =
|contenu =
:Soient ''E'' et ''F'' deux e.v.n. et ''A'' (resp. ''B'') une partie compacte de ''E'' (resp. ''F''). Alors, ''A''×''B'' est une partie compacte de ''E''×''F''.
Soient ''E'' et ''F'' deux e.v.n. et ''A'' (resp. ''B'') une partie compacte de ''E'' (resp. ''F''). Alors :
*l'espace métrique ''A'' est [[Topologie générale/Complétude|complet]] ;
*''A''×''B'' est une partie compacte de ''E''×''F''.
}}
}}



Version du 11 septembre 2019 à 08:54

Début de la boite de navigation du chapitre
Compacité
Icône de la faculté
Chapitre no 3
Leçon : Espaces vectoriels normés
Chap. préc. :Limites et continuité
Chap. suiv. :Connexité
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Espaces vectoriels normés : Compacité
Espaces vectoriels normés/Compacité
 », n'a pu être restituée correctement ci-dessus.

Dans ce chapitre, nous allons étudier une nouvelle notion topologique : la compacité. Intuitivement, un espace sera dit compact s'il se comporte de manière similaire à un ensemble fini, notamment dans le comportement des fonctions définies sur cet espace. Par exemple, une fonction continue sur un compact sera bornée et atteindra ses bornes.

Dans toute la suite, E est un ℝ-espace vectoriel normé.

Définitions

Remarque
On définit de même des recouvrements fermés, bornés, etc.


Premières propriétés

Valeurs d'adhérence


Dans un e.v.n. ou plus généralement dans un espace métrique, on a :


Rappelons que si une suite converge vers alors toutes ses sous-suites convergent vers . Par conséquent (d'après la proposition ci-dessus), est alors son unique valeur d'adhérence.

Dans un e.v.n. ou plus généralement dans un espace métrique, on a en outre une caractérisation séquentielle de la compacité :

Début d’un théorème
Fin du théorème


Exemples d'applications :


Compacité et applications continues

Début d’un théorème
Fin du théorème


Parties bornées

Début d’un théorème
Fin du théorème