Mesure

Dans les sciences expérimentales, mesurer consiste à associer à une grandeur physique une valeur réelle obtenue par comparaison avec une unité définie, dans le cadre du Système international d'unités. Cette opération repose sur une modélisation préalable du phénomène, qui suppose que la grandeur considérée est bien définie, reproductible et susceptible d'être ordonnée ou quantifiée. Toute mesure est toutefois entachée d'incertitude.

La métrologie distingue rigoureusement l'exactitude (proximité à une valeur de référence) et la fidélité (dispersion des résultats), et formalise l'incertitude comme un paramètre associé au résultat de mesure, caractérisant la dispersion des valeurs pouvant raisonnablement être attribuées à la grandeur mesurée. Cette incertitude résulte de multiples sources : limitations instrumentales, conditions expérimentales, modèles utilisés pour interpréter les données. Elle est aujourd'hui traitée selon des cadres normalisés, notamment via des approches probabilistes.

Dans les sciences physiques, la mesure implique nécessairement une interaction entre l'instrument et le système étudié. Cette interaction introduit une perturbation, qui peut être négligeable à l'échelle macroscopique (physique classique) mais devient fondamentale dans le cadre de la physique quantique, où l'acte de mesure modifie l'état du système de manière irréductible. Le processus de mesure y est alors modélisé comme une projection de l'état quantique sur un sous-espace propre de  l'observable mesurée, ce qui introduit une dimension probabiliste intrinsèque absente des théories classiques.

La mesure soulèvepar ailleurs des questions sur la nature même des grandeurs. Toutes les propriétés ne sont pas directement mesurables, et certaines nécessitent des constructions opératoires complexes. Par exemple, la température ou la pression ne sont pas observables directement, mais définies à travers des protocoles de mesure et des modèles théoriques. Cela implique que la mesure est indissociable d'un cadre conceptuel et expérimental donné : elle dépend des conventions, des instruments et des théories en vigueur. La mesure est aussi un opérateur de structuration du réel scientifique (V. encadré ci-dessous). En imposant une quantification, elle permet l'application de modèles mathématiques, la formulation de lois et la comparaison systématique des résultats. Cependant, cette réduction à des valeurs numériques implique toujours une perte d'information et nécessite une interprétation critique. 
-

Notions générales.
Les composantes d'une mesure.
Une mesure repose sur plusieurs composantes fondamentales qui permettent de donner du sens à une valeur observée et d'en garantir la validité. D'abord, il y a le mesurande, c'est-à-dire la grandeur que l'on cherche à quantifier. Il peut s'agir d'une longueur, d'une masse, d'une température, ou encore d'une concentration chimique. Sans définition claire du mesurande, la mesure perd toute signification, car on ne sait pas exactement ce qui est évalué.

Ensuite intervient l'unité de mesure, qui sert de référence commune pour exprimer la grandeur. Elle permet de comparer des résultats entre eux. Par exemple, le mètre pour les longueurs ou le kilogramme pour les masses. Le choix de l'unité est essentiel, car il conditionne la lisibilité et l'interprétation des résultats.

La valeur mesurée constitue le résultat numérique obtenu lors de l'opération de mesure. Cette valeur n'est jamais parfaitement exacte, car toute mesure est affectée par des imperfections. C'est pourquoi elle doit être accompagnée d'une incertitude de mesure, qui indique l'intervalle dans lequel on estime que la valeur réelle se situe. Cette incertitude dépend de plusieurs facteurs comme la précision de l'instrument (qui caractérise la finesse de la mesure et renseigne sur sa reproductibilité et sa justesse par rapport à la réalité), les conditions expérimentales ou encore la méthode utilisée.

Chaque appareil possède des caractéristiques propres telles que la résolution, la sensibilité et la justesse. La résolution correspond à la plus petite variation détectable, la sensibilité à la capacité de réagir à une variation du mesurande, et la justesse à la proximité entre la valeur mesurée et la valeur réelle. Un instrument idéal serait à la fois juste (sans biais), fidèle (peu dispersé), sensible (réactif aux petites variations) et doté d'une bonne résolution (capable de distinguer finement les valeurs). Dans la pratique, on doit faire des compromis entre ces caractéristiques en fonction du domaine d'application et des contraintes techniques. Une bonne pratique en métrologie consiste à chercher à améliorer à la fois la précision et l'exactitude, tout en évaluant rigoureusement l'incertitude afin de rendre les résultats exploitables et comparables.

Les conditions de mesure influencent fortement le résultat. Des paramètres comme la température ambiante, la pression, l'humidité ou les vibrations peuvent introduire des biais. Il est donc nécessaire de contrôler ou au moins de documenter ces conditions pour assurer la reproductibilité.

La méthode de mesure constitue une autre composante importante. Elle décrit la procédure suivie pour obtenir le résultat. Deux méthodes différentes appliquées au même mesurande peuvent conduire à des résultats légèrement différents, d'où l'importance de normaliser les protocoles lorsque c'est possible.

Enfin, il faut considérer les erreurs de mesure, qui peuvent être systématiques ou aléatoires. Les erreurs systématiques entraînent un décalage constant des résultats, tandis que les erreurs aléatoires provoquent une dispersion autour de la valeur moyenne. L'analyse de ces erreurs permet d'améliorer la qualité de la mesure et de mieux interpréter les résultats obtenus.

Types de mesures.
Les mesures peuvent être classées selon la manière dont la grandeur est obtenue. Chaque type de mesure implique des exigences différentes en termes de précision, de reproductibilité et de traçabilité. 

Une mesure directe consiste à lire immédiatement la valeur du mesurande à l'aide d'un instrument, sans transformation intermédiaire. Par exemple, mesurer une longueur avec une règle ou une masse avec une balance. Ce type de mesure est simple à mettre en oeuvre, mais il reste soumis aux limites de précision de l'appareil et aux conditions expérimentales.

À l'inverse, une mesure indirecte repose sur une relation mathématique entre plusieurs grandeurs mesurées directement. On ne mesure pas le mesurande lui-même, mais des variables liées à celui-ci. Par exemple, la vitesse peut être déterminée en mesurant une distance et une durée, puis en appliquant une formule. Ce type de mesure introduit des incertitudes supplémentaires liées à chacune des grandeurs intervenant dans le calcul.

On distingue également les mesures analogiques et numériques selon la nature du signal délivré par l'instrument. Une mesure analogique fournit une valeur continue, habituellement représentée par une aiguille ou une variation de tension, tandis qu'une mesure numérique donne un résultat discret sous forme de chiffres. Les mesures numériques facilitent la lecture et le traitement des données, mais elles impliquent une quantification qui limite la résolution.

Les mesures absolues et relatives constituent une autre distinction importante. Une mesure absolue est obtenue directement à partir des unités fondamentales, sans référence à un étalon externe, alors qu'une mesure relative compare le mesurande à une grandeur de référence. Les mesures relatives sont très utilisées lorsqu'on cherche à détecter des variations plutôt qu'à connaître une valeur exacte.

Les mesures statiques concernent des grandeurs qui ne varient pas dans le temps, ou très lentement, ce qui permet de considérer leur valeur comme constante pendant l'observation. À l'opposé, les mesures dynamiques portent sur des grandeurs évoluant rapidement, nécessitant des instruments capables de suivre ces variations en temps réel. Dans ce cas, la réponse temporelle de l'appareil devient un facteur déterminant.

On peut aussi distinguer les mesures destructives et non destructives. Une mesure destructive altère ou détruit l'objet étudié, comme certains tests mécaniques ou chimiques, tandis qu'une mesure non destructive permet de conserver l'intégrité de l'échantillon, ce qui est essentiel dans de nombreux domaines industriels ou patrimoniaux.

Enfin, les mesures peuvent être classées selon leur finalité, comme les mesures de contrôle, destinées à vérifier la conformité à une norme, ou les mesures expérimentales, utilisées pour étudier un phénomène et produire des connaissances. 

Erreurs de mesure.
Les erreurs de mesure désignent l'écart entre la valeur mesurée et la valeur réelle du mesurande, même si cette dernière est généralement inconnue en pratique. 

On distingue d'abord les erreurs systématiques, qui introduisent un biais constant ou prévisible dans les résultats. Elles proviennent par exemple d'un instrument mal étalonné, d'une méthode inadéquate ou d'une influence extérieure non prise en compte. Ces erreurs affectent l'exactitude des mesures et ont la particularité de se reproduire de manière cohérente, ce qui permet parfois de les corriger a posteriori si leur origine est identifiée.

Les erreurs aléatoires correspondent à des fluctuations imprévisibles qui font varier les résultats autour d'une valeur moyenne. Elles sont dues à des facteurs incontrôlables ou difficilement maîtrisables, comme les variations de l'environnement, les limitations de lecture ou le bruit électronique dans les instruments. Contrairement aux erreurs systématiques, elles ne peuvent pas être éliminées complètement, mais leur influence peut être réduite en répétant les mesures et en effectuant des traitements statistiques, comme le calcul de la moyenne ou de l'écart-type.

Il existe aussi des erreurs grossières, qui résultent de fautes humaines ou de dysfonctionnements évidents, comme une mauvaise lecture, une erreur de manipulation ou une mauvaise utilisation de l'appareil. Ces erreurs sont en général importantes et aberrantes par rapport aux autres résultats. Elles doivent être détectées et éliminées, car elles ne reflètent pas le comportement normal du système de mesure.

Les erreurs peuvent également être classées selon leur origine. Les erreurs instrumentales sont liées aux imperfections des appareils, telles que la résolution limitée, l'usure ou un défaut de calibration. Les erreurs environnementales proviennent des conditions extérieures comme la température, la pression ou l'humidité, qui influencent le comportement du système de mesure. Les erreurs de méthode sont dues à des choix expérimentaux ou à des simplifications dans le modèle utilisé pour relier les grandeurs mesurées. Enfin, les erreurs humaines sont liées à l'opérateur, notamment, comme on l'a dit, dans la lecture, l'interprétation ou la manipulation.

On peut aussi distinguer les erreurs absolues et relatives. L'erreur absolue correspond à la différence entre la valeur mesurée et une valeur de référence, tandis que l'erreur relative exprime cette différence rapportée à la valeur de référence, souvent sous forme de pourcentage. Cette dernière est particulièrement utile pour comparer la qualité de mesures portant sur des grandeurs de nature ou d'ordre de grandeur différents.

L'analyse des erreurs de mesure est essentielle en métrologie, car elle permet d'évaluer la qualité des résultats et de déterminer l'incertitude associée. Elle repose sur l'identification des différentes sources d'erreur, leur quantification et, lorsque cela est possible, leur réduction ou leur correction. Cette démarche garantit la fiabilité des mesures et leur comparabilité dans un cadre scientifique ou technique.

La mesure en physique.
Les unités de mesure.
En physique, les unités de mesure constituent de véritables instruments conceptuels qui permettent de quantifier, comparer et modéliser les phénomènes naturels. Elles elles incarnent la structure des lois, garantissent la cohérence des équations, soutiennent l'expérimentation et assurent l'universalité du discours scientifique. Elles constituent un langage commun qui permet à des chercheurs de différents pays et disciplines de comparer leurs résultats sans ambiguïté. Sans standardisation des unités, l'expression des lois physiques perdraient son universalité et les échanges scientifiques seraient fortement entravés.

Le système de référence dominant est le Système international d'unités (SI), structuré autour de grandeurs fondamentales indépendantes. Parmi celles-ci figurent la longueur (mètre), la masse (kilogramme), le temps (seconde), l'intensité électrique (ampère), la température thermodynamique (kelvin), la quantité de matière (mole) et l'intensité lumineuse (candela). Ces unités de base sont définies à partir de constantes physiques fondamentales (comme la vitesse de la lumière ou la constante de Planck), ce qui garantit leur stabilité et leur universalité. Par exemple, le mètre est défini via la distance parcourue par la lumière dans le vide pendant une fraction précise de seconde, ce qui ancre la mesure dans une réalité physique invariante.

À partir de ces unités de base, on construit des unités dérivées en combinant algébriquement les grandeurs fondamentales. La vitesse s'exprime en mètres par seconde, l'accélération en mètres par seconde carrée, et la force en newtons, où un newton correspond à un kilogramme·mètre par seconde carrée. Cette structuration permet de relier directement les unités aux lois physiques. Par exemple, la deuxième loi de Newton (F = mγ, à masse constante) impose que l'unité de force soit cohérente avec celles de masse et d'accélération. Ainsi, les unités traduisent-elles la structure même des relations physiques.

Les unités jouent également un rôle central dans l'analyse dimensionnelle, une méthode puissante pour vérifier la cohérence d'une équation ou pour déduire la forme d'une loi physique. Chaque grandeur possède une dimension (longueur, temps, masse, etc.), et toute équation physiquement valide doit être homogène du point de vue dimensionnel. Cette contrainte permet de détecter des erreurs, de simplifier des modèles ou même d'anticiper des relations entre variables sans connaître les détails du phénomène. Par exemple, en étudiant les dimensions impliquées dans un problème de chute libre, on peut retrouver la dépendance caractéristique du temps en fonction de la hauteur et de l'accélération gravitationnelle.

Les unités servent aussi d'outils de mise à l'échelle. En physique, on manipule des ordres de grandeur extrêmement variés, du monde subatomique aux structures cosmologiques. Les préfixes du SI (nano, micro, kilo, giga, etc.) permettent d'adapter les unités à ces différentes échelles sans changer de système. Cette flexibilité facilite la lecture des résultats et évite les erreurs de manipulation numérique. De plus, certaines disciplines utilisent des systèmes d'unités adaptés à leur domaine, comme les unités naturelles en physique théorique, où certaines constantes fondamentales sont normalisées à 1 pour simplifier les équations.

Les unités sont également essentielles dans la pratique expérimentale. Tout instrument de mesure est étalonné par rapport à une unité de référence, et la précision des résultats dépend directement de la définition et de la stabilité de cette unité. Les incertitudes de mesure sont exprimées dans ces mêmes unités, ce qui permet d'évaluer la fiabilité des données. Ainsi, les unités structurent non seulement les résultats, mais aussi la manière dont on interprète les erreurs et les marges de confiance.

La conception de la mesure dans la physique classique.
Dans le cadre de la physique classique, la mesure est conçue comme un acte d'enregistrement objectif d'une propriété préexistante du monde, indépendante de l'observateur et de l'instrument qui la révèle. Cette conception repose sur un postulat fondamental : les grandeurs physiques possèdent une valeur définie à tout instant, que l'on s'y intéresse ou non, et cette valeur n'est pas modifiée par l'opération qui consiste à la lire, du moins en principe. Un mètre, une masse ou une durée existent en soi, dans la chose mesurée, et l'opération de mesure ne fait que rapporter cette qualité intrinsèque à un étalon conventionnel. L'idée d'une séparation nette entre le système observé et l'appareil de mesure est donc centrale. Le système possède son état propre, l'instrument traduit cet état en un résultat lisible, et l'interaction entre les deux peut être rendue arbitrairement faible ou corrigée avec une précision indéfinie, sans altérer la réalité qu'on cherche à saisir.

Historiquement, cette vision se construit avec la révolution galiléenne, qui fait de la quantification une condition de scientificité : il faut mesurer ce qui est mesurable, et rendre mesurable ce qui ne l'est pas encore. La physique newtonienne donne ensuite un cadre formel à cette ambition en posant le temps et l'espace comme des arrière-plans absolus, continus, où chaque événement possède des coordonnées univoques. Dans un tel univers, la mesure est fondamentalement une comparaison : rapporter une longueur à la longueur d'un étalon, une durée à un mouvement périodique de référence, une masse à une masse unité. L'exactitude se définit alors par la fidélité de cette comparaison, et la notion d'erreur n'est pas une remise en cause de l'objectivité, mais le signe d'une imperfection technique ou d'une perturbation parasite que l'on pourrait, avec des moyens idéalisés, éliminer.

La confiance dans l'innocuité de la mesure est un trait distinctif. On admet que l'on peut brancher un voltmètre, regarder une aiguille sur un cadran, ou éclairer un projectile sans le dévier de manière significative, et si une perturbation se produit, elle est modélisable et donc compensable par un calcul de correction. Le bruit, les frottements, les effets thermiques sont autant de résidus qu'un "démon" assez habile saurait prendre en compte pour extraire la "vraie" valeur cachée derrière le voile de l'imperfection expérimentale. Ainsi, le processus de mesure n'est pas constitutif de la réalité mesurée, il n'en est qu'un révélateur grossier qu'on peut en théorie affiner jusqu'à une fidélité parfaite. L'instrument de mesure est un intermédiaire transparent dont on peut toujours réduire l'influence, soit par un étalonnage préalable, soit par une compensation mathématique.

Cette approche s'accompagne d'une épistémologie de la précision qui s'organise autour de deux types d'erreurs : les erreurs systématiques, qui trahissent un biais constant de la chaîne de mesure et que l'on peut éliminer en perfectionnant l'étalonnage, et les erreurs aléatoires, que l'on traite statistiquement et dont on réduit l'impact en multipliant les observations. Le résultat d'une mesure est alors compris comme une estimation convergente d'une grandeur vraie. L'incertitude affichée n'est qu'un intervalle de confiance qui reflète notre ignorance momentanée, non une indétermination ontologique. On postule qu'en accumulant un nombre suffisant de mesures, ou en utilisant un instrument infiniment sensible et non intrusif, on révélerait la valeur exacte. La physique classique est donc intrinsèquement déterministe quant à la signification des mesures : le même système dans le même état donnera toujours la même valeur si les conditions de mesure sont identiques, et tout écart est attribué à des causes extérieures distinctes du mesurage lui-même.

L'opération de mesure ne joue en outre aucun rôle fondamental dans la structure théorique. Les équations du mouvement ou les lois de conservation ne contiennent pas de termes décrivant l'acte d'observer. Le processus est purement passif; le système évolue selon sa dynamique propre, qu'un physicien idéal pourrait enregistrer sans interagir. C'est ce qui permet à l'astronome de déterminer une orbite en collectant des positions angulaires, sans que l'observation ne modifie la trajectoire de la planète, ou à l'ingénieur de mesurer une pression dans une conduite en utilisant un manomètre dont l'effet de volume mort est corrigé. L'idéal régulateur est celui du démon de Laplace, qui connaît à un instant toutes les positions et toutes les vitesses de toutes les particules de l'univers, et peut en déduire tout le passé et tout l'avenir avec une certitude absolue. Dans cette fiction philosophique, la mesure est parfaitement exhaustive et instantanée, sans entrave, et l'univers est un livre ouvert dont la lecture ne défraîchit pas les pages.

Pourtant, la pratique physique a très tôt reconnu que la mesure est un art délicat, où l'interaction entre l'instrument et l'objet est inévitable, mais cette reconnaissance n'entame pas le principe : elle est pensée comme une simple difficulté technique, non comme une limite de droit. Le fait de placer un thermomètre dans un liquide modifie sa température, mais cette modification peut être calculée par un bilan calorimétrique si l'on connaît les capacités thermiques. La mesure classique s'inscrit ainsi dans une boucle rétroactive purement déterministe : on perturbe, on mesure la perturbation, on corrige. Le physicien s'efforce de concevoir des protocoles où l'incertitude finale est dominée par l'imprécision de l'étalon ou de la lecture humaine, et non par un effet incontrôlable de l'acte même de mesurer.

Cette conception est appuyée sur une philosophie de la nature où les propriétés des corps sont des attributs locaux, séparables, pouvant être scrutés un par un sans affecter les autres. On peut mesurer la position d'une bille sans altérer sa vitesse, du moment que l'impulsion lumineuse utilisée pour la voir lui transfère une quantité de mouvement négligeable. Rien, dans le formalisme newtonien ou maxwellien, n'impose une borne inférieure au produit des incertitudes. Chaque coordonnée de l'espace des phases peut être connue avec une précision arbitraire, indépendamment des autres. La mesure est donc, en principe, complète et non destructive. L'accumulation de données raffinées ne fait qu'approcher asymptotiquement la vérité absolue d'un cosmos dont le grain est infiniment fin.

L'émergence de la théorie des erreurs, notamment avec Gauss et Legendre, renforce l'idée que derrière la dispersion statistique des résultats se cache une cause unique, et que la méthode des moindres carrés nous en donne la meilleure estimation. La valeur mesurée est alors conceptualisée comme une variable aléatoire dont l'espérance mathématique coïncide avec la grandeur réelle. L'aléa n'appartient pas au monde, mais à notre procédure d'investigation. Cette distinction entre l'imprécision épistémique et l'exactitude ontologique est l'un des piliers de la mesure classique : la nature n'est pas floue, c'est notre regard qui tremble. Ainsi, même si l'on ne peut jamais atteindre la certitude expérimentale absolue, on conserve la croyance en une limite objective, un point fixe vers lequel convergent nos efforts.

Le choix des unités et la construction des étalons procèdent de la même ambition universaliste. Le mètre, défini d'abord comme une fraction du méridien terrestre puis matérialisé par une barre de platine iridié et désormais défini par rapport aux constantes fondamentales, incarne la quête d'une référence invariante, purement conventionnelle mais accessible à tous, partout, pour toujours. La mesure se fait ainsi langage commun de la science, traduction numérique du réel. La reproductibilité est la pierre de touche de l'objectivité : deux expérimentateurs munis de règles et de chronomètres équivalents doivent trouver les mêmes nombres pour une même situation, indépendamment de leur position, de leur mouvement uniforme ou de leur état psychologique. L'invariance galiléenne garantit l'universalité des lois et des mesures associées à condition de s'entendre sur les transformations de coordonnées.

Dans ce cadre, la mesure possède aussi une fonction prédictive. Une fois un ensemble de conditions initiales mesurées, la théorie déterministe restitue l'avenir du système avec la même exactitude que les données d'entrée. C'est le sens de la célèbre affirmation de Laplace : une intelligence suffisamment vaste pourrait embrasser dans une seule formule les mouvements des plus grands corps et ceux du plus léger atome, pourvu qu'elle dispose de mesures instantanées et exhaustives de toutes les forces et de toutes les positions. La mesure est ainsi le socle de la prédiction, et la prédiction, le test de la justesse des mesures. Une boucle vertueuse unit le chiffre et la loi, où l'incertitude résiduelle est un aiguillon pour améliorer les instruments, jamais une remise en question du déterminisme sous-jacent.

L'usage des concepts de continu et d'infini contribue également à cette idéalisation. Longueurs, temps, masses y sont des nombres réels, susceptibles d'une précision illimitée. Aucune quantification intrinsèque ne vient borner la finesse d'une mesure. La physique statistique classique, en introduisant les probabilités, ne change pas ce postulat : elle traduit simplement notre ignorance des conditions initiales microscopiques, ignorance qui pourrait théoriquement être levée par des mesures plus fines. La moyenne statistique n'est pas le reflet d'une indétermination fondamentale, mais un outil pragmatique face à la complexité.

C'est précisément ce socle de croyances que la mécanique quantique viendra ébranler en montrant que l'interaction de mesure ne peut être rendue arbitrairement faible, que l'observation modifie irréversiblement l'état du système, et que certaines paires de grandeurs ne peuvent être simultanément déterminées avec une précision infinie. Mais dans l'édifice classique, la mesure reste un reflet pur, un décalque du monde sur le papier millimétré de l'expérimentateur. Elle ne crée pas la valeur, elle la découvre. La notion de mesure classique est ainsi indissociable d'une ontologie réaliste et d'un idéal d'objectivité forte : le monde est un ensemble de propriétés locales, définies en tout point, accessibles de l'extérieur sans contrepartie, et la tâche du physicien est simplement d'apprendre à les lire avec une fidélité toujours croissante.

Le problème de la mesure dans la physique quantique.
Là où la physique classique concevait la mesure comme un enregistrement passif d'une réalité déjà définie, la physique quantique fait de la mesure un problème ouvert, profondément lié à la structure même de la théorie et à la nature de la réalité. Le problème de la mesure naît d'une tension irrésolue entre deux piliers du formalisme quantique : d'un côté, l'évolution déterministe et continue de la fonction d'onde donnée par l'équation de Schrödinger; de l'autre, le caractère probabiliste et discontinu du résultat unique que l'on obtient lorsqu'on effectue une mesure concrète sur un système. Cette tension n'est pas un simple détail technique que l'on pourrait dissiper par un meilleur étalonnage ou une correction de perturbation; il s'agit d'une difficulté conceptuelle qui interroge la frontière entre le microscopique et le macroscopique, le rôle de l'observateur, et le statut même de la fonction d'onde.

Pour saisir la nature du problème, il faut rappeler les règles fondamentales. Un système quantique est entièrement décrit par un vecteur d'état, la fonction d'onde, qui obéit à l'équation de Schrödinger. Cette évolution est linéaire, unitaire et parfaitement déterministe : elle transforme une superposition d'états en une autre superposition d'états, sans jamais sélectionner un terme plutôt qu'un autre. Dans une telle dynamique, si un électron passe par une double fente, son état devient une superposition cohérente "passé par la fente gauche" plus "passé par la fente droite", et cette superposition est responsable de la figure d'interférence observée sur un écran. Rien, dans l'équation de Schrödinger, ne désigne un résultat unique. La fonction d'onde décrit une multiplicité de potentialités coexistantes, qui interfèrent comme le feraient des ondes classiques.

Le second pilier est la règle de Born, qui stipule que lorsqu'on mesure une grandeur physique, on obtient toujours une des valeurs propres de l'opérateur associé, et que la probabilité d'obtenir telle valeur est donnée par le module carré de la projection de la fonction d'onde sur le vecteur propre correspondant. Immédiatement après la mesure, la fonction d'onde est réduite, projetée sur le sous-espace propre associé au résultat obtenu : c'est le postulat de réduction du paquet d'ondes, ou effondrement de la fonction d'onde. Ce postulat est en conflit direct avec l'évolution de Schrödinger. La première est douce, continue, réversible; la seconde est instantanée, discontinue, irréversible et semble non locale. Le formalisme quantique standard les juxtapose sans les unifier, en déclarant que la réduction a lieu lors d'une "mesure", mais sans définir clairement ce qu'est une mesure, ni à quel moment elle se produit.

C'est précisément là que se niche le problème : le terme "mesure" est introduit comme une notion primitive, extérieure au formalisme, alors que toute la physique classique prétendait que l'instrument et l'observateur pouvaient être intégrés dans l'analyse. Si l'on essaie de traiter l'appareil de mesure lui-même comme un système quantique soumis à l'équation de Schrödinger, on se heurte à une difficulté insoluble. Supposons qu'on veuille mesurer le spin d'un électron dans la direction verticale, et que l'état initial de l'électron soit une superposition de spin "haut" et de spin "bas". On couple cet électron à un appareil macroscopique dont l'aiguille indique initialement "prêt". L'interaction entre le système et l'appareil est régie par un hamiltonien qui, en vertu de la linéarité de Schrödinger, enchevêtrera l'état de l'électron et celui de l'aiguille. L'état final commun sera une superposition enchevêtrée : "spin haut" multiplié par "aiguille en haut" plus "spin bas" multiplié par "aiguille en bas". Cet état est parfaitement légal et même typique des corrélations quantiques. Pourtant, aucun expérimentateur ne voit jamais une aiguille dans une superposition de deux positions; on lit une aiguille en haut ou une aiguille en bas. L'équation de Schrödinger ne livre pas un résultat unique, elle livre une superposition de résultats potentiels.

On pourrait alors imaginer introduire un second appareil mesurant le premier, puis un troisième, et ainsi de suite. L'enchevêtrement se propagerait le long de la chaîne de von Neumann, englobant l'appareillage, le nerf optique de l'observateur, son cerveau, mais sans jamais faire émerger une valeur définie : on obtiendrait une gigantesque superposition d'états incluant des observateurs voyant des résultats différents. C'est le fameux paradoxe de l'ami de Wigner, où un observateur isolé peut attribuer une fonction d'onde superposée à son ami qui a pourtant vécu une expérience déterminée. Le problème de la mesure désigne donc cette incapacité du formalisme à rendre compte, par la seule dynamique unitaire, du fait qu'un résultat unique et objectif survient dans notre monde macroscopique.

Une première réponse, dite orthodoxe ou interprétation de Copenhague, consiste à accepter deux régimes distincts : le monde quantique, décrit par Schrödinger, et le monde classique des appareils de mesure, irréductiblement extérieur. La "coupure" de Heisenberg place la frontière entre le quantique et le classique là où l'on veut, pourvu qu'on l'arrête avant l'observateur. La mesure est alors un acte primitif, non analysable plus avant, où le quantique rencontre le classique. L'appareil est traité comme un objet classique au sens où il obéit à une logique booléenne et peut enregistrer un résultat unique; la fonction d'onde, elle, n'est qu'un outil mathématique pour calculer des probabilités, dépourvu de réalité ontologique. Le problème est ainsi dissous dans un dualisme méthodologique : il n'y a pas de paradoxe si l'on refuse d'attribuer une fonction d'onde à l'appareil ou à l'observateur. Mais cette position laisse en suspens la question de savoir pourquoi et comment la nature opère cette transition, et où placer exactement la frontière. Elle confère aussi un rôle étrangement privilégié à la conscience ou à l'observation, ce que beaucoup de physiciens jugent insatisfaisant.

L'interprétation des mondes multiples d'Everett évacue le problème en supprimant purement et simplement le postulat de réduction. L'équation de Schrödinger est la seule et unique loi d'évolution, universelle. Il n'y a jamais d'effondrement. Lors d'une mesure, l'état de l'univers se ramifie en branches décohérées, chaque branche contenant un observateur qui voit un résultat différent. La superposition d'aiguille en haut et d'aiguille en bas existe toujours, mais l'observateur, en s'intriquant avec le système, se dédouble en deux versions qui n'interfèrent plus. Le problème apparent de l'unicité du résultat n'est qu'une illusion due au fait que notre expérience est confinée à une branche. L'objectivité macroscopique émerge de la structure des corrélations, non d'une réduction. Cette approche a l'avantage de l'économie de postulats, mais elle doit assumer l'existence réelle d'une myriade de mondes parallèles et expliquer comment la règle de Born émerge des probabilités subjectives au sein d'une branche, ce qui reste un champ de recherche actif.

La théorie de la décohérence, souvent invoquée pour éclairer le problème, ne le résout pas à elle seule mais le transforme. Elle montre que tout système quantique macroscopique est inévitablement couplé à un environnement immense, et que les termes d'interférence entre les différentes composantes d'une superposition deviennent extraordinairement rapidement indétectables par un observateur local. La matrice densité réduite du système prend une forme diagonale dans une certaine base, dite base pointeur, sélectionnée par la nature de l'interaction. Ainsi, l'état "aiguille en haut plus aiguille en bas" n'est plus observable en pratique, car les corrélations avec l'environnement dispersent l'information de phase de façon irréversible. La décohérence explique pourquoi le monde nous apparaît classique, et pourquoi les superpositions macroscopiques d'états discernables ne sont jamais vues. Elle offre également une solution partielle au problème de la base privilégiée : la mesure ne sélectionne pas arbitrairement une base, c'est le couplage système-appareil-environnement qui impose une certaine décomposition. En revanche, la décohérence ne fournit pas de mécanisme pour passer d'un mélange statistique impropre, où toutes les possibilités coexistent encore dans l'état global, à un résultat unique : elle explique pourquoi on observe un seul résultat, mais pas comment un résultat est sélectionné.

Les théories à effondrement spontané, comme le modèle de Ghirardi-Rimini-Weber (GRW), prennent le problème à bras le corps en modifiant l'équation de Schrödinger. Elles introduisent des processus stochastiques non linéaires qui frappent les particules à des intervalles aléatoires et localisent spontanément la fonction d'onde dans l'espace. Ces effondrements sont extrêmement rares pour une particule isolée, mais leur probabilité cumulée devient énorme pour un objet macroscopique contenant de l'ordre de 10²³ particules : la superposition d'une aiguille en haut et en bas est alors réduite à une position unique en une fraction de seconde. L'avantage est de rendre compte de la transition sans recourir à un observateur extérieur, en introduisant une physique objective de l'effondrement. Ces modèles font des prédictions différentes de la mécanique quantique standard, par exemple une violation possible de la conservation de l'énergie à très petite échelle, et sont activement testés.

L'interprétation de de Broglie-Bohm, ou mécanique bohmienne, propose une autre sortie en réintroduisant des trajectoires déterministes pour les particules, guidées par la fonction d'onde qui, elle, évolue toujours selon Schrödinger sans jamais s'effondrer. La mesure n'a rien de spécial : c'est un processus physique comme un autre, où le résultat observé est déterminé par la position réelle de l'aiguille de l'appareil, elle-même héritée des conditions initiales. Le hasard apparent ne reflète que notre ignorance des positions initiales exactes, comme en mécanique statistique classique. Le problème de la mesure y est entièrement dissous, mais au prix d'une non-localité explicite et de l'introduction, à côté de la fonction d'onde, d'une particule en un lieu défini, même en l'absence d'observation. La base de position est privilégiée, ce qui rend compte de ce qui est effectivement observé dans une mesure.

D'autres approches encore, comme le bayésianisme quantique (QBism), déplacent radicalement la question : la fonction d'onde ne décrit pas le monde, mais l'état de croyance d'un agent. La mesure est une mise à jour subjective, analogue à un jugement bayésien, et l'effondrement n'est que le changement rationnel des probabilités assignées par un observateur lorsqu'il acquiert une nouvelle information. Il n'y a pas de problème de la mesure objectif, car la mesure n'est pas un processus physique, mais un acte épistémique. Les difficultés se reportent alors sur la possibilité de bâtir une physique intersubjective viable avec uniquement des degrés de croyance.

Le problème de la mesure met ainsi en lumière le caractère singulier de la physique quantique par rapport à la physique classique. En mécanique classique, le système possède des propriétés définies en toute circonstance, et l'acte de mesure les révèle sans les constituer. En mécanique quantique, les propriétés ne préexistent pas toujours à la mesure : une particule n'a pas de position avant d'être détectée, mais une superposition de positions. Le contexte expérimental (le choix de la grandeur mesurée) conditionne l'ensemble des résultats possibles et la probabilité de chacun. Le théorème de Kochen et Specker ainsi que les inégalités de Bell montrent qu'il est impossible d'interpréter ces corrélations en postulant des valeurs préexistantes non contextuelles et locales. La mesure quantique est donc irréductiblement holistique et contextuelle : le résultat dépend de l'intégralité du dispositif, et l'on ne peut pas le décomposer en attributs locaux indépendants.

Aujourd'hui, le problème de la mesure reste ouvert et nourrit des recherches à l'interface de la physique fondamentale et de la philosophie. Le point de vue instrumentaliste qui a longtemps prévalu ("taisez-vous et calculez") est de plus en plus bousculé par les progrès expérimentaux qui permettent d'observer la transition quantique-classique dans des systèmes mésoscopiques de plus en plus grands, par des tests des modèles d'effondrement, et par l'explosion des technologies quantiques qui exploitent délibérément des superpositions et des intrications. La mesure n'est plus simplement un obstacle épistémologique qu'on pouvait contourner; elle est devenue un terrain d'exploration où se joue notre compréhension la plus intime du réel. Là où la physique classique pouvait tenir l'instrument pour un intermédiaire transparent, la physique quantique transforme l'instrument, l'environnement, et même la notion de fait expérimental en parties intégrantes d'une réalité qui ne se laisse plus découper en morceaux indépendants.

Les spécificité de la mesure dans les sciences du vivant.
La mesure dans les sciences du vivant se distingue fondamentalement de celle des sciences physiques par la nature même de son objet d'étude : le vivant, caractérisé par sa complexité, son historicité et sa variabilité intrinsèque. Contrairement aux systèmes physiques où les grandeurs peuvent généralement être définies de manière univoque et mesurées avec une traçabilité directe vers le Système International d'unités, les objets biologiques sont le produit d'une histoire évolutive et leurs variations continuent de générer une histoire, ce qui implique que la mesure biologique est toujours relative à une histoire naturelle partagée par les objets étudiés. Cette spécificité impose que la mesure en biologie repose fréquemment sur des comparaisons relatives plutôt que sur des valeurs absolues : l'activité biologique d'une molécule, par exemple, ne peut être définie qu'en la comparant à un matériel de référence dont l'activité a été calibrée en unités arbitraires, car il n'est souvent pas possible de définir précisément le mesurande en termes physico-chimiques purs.

La variabilité biologique constitue l'un des défis majeurs de la mesure en sciences du vivant. Celle-ci se décline à plusieurs niveaux : variabilité intra-individuelle (fluctuations chez un même organisme au cours du temps), variabilité inter-individuelle (différences entre organismes d'une même population) et variabilité analytique liée aux techniques de prélèvement et d'instrumentation. Cette hétérogénéité fondamentale signifie que deux organismes génétiquement identiques, comme des jumeaux, peuvent présenter des réponses physiologiques différentes, ce qui rend la reproductibilité des mesures biologiques plus complexe à établir que dans les sciences physiques. Pour gérer cette incertitude, les biologistes ont développé des approches statistiques sophistiquées, notamment les biostatistiques, qui permettent de distinguer la variabilité biologique réelle du bruit de mesure et d'établir des normes ou des valeurs de référence à partir de populations représentatives.

Une autre spécificité réside dans le caractère souvent comparatif et fonctionnel des mesures biologiques. Alors que la métrologie physique vise à déterminer une "vraie valeur" d'une grandeur, la mesure en biologie évalue fréquemment une fonction ou une activité dans un contexte donné : la réponse d'une cellule à un stimulus, l'expression d'un gène dans des conditions spécifiques, ou l'efficacité d'un traitement sur un organisme. Cette dépendance au contexte implique que les résultats d'une mesure biologique ne peuvent être interprétés isolément, mais doivent être rapportés à des conditions expérimentales précisément documentées et, idéalement, à des matériaux de référence permettant la traçabilité et la comparabilité des résultats entre laboratoires et dans le temps.

L'incertitude en biologie revêt également une dimension ontologique particulière. Dans les sciences historiques comme l'évolution ou la paléontologie, qui relèvent des sciences du vivant, l'incertitude ne porte pas seulement sur la précision des mesures, mais sur la possibilité même de reconstituer des événements uniques et non reproductibles. Cette incertitude ontologique, inhérente à l'étude d'objets singuliers situés dans le passé, impose une prudence épistémologique dans la formulation des conclusions, qui doivent être exprimées en termes de vraisemblance plutôt que de vérité absolue. Même dans les approches fonctionnalistes expérimentales, la généralisation des résultats à partir d'échantillons limités nécessite une réflexion explicite sur la représentativité des modèles biologiques utilisés.

La métrologie biologique s'appuie donc sur des stratégies spécifiques pour assurer la qualité et la fiabilité des mesures. L'utilisation de matériaux de référence biologiques, développés par des organismes comme l'OMS (Organisation mondiale de la santé) ou le NIBSC (National Institute for Biological Standards and Control), permet d'établir une traçabilité relative des résultats, même lorsque la définition absolue du mesurande reste inaccessible. La standardisation des protocoles, la documentation rigoureuse des conditions expérimentales et l'application de principes métrologiques adaptés à la complexité du vivant contribuent à réduire l'irreproductibilité qui affecte une partie significative de la recherche biologique. Par ailleurs, les avancées technologiques, comme l'imagerie quantitative ou les méthodes omiques, offrent de nouvelles possibilités de mesure à haut débit, mais introduisent également de nouveaux défis liés au traitement statistique de données massives et multidimensionnelles.

Ajoutons que la mesure en sciences du vivant entretient un rapport particulier avec la théorie : elle est "méthodisée par la théorie", c'est-à-dire que les opérations de mesure et leur interprétation dépendent toujours d'un cadre conceptuel qui définit ce qui est pertinent à mesurer et comment les données doivent être agrégées ou comparées. Cette interdépendance entre théorie et mesure signifie que les progrès conceptuels en biologie s'accompagnent souvent de révisions des pratiques métrologiques, et inversement, que l'amélioration des capacités de mesure peut conduire à reformuler les questions biologiques fondamentales. On retrouve ici le constat que l'on a déjà pu faire à propos des sciences physiques : la mesure constitue un élément central de la démarche épistémologique, articulant observation, modélisation et validation dans un domaine où l'incertitude et la variabilité ne sont pas des défauts à éliminer, mais des propriétés constitutives de l'objet d'étude.

La mesure dans les sciences humaines et sociales.
La notion de mesure en sciences humaines et sociales s'écarte profondément de l'acception qu'elle revêt dans les sciences de la nature, où l'on dispose souvent d'instruments étalonnés et d'unités stables. Dès lors que l'on cherche à appréhender des réalités aussi fuyantes que les opinions, les valeurs, les représentations, les normes ou les rapports de pouvoir, mesurer implique de traduire des phénomènes qualitatifs en indicateurs observables, et ce processus de traduction est lui-même un acte théorique lourd de conséquences. Il n'existe pas de mesure neutre : choisir un indicateur, c'est déjà prendre parti sur ce qui mérite d'être compté et sur la manière de le faire. Ainsi, le taux de chômage, apparemment objectif, repose sur une convention statistique qui exclut certaines formes de sous-emploi ou de découragement; la mesure de la pauvreté varie du tout au tout selon qu'on la définit en termes absolus ou relatifs. Dans chaque discipline (sociologie, psychologie, économie, anthropologie, science politique) cette tension entre la richesse des concepts et la nécessité de les opérationnaliser est au coeur de toute démarche empirique.

L'opérationnalisation constitue le pont entre la théorie et l'observation. Partant de concepts qui peuvent être abstraits (l'intelligence, la cohésion sociale, la démocratie, le capital culturel) le chercheur élabore des dimensions, puis des indicateurs supposés en saisir une facette. Ce travail de décomposition est toujours un compromis : plus un indicateur est précis et facile à quantifier, plus il risque de réduire le concept à une caricature. La mesure de l'intelligence par le quotient intellectuel, par exemple, focalise l'attention sur certaines capacités logico-mathématiques et verbales, laissant dans l'ombre la créativité, l'intelligence émotionnelle ou pratique. De même, mesurer la qualité d'une démocratie à travers le seul taux de participation électorale gomme les dimensions de l'État de droit, de la délibération publique ou de la protection des minorités. La validité d'une mesure réside précisément dans cette adéquation entre le construit théorique et ce que l'instrument saisit effectivement, tandis que sa fiabilité renvoie à la stabilité et à la reproductibilité des résultats. Une balance mal étalonnée peut être fiable (elle donne toujours le même poids erroné) sans être valide, et un entretien semi-directif peut offrir une grande validité écologique sans garantie de fiabilité inter-juges. Dans les sciences sociales, ces deux critères sont fréquemment en tension, obligeant à des arbitrages explicites.

La quantification prend des formes multiples selon les traditions épistémologiques. L'enquête par questionnaire cherche à standardiser les réponses pour produire des distributions statistiques, mais elle impose un cadre de réponses qui peut violenter la complexité des expériences vécues. Les échelles d'attitude, comme celles de Likert, demandent aux individus de se situer sur des continuums d'accord ou de désaccord, présupposant une unidimensionnalité et une équidistance des modalités de réponse qui ne va pas de soi. Les indices composites agrègent plusieurs indicateurs pour produire une note unique (l'indice de développement humain du PNUD combine santé, éducation et revenu) mais leur construction implique des choix de pondération et de normalisation qui peuvent influencer profondément le classement final. Dans une perspective plus compréhensive, les approches qualitatives ne renoncent pas à toute forme de mesure, mais elles déplacent le regard vers des évaluations ordinales (hiérarchies, typologies, degrés d'intensité) et vers une appréhension narrative de la grandeur des phénomènes. L'anthropologue qui passe des mois sur son terrain ne produit pas des chiffres, mais il mesure néanmoins l'importance relative des liens de parenté, la récurrence des rituels, l'épaisseur des réseaux d'entraide, à travers un patient travail de condensation et d'interprétation.

La réflexivité est une exigence indissociable de toute mesure en sciences humaines, car l'acte de mesurer transforme ordinairement l'objet étudié. La mise en chiffres du social, que l'on désigne parfois sous le terme de quantification, a des effets performatifs : un indicateur de performance scolaire, une fois rendu public, modifie les comportements des enseignants, des élèves et des parents, comme le montrent les travaux sur les effets de classement. Les conventions de mesure incorporent des normes sociales implicites (qu'est-ce qu'un ménage? une profession? une ethnie?) et ces catégories, en circulant dans l'espace public, façonnent les identités et les représentations que les acteurs se font d'eux-mêmes. Le geste de mesurer n'est jamais extérieur au monde social qu'il prétend décrire; il participe à sa construction. C'est pourquoi des courants comme la sociologie de la quantification étudient la genèse et les usages politiques des instruments statistiques, depuis les recensements coloniaux jusqu'aux palmarès universitaires, en considérant les chiffres non comme des reflets du réel mais comme des conventions institutionnalisées.

Les techniques contemporaines de traitement des données massives redéfinissent les contours de la mesure. Les traces numériques laissées par les interactions en ligne, la géolocalisation ou les objets connectés offrent un accès à des comportements auparavant inaccessibles, et promettent une mesure continue, exhaustive, non intrusive. Pourtant, ces données ne sont pas des données brutes : elles sont le produit d'algorithmes, de designs d'interface et de logiques commerciales qui filtrent et formatent l'information. Mesurer l'opinion publique à partir des tweets, c'est ignorer les silencieux, les non-connectés, et les biais inhérents aux plateformes. L'illusion d'une mesure sans théorie, portée par le big data, se heurte à la nécessité de modéliser les phénomènes et d'interpréter les corrélations. Simultanément, les méthodes mixtes se développent pour articuler la finesse des études de cas et la puissance des grandes bases de données, reconnaissant qu'aucune échelle de mesure unique ne peut épuiser la complexité du social.

Sur le plan éthique et politique, la mesure distribue des ressources et légitime des interventions. La mesure de la pauvreté détermine l'éligibilité à des aides sociales; la mesure du risque de récidive oriente les décisions judiciaires; la quantification de la productivité scientifique conditionne les carrières. Derrière chaque instrument se cachent des intérêts et des visions du monde. Dès lors, la vigilance déontologique impose de questionner sans cesse qui mesure, pour qui, dans quel but, et avec quelles conséquences pour les personnes dont les vies sont résumées en chiffres. La mesure en sciences humaines et sociales ne sera jamais une photographie neutre du réel; elle restera un processus interprétatif, faillible mais indispensable, qui gagne en rigueur à mesure qu'il explicite ses propres limites et ses partis pris théoriques.

La mesure en mathématiques.
En mathématiques, le concept de mesure est une formalisation rigoureuse de l'idée intuitive de “taille” ou de “volume” d'un ensemble. Il s'inscrit dans le cadre de la théorie de la mesure, qui vise à attribuer à certains ensembles un nombre réel positif ou nul représentant leur étendue. Contrairement aux mesures physiques, il ne s'agit pas d'un processus expérimental, mais d'une construction abstraite fondée sur des axiomes.

Une mesure est définie comme une application qui associe à des ensembles d'un espace donné une valeur numérique, en respectant certaines propriétés fondamentales. D'abord, la mesure d'un ensemble vide est nulle. Ensuite, elle est positive, ce qui signifie que toute “taille” attribuée est supérieure ou égale à zéro. Enfin, elle est σ-additive, propriété essentielle qui garantit que la mesure d'une union dénombrable d'ensembles disjoints est égale à la somme des mesures de chacun de ces ensembles. Cette propriété permet de traiter des constructions infinies de manière cohérente.

Toutes les parties d'un ensemble ne sont pas nécessairement mesurables. Pour éviter des paradoxes, on restreint la définition de la mesure à une collection particulière d'ensembles appelée σ-algèbre, qui est stable par complémentation et par unions dénombrables. Ce cadre garantit que les opérations usuelles sur les ensembles ne sortent pas du domaine où la mesure est définie.

Un exemple fondamental est la mesure de Lebesgue, qui généralise la notion de longueur, d'aire et de volume dans les espaces euclidiens. Elle permet de mesurer des ensembles très irréguliers, bien au-delà des figures géométriques simples. Cette mesure est au coeur de l'intégration moderne et dépasse les limites de l'intégrale de Riemann en permettant de traiter des fonctions plus générales.

En théorie des probabilités, une mesure particulière appelée mesure de probabilité attribue à chaque événement une valeur comprise entre 0 et 1, représentant sa probabilité. Elle satisfait les mêmes axiomes que les mesures générales, avec en plus la condition que la mesure de l'ensemble total soit égale à 1. Cette interprétation montre la puissance du concept de mesure comme outil unificateur entre différentes branches des mathématiques.

Le concept de mesure est aussi étroitement lié à celui d'intégrale. En effet, l'intégrale d'une fonction peut être interprétée comme une somme pondérée des valeurs de la fonction sur des ensembles, pondération fournie précisément par la mesure. Cette approche unifie la notion d'aire sous une courbe avec des constructions plus abstraites, et elle joue un rôle central en analyse, en probabilités et en physique mathématique.

Aux sources de la théorie mathématique de la mesure.
Le développement de la notion de mesure en matématiques est largement né d'une insatisfaction profonde face aux limites de l'intégrale de Riemann et aux difficultés rencontrées lorsqu'on essaie d'attribuer une longueur, une aire ou un volume à des ensembles très irréguliers. Historiquement, les mathématiciens manipulaient les notions de longueur d'un intervalle, d'aire sous une courbe ou de volume d'un solide en se fondant sur des découpages et des approximations par des figures simples. Pourtant, cette approche intuitive butait sur des ensembles pathologiques, par exemple des parties bornées de la droite réelle dont on ne pouvait définir la longueur de manière cohérente sans sacrifier certaines propriétés souhaitables. Construire une théorie générale de la mesure consiste précisément à formaliser le processus d'attribution d'une "taille" à des sous-ensembles d'un espace donné, en imposant des règles précises qui généralisent l'idée de longueur, d'aire, de probabilité ou de masse.

L'impulsion décisive est venue d'Henri Lebesgue au début du XX^e siècle. Plutôt que de chercher à mesurer absolument toutes les parties de , Lebesgue comprit qu'il fallait accepter de restreindre la classe des ensembles que l'on mesure, tout en conservant des propriétés algébriques naturelles. Sa construction repose sur une idée remarquable : recouvrir un ensemble par une famille dénombrable d'intervalles, puis minimiser la somme des longueurs de ces intervalles. Ce nombre, appelé mesure extérieure de Lebesgue, est défini pour toute partie de , mais il n'est qu'une enveloppe, pas une véritable mesure, car il n'est pas additif pour des ensembles disjoints quelconques. Pour obtenir l'additivité, on introduit la condition de mesurabilité au sens de Carathéodory : un ensemble E est dit Lebesgue-mesurable si, pour tout ensemble test A, la mesure extérieure de A est la somme des mesures extérieures de A∩E et de A∩E^c. Intuitivement, cela signifie que E découpe n'importe quel ensemble en deux parties dont les mesures extérieures s'additionnent bien, comme si E n'était pas trop "rugueux" pour perturber la mesure extérieure. La restriction de la mesure extérieure à la tribu des ensembles ainsi définis fournit la mesure de Lebesgue sur , qui coïncide avec la longueur usuelle pour les intervalles, est invariante par translation et jouit de l'additivité dénombrable : la mesure d'une union dénombrable disjointe est la somme des mesures.

Cette construction se généralise immédiatement à des espaces abstraits. Un espace mesurable est un couple (X, A) où A est une tribu, c'est-à-dire une famille de parties de X contenant l'ensemble vide, stable par passage au complémentaire et par union dénombrable. Les éléments de A sont les ensembles mesurables. Une mesure est alors une fonction μ :A → [0,+∞] qui est nulle sur l'ensemble vide et qui est σ-additive, c'est-à-dire que pour toute suite (An) d'éléments de A deux à deux disjoints, on a μ(nAn)=∑nμ(An). Cette simple définition capture l'essence de toute notion de taille positive : longueur, aire, volume, probabilité, comptage, masse en physique.

D'innombrables exemples se déploient alors. La mesure de Lebesgue dans ⁿ est l'extension naturelle du volume des pavés. La mesure de comptage sur un ensemble X associe à une partie son nombre d'éléments, fini ou infini. Les mesures de Dirac concentrent une masse unité en un point. En probabilité, une mesure de probabilité est une mesure positive de masse totale 1. La notion englobe aussi des mesures diffuses sur des structures locales, comme les mesures de Haar sur les groupes topologiques localement compacts, qui sont invariantes par l'action du groupe et généralisent la mesure de Lebesgue comme unique mesure invariante par translation surⁿ.

Une fois l'espace mesurable muni d'une mesure, on peut développer une théorie de l'intégration qui dépasse largement celle de Riemann. Une fonction f : X →  est dite mesurable si l'image réciproque de tout borélien (ou simplement de tout intervalle) est dans la tribu. Pour une fonction étagée positive, écrite comme combinaison linéaire d'indicatrices d'ensembles mesurables disjoints, l'intégrale est définie comme la somme pondérée des mesures de ces ensembles. On étend ensuite cette définition par passage à la borne supérieure pour les fonctions mesurables positives, puis par décomposition en partie positive et partie négative pour les fonctions intégrables, c'est-à-dire dont l'intégrale de la valeur absolue est finie. L'intégrale ainsi construite, l'intégrale de Lebesgue, possède des propriétés de convergence remarquables : les théorèmes de convergence monotone, de convergence dominée de Lebesgue et le lemme de Fatou permettent d'échanger limite et intégrale sous des hypothèses bien plus faibles que celles exigées par l'intégrale de Riemann uniformément convergente. De plus, une fonction Riemann-intégrable sur un intervalle borné est Lebesgue-intégrable et les deux intégrales coïncident, mais la classe des fonctions Lebesgue-intégrables est bien plus vaste : les fonctions indicatrices d'ensembles mesurables non jordaniens, les fonctions non bornées absolument intégrables y trouvent naturellement leur place.

La théorie ne s'arrête pas aux mesures positives. On définit une mesure signée en autorisant des valeurs réelles, sous réserve de ne pas rencontrer de formes indéterminées, et une mesure complexe en prenant une combinaison linéaire à coefficients complexes de mesures positives finies. Ces notions conduisent à un résultat fondamental : le théorème de Radon-Nikodym. Étant données deux mesures σ-finies μ et ν sur le même espace mesurable, il énonce que ν est absolument continue par rapport à μ (c'est-à-dire que tout ensemble μ-négligeable est ν-négligeable) si et seulement si ν possède une densité f mesurable positive telle que pour tout ensemble mesurable A, ν(A) = ∫Af dμ. Ce théorème donne un sens rigoureux à la notion de densité de probabilité, permet de dériver une mesure par rapport à une autre et constitue le socle de l'analyse fonctionnelle et des probabilités modernes. La décomposition de Lebesgue affine ce résultat en séparant toute mesure ν en une partie absolument continue et une partie singulière par rapport à une mesure de référence.

Pour mesurer des objets de dimension non entière ou capturer la finesse géométrique de certains ensembles, on quitte la mesure de Lebesgue classique. Les mesures de Hausdorff généralisent la notion de longueur, d'aire et de volume à des dimensions fractionnaires : pour un paramètre s ≥ 0, on recouvre un ensemble par des boules de rayons arbitrairement petits, on somme les puissances s-ièmes de ces rayons et on passe à la limite inférieure. On obtient alors la mesure de Hausdorff s-dimensionnelle, qui attribue une valeur finie non nulle à de nombreux fractals pour leur dimension exacte. Cette construction permet de définir rigoureusement la dimension de Hausdorff et de mesurer des courbes très irrégulières, des ensembles de Cantor ou des attracteurs étranges.

Le succès de la théorie de la mesure tient à son unité : elle unifie des domaines apparemment disparates sous un vocabulaire et des théorèmes communs. L'analyse harmonique, la théorie ergodique, les processus stochastiques, les équations aux dérivées partielles, la géométrie différentielle avec les formes volumes, tous utilisent la langue des espaces mesurés. La notion de mesure n'est pas figée : elle évolue avec les espaces de mesures signées munis de normes comme la variation totale, les mesures vectorielles, les mesures aléatoires, les mesures sur des espaces de dimension infinie, ou encore les mesures de Young en calcul des variations. Mais en son coeur, elle demeure cette idée simple et puissante : attribuer un poids positif à des ensembles en respectant l'additivité dénombrable, et construire sur ce socle un calcul intégral d'une souplesse exceptionnelle.