Ensemble de besicovitch

En mathématiques, un ensemble de Besicovitch est un ensemble de point du plan contenant un segment unitaire dans chaque direction et de mesure de Lebesgue nulle.

Sommaire 1 Historique 2 Définition rigoureuse d'un ensemble de Besicovitch 3 Utilisation : le contre-exemple de Besicovitch 4 Construction des ensembles de Besicovitch 4.1 La méthode par dualité 4.2 Une construction concrète 5 Références

Historique

Besicovitch a découvert ces ensembles en 1919 alors qu'il travaillait sur des problèmes d'intégrations dans le plan. La question était de savoir si, étant donnée une fonction Riemann-intégrable dans le plan, il existait toujours une paire d'axes orthogonaux tels que l'on puisse intégrer selon un axe, puis selon l'autre. Les ensembles qu'il découvrit lui permirent d'exhiber un contre-exemple à l'hypothèse précédente.

Définition rigoureuse d'un ensemble de Besicovitch

Un ensemble est appelé ensemble de Besicovitch s'il vérifie les propriétés suivantes :

1. B contient une segment unitaire dans chaque direction du plan
2. 

où représente la mesure de Lebesgue de B.

La première condition s'exprime aussi : un segment faisant un angle θ avec l'axe de abscisses.

Remarque : Une autre définition possible consiste à avoir un ensemble contenant une droite dans chaque direction, plutôt qu'un segment.

Utilisation : le contre-exemple de Besicovitch

Nous allons montrer le résultat suivant : il existe une fonction Riemann-intégrable du plan telle que pour toute paire d'axes orthogonaux, l'intégration suivant l'axe des ordonnées soit impossible (au sens de Riemann).

Remarque : on a besoin ici de la compacité (voir Espace compact) de l'ensemble de Besicovitch, qui est assurée par les constructions proposées dans la partie suivante.

Soit un ensemble de Besicovitch. On fixe une paire d'axe (Ox₀y₀) grâce à laquelle on définit la fonction par :

• Si et si , alors f(x,y) = 1.
• Sinon, pour tous les autres éléments de B et tous ceux qui ne sont pas dans B, f(x,y) = 0.

On a en quelque sorte prolongé la fonction caractéristique de sur notre ensemble, en particularisant les points dont l'une au moins des coordonnées est rationnelle. Il faut choisir (Ox₀y₀) de façon à ce que le segment parallèle à (Ox₀) (resp.(Oy₀)) soit à distance irrationnelle de cet axe, ce qui est toujours possible.

La compacité de l'ensemble B assure que l'ensemble des points de discontinuité de la fonction f est l'ensemble B lui-même, et est donc de mesure nulle. Le critère de Lebesgue⁽¹⁾ pour les fonctions Riemann intégrable assure que f est Riemann-intégrable sur . Nous allons alors montrer que quelle que soit la paire d'axes orthogonaux choisis, on ne pourra pas intégrer f d'abord selon l'axe des ordonnées. Ce qui signifie qu'il existe dans n'importe quel système d'axes orthognaux tel que ne soit pas intégrable au sens de Riemann. Notons une telle fonction.

Soit maintenant (0xy) une paire d'axes orthogonaux quelconque. Soit x l'abscisse du segment parallèle à (Oy) et contenu dans B. La fonction f_x correspond sur le segment à la fonction caractéristique de . Il est connu que cette fonction n'est pas intégrable, ce qui prouve le résultat.

⁽¹⁾ Toute fonction dont l'ensemble des points de discontinuité est de mesure de Lebesgue nulle est Riemann-intégrable.

Construction des ensembles de Besicovitch

Il existe principalement deux méthodes pour les construire, la méthode historique est celle des triangles, l'autre se basant sur un principe de dualité. On ne présente ici que la construction par dualité. Le principe de la méthode des triangles est d'effectuer des superpositions de triangles pour diminuer progressivement l'aire.

La méthode par dualité

Pour cette méthode, on doit définir une notion de dualité spécifique. A un ensemble de points , on associe l'ensemble de droites E ^* définit de la façon suivante : , où D_{y = ax + b} représente la droite d'équation cartésienne y = ax + b.

Le principe de la construction va être de trouver les propriétés que doit vérifier E pour que E ^* soit un ensemble de Besicovitch. Plus exactement, on veut que l'ensemble constitué des supports des droites de E ^* soit un ensemble de Besicovitch, car formellement E ^* n'est pas un ensemble de points.

La première propriété d'un ensemble de Besicovitch est de contenir un segment dans chaque direction (ici on a des droites, ce qui revient au même), ce qui équivaut à ce que la projection de E sur (Ox) soit l'ensemble tout entier.

La deuxième propriété à vérifier est que , ce qui implique que la projection de E dans quasiment toutes les directions du plan (c'est-à-dire sauf un nombre fini de directions) soit de mesure de Lebesgue nulle. La démonstration peut être trouvée dans les références.

En conclusion, notre ensemble doit vérifier la condition suivante : la projection dans quasiment toutes les directions du plan doit être de mesure nulle, mais il doit exister une direction particulière telle que la projection dans cette direction soit tout entier.

Une construction concrète

Pour réaliser cette construction, on doit exhiber un ensemble vérifiant les propriétés précédentes. Cet ensemble est l'"ensemble de Cantor quatre coins".

Il se construit à partir d'un carré de côté 1 que l'on note E₀. On découpe ce carré en 16 carrés de côté 1 / 4, puis on ne garde que les quatre carrés situés dans les coins de E₀ : on note ce nouvel ensemble E₁. On réitère le processus sur chacun des quatre carrés de E₁ pour obtenir E₂. On construit ainsi pour tout n l'ensemble E_n. L'ensemble de Cantor quatre coins est alors une sorte de limite de cette suite d'ensembles, plus formellement on note : .

On peut montrer que la projection de E sur une droite faisant un angle arctan(1 / 2) avec un côté du carré est un segment, et que pour les autres angles, cette projection a une mesure de Lebesgue nulle. On a donc presque ce que l'on cherche.

On peut maintenant faire en sorte que la projection de E sur l'axe des abscisses soit le segment [ − 1;1]. contient donc une droite de coefficient directeur a pour tout a dans cet intervalle. Si on fait une copie de à laquelle on fait subir une rotation d'angle π / 2, on aura bien un ensemble de Besicovtich.

Références

• Kenneth Falconer, The geometry of fractal sets, Cambridge University Press (1985).
• Maxime Bourrigan, Autour de la longueur de Favard, rapport de stage sous la direction d'Hervé Pajot (2004).
• Disponible en pdf. (page accédée le 7 juillet 2009).
• Un autre rapport sur le sujet. (page accédée le 7 juillet 2009).

• Portail des mathématiques