Les courbes remplissantes et au-delà :
Des carrés et des cubes aux surfaces (variétés bidimensionnelles) et aux variétés tridimensionnelles






Jean-François COLONNA
[Contact me]

www.lactamme.polytechnique.fr

CMAP (Centre de Mathématiques APpliquées) UMR CNRS 7641, École polytechnique, Institut Polytechnique de Paris, CNRS, France

[Site Map, Help and Search [Plan du Site, Aide et Recherche]]
[The Y2K Bug [Le bug de l'an 2000]]
[Real Numbers don't exist in Computers and Floating Point Computations aren't safe. [Les Nombres Réels n'existent dans les Ordinateurs et les Calculs Flottants ne sont pas sûrs.]]
[N'oubliez pas de visiter Une Machine Virtuelle à Explorer l'Espace-Temps et au-delà où vous trouverez plusieurs milliers d'images et d'animations à la frontière de l'Art et de la Science]
(Site WWW CMAP28 : cette page a été créée le 04/17/2023 et mise à jour le 16/11/2023 16:51:43 -CET-)



[in english/en anglais]


Contenu :



1-Georg Cantor :

Dans la deuxième moitié du dix-neuvième siècle, Georg Cantor fut l'un des fondateurs de la théorie des ensembles en s'interrogeant en particulier sur l'infini. Grâce à la notion d'ensemble des parties (c'est-à-dire l'ensemble de tous les sous-ensembles d'un ensemble donné), il montra qu'il n'y avait pas un infini, mais une infinité. Le plus petit infini est celui de l'ensemble des nombres entiers (N) : le dénombrable. La notion de bijection entre deux ensembles est alors fondamentale : on dira que deux ensembles ont le même cardinal ("ont la même taille") s'il existe une bijection entre eux. C'est ainsi que, presque paradoxalement, les ensembles des nombres pairs, des rationnels, des nombres algébriques,... sont en bijection avec N et sont donc dénombrables. Mais par une démonstration par l'absurde d'une étonnante simplicité, il montra qu'il n'en était pas de même avec l'ensemble des nombres réels (R) : R n'est pas dénombrable (le continu). On notera que savoir s'il existe des ensembles de taille intermédiaire entre N et R est (malheureusement...) un indécidable (appelé l'Hypothèse du Continu) de la théorie ZFC (Zermelo, Fraenkel et axiome du Choix) des ensembles... Au-delà de R il y a donc une infinité d'ensembles toujours plus énormes obtenus, par exemple, en itérant la définition P d'ensemble des parties : {E,P(E),P(P(E)),...}. Mais malgré cela, Georg Cantor a démontré que R, R2,... Rn,... avaient même cardinal.





2-David Hilbert, Giuseppe Peano et les autres :

Partant de ce résultat, David Hilbert, Giuseppe Peano et d'autres encore ont imaginé des courbes (paramétrées dans R) remplissant un carré (dans R2). Une façon simple de procéder consiste à partir d'une courbe dite génératrice que l'on réduira et transformera en répétant cela une infinité de fois. Pour illustrer ce processus, voici une une courbe génératrice spécifique et les quatre transformations qu'elle doit subir à chaque itération.


Voici les cinq premières courbes bidimensionnelles de Hilbert avec un nombre croissant d'itérations :




Voici quelques exemples de courbes bidimensionnelles de type Hilbert utilisant des courbes génératrices différentes :









Ce procédé se généralise et il est ainsi possible de remplir un cube (dans R3) à l'aide de courbes (toujours paramétrées dans R). Voici l'une des courbes génératrices et de nouveau, une courbe génératrice spécifique permet de comprendre les huit transformations subies à chaque itération.


Voici les quatre premières courbes tridimensionnelles de Hilbert avec un nombre croissant d'itérations :




Voici quelques exemples de courbes tridimensionnelles de type Hilbert utilisant des courbes génératrices différentes et en particulier des nœuds "ouverts" :













3-Surfaces tridimensionnelles (Variétés bidimensionnelles) :

De nombreuses surfaces -variétés bidimensionnelles- dans un espace tridimensionnel peuvent être définies à l'aide d'un ensemble de trois équations :
                    X = Fx(u,v)
                    Y = Fy(u,v)
                    Z = Fz(u,v)
avec :
                    u  [Umin,Umax]
                    v  [Vmin,Vmax]
Par exemple :
                    Fx(u,v) = R.sin(u).cos(v)
                    Fy(u,v) = R.sin(u).sin(v)
                    Fz(u,v) = R.cos(u)
avec :
                     u  [0,pi]
                     v  [0,2.pi]
définit une sphère de rayon R centrée à l'origine.


[Umin,Umax]*[Vmin,Vmax] définit alors un domaine bidimensionnel rectangulaire D.
                       v ^
                         |
                    V    |...... ---------------------------
                     max |      |+++++++++++++++++++++++++++|
                         |      |+++++++++++++++++++++++++++|
                         |      |+++++++++++++++++++++++++++|
                         |      |+++++++++++++++++++++++++++|
                         |      |+++++++++++++++++++++++++++|
                         |      |+++++++++++++++++++++++++++|
                         |      |+++++++++++++++++++++++++++|
                         |      |+++++++++++++++++++++++++++|
                         |      |+++++++++++++++++++++++++++|
                    V    |...... ---------------------------
                     min |      :                           :
                         |      :                           :
                         O------------------------------------------------->
                                U                           U              u
                                 min                         max



Définissons une courbe qui remplit le carré [0,1]x[0,1] :
                         ^
                         |
                       1 |---------------
                         | +++++   +++++ |
                         | +   +   +   + |
                         | +   +++++   + |
                         | +           + |
                         | +++++   +++++ |
                         |     +   +     |
                         | +++++   +++++ |
                       0 O------------------------>
                         0               1


Il est trivial de définir une correspondance entre le carré [0,1]x[0,1] et le domaine [Umin,Umax]*[Vmin,Vmax] :
                       v ^
                         |
                    V    |...... ---------------------------
                     max |      | ++++++++         ++++++++ |
                         |      | +      +         +      + |
                         |      | +      +         +      + |
                         |      | +      +++++++++++      + |
                         |      | +           C           + |
                         |      | ++++++++         ++++++++ |
                         |      |        +         +        |
                         |      |        +         +        |
                         |      | ++++++++         ++++++++ |
                    V    |...... ---------------------------
                     min |      :                           :
                         |      :                           :
                         O------------------------------------------------->
                                U                           U              u
                                 min                         max
Il suffit alors de ne visualiser que les points {Fx(u,v),Fy(u,v),Fz(u,v)} pour les couples {u,v} qui sont sur la courbe précédente C pour recouvrir la surface avec C....


Voici quelques exemples de ce processus :


Surface ==> Courbe C ==> Courbe recouvrant la surface


==> ==>
==> ==>
==> ==>


==> ==>


==> ==>
==> ==>
==> ==>


==> ==>
==> ==>
==> ==>


==> ==>
==> ==>
==> ==>
==> ==>
==> ==>
==> ==>
==> ==>
==> ==>


==> ==>
==> ==>
==> ==>


==> ==>


==> ==>


==> ==>


==> ==>






4-Variétés tridimensionnelles :

De nombreuses variétés tridimensionnelles dans un espace tridimensionnel peuvent être définies à l'aide d'un ensemble de trois équations :
                    X = Fx(u,v,w)
                    Y = Fy(u,v,w)
                    Z = Fz(u,v,w)
avec :
                    u  [Umin,Umax]
                    v  [Vmin,Vmax]
                    w  [Wmin,Wmax]
[Umin,Umax]*[Vmin,Vmax]*[Wmin,Wmax] définit alors un domaine tridimensionnel rectangulaire D.


Il est trivial de généraliser le processus bidimensionnel précédent dans l'espace tridimensionnel...


Voici quelques exemples de ce processus :


Variété tridimensionnelle ==> Courbe C ==> Courbe remplissant la variété tridimensionnelle


==> ==>
==> ==>
==> ==>
==> ==>
==> ==>
==> ==>
==> ==>
==> ==>
==> ==>
==> ==>
==> ==>
==> ==>
==> ==>
==> ==>


==> ==>
==> ==>
==> ==>


==> ==>


==> ==>
==> ==>






5-Au-delà :

Au lieu d'utiliser les courbes remplissantes pour remplir les domaines {u,v} et {u,v,w}, bi- et tridimensionnels, on peut évidemment utiliser n'importe quelle autre méthode et, par exemple, les mouvements browniens bi- et tridimensionnel respectivement....


Voici quelques exemples de ces processus généralisés :









Copyright © Jean-François COLONNA, 2023-2023.
Copyright © CMAP (Centre de Mathématiques APpliquées) UMR CNRS 7641 / École polytechnique, Institut Polytechnique de Paris, 2023-2023.