Théorème de restriction cristallographique
Le théorème de restriction cristallographique est basé sur l'observation du fait que les opérations de symétrie rotationnelles d'un cristal sont limitées à des opérations d'ordre 1, 2, 3, 4 et 6. Cependant, les quasi-cristaux, découverts en 1984, peuvent posséder d'autres symétries, comme la rotation d'ordre 5[1].
Avant la découverte des quasi-cristaux, un cristal était défini somme étant un réseau, généré par une liste de translations finies indépendantes[2]. Parce que la nature discrète du réseau impose une limite inférieure sur la distance entre les nœuds, le groupe des symétries de rotation du réseau en un point quelconque doit être un groupe fini. La conséquence du théorème de restriction cristallographique est que tous les groupes finis ne sont pas forcément compatibles avec un réseau discret : chaque dimension ne possède qu'un nombre fini de groupes compatibles.
Dimensions 2 et 3
Les cas particuliers des dimensions 2 (groupes de papier-peint) et 3 (groupes d'espace) sont le plus souvent utilisés et peuvent être traités ensemble.
Preuve dans le réseau
Une symétrie rotationnelle en dimension 2 ou 3 doit déplacer un nœud du réseau vers un ensemble d'autres nœuds du réseau dans le même plan, générant un polygone régulier de nœuds coplanaires. Il suffit donc de considérer le plan dans lequel agit l'opération de symétrie[3].
Consiérons maintenant une rotation d'ordre 8 et les vecteurs de translation entre des points adjacents du polygone (en noir sur la figure). Un vecteur de translation doit laisser le réseau invariant lors de l'application de la translation. Si un vecteur de translation existe entre deux nœuds quelconques du réseau, alors ce vecteur doit être présent partout dans le réseau. On peut alors placer l'origine de tous les vecteurs correspondant aux côtés du polygone sur un point du réseau. Ces vecteurs deviennent des vecteurs radials et la symétrie d'ordre 8 impose la présence d'un octagone régulier de points autour du barycentre. Cependant, ceci est impossible, car la taille du nouveau polygone est environ 80 % de celle du polygone de départ. La réduction de la taille du polygone par applications successives de cette procédure est illimitée : la même construction peut être répétée avec le nouvel octagone et ainsi de suite jusqu'à ce que la distance entre deux points devienne infiniment petite. Ainsi, aucun réseau discret ne peut posséder une symétrie rotationnelle d'ordre 8. Le même argument s'applique à toute rotation d'ordre k avec k > 6.
La rotation d'ordre 5 est aussi éliminée par un argument de réduction de taille. Considérons un pentagone régulier de nœuds. Si un tel pentagone existe, alors il est possible de former une étoile à cinq branches avec tous les vecteurs de translation correspondant aux côtés du pentagone. Les sommets de cette étoile forment à nouveau les sommets d'un pentagone régulier, dont la taille est environ 60 % de celle du pentagone de départ.
Ainsi le théorème est prouvé.
L'existence des quasi-cristaux et des pavages de Penrose montre que l'hypothèse d'une translation linéaire est nécessaire. Les pavages de Penrose possèdent une symétrie rotationnelle d'ordre 5 et un ensemble de points discret, les environnements locaux étant répétés à l'infini, mais il n'existe pas de translation linéaire pour l'ensemble du pavage. Sans l'hypothèse d'un réseau discret, la construction ci-dessus ne peut pas conduire à une contradiction et produit même un contre-exemple (non-discret). Ainsi la symétrie rotationnelle d'ordre 5 ne peut pas être éliminée par un argument ne contenant pas l'une de ces hypothèses. Un pavage de Penrose du plan (infini) ne possède qu'un élément de symétrie rotationnelle d'ordre 5 autour d'un seul point, alors que les réseaux plans quadratique (rotation d'ordre 4) et héxagonal (rotation d'ordre 6), par exemple, possèdent une infinité de centres de rotation.
Voir aussi
Bibliographie
- (en) DOI John Bamberg, Grant Cairns, Devin Kilminster (2003) « ''The crystallographic restriction, permutations, and Goldbach's conjecture'' », ''American Mathematical Monthly'' '''110'''(3): 202–209
- (en) Stephen Elliott, The Physics and Chemistry of Solids, Wiley, (ISBN 0-471-98194-X)
Notes et références
- (en) DOI D. Shechtman, I. Blech, D. Gratias & J.W. Cahn (1984) « ''Metallic phase with long-range orientational order and no translational symmetry'' », ''Physical Review Letters'' '''53'''(20): 1951–1953.
- (en) H.S.M. Coxeter, Introduction to Geometry, Wiley, , 2e éd. (ISBN 978-0-471-50458-0)
- (de) « W. Scherrer (1946) « Die Einlagerung eines regulären Vielecks in ein Gitter », Elemente der Mathematik 1(6): 97-98 » (consulté le )
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Crystallographic restriction theorem » (voir la liste des auteurs).