Transformations discrètes et relation discret - continu Lyon, Juin 2006 Eric ANDRES Laboratoire SIC Signal – Image - Communications Université de Poitiers.

Présentation au sujet: "Transformations discrètes et relation discret - continu Lyon, Juin 2006 Eric ANDRES Laboratoire SIC Signal – Image - Communications Université de Poitiers."— Transcription de la présentation:

1 Transformations discrètes et relation discret - continu Lyon, Juin 2006 Eric ANDRES Laboratoire SIC Signal – Image - Communications Université de Poitiers

2 Applications Quasi-Affines et relation discret-continu Les travaux présentés ce matin sont en grande partie ceux de Philippe Nehlig, Marie-Andrée DaCol (pour les AQAs) et Gaëlle Largeteau (pour les transformations discret-continues). - Applications Quasi-Affines : transformations peu connues liées aux pavages, à des dynamiques intéressantes, à la compréhension de certains phénomènes calculatoires. - Transformation discret-continue : définir des opérations en utilisant les deux espaces discret et continu. - Mettre en place un cadre plus théorique pour parler des fondements de la géométrie discrète (changements déchelles, analyse non standard, aspect effectif des algorithmes) dans lidée daborder de définitions dopérations (par ex. les rotations par aqa) et détudier les propriétés.

3 Le discret : un monde bien étrange

4

5 Avec une intersection vide 2 droites discrètes orthogonales Le discret : un monde bien étrange

6 Relations Continu - Discret Il existe une relation « paramétrable » entre les deux

7 Relations Continu - Discret Taille des voxels diminue plus vite que lépaisseur de la droite naugmente

8 Relations Continu - Discret A la limite on obtient une droite continue

9 Relations Continu - Discret Continu Discret Objet A avec propriété 1,2,3, … Objet A 1 Avec prop 1,3,15, … Objet A k Avec prop k 1, k 2, k 3, …

10 Relations Continu - Discret Discrétisation et Reconstruction Classe déquivalence

11 Droite analytique discrète Equation analytique : Représentation en compréhension a,b entiers, a/b pente de la droite, épaisseur arithmétique, c constante de translation. J.-P. Reveillès (1991)

12 Propriétés 0 1 2 3 4 5 6 7 1 0 2 3 4 5 0 5x – 7y < 123456 < sup(|a|,|b|) droite non connexe des 1-tunnels 7 = sup(|a|,|b|) = 7 droite 8-connexe des 0-tunnels 891011 = |a|+|b| = 12 droite 4-connexe Plus de tunnels 12 05101520253035 -7-23813182328 -14-9-416111621 -21-16-11-64914 -28-23-18-13-8-327 -35-30-25-20-15-10-50

13 Propriétés de la droite Prenons a/b = 5/17 et la suite y(x i ) = {ax i / b} xixi 012345678910111213141516 y(x i )00001112222333444 {ax i / b} 051015381316111649142712 0 0 4 16

14 Propriétés de la droite c c c d c c d c c c d c c d c c d A tout rationnel a/b Christoffel associe les lettres L 1 …L b à la suite r(i)={ai/b} avec i=1,…,b où une lettre L i vaut c si r(i)<r(i+1) et d sinon. Comme les deux dernières lettres valent tjs dc on appelle le mot de Christoffel le mot Ch(a/b) = L 1 … L b-2 On retrouve bien sur les paliers de la droite discrète. 5 / 17

15 Propriétés de la droite Il existe un rapport entre le mot de Christoffel et le développement en fraction continue de = a/b avec 0< <1. Soit = [s,s 1, …, s n ] le développement en fraction continue de a/b. Le mot de Christoffel Ch(a) est construit avec les suites de mots n, C n, d n

16 Propriétés de la droite Avec On a donc s=3, s 1 =2, s 2 =2 et n=2. Le mot de Christoffel est donc Ch(5/17)=c 1 2 1 avec =c 2, c 1 =c 2 d, d 1 =c 3 d 1 =c 1 =c 2 d, c 2 =c 1 d 1 =c 2 dc 3 d, d 2 =c 1 2 d 1 =c 2 dc 2 dc 3 d 2 =c 2 =c 2 dc 3 d.

17 Propriétés de la droite Le mot de Christoffel est donc Ch(5/17) = c 1 2 1 avec =c 2, c 1 =c 2 d, 1 =c 2 d, 2 =c 2 =c 2 dc 3 d. Soit au final Ch(5/17) = c 2 d.c 2 dc 3 d.c 2 d.c 2 Si on code dans c.Ch(5/17).d = cccdccdcccdccdccd le mot c 3 d par L et c 2 d par C On retrouve un condensé du mot et surtout : L C L C C 5 / 17

18 Propriétés de la droite

19

20 Applications Quasi-Affines [Reveilles 1991] Definition : En général Avec la matriceet le vecteur

21 Application Quasi-Affine DiDi D' j F (i,j) F(x,y) =

22 Dynamique Si pour toutes les droites D m : ax+by [m,(m+1) [ et D n :cx+dy [n,(n+1) [ ont une intersection alors tous les arbres de lAQA ne sont pas bornés (chaque point à un antécédent). Les feuilles correspondent à des couples (n,m) de droites qui ne sintersectent pas.

23 Pavages Le pavé P 0,0 est égal à lintersection entre D 0 et D 0 A(2,2) appartient à lintersection de D 0 et D 1. Limage de A par lAQA est par conséquent (0,1). Def. Pavé P i,j = D i D j = F -1 (i,j)

24 Pavages Définition : 2 pavés sont arithmétiquement identiques si leurs premiers restes sont égaux pour chaque point des pavés. Propriété : des pavés arithmétiquement égaux sont géométriquement égaux (la réciproque est fausse).

25 Cas plus général : Nombre de pavés Le nombre de pavés différent à lordre 1 est égal à : Avec = ad-bc. Si = ad-bc Alors tous les pavés sont identiques et contiennent points.