COMPACITÉ, mathématique

Carte mentale

Élargissez votre recherche dans Universalis

La notion de compacité est, en quelque sorte, à la base de toute l'analyse moderne. En ce sens, elle vient aussitôt après celles de limite et de fonction continue, auxquelles elle apporte des compléments indispensables. Pourtant, il faudra de nombreux siècles pour qu'elle soit découverte, après que Cauchy (1789-1857) eut enfin apporté la clarté nécessaire aux infiniment petits du xviiie siècle.

Il existe de nombreuses définitions équivalentes de la proposition « A est une partie compacte de l'ensemble ℝ des nombres réels ». Celle-ci est certainement la plus simple : A est compacte si, et seulement si, toute fonction continue définie sur A et à valeurs réelles est bornée.

Ainsi ℝ n'est pas compact, puisque la fonction identité, qui à x associe x lui-même, est continue mais non bornée. Ce même ensemble, privé du nombre 0 n'est pas davantage compact, comme on le voit en considérant la fonction inverse qui à x associe 1 /x. En revanche, toute partie bornée et fermée de ℝ est compacte, et ce sont d'ailleurs les seules (rappelons que A est fermée si, et seulement si, elle contient les limites des suites convergentes définies à partir d'éléments de A).

Qu'être bornée et fermée soient deux conditions nécessaires pour qu'une partie soit compacte résulte aussitôt de la définition (considérer les fonctions définies par |xa| et 1 /|xa| où a est un nombre convenable). La réciproque est vraie, comme on vient de le dire : elle se démontre assez facilement par dichotomie. S'il existait une fonction f continue et non bornée de A dans ℝ, on pourrait construire une suite de segments emboîtés Sn dont la largeur tendrait vers 0 sur lesquels f ne serait pas bornée, ce qui contredirait la continuité de f au point commun à tous les segments Sn. L'exemple le plus simple de compact réel est donc le segment [ab], ensemble des réels compris (au sens large) entre a et b, mais il en existe beaucoup d'autres : par exemple une réunion finie de segments, ou même l'ensemble formé de 0 et de tous les réels de la forme 1 /nn décrit l'ensemble des entie [...]


1  2  3  4  5
pour nos abonnés,
l’article se compose de 2 pages


Écrit par :

Classification


Autres références

«  COMPACITÉ, mathématique  » est également traité dans :

CALCUL INFINITÉSIMAL - Calcul à une variable

  • Écrit par 
  • Roger GODEMENT
  •  • 11 788 mots
  •  • 6 médias

Dans le chapitre « Notion de borne supérieure »  : […] Nous désignerons par R l'ensemble des nombres réels   ; il nous suffira de savoir qu'un nombre réel est un développement décimal illimité précédé d'un signe (qu'on omet s'il s'agit du signe +), par exemple le nombre − 3,141 59. ... ou bien le nombre 1 = 1,000 0.. ... = 0,999 99. ..., et que l'on peut effectuer sur ces nombres des opérations algébriques que tout le monde con […] Lire la suite☛ http://www.universalis.fr/encyclopedie/calcul-infinitesimal-calcul-a-une-variable/#i_41489

FONCTIONS REPRÉSENTATION & APPROXIMATION DES

  • Écrit par 
  • Jean-Louis OVAERT, 
  • Jean-Luc VERLEY
  •  • 19 537 mots
  •  • 6 médias

Dans le chapitre « Méthode de compacité »  : […] Pour étudier les solutions d'une équation du type ( x ) =  b , où f est une application continue d'un espace métrique compact K dans un espace de Banach E et où b est un élément donné de E, on construit une suite ( x n ) de solutions approc […] Lire la suite☛ http://www.universalis.fr/encyclopedie/representation-et-approximation-des-fonctions/#i_41489

HARMONIQUE ANALYSE

  • Écrit par 
  • René SPECTOR
  •  • 5 770 mots

Dans le chapitre « La mesure de Haar »  : […] La démonstration par Haar, en 1933, de l'existence d'une mesure invariante par translation, sur une large classe de groupes topologiques, permet, à partir de cette époque, de situer l'analyse harmonique dans sa vraie perspective et d'en comprendre la nature profonde. Si on considère, sur R , la mesure de Lebesgue dx , on constate qu'elle est invariante par translation, en ce […] Lire la suite☛ http://www.universalis.fr/encyclopedie/analyse-harmonique/#i_41489

MÉTRIQUES ESPACES

  • Écrit par 
  • Jean-Luc VERLEY
  •  • 6 425 mots
  •  • 1 média

Dans le chapitre « Espaces métriques compacts »  : […] On montre que tout sous-ensemble fermé et borné C de l'espace numérique R n possède la propriété suivante, appelée propriété de Borel-Lebesgue  : pour toute famille (U i ) d'ouverts de R n dont la réunion contient C (on dit qu'on a un rec […] Lire la suite☛ http://www.universalis.fr/encyclopedie/espaces-metriques/#i_41489

TOPOLOGIE - Topologie générale

  • Écrit par 
  • Claude MORLET
  •  • 4 363 mots
  •  • 3 médias

Dans le chapitre « Espaces compacts »  : […] Les intervalles fermés bornés de R ont des propriétés topologiques remarquables, connues depuis très longtemps ; ces propriétés découlent toutes du fait qu'ils vérifient la condition suivante, appelée condition de Borel-Lebesgue (cf. le théorème (7) du chapitre 4 de l'article calcul infinitésimal - calcul à une variable ). Condition (BL) . On dit qu […] Lire la suite☛ http://www.universalis.fr/encyclopedie/topologie-topologie-generale/#i_41489

Pour citer l’article

André WARUSFEL, « COMPACITÉ, mathématique », Encyclopædia Universalis [en ligne], consulté le 16 octobre 2019. URL : http://www.universalis.fr/encyclopedie/compacite-mathematique/