Les mathématiques peuvent ressembler à une série de règles rigides, mais à la base, il s’agit de modèles. Prenez l’espace métrique. Cela semble abstrait. C’est. Mais c’est également la base pour comprendre comment nous mesurons la « proximité » dans tous les domaines, depuis les applications de navigation jusqu’aux analyses complexes.
En termes simples, un espace métrique n’est qu’un ensemble de points associé à une règle permettant de mesurer la distance. Cette règle s’appelle une métrique. Il doit suivre trois lois strictes. Premièrement, si la distance entre deux points est nulle, ces points sont identiques. Vous ne pouvez pas avoir une distance nulle entre des objets distincts. Deuxièmement, la distance est symétrique. L’écart entre A et B est le même que entre B et A. Troisièmement, et c’est le plus important, il y a l’inégalité triangulaire. Le chemin direct du point A au point C n’est jamais plus long que de passer par un troisième point B. Cela semble évident sur le papier. C’est étonnamment puissant lorsque vous quittez la page.
Maurice Fréchet, mathématicien français, a commencé à explorer ces concepts en 1905. Il s’est rendu compte que la « distance » n’était pas seulement une propriété physique des lignes sur une grille. C’était une structure logique. Cette structure permet aux mathématiques d’aller au-delà de la simple géométrie vers des domaines plus complexes.
Au-delà de la ligne droite : des métriques exotiques
Nous sommes habitués à la distance standard sur une droite numérique ou dans l’espace euclidien. C’est la distance en ligne droite “à vol d’oiseau”. Mais les espaces métriques permettent d’autres façons de mesurer.
Considérez la métrique discrète. Dans ce scénario, deux points différents sont exactement à une unité l’un de l’autre. Du point A au point B ? Un. Du point A au point A ? Zéro. C’est un monde binaire. De près ou de loin. Rien entre les deux. Cela semble trivial. C’est en fait utile pour prouver les limites théoriques en logique et en informatique.
Ensuite, il y a la métrique du taxi. Imaginez que vous êtes dans une ville comme Manhattan. Vous ne pouvez pas couper des blocs en diagonale. Il faut se déplacer dans les rues. La distance du point (x, y ) à (z, w ) est la somme des pas horizontaux et verticaux : |x − z | + |y − w |. Cette « distance du taxi » reflète le chemin réel qu’un taxi emprunterait. Il ne s’agit pas de la ligne droite la plus courte. Il s’agit de la réalité contrainte de l’environnement.
Les mathématiciens utilisent également des métriques sur des ensembles de fonctions. En analyse, vous pouvez mesurer la « distance » entre deux fonctions continues en fonction de la différence entre leurs valeurs sur un intervalle. Cela permet des comparaisons qui n’ont rien à voir avec l’espace physique.
Une métrique généralise la notion de distance habituelle à des contextes plus généraux.
Cette généralisation est la clé. En définissant la distance de manière abstraite, nous pouvons appliquer l’intuition géométrique aux points de données, aux ondes sonores ou même aux tendances boursières.
De la distance à la topologie
C’est ici que les choses deviennent intéressantes. Une métrique fait plus que simplement vous indiquer la distance qui sépare les choses. Cela crée une topologie.
La topologie est l’étude des propriétés qui restent inchangées lorsque les formes sont étirées ou écrasées, tant que vous ne les déchirez pas. Un espace métrique génère naturellement une collection d’« ensembles ouverts ». Un sous-ensemble est ouvert si, pour chaque point qu’il contient, vous pouvez dessiner une petite bulle autour de ce point qui reste entièrement dans le sous-ensemble. La métrique définit la taille de cette bulle.
Cela signifie que les espaces métriques fournissent des exemples concrets d’espaces topologiques. Sans la métrique, la topologie n’est qu’une vague idée. Avec lui, nous avons un cadre rigoureux. Cette connexion explique pourquoi les espaces métriques sont si centraux dans les mathématiques modernes. Ils comblent le fossé entre le calcul et la structure.
Complétude et limites des nombres rationnels
Tous les espaces métriques ne sont pas créés égaux. Certains sont complets. Un espace est complet si chaque séquence de Cauchy converge vers un point dans cet espace.
Qu’est-ce qu’une séquence de Cauchy ? Il s’agit d’une liste de points où les termes finissent par se rapprocher arbitrairement les uns des autres. À mesure que vous descendez dans la liste, l’écart entre deux points devient minime. Dans un espace complet, cette séquence doit s’installer sur un point limite réel à l’intérieur de l’ensemble.
Les nombres rationnels (fractions) échouent à ce test. Considérons la séquence : 3, 3.1, 3.14, 3.141, 3.1415… Cette liste se rapproche de plus en plus de π. Mais π n’est pas un nombre rationnel. On ne peut pas l’écrire sous forme de fraction. La séquence « veut » converger, mais la droite numérique rationnelle a un trou là où π devrait être. La métrique sur les nombres rationnels n’est pas complète.
Les chiffres réels sont cependant complets. Chaque séquence de Cauchy de nombres réels converge vers un nombre réel. En fait, vous pouvez considérer les nombres réels comme le « complément » des nombres rationnels. Nous avons rebouché les trous.
