conjecture de Kakeya

Imaginez une aiguille de longueur 1. On cherche un ensemble qui offre une place à cette aiguille dans chaque direction possible : horizontale, verticale, oblique, et toutes celles qui se trouvent entre elles. L’aiguille peut changer de position quand elle change de direction.

Le surprenant est qu’un tel ensemble peut avoir une mesure de Lebesgue nulle, donc n’occuper aucune aire dans le plan. La conjecture de Kakeya prédit pourtant qu’il reste aussi complexe qu’un objet de pleine dimension : dans Rⁿ, sa dimension de Hausdorff et sa dimension de Minkowski supérieure seraient toutes deux égales à n.

Dans l’espace euclidien Rⁿ, un ensemble de Besicovitch est ici un ensemble mesurable E tel que, pour chaque direction de l’espace, il existe dans E un segment de longueur 1 parallèle à cette direction. La position du segment peut dépendre de la direction : tous les segments n’ont pas à partager le même centre ni une même extrémité.

La mesure de Lebesgue décrit la taille ordinaire de l’ensemble dans l’espace ambiant. Elle peut être nulle pour E. La dimension de Hausdorff et la dimension de Minkowski supérieure mesurent autrement la finesse géométrique de E ; elles peuvent détecter une complexité que la mesure n’enregistre pas. En notant dim_H(E) la première dimension et dim_M(E) la dimension de Minkowski supérieure, la conjecture affirme :

La conclusion porte donc sur deux dimensions, pas sur la mesure. Elle est établie lorsque n vaut 1 et lorsque n vaut 2. Pour n supérieur à 2, des bornes inférieures partielles sont connues, mais l’égalité à n reste ouverte.

Soit n la dimension de l’espace ambiant et soit E un ensemble mesurable de Rⁿ. On note dim_M(E) sa dimension de Minkowski supérieure. Si E contient, pour chaque direction de Rⁿ, au moins un segment de longueur 1 parallèle à cette direction, alors la conjecture prévoit que E est de pleine dimension :

Le mot « conjecture » est essentiel en dimension supérieure à 2 : cette conclusion n’y est pas encore un théorème général. En dimensions 1 et 2, elle est établie.

L’énoncé s’applique à un ensemble mesurable E de Rⁿ. Il faut vérifier deux données : la longueur des segments est fixée à 1 et chaque direction de l’espace est représentée par au moins un segment entièrement contenu dans E. La direction seule est prescrite ; le segment peut se déplacer d’une direction à l’autre.

Un ensemble qui ne contient que des segments horizontaux et verticaux ne satisfait pas l’hypothèse, même s’il en contient une infinité : les directions obliques manquent. On ne peut alors rien conclure par la conjecture de Kakeya. Il faut d’abord établir la présence d’un segment unité pour toute direction, ou employer un autre outil adapté à l’ensemble étudié.

Prenons dans R² le disque fermé E de centre O et de rayon 1/2. Les données sont donc un centre O, un rayon égal à 1/2 et une direction quelconque du plan.

1. Traçons par O la droite parallèle à la direction choisie. Elle coupe le disque suivant un diamètre.

2. Ce diamètre est la somme de deux rayons. Sa longueur vaut $\frac{1}{2}+\frac{1}{2}=1\backslash frac12+\backslash frac12=1$. Il s’agit donc d’un segment unité contenu dans E.

3. La direction de départ était quelconque. En répétant la construction après toute rotation autour de O, le disque contient un segment unité dans chaque direction. La figure matérialise quelques positions du même diamètre.

4. Le disque vérifie ainsi l’hypothèse. Ce contrôle ne montre pas le phénomène le plus étonnant, car ce disque possède une aire positive. Il sert seulement de cas vérifiable ; les ensembles de mesure nulle mentionnés dans la définition demandent des constructions bien plus fines.

Pour tester un exemple simple, on cherche une construction valable pour une direction arbitraire. Dans le disque de rayon 1/2, le diamètre fournit immédiatement le segment unité ; vérifier seulement quelques directions dessinées ne suffirait pas.

Pour lire un résultat, on sépare toujours mesure et dimension. Une mesure de Lebesgue nulle n’autorise pas à conclure que la dimension est petite ; la conjecture prédit précisément la pleine dimension n malgré cette mesure nulle.

Pour suivre l’état du problème, on regarde la dimension ambiante. En dimensions 1 et 2, on peut invoquer le résultat établi. Au-delà, il faut annoncer une borne inférieure connue comme une avancée partielle, et non comme une preuve de l’égalité conjecturée.

Mesure de Lebesgue et dimension. La première quantifie la taille ordinaire dans Rⁿ ; les dimensions de Hausdorff et de Minkowski décrivent une complexité d’échelle. Un ensemble de Kakeya de mesure nulle tranche nettement : sa mesure peut s’annuler alors que la conjecture lui attribue la dimension ambiante n.

Dimension de Hausdorff et dimension de Minkowski supérieure. Ce sont deux notions distinctes. Dans cette fiche, dim_M désigne la dimension de Minkowski supérieure. L’énoncé de Kakeya ne permet pas de les remplacer l’une par l’autre : il affirme séparément que chacune doit valoir n.

Conjecture et théorème. En dimension 2, la conclusion est établie ; en dimension supérieure, elle reste conjecturale. Présenter l’égalité comme démontrée pour n = 3 confondrait donc l’objectif du problème avec son état connu.

Une collection finie de directions. Même très dense visuellement, elle ne remplit pas l’hypothèse « pour chaque direction ». Le symptôme est l’existence d’un angle sans segment parallèle ; il faut raisonner sur une direction arbitraire, comme dans l’exemple du disque.

Des segments plus courts. Une famille de segments de longueur inférieure à 1 ne vérifie pas littéralement la condition. Il faut établir l’existence de segments unité avant d’appliquer l’énoncé donné.

Le cas n = 1. Il ne révèle pas la difficulté géométrique : l’espace n’offre qu’une direction à considérer, et le résultat est trivial. Le premier cas non trivial est le plan, où la conclusion est établie.

Une borne partielle prise pour l’égalité finale. En dimension supérieure à 2, une borne inférieure améliore ce que l’on sait sans forcément atteindre n. Il faut comparer explicitement la borne obtenue à la dimension ambiante avant de parler de résolution.

La dimension de Hausdorff permet d’approfondir la notion de pleine dimension pour un ensemble dont la mesure de Lebesgue est nulle.

L’analyse harmonique replace la conjecture dans le domaine auquel elle est étroitement liée, notamment par les opérateurs de restriction de Fourier.

Le prolongement central consiste à passer du plan, où le résultat est établi, aux dimensions supérieures : il faut alors transformer les bornes inférieures partielles en égalité avec la dimension ambiante.