Courbe de Lebesgue

Courbe de Lebesgue pour Modèle:Formule.

Courbe de Lebesgue pour Modèle:Formule.

Fichier:CourbeLebesgue-dim3.webm

En mathématiques, et plus précisément en géométrie, la courbe de Lebesgue a été étudiée par le mathématicien français Henri Lebesgue en 1904. Elle consiste en une courbe continue, de l'intervalle [0, 1] dans le carré $[0,1]\times [0,1]$ et qui remplit entièrement le carré. Elle constitue donc une courbe de remplissage.

Définition

Pour tout y élément de l'ensemble de Cantor, on a une décomposition en base 3 de la forme $y=\sum _{k=1}^{\mathrm{\infty }}\frac{y_k}{3^k}$, où, pour tout k, $y_k$ est un chiffre valant 0 ou 2. On associe à ce réel y un point f(y) du plan de coordonnées $(\sum _{k=1}^{\mathrm{\infty }}\frac{y_{2k-1}}{2^{k+1}},\sum _{k=1}^{\mathrm{\infty }}\frac{y_{2k}}{2^{k+1}})$. On définit ainsi une fonction f de l'ensemble de Cantor dans le carré $[0,1]\times [0,1]$. On prolonge ensuite f à l'intervalle [0, 1] tout entier de façon que, sur chaque intervalle composante connexe du complémentaire dans [0, 1] de l'ensemble de Cantor, le prolongement soit une fonction affine. Le prolongement obtenu est alors une fonction continue et surjective de [0, 1] sur $[0,1]\times [0,1]$. Elle est en outre presque partout dérivable.

La courbe de Lebesgue peut aussi être réalisée en trois dimensions. Il suffit pour cela de scinder les chiffres de y en trois sous-familles.

Calcul approché

Si on se limite à un calcul numérique limité à n chiffres $y_k,1\le k\le n$, l'approximation de la courbe de Lebesgue que l'on obtient peut se représenter dans un quadrillage de Modèle:Formule carrés, chacun possédant un côté de même longueur Modèle:Formule. La courbe approximée passe par les centres de tous les carrés. En passant à la limite, on obtient la courbe de Lebesgue.

La construction de la courbe approchée peut se faire récursivement comme suit :

• A l'étape 0, la courbe C(0) se limite à un seul point, disposé au centre d'un carré. Ce point est à la fois point initial et point final de C(0).
• Pour n strictement positif, on divise un carré en quatre sous-carrés qu'on numérote de 0 à 3 selon le schéma ci-dessous :

1	3
0	2

On dispose dans chaque carré un exemplaire de la courbe C(n-1) calculée au rang précédent, puis, pour i variant de 0 à 2, on relie par un segment le point final de la courbe C(n-1) disposé dans le carré i au point initial de la courbe C(n-1) disposé dans le carré i+1. Le point initial de la courbe C(n) ainsi obtenue est le point initial de la courbe C(n-1) du carré 0, et le point final de la courbe C(n) est le point final de la courbe C(n-1) du carré 3.

Variantes

Il existe des variantes à la courbe de Lebesgue, notamment la courbe de Hilbert qui, elle, est une courbe à paramétrisation continue, contrairement à la courbe de Lebesgue qui supprime certaines discontinuités et les remplace par des fonctions affines.

Lien externe

Courbe de Lebesgue sur Mathcurve.com