MÉTRIQUES ESPACES

Carte mentale

Élargissez votre recherche dans Universalis

Topologie d'un espace métrique

À partir des boules, on peut construire sur un espace métrique les principales notions topologiques qui permettent de « faire de l'analyse ». À ce propos, par la clarté avec laquelle les notions de limite et de continuité s'expriment au moyen de la terminologie que nous allons introduire, la théorie des espaces métriques constitue un excellent préliminaire à la topologie générale.

Ouverts et fermés

Soit E un espace métrique de distance d. On dit qu'un sous-ensemble U de E est ouvert si pour tout point x ∈ U il existe une boule ouverte de centre x contenue dans U. D'après un principe général de logique, l'ensemble vide, qui n'a pas d'élément, est donc ouvert. Faisons le lien avec la terminologie introduite plus haut en montrant qu'une boule ouverte B(x0r) est un ensemble ouvert : en effet, si x ∈ B(x0r), l'inégalité triangulaire entraîne que B(xr′) ⊂ B(x0r) pour r′ = r − d(x0x) > 0. On voit donc qu'un ensemble U est ouvert si et seulement si c'est une réunion de boules ouvertes.

La famille des ouverts d'un espace métrique vérifie les propriétés suivantes qui sont prises en topologie générale comme axiomes pour définir une topologie : (O1) E et o/ sont des ensembles ouverts ; (O2) Toute réunion (finie ou pas) d'ensembles ouverts est un ensemble ouvert ; (O3) Toute intersection finie d'ouverts est un ouvert.

Montrons ce dernier point. Soit U1, U2, ..., Un des ouverts ; si l'intersection est vide, c'est terminé d'après (O1). Sinon, soit ∈ U∩ ... ∩ Un = U ; par hypothèse, il existe ri, i = 1, ..., n, tels que B(xri) ⊂ Ui et par suite B(xr) ⊂ U pour r = inf (r1, ..., rn).

On dit que deux distances d1 et d2 sur un même ensemble E sont (topologiquement) équivalentes si les ouverts correspondants sont les mêmes. Cela signifie que toute boule ouverte B1 de centre x0 par rapport à la distance d1 contient une boule B2 de centre x0 (par rapport à la distance d2), puisque x∈ B1, qui, étant un ouvert pour d1, est aussi un ouvert pour d2, et vice versa. C'est ce qui se produit pour les trois distances d1, d2 et d3 considérées plus haut [...]


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






Écrit par :

  • : maître de conférences honoraire à l'université de Paris-VII

Classification


Autres références

«  MÉTRIQUES ESPACES  » est également traité dans :

COSMOLOGIE

  • Écrit par 
  • Marc LACHIÈZE-REY
  •  • 9 326 mots
  •  • 6 médias

Dans le chapitre « Métrique »  : […] L'espace ordinaire est muni de trois dimensions x , y et z . Entre deux points séparés de dx en hauteur, dy en largeur et dz en profondeur, le carré de la distance s'écrit de manière simple : Pour généraliser à quatre dimensions, il suffit de rajouter un quatrième terme similaire correspondant à la dimension temporelle supplémentaire. Mais le temps jouant un rôle différent de l'espace, sa co […] Lire la suite

FRÉCHET MAURICE (1878-1973)

  • Écrit par 
  • Jean-Luc VERLEY
  •  • 306 mots

Mathématicien français dont le nom reste attaché principalement à l'introduction des espaces métriques en analyse fonctionnelle. Né à Maligny, Fréchet entra à l'École normale supérieure en 1900. Il fut successivement professeur de mécanique à l'université de Poitiers (1910-1919), professeur d'analyse supérieure à l'université de Strasbourg (1920-1927) ; après sa venue à Paris, où il resta jusqu'à […] Lire la suite

HAUSDORFF FELIX (1868-1942)

  • Écrit par 
  • Jeanne PEIFFER
  •  • 688 mots

La renommée du mathématicien allemand Felix Hausdorff repose surtout sur son ouvrage Grundzüge der Mengenlehre (1914), qui en fit le fondateur de la topologie et de la théorie des espaces métriques. Né à Breslau dans une famille de marchands aisés, Hausdorff fit ses études secondaires à Leipzig, puis étudia les mathématiques et l'astronomie à Leipzig, Fribourg-en-Brisgau et Berlin. En 1891, il ob […] Lire la suite

HUREWICZ WITOLD (1904-1956)

  • Écrit par 
  • Jacques MEYER
  •  • 186 mots

Mathématicien américain d'origine polonaise, né à Łódź (Pologne) et mort à Uxmal, au Mexique. Witold Hurewicz fit ses études supérieures à Vienne, où il passa son doctorat en 1926, puis à Amsterdam, où il resta jusqu'en 1936 ; il partit ensuite pour les États-Unis, et travailla à l'Institute for Advanced Study, à l'université de Caroline du Nord et, à partir de 1945, au Massachusetts Institute of […] Lire la suite

NORMÉS ESPACES VECTORIELS

  • Écrit par 
  • Robert ROLLAND, 
  • Jean-Luc VERLEY
  •  • 6 094 mots

Dans le chapitre « Espaces vectoriels normés, espaces de Banach : définitions et premières propriétés »  : […] Dans ce qui suit, on ne considérera que des espaces vectoriels sur le corps R des nombres réels ou sur le corps C des nombres complexes. Pour éviter de préciser à chaque fois, on désignera par K ce corps de base ; pour α ∈ K, la notation |α| désignera donc soit la valeur absolue de α si K =  R , soit le module de α si K =  C . Soit E un espace vectoriel sur K. On appelle norme sur E une applicat […] Lire la suite

RELATIVITÉ - Relativité générale

  • Écrit par 
  • Thibault DAMOUR, 
  • Stanley DESER
  •  • 12 096 mots
  •  • 3 médias

Dans le chapitre « Métrique et gravitation »  : […] Le principe d'équivalence permet de formuler toutes les autres lois de la physique, en présence d'un champ de gravitation, dans des régions infiniment petites. Il est cependant nécessaire, afin de tirer les conséquences de ces lois en résolvant leurs équations, de relier entre elles les régions possédant des référentiels d'inertie locaux différents. Cette opération mettra en évidence les effets d […] Lire la suite

TOPOLOGIE - Topologie générale

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

Dans le chapitre « Exemples »  : […] On trouvera dans de nombreux articles de mathématiques de cette encyclopédie des exemples d'ensembles munis d'une topologie. Voici quelques rappels et exemples complémentaires. 1. Sur tout ensemble X, on appelle topologie grossière la topologie dont les seuls ouverts sont X et l'ensemble vide. Tout point de X a alors un seul voisinage qui est X lui-même. 2. Il existe une topologie sur X pour laqu […] Lire la suite

Voir aussi

Pour citer l’article

Jean-Luc VERLEY, « MÉTRIQUES ESPACES », Encyclopædia Universalis [en ligne], consulté le 25 mars 2020. URL : http://www.universalis.fr/encyclopedie/espaces-metriques/