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

Une page de Wikiversité, la communauté pédagogique libre.
Contenu supprimé Contenu ajouté
-démos doublons + compléments + mep
m liens internes
Ligne 12 : Ligne 12 :
{{clr}}
{{clr}}


== Définitions ==
== Définitions==


{{Définition
{{Définition
| titre = Définition : recouvrement ouvert, sous-recouvrement.
| titre = Définition : [[Topologie générale/Compacité#Définitions|recouvrement ouvert, sous-recouvrement]]
|contenu =
|contenu =
Soient <math>A</math> une partie de <math>E</math> et <math>(O_i)_{i\in I}</math> une [[Application (mathématiques)/Famille|famille]] de parties de <math>E</math>.
Soient <math>A</math> une partie de <math>E</math> et <math>(O_i)_{i\in I}</math> une [[Application (mathématiques)/Famille|famille]] de parties de <math>E</math>.
Ligne 30 : Ligne 30 :
:On définit de même des recouvrements fermés, bornés, etc.
:On définit de même des recouvrements fermés, bornés, etc.
{{Définition
{{Définition
| titre = Définition : partie compacte.
| titre = Définition : [[Topologie générale/Compacité#Définitions|partie compacte]]
| contenu =
| contenu =
On dit qu'une partie ''A'' de ''E'' est '''compacte''' si pour tout recouvrement ouvert de ''A'', il existe un sous-recouvrement fini.
On dit qu'une partie ''A'' de ''E'' est '''compacte''' si pour tout recouvrement ouvert de ''A'', il existe un sous-recouvrement fini.
Ligne 48 : Ligne 48 :
==Valeurs d'adhérence ==
==Valeurs d'adhérence ==
{{Définition
{{Définition
|titre = Définition : valeur d'adhérence
|titre = Définition : [[Topologie générale/Suites#Valeurs d'adhérence d'une suite|valeur d'adhérence]]
|contenu =
|contenu =
Soit <math>(u_n)</math> une suite de ''E''.
Soit <math>(u_n)</math> une suite de ''E''.
Ligne 86 : Ligne 86 :
}}
}}


== Parties bornées==
== Parties [[Topologie générale/Complétude#Diamètre d'une partie|bornées]]==
{{Théorème|contenu=Toute partie compacte d'un e.v.n. [[Topologie générale/Compacité#Espaces métriques compacts|est (précompacte donc) bornée]].}}
{{Théorème|contenu=Toute partie compacte d'un e.v.n. [[Topologie générale/Compacité#Espaces métriques compacts|est (précompacte donc) bornée]].}}



Version du 11 septembre 2019 à 08:02

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


Exemple d'application :


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