Pavage 45922 31852219 2008-07-24T15:14:20Z Herve1729 219613 Annulation des modifications 31847781 par [[Special:Contributions/78.113.185.187|78.113.185.187]] ([[User talk:78.113.185.187|Discuter]])pub {{ébauche|géométrie}} <div style="float:right">&nbsp;&nbsp;&nbsp;&nbsp;[[Image:planètours.jpg]]</div> Un '''pavage''' (ou '''dallage''') est une [[partition (mathématiques)|partition]] d'un espace (généralement un [[espace euclidien]] comme le plan ou l'espace tridimensionnel) par un ensemble fini d'éléments appelé ''tuiles'' (plus précisément, ce sont des [[Compacité (mathématiques)|compacts]] d'[[Intérieur (topologie)|intérieur]] non vide). Généralement, on considère des pavages ''par translations'', c'est-à-dire que deux mêmes tuiles du pavage sont toujours déductibles l'une de l'autre par une translation (à l'exclusion des rotations ou symétries). Il existe aussi des pavages d'espaces non euclidien, les plus célèbres étant sans doute les nombreux pavages de [[Maurits Cornelis Escher|M.C. Escher]] (pavages d'[[espace hyperbolique|espaces hyperboliques]]). = Pavages périodiques = Les pavages périodiques du plan ou de l'espace sont connus depuis l'antiquité et ont souvent été utilisés comme motifs décoratifs en architecture. En [[cristallographie]], ces pavages modélisent les arrangements périodiques d'atomes ([[Cristal|cristaux]]). En 1891, le cristallographe et mathématicien russe Fedorov (Université de Saint-Petersbourg) a montré qu'il existait seulement 17 types de pavages périodiques du plan (deux pavages sont de même type s'ils sont invariant par le même [[Groupe (mathématiques)|groupe]] d'[[isométrie]], c'est-à-dire par rotations, symétries axiales et translations). Tous ces types, sauf deux, peuvent être réalisés par des pavages dont les tuiles sont toutes des [[polygone régulier|polygones réguliers]]. L'[[Alhambra (architecture)|Alhambra de Grenade]] est réputé contenir des mosaïques illustrant tous ces types de pavages. [[Image:pavage hexagonal.gif|thumb|center|500px|Deux pavages périodiques du plan avec la même symétrie d'ordre 6 (hexagonale).]] = Pavages apériodiques = On a longtemps pensé que les seuls pavages par translations du plan étaient nécessairement périodiques. Notamment, Hao Wang a conjecturé en 1961 que c'était le cas, et en a déduit qu'on pouvait concevoir un [[programme informatique]] qui déciderait si un jeu de tuiles donné permettait de paver ou non le plan. Cependant, en 1964, Robert Berger (un élève de Wang) a trouvé un ensemble de 20426 tuiles ne pouvant paver qu'apériodiquement le plan. La conjecture est donc fausse : savoir si un jeu de tuiles peut paver ou non le plan est [[indécidable]]. Des jeux toujours plus petits de tuiles ne pavant qu'apériodiquement ont depuis été trouvés : * en 1976, Raphael Robinson simplifie le jeu de tuiles de Robert Berger en un jeu de 24 tuiles (6 à rotation près); * en 1974, [[Roger Penrose]], {{Référence nécessaire|suite à une commande pour créer un puzzle,}} trouve un jeu de 20 tuiles (2 à rotation près); * en 1996, Karel Culik et Jarkko Kari ont trouvé (par une méthode complètement différente) un jeu de 13 tuiles. On peut noter qu'en 1994 [[John Horton Conway]] et [[Charles Radin]] ont trouvé un jeu comportant une infinité de tuiles mais qui, à rotation près, se réduit à une unique tuile : un triangle rectangle de côtés 1, 2 et <math> \sqrt 5</math>. Le pavage obtenu est connu sous le nom de [[Pinwheel (mathématiques)|Pinwheel]]. = Pavages quasipériodiques = Parmi les pavages apériodiques, certains le sont moins que d'autres...en d'autres termes, on peut quantifier le degré d'apériodicité. Dans cette voie, on peut citer par exemple les notions de ''récurrence'' et de ''récurrence uniforme'' (ou ''quasipériodicité''). Un pavage est dit récurrent si, quand un motif (ensemble fini de tuiles) apparait une fois, il apparait dans n'importe quelle zone suffisamment grande. Si, de plus, on peut fixer la taille de cette zone en fonction de la taille du motif, alors le pavage est dit uniformément récurrent (ou quasipériodique). Ainsi, un pavage uniformément récurrent du plan est tel que si on considère n'importe quel un motif apparaissant dans un cercle de rayon r tracé sur le pavage, alors il existe un nombre R tel qu'on puisse être sûr que ce motif réapparaisse dans n'importe quel cercle de rayon R tracé sur la pavage. En particulier, les pavages périodiques sont uniformément récurrents (''a fortiori'' récurrents). C'est aussi le cas du [[pavage de Penrose]]. En fait, on peut montrer que si un jeu de tuile pave le plan, alors il peut aussi le paver de manière uniformément récurrente (la preuve repose sur un [[argument diagonal]]). {{clr}} =Voir aussi= {{Commons|Tessellation}} ==Bibliographie== * Tangente n°99 : « L’art des pavages » (Juillet-août 2004). ==Articles connexes== * [[pavé]] * [[Frise (architecture)|Frise]] * [[Cristallographie]] * [[Polyomino]] ==Liens externes== * [http://www.geometrygames.org/Kali/ Kali], pour tracer des pavages * [http://perso.wanadoo.fr/therese.eveilleau/pages/jeux_mat/textes/pavage_17_types.htm Animation des 17 pavages du plan] * {{en}} [http://www2.spsu.edu/math/tile/ Sur le pavage] * [http://parcellesdinfini.free.fr/ Artiste français présentant son livre sur les pavages] * {{en}} [http://tilings.math.uni-bielefeld.de/tilings The Tilings Encyclopedia]; {{portail mathématiques}} [[Catégorie:Géométrie discrète]] [[Catégorie:pavage]] [[ar:فسيفساء (رياضيات)]] [[da:Tessellation]] [[de:Parkettierung]] [[en:Tessellation]] [[es:Teselación]] [[he:ריצוף של המישור]] [[it:Tassellatura]] [[ja:平面充填]] [[ko:쪽매맞춤]] [[no:Tesselering]] [[pl:Tesselacja]] [[ru:Тесселяция]] [[sr:Теселација]] [[sv:Tessellation]] [[ta:தரைபாவுமை]] [[th:เทสเซลเลชัน]] [[uk:Теселяція]] [[zh-yue:密鋪平面]]